排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
4.
该机排列紧凑,适应品种广,加工质量稳定,采用交流调频电机传动,自动化控制装置多,工艺设计合理。对存在的问题提出改进意见。 相似文献
5.
针对传统的符号模型检测反例生成算法在生成反例时会产生大量的无关变量,使得反例难以理解。提出一种改进的反例生成算法,将反例中的状态扩展为一个状态集,使用零压缩二叉决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)来存储所求出的状态集。删除了系统中的无关变量,仅保留了相关的变量,实验表明该算法能有效地减少状态的变量数,减少存储反例所需的空间。 相似文献
6.
1