Fabrication; Runtime; Electronics industry; Tools; Transistors; Optimization; Formal verification;
机译:差分搜索优化的光伏逆变器改进模糊逻辑控制器设计
机译:差分搜索优化的光伏逆变器改进模糊逻辑控制器设计
机译:差分搜索优化的光伏逆变器改进模糊逻辑控制器设计
机译:使用常规时间逻辑对冗余系统比较器的故障安全性进行形式验证
机译:对不变量进行状态空间表征,以进行顺序逻辑综合和形式验证。
机译:对恶性淋巴样细胞的细胞免疫反应的计算机模拟:方法逻辑模型设计和实验室验证。
机译:一些改进数字设计的半正式规范和形式验证:一些统计数据
机译:通过形式分解,灵敏度分析和优化改进工程系统设计