方差分量的Bayes二次无偏估计及可容许估计的非负性

对于有P 个方差分量的线性模型,本文导出了方差分量线性函数的Bayes 不变二次无偏估计的显示表达式,证明了Bayes 不变二次无偏估计类形成了可容许的不变二次无偏估计的完全类。在可容许的不变二次无偏估计类中,讨论了非负参数函数的非负估计问题,给出了可容许的非负定估计存在的充要条件。     

鱼雷武器系统效能评价数学模型

如何建立鱼雷武器系统的效能(Effectiveness)评价模型,是当前研究的新课题。本文给出这个数学模型,并讨论了其工程用法。     

论军队后勤领导控制

控制是管理职能的一个重要方面。把握控制的基础理论,对提高后勤领导控制的能力,避免领导工作上的重大失误,以顺利实现领导目标,有着重要的现实意义。文章阐述了领导控制的涵义、内容、类型和基本过程,以及领导控制中经常使用的几种控制技术和方法。     

高技术条件下机动作战后勤保障探要

高技术条件下机动战,后勤与作战部队都处于不断运动之中。根据机动战的特点,后勤保障方式应做到三个结合,即定点保障与寻的保障相结合、伴随保障与设点保障相结合、直达保障与接力保障相结合。保障内容应突击三个重点,即运输保障,油料保障、伤员救治。后勤指挥应把握三个关键,即构成野战机动的指挥机构,实施动中指挥;提高动中通信能力,实施连续指挥;集中指挥与分散指挥相结合,实施灵活指挥。     

消除地雷的威胁

消除地雷的威胁早已成为全世界关注的焦点,本文列出了十多个国家为扫除常规地雷而发展的器材,其中尤以美军正在为扫除路旁智能雷和以色列为扫除可抛撤地雷所进行的工作更为人注意。     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

可修系统的一个模型

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

军队审计标准初探

军队审计标准是对审计人员素质和工作质量的要求,是衡量被审对象好坏的依据。军队审计标准的制定,应遵循规范性、可操作性、系统性、有效性和协调性的原则。军队审计标准应按“条”、“块”结合的方式构成其内容体系。按“条”可分为基本标准和具体细则;按“块”可分为基本标准、现场工作标准和审计报告标准三部分。     

EHF军用卫星通信频段的选择

EHF卫星通信已进入实用阶段,在商用及军用中均具有重要的应用价值。EHF频率资源十分丰富,如何确定具体的上／下行频率范围是系统设计中的关键课题。本文从抗干扰、低截获概率、降雨损耗及设备小（微）型化等方面的要求,讨论了军用EHF卫星通信系统频段选择的基本考虑,从而得出综合权衡的结论。     

多机环境下系统程序并行化的实现方法

本文给出了多处理机环境对系统程序的要求,阐述了系统程序并行化研制过程中遇到的问题和解决办法,给出了实现临界段互斥的三种处理方法及其性能评价。