期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
利用状态缓存的时序等价性验证算法 被引量:1
1
作者 杨军 翁延龄 +1 位作者 葛海通 严晓浪 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第2期149-154,共6页
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认... 为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认不能从初始状态到达的状态记录为不可达状态,利用它们减少验证过程中的原像计算.基于mcnc91电路的实验数据表明,该算法有效地减少了验证时间. 展开更多
关键词 时序等价性验证 寄存器匹配 原像计算 可达状态 不可达状态
下载PDF
Principle and realization method of tunnel deformation detection based on image recognition and data transmission technology 被引量:3
2
作者 Xiong Xiaolei Gao Song +2 位作者 Chen Haiyan Zhou Qicai He Ziqiang 《Engineering Sciences》 EI 2010年第4期23-25,共3页
To detect the deformation of the tunnel structure based on image sensor networks is the advanced study and application of spatial sensor technology. For the vertical settlement of metro tunnel caused by internal and e... To detect the deformation of the tunnel structure based on image sensor networks is the advanced study and application of spatial sensor technology. For the vertical settlement of metro tunnel caused by internal and external stress after its long period operation, the overall scheme and measuring principle of tunnel deformation detection system is in- troduced. The image data acquisition and processing of detection target are achieved by the cooperative work of image sensor, ARM embedded system. RS485 communication achieves the data transmission between ARM memory and host computer. The database system in station platform analyses the detection data and obtains the deformation state of tunnel inner wall, which makes it possible to early-warn the tunnel deformation and take preventive measures in time. 展开更多
关键词 image sensor deformation detection image acquisition and processing data transmission
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部