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

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

坦克炮、反坦克炮简易火控系统自动调炮精度分析

本文分析了坦克炮、反坦克炮简易火控系统自动调炮装置的结构特点及调炮误差变化规律,提出了工程上的校准方法及设计要点。     

火控系统输出误差分离方法

本文提出的火控系统输出误差的分离法,为利用动态飞行试验数据评价火控系统及其火控系统子系统的性能提供了一种方法。     

CCIP火控计算的CAD研究

以逐步回归理论为基础,应用CAD技术,给出了一种实用的CCIP火控计算研究方法,用该方法研制的火控工作式,不仅简单实用、易于修改,而且比原工作式的精度高。这种采用计算机辅助设计求解CCIP火控工作式的研究方法,也可应用于其它类型的火控工作式设计和一般的数据处理。     

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

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

角速率火控系统倾斜修正问题的研究

倾斜修正是角速率火控系统研究、设计和生产中的一个重要课题。本文首先明确了几个基本概念,然后给出倾斜修正的计算方案,最后,应用四元数理论解决计算方案的工程实现问题。     

可编程控制器直流调速系统通信监控

研究了 Ｓ Ｉ Ｅ Ｍ Ｅ Ｎ Ｓ可编程控制器与具有通信功能的直流调速器之间的通信控制，通过对系统的硬件配置、控制方式、通信软件实现介绍，给出了应用 Ｐ Ｌ Ｃ进行直流调速器串行通信监控的方法。     

高炮火控系统模拟训练及综合评价系统

提出了一种新型的基于计算机及计算技术的高炮火控系统仿真模拟训练及综合评价系统的设计方案。这一方案不仅注重了系统实现仿真训练的基本功能,同时还利用计算机仿真优势,强调了对训练效果的评估及对训练模式的总结。提出了实时决策支持的新概念     

59D坦克火控系统的校准操作研究

通过分析坦克射击准备误差诸因素的地位变化情况,得出火控系统校准误差是影响首发命中的关键因素.在此基础上,重点研究了59D坦克火控系统的校准操作程序和方法,所得结论对部队科技练兵具有一定的指导意义.     

略评“语言谬误”──评介楚明锟主编的《逻辑学》

２０世纪５０年代以来,西方在非形式逻辑方面取得了重大进展。近几年来,我国逻辑界对此有愈来愈多的认识与响应。２０００年末出版的《逻辑学》教科书可视为一个例证。该书的价值和水平值得肯定。但其中的“语言谬误”一节大可商榷。