排序方式: 共有47条查询结果,搜索用时 0 毫秒
1.
基于状态转换图同构求解的等价性验证算法 总被引:1,自引:0,他引:1
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法.算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性.首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息.若两状态转换图同构,则两图中的状态均可--配对为待验证状态对,即所有的代验证状态对均为等价状态对.该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题. 相似文献
2.
基于GPRS无线通信的自动抄表系统 总被引:1,自引:1,他引:0
针对目前人工抄表存在的种种缺陷,提出了一种结合GPRS技术、LPC294高效微处理器和μC/OS-Ⅱ嵌入式实时系统,采用目前流行的嵌入式代码组件化技术研制出一种低功耗、高性能、强实时、构件化的无线自动抄表系统方案.在硬件方面主要介绍了GPRS数据通讯技术和CS5460A计量芯片的应用;软件方面主要讲述基于μC/OS-Ⅱ操作系统组件化移植方法和WINDOWS系统COM组件服务技术.由于具备了低功耗、速度快、数据吞吐量大等优点,本系统具有良好的市场前景. 相似文献
3.
4.
5.
7.
8.
9.
10.
像大多数企业一样,您可能非常重视对固态物品的监控管理,然而作为加油站主要利润来源的油品,对其库存的精确计算和控制却很容易被您忽视。为什么需要科学的油品管理呢?让我们先来看看缺乏管理给您造成的损失吧!加油量的减少有时单凭观察是难以发现的,比如油罐和管线的泄露、盗窃、进油量的不足、温度和容积的变化、蒸发损失、加油机流量计的误差、测量误差、人为损失,等 相似文献