对某装备任务系统软件故障的研究

通过对任务系统软件故障进行定位和分析，提出了基于互斥信号量对获取数据进行现场保护及在任务管理区增加对时间的容错处理的解决措施，并对其进行了分析和验证。     

基于ATML标准的ATS软件建模技术

论述了国外ATML标准体系结构和构成ATML标准所有子模型的描述方法,提出了在现有ATS软件平台基础上,实现兼容ATML标准所需的建模流程设计、模型识别及模型运行流程设计等技术途径,为实现ATS软件平台的通用性、开放性及武器装备各种维护级别的测试资源的共享奠定了技术基础。     

GJB5000A软件测量指标的研究与应用

讨论了型号软件GJB5000A的测量与分析过程，采用系统论方法，阐述了三级测量目标、测量项的确定，对测量指标存在的涌现性进行了探讨，在此基础上举例说明如何在三级贯标项目中进行软件测量指标的选取。通过将近一年时间的GJB5000A项目实施，证明了测量指标选取有效性，以及测量指标存在的涌现性命题。     

电工实验"MCAI"课件的制作

本文介绍电工实验“MCAI”课件的制作思想和方法。     

高精度可编程流量积算仪的设计

本文介绍了一种高精度可编程流量积算仪的设计方法，包括该系统的测量数学模型建立，测量原理，硬件设计及软件设计。该系统可实现流量的高精度积算（优于１‰），软件校准，多种报警及掉电保护。     

基于CATIA的应用开发研究

针对ＣＡＴＩＡ 的二次开发问题，详细论述了基于ＣＡＴＩＡ 的应用开发环境和方法、基于ＣＡＴＩＡ 的应用程序界面以及ＣＡＴＩＡ 的几何接口ＣＡＴＧＥＯ／ＣＡＴＭＳＰ。     

多级最优控制问题的提法与求解变分法的应用

本文讨论多级最优控制问题,给出该问题的数学提法以及变分法求解原理。特别,详细研究了级间分离时刻的连接条件。本文的工作为解决多级最优控制问题提供了途径。     

透视仿射对应在画法几何相交问题中的应用

论述了透视仿射对应理论及该理论在解决工程实际问题方面的应用，并举例论述了，透视仿射对应理论在画法几何的相交问题中的应用。为工程技术人员图解相交问题中的交点、交线提供了一种新的方法。     

UDu~T分解滤波算法及其应用

本文介绍UDU~T 分解滤波算法;用工程师容易理解的方法重新推导时间修正和量测修正滤波公式,并给出标准通用的UDU~T 分解滤波子程序。本算法子程序已实际用于工程估计器中。本算法具有高的数字稳定性。作为UDU~T 分解滤波算法理论和工程应用之间桥梁的本通用标准子程序具有良好性能,使用方便,极易推广应用。     

Remote upgrading of a space-borne instrument

The main purposes of experiment “Obstanovka” (“Environment” in Russian) consisting of several instruments are to measure a set of electromagnetic and plasma phenomena characterizing the space weather conditions, and to evaluate how such a big and highly energy consuming body as the International Space Station disturbs the surrounding plasma, and how the station itself is charged due to the operation of so many instruments, solar batteries, life supporting devices, etc. Two identical Langmuir electrostatic probes are included in the experiment “Obstanovka”. In this paper the Langmuir probes for “Obstanovka” experiment are described, including the choice of geometry (spherical or cylindrical), a more reliable method for the sweep voltage generation, an adaptive algorithm for the probe’s operation. Special attention is paid to the possibility for remote upgrading of the instrument from the ground using the standard communication channels.