排序方式： 共有43条查询结果，搜索用时 0 毫秒
41.
一些超大规模集成电路(VLSI)近来通过行为描述已在高层次被设计.行为合成可以将行为描述变换成由控制器和数据通路组成的寄存器传输层电路.数据通路的控制信号线输入序列和状态信号线输出序列从控制器提取.作者提出一种生成综合功能时间扩展模型的方法,其中提取的信息作为约束被加入.在常规的贯序测试生成方法中使用时间模型只有结构信息,因为对于实际的贯序电路的搜索空间相当庞大,所以在合理时间内很难达到高排错效率.在使用来自功能验证模块的功能时间扩展模型的贯序测试生成方法中,因为所有的功能行为不可能全被覆盖,所以很难提高排错效率.由于作者提出的方法可以覆盖所有的功能行为,所以与常规的方法相比可以实现在合理时间内的高排错效率.所提出的测试生成方法被用于除法器电路.实验数据显示了在16 s内排错覆盖率达到了100%. 相似文献
42.
充填开采覆岩的破坏过程不同于垮落法开采,为研究充填开采覆岩“两带”的发育过程,应用板壳理论构建了分析覆岩破坏过程的力学模型和“两带”高度的计算方法,得出当等效采高的变化突破某个临界值时,“两带”高度会出现跳变.以西马煤矿1327工作面为研究实例,采用构建的力学模型和计算方法,分析得到1327工作面充填开采后的断裂带高度为12.800 m,垮落带高度为0 m.现场实测得到1327工作面的断裂带高度为10.7 m,不存在垮落带.理论分析和现场实测得到的结果吻合,可见构建的力学模型和计算方法精度较高. 相似文献
43.
为了解决复杂沟通条件下遗煤自燃的防治问题,应用数值模拟方法对放顶煤采空区遗煤自燃规律进行了研究.建立了放顶煤采空区遗煤自燃数学模型,并对复杂沟通条件下的放顶煤采空区遗煤自燃规律进行了数值模拟研究.在深部内部漏风边界有高氧浓度时,采空区自燃位置有两处,当考虑老空区内部瓦斯浓度很高和老空区耗氧情况,采空区自燃位置只有一处.只有注氮与阻化联合使用,才能避免放顶煤采空区遗煤自燃的发生.遗煤自燃发火期与工作面推进速度成正比关系,与工作面风量、遗煤氧化速度常数成反比关系.该研究对放顶煤采空区遗煤自燃的防治具有一定的指导意义. 相似文献