排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
介绍了ECO模型驱动技术,分析了ECO状态机的作用、结构和执行序列以及涉及的组件.通过实例设计,包括系统静态模型、动态模型的构建,阐明了ECO逻辑模型确保了数据的一致性,利用状态机开发应用程序符合解决问题的现实规律,并提高了开发效率. 相似文献
2.
3.
4.
针对数字电路中非鲁棒路径时滞故障测试时间长、故障覆盖率较低的问题,提出了人工蜂群优化的测试生成算法。该算法首先应用电路转换法则把数字电路转换成为其等效电路,然后用Hopfield神经网络构建等效电路单固定故障的约束电路,并得到能量函数;再应用人工蜂群优化算法计算能量函数的最小值以得到等效电路单固定故障的测试矢量,最后根据对应关系得到原电路非鲁棒路径时滞故障的测试矢量对。在ISCAS’85国际标准电路上的实验结果表明:该算法故障覆盖率能够达到98%,并且平均测试生成时间小于0.8 s。 相似文献
5.
6.
1