训练仿真的自动化的敌对部队

提供逼真的敌对部队是成功使用军事训练仿真的关键。可惜,许多问题可能使逼真的敌对部队的人工控制非常困难或不能实现。本文探讨了这些问题,同时讨论了怎样使自动化的交互目标(AIT)能在高速交互态势下帮助训练演习控制器(TEC)提供有效的和逼真的敌对部队。这种原型遥控AIT处理系统(RAPS)的特点用来演示如何设计一个AIT系统才能满足自动化实体的TEC要求。RAPS能为现有的或新系统提供AIT的遥控,同时提供足够的特性允许TEC适当地选择和控制单个训练演习和船员熟练的AIT。     

短路故障的测试产生方法

在PCB上,两个不相邻的芯片管脚或引线发生短路是实际应用当中最常见的故障。通过分析固定型故障和桥接故障之间的关系,给出桥接故障测试序列产生的系统计算方法。该方法已应用在一个PCB故障测试系统中。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。     

人机闭合半动跟踪系统仿真模型的建立

本文论述了指挥仪半自动跟踪系统的仿真建模方法,建立了传动系统工作方程式及等效结构图,介绍了描述测手跟踪特性的两种模型,最后给出了以59式指挥仪为研究对象的半自动跟踪系统模拟结构图。     

大系统递阶协调的自校正控制方法

本文基于大系统理论和递阶离散系统辨识方法的思想,提出了大系统递阶协调自校正控制算法,并用仿真实例验证了算法的可行性。     

阵地布防系统中的计算机辅助决策

本文对阵地布防辅助决策系统从其系统结构、信息处理流程及系统实现等方面作了详细介绍。目前已在PC 机及其兼客机上成功地实现了该系统的研制。     

综合航空火力控制系统及其模拟仿真

论述了综合航空火力控制系统在现代空战中的地位,并对系统及各子系统所完成的任务和他们之间的相互关系作了较为详细的介绍。对系统的模拟仿真原理及其仿真过程作了简要的阐述。此外,对模拟仿真中所需的实验设备也作了简要的介绍。     

多机空战对抗评估系统分析与设计

针对多机空战对抗评估系统总体设计,介绍了系统主要功能、软/硬件组成和关键技术,并对今后空战评估系统技术发展进行了分析,文中给出了相应的系统框图。