排序方式: 共有91条查询结果,搜索用时 265 毫秒
51.
详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。 相似文献
52.
宫云战 《装甲兵工程学院学报》1996,(3)
提出了一个基于多路归并技术的演绎故障模拟方法,该方法对于集合运算∪,∩,-的计算复杂性是拟线性的,从而保证本文所提出的故障模拟方法的计算复杂性是拟线性的。 相似文献
53.
论述了嵌入CPU印制电路板(PCB)故障测试与故障诊断的一般方法。研究表明:只要满足一定的测试性设计要求,嵌入CPU PCB采用结构化测试方法是可行的。 相似文献
54.
提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效. 相似文献
55.
56.
57.
近年来,随着国有企业的改革和多种所有制经济的迅速发展,原有的城市民兵编组模式不再适应生产组织形式的变化,难以满足高技术局部战争兵员动员的需要.为彻底改变这种状况,天津市针对未来高技术局部战争中滨海大城市海防作战和防空作战任务重,对专业技术兵员动员依赖性强的特点,紧紧围绕市场需要和战场要求,通过合理调整布局,突出编组重点,扩大编组范围,加大科技含量,逐步形成了以人口和产业集中的市区为重心,以国有大中型企业和科技密集型企业为支撑,以港口、船舶、化工、石油等工业集中的滨海沿线为主要方向的城市民兵编组新格局,从而为城市民兵工作注入了新的生机和活力. 相似文献
58.
宫云战 《装甲兵工程学院学报》2000,(4)
2000年全国测试学术会议(CTC2000)于10月16日~18日在我院召开。全国人大常委陈俊亮院士和沈绪榜院士、魏道政研究员等我国测试领域著名学者出席了开幕式;香港中文大学教授吕容聪博士等4位测试领域国际知名学者应邀为大会作了4场精彩的学术报告,受到与会代表的普遍欢迎。 参加了本次学术会议的正式代表有150多位,分别来自中科院计算所、清华大学、上海大学、湖南大学、北京大学、同济大学、华为公司等单位。代表们分为测试理论及方法、IC及PCB测试、自动测试系统技术、软件测试等4个兴趣组,听取了70余… 相似文献
59.
60.
破解征兵工作难题、提高征兵工作质量是当前各级征兵机构面临的要务。必须以习主席关于国防和军队建设系列重要论述为引领,通过体制创新、机制创新、方法创新等,积极作为,破解难题,创造佳绩。 相似文献