论四值动态代价分析方法

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

应用四元数理论确定头盔瞄准系统的瞄准线

讨论了头盔瞄准具电磁敏感系统的工作原理,研究了确定头盔瞄准系统瞄准线的两种方法,结合工程实践建立了四元数法确定瞄准线的数学模型,给出了计算结果,并进行了结果分析。     

可靠性综合中正态信息折合为二项信息的方法

通过Bayes近似法、Fiducal法、经典近似法研究了可靠性综合中单元信息之间的折合。给出了正态信息折合为二项信息的实用公式,为解决复杂系统的可靠性综合提供了近似算法。     

具有规范化的四元数递推计算的舍入误差的概率估计

对捷联惯性制导系统弹载计算机四元数计算的舍入误差进行了概率估计。首先建立定点计算机上四元数计算舍入误差的概率模型,然后利用该模型得到舍入误差的分布函数,进行舍入误差的概率分析。     

非零色散位移单模光纤的性能分析与比较

根据光纤通信发展趋势,针对Ｇ．６５２,Ｇ．６５２光纤存在问题,通过对光纤非线性进行分析,得出研制新型光纤的入手点,并详细介绍了两种ＮＺＤＳＦ光纤。     

谈伙食分项核算的推广与应用

伙食分项核算属于给养核算范畴,是对伙食费进行科学核算和管理的新的核算办法。实践证明,伙食分项核算对于加强部队伙食费管理、科学组织伙食、提高伙食保障效益具有重要作用。但是在推广应用中还存在一些问题,必须通过提高核算质量,加强标准化、科学化进程,进一步挖掘和发挥其功能作用。     

NiCl2-(CH2)6N4•HCI-H2O 三元体系组成及热致变色性能研究

本文用相平衡法研究了NiCl₂ -(CH₂)₆N₄?HCI-H₂O三元体系在30℃的溶解度,测定了各液相的折光率。结果表明生成了复合物2NiCl₂?(CH₂)₆N₄?HCI?9H₂O。文中介绍了该三元体系在13℃时平衡固相的热致变色性能,通过TG-DTA研究初步探讨了热致变色机理。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

基层短讯

由长征二号丙火箭最近成功送入太空的试验卫星一号和纳星一号科学实验小卫星,目前在轨运行正常、工作状态良好,已经成功地完成了预定的各项试验任务,并为以后的其它试验项目奠定了成功的基础。 据了解,长二丙火箭发射成功次日上午10时,纳星一号卫星第一次经过清华大学的纳星一号测控地面站准确捕获卫星信号,并建立了上下行通信链路。同时,航天科工集