战场空间本体构建方法研究

从构建战场空间知识基础设施,进而形成一体化的知识处理平台、获取知识优势出发,将本体思想引入战场空间知识建模领域,提出了战场空间本体体系,即战场空间本体包括上层本体、领域本体、应用本体;并重点研究了一种战场空间领域本体的构建方法BOC,包括基于上层本体BUO的领域本体构建方法,基于上层本体BUO的领域本体合并方法.基于本体的战场空间知识建模从根本上解决了战场空间中知识系统之间的知识共享和重用问题,便于知识系统的集成.     

速率陀螺解相遇与敌我态势的关系

根据敌我相对运动的原理,导出速率陀螺测量出的目标俯仰角速度Ω_s、测向角速度Ω_L 和探测器测出的距变率与敌我姿势要素间的关系,提出了距变率在极短时间内保持不变的条件;并利用Ω_s、Ω_L 和有关数据(qw,ε、D、■、V_w、K_w)推导出在不满足“快解”条件时计算目标运动要素和弹丸发射诸元的计算公式。     

激光对富碳酸钡YBCO超导材料的改性

利用激光 (CO2 连续激光、YAG连续激光和脉冲激光 )对富碳酸钡YBCO超导材料进行辐照 ,并研究各种激光对超导块材临界电流密度Jc的影响。     

复杂形状薄壁零件加工的综合质量控制

首先分析了加工时零件表面热量场和加工参数、余量场之间的关系;利用数字扫描及滤波的方法建立起复杂形面零件的数学模型;以此为基础,在加工过程中,对零件的几何质量和表面层质量进行了综合控制。研究表明,该方法是提高飞行器发动机中高负载复杂形状薄壁零件可靠性和寿命的有效新途径。     

VLSI与电子系统的层次化可测性设计

论述了一种对电子系统VLSI自顶向下的层次化自动化测试方法及层次化自测试的概念和相应的可测试性设计结构,并讨论了数模混合集成电路的可测试性设计问题。     

表面工程中膜基结合应力的线法分析

首次导出了平面问题两种介质分界线为离散线的线法基本方程;三维问题离散线分布于界面内的技法基本方程;并采用线法对拉伸法试验中膜基最大剪切应力问题进行了计算,指出了原有结果中的不足.     

基于YH-F2 系统的一般算术表达式的并行成分识别

本文深入研究了基于ＹＨ－Ｆ２系统的算术表达式的并行计算特点,提出了嵌套层次树的概念和相应的计算模式。这种模式充分利用了ＹＨ－Ｆ２系统的并行计算能力,完满地解决了基于ＹＨ－Ｆ２的算术表达式的并行编译问题     

机器人仿真系统中动态图形的快速生成和处理

本文提出一种用于三维动态图形快速生成与处理的算法,能适应机器人实时仿真的要求。算法包括几何体定义、变换、隐藏线消除和动画技术等内容。本算法使用 Turbo-Pascal 语言在 IBM-PC机上运行通过。     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

作战信息需求模型

研究了作战信息需求的概念、需求分析流程及描述方法,提出了作战信息需求的概念模型、逻辑模型和过程模型。概念模型界定了作战信息需求的相关概念及层次关系;逻辑模型描述了作战信息需求的内容;过程模型分析了作战信息需求的演化过程。