多因子动态加权威胁估计方法

在分析了以往威胁估计方法不足的基础上,提出了多因子动态加权威胁估计方法,该方法中给出了诸因子新的有作战背景的威胁隶属度函数,并运用层次分析法（ＡＨＰ）计算出权系数,而且随着作战环境的变化可动态调整之。     

单复变解析函数第n项系数在Mobius变换前后差的估计

本文讨论并给出了单复变解析函数第n项系数在Mobius变换前后差的估计,部分地推广了文[1]的结果.     

结构可靠性设计基础初探

本文概括了结构可靠性设计中联结方程的推导及利用联结方程进行可靠性设计的方法,并给出了几种常用结构强度载荷及材料性能数据的交差系数.     

关于用1/6n和1/4n推导气体输运过程的宏观规律问题

本文分别利用16n υ和14n υ两种方法对气体输运过程的宏观规律进行推导并对结果作出初步分析     

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

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

一种实用的计算热膨胀系数的递推方法

本文从热膨胀系数α、比热C_v 及体积弹性模量K 所满足的热力学关系出发,提出了一种简单实用的递推方法计算热膨胀系数,用此方法可以相当准确地计算固体热膨胀系数作为温度函数的整个曲线。文中以三种碱卤晶体为例计算了室温以下的热膨胀系数,与实验结果符合得非常好。     

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

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

投入产出技术在军费预算中的应用探讨

在将投入产出技术的思路运用于军费预算时,我们必须始终明确:军事部门总体上、根本上是消耗性的,物质产品的基本流向是由国民经济部门向军事部门流动,而不是交互的。由这种根本消耗性所决定,投入产出分析运用于军费预算的,不是它通常揭示的投入和产出的关系,而是建立投入产出表形式的思想,即通过分析和考察国民经济各部门在各产品的生产与消耗之间的数量依存关系,实现国民经济各部门的平衡协调。