炮兵作战中物质战斗力损耗研究

军队的战斗力包括物质战斗力和非物质战斗力。本文根据现代战争火力战的特点,利用层次分析法和兰彻斯特方程建立了炮兵作战中物质战斗力损耗模型。该文内容是炮兵作战中非物质战斗力损耗及即时综合战斗力研究的重要组成部分。     

维修浮动系统可用度模型及优化

维修浮动系统是更换和修理同时进行的储修系统 ,该系统可有效地提高现有装备的可用度。本文利用马尔可夫过程理论建立了维修浮动系统的可用度模型。进而 ,在考虑费用约束的条件下 ,对该系统进行了优化分析。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

卫星及其诱饵的表面瞬态温度场

文中给出了计算空间目标和诱饵表面温度场的方法,比较了目标和诱饵表面温度特性的差异,指出了这些差异对点目标自动识别的重要意义。     

高炮人-机跟踪系统建模及动态特性分析

本文以某高炮人-机系统为对象,以人的最优控制模型为基础,建立该人-机跟踪系统部分的数学模型,利用计算机求解——即模型预测方法,研究操作者(炮手)在跟踪沿不同航路飞行的空中目标时系统的跟踪误差和动态性能;与此同时研制一套模拟原高炮人-机系统的仿真试验装置,以获取的试验数据做为检验上述模型预测结果和进行全系统性能分析的依据。     

用Hubbard模型对高Tc氧化物超导性的研究

本文的简化 Hubbard 哈密顿量,不仅包括单电子跳跃和一个电子从一个格点到近邻单占据格点运动的反铁磁虚交换作用,而且保留有关三个格点的单重态电子对运动的虚跳跃过程和同格点上电子的关联作用项。同时引入重整化因子(?)来描述电子在宏观区域上的巡游程度,研究了超导的转变温度 Tc。结果显示,Tc 作为空穴含量δ的函数存在一个极大值,且随 U 的减小而升高。与实验数据相对比,本文结果是合理的。