坦克分队行军中技术保障的概率模型

为了评价技术保障在行军中的作用,本文建立了在没有敌人炮火作用下,坦克在行军过程中所处状态的数学模型,该数学模型对合理运用技术保障的力量具有指导意义,并通过实例评价了技术保障对装备完好性及长距离行军后战斗能力的影响。     

有限精度的 BP 神经网络高速算法

精度要求是神经网络硬件实现的一个关键问题。本文提出了一种有限精度的BP高速算法，通过实例验证，该算法适于低精度，且收敛速度快。     

一类折扣型投资模型的最优停止

本文对一类折扣型投资模型进行研究，给出了一个明确的停止规则。     

基于分布式对象技术的CAD集成框架的模型与结构

分布式对象技术是当前实现企业应用集成的主流技术。本文首先介绍了基于分布式对象技术的ＣＡＤ集成框架支撑平台的总体结构，以此为基础，设计了大型电子设备并行设计ＣＡＤ集成框架的体系结构，提出“框架总线＋软构件”的框架模型，最终探讨了集成框架具体的实现方法和技术。     

天线型光纤传感器的建模与仿真

反射式强度调制光纤位移传感器（天线型ＦＯＳ）由发射光纤和接收光纤按一定的排列方式组合而成，是一定数量的单光纤对的特定组合。本文基于已有的单光纤对的调制函数的数学模型，通过分析ＦＯＳ中光纤的排列方式，在忽略光纤包层和粘结剂厚度的情况下，利用几何和概率统计的理论做了适当的假设，建立了同轴型、半圆型、随机型光纤传感器调制函数的通用数学模型，并对所建模型进行了仿真。利用专门研制的测试系统对建模和仿真结果进行了验证。     

军事电子信息处理中的人工神经网络技术

本文首先分析了现代战场环境对军事电子系统智能信息处理的应用需求，然后对人工神经网络理论与技术在军事电子信息处理中的现实应用与潜在前景给出了一个较为详细的介绍与分析。着重介绍了神经网络在雷达、红外及声纳目标的检测、识别、多机动目标跟踪及武器系统的智能控制等方面的应用情况，力图展示神经网络用于军事电子信息处理的特色与优势。最后分析了人工神经网络技术发展与应用中存在的一些问题。     

量子计算和量子计算机简述

介绍了量子计算和量子计算机的历史和发展，说明了量子计算机在什么地方超出经典计算机，介绍了量子计算机的原理和网络模型以及量子计算机实现中的困难。     

广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

数字化战场与战场数字化技术——“数字化战场与单兵数字化系统”系列论文之一

首先研究了数字化战场的概念及内涵，然后着重讨论了战场数字化系统的体系结构和实现其互联、互操作的设计原则与思路，提出了建立战场数字化系统的关键是把当代开放系统发展的成果与军事领域的特殊要求相结合，研究其体系结构，研究、制定和推行三军统一的各层次信息界面标准和接口规范。     

DEC UNIX 操作系统的实时特性及评测

实时操作系统是复杂实时系统的一个重要组成部分，它必须是可预测的。本文首先简要阐述了 Ｄ Ｅ Ｃ Ｕ Ｎ Ｉ Ｘ ４．０ 操作系统的实时特性；然后开发了一种简单有效的实时操作系统性能评测方法，并给出了我们在 Ｄ Ｅ Ｃ Ａｌｐｈａ 系列机上对 Ｄ Ｅ Ｃ Ｕ Ｎ Ｉ Ｘ ４．０ Ｂ进行评测的过程和结果。