论四值动态代价分析方法

本文在文献[10]的基础上,着重论述了四值动态代价分析方法引进故障电路代价FC和故障可测度T的新概念的必要性。并从预报数字电路中的不可测故障、提高故障敏化效率和选取引线置值模式的效率三方面,对四值分析与文献[1]的二值分析进行了详细比较,结论是:四值分析定义的可测度比二值更接近数字电路实际,加速测试生成的效果更好。实践表明,四值分析用于自动测试生成系统ATGS,所节省的计算机CPU时间为二值分析的3倍。     

规范军事经济秩序 积极过好紧日子

建立和保持良好的军事经济秩序,对于部队过好紧日子,充分发挥有限经费的经济效益至关重要。当前,军事经济秩序方面存在的问题主要有:经费使用分散,难以捆起来;供应标准不健全,难以管起来;监督失之于宽,难以严起来;艰苦创业意识淡化,难以“紧”起来。要解决上述问题,必须抓好艰苦奋斗、勤俭建军优良传统的教育;抓好财务管理体制、生产经营管理体制和后勤保障体制的改革;抓好军事经济立法工作;抓好军事经济运行秩序的监督工作;抓好军事经济与市场经济的接轨工作。     

试论军品有价运行机制的构建

随着我国社会主义市场经济体制的建立和完善,军品流通机制的改革已势在必行,用有偿供应、有偿服务、有偿占用的商品供应取代传统的实物计划供应,借用市场手段,引入经济杠杆,实现军事资源的最佳配置。本文通过分析现行军品流通存在弊端的根源,提出构建军品流通有价运行机制的设想:军品供应内容有偿性;机制调节手段市场性;经济主体利益独立性。     

FTLAN系统故障检测技术

FTLAN(Fanlt Tolerant Local Area Network）系统是在Novell网环境下开发的一个基于消息驱动与同步的容错局域网系统,故障检测是该系统中需解决的关键技术之一。本文介绍了FTLAN系统中的各个节点机发生故障时,系统是如何检测的,并对其进行了简要的分析。     

以可用度为目标的功能检测模型

依据产品潜在故障的概念,将产品划分为“正常”、“潜在故障”和“功能故障”三种状态,并将产品从“新的”发展到“潜在故障”时间间隔和从“潜在故障”发展到“功能故障”时间间隔分别作为随机变量进行处理,利用可靠性数学的方法,建立了以可用度为目标的功能检测模型,包括基本模型和实际应用中变化时的模型,举例给出了模型输出结果的特征和敏感性。     

利用信号拟合方法提取故障的相位调制信息

本文分析了相位调制信息及其统计特征值在故障识别中的作用,并探讨了利用信号逼近方法近似地提取相位信息的数学过程。     

时序电路故障可测性分析

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。文中提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法,运用该算法无须搜索便可识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。