试论机枪任务可靠性指标的确定方法

从实战需要出发,结合我国目前机枪的研制水平,本文应用可靠性基本原理,论述了机枪的任务可靠性参数及其指标的确定方法。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

谈建立RDX和RDX-A理化测试标准药的必要性

分析影响 RDX 和 RDX-A溶点测定的因素、出现不合格品的原因及测试仪器精度,操作人员水平,提出建立 RDX 和RDX-A 理化测试标准药的必要性及鉴选方法。     

武器装备的测试性

测试性是从维修性分离出来的,被认为是武器装备的一个基本特性。本文简要介绍测试性的意义、定量表述、测试性大纲、测试性分析和设计等主要问题。     

微型计算机在智能在线测试中的应用——第三代万用表研制简介

作者建立了数字集成电路2n测试理论,改进了在线测试技术,设计成功了功耗自动游走电路.借助于微型计算机和超大规模集成技术,研制成功了第三代万用表.本文简要介绍了第三代万用表的功能、技术实施难点和克服这些难点的办法.     

装备战场抢修研究现状及对策

分析了装备战场抢修研究的发展现状,论述了系统研究战场抢修理论的必要性,并明确了战场损伤及战场抢修的定又、战场抢修研究的主要内容。根据我军实情,提出了关于我军开展装备战场抢修的一些建议。     

美国空军飞机战伤修理的发展及其对我们的启示

论述了美国空军战伤修理在方针、组织、培训、战伤修理规程、备件及工具箱、设计、试验数据库、新技术开发和常用抢修技术等方面的发展。同时提出了我空军战伤修理在这些方面的发展建议。     

军事通信系统抗毁性定量估算方法初探

本文研究军事通信系统在面临物理威胁和电磁威胁环境时,其生存能力（抗毁性）的定量估算方法,初步讨论了这些方法的特点和适用性。     

试论《周易》卦画的纯形式性

《周易》中的卦画本无意义,它与卦爻辞之间的联系是后人出于卜筮的需要强加的。《周易》这部千古奇书,对中国文化之所以能产生如此巨大影响,原因就在于它拥有卦画这样一个特殊的符号系统。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。