ViewEditor及其图形功能的设计与实现

介绍了ViewEditor的功能和系统构造,并对其图形功能的层次模型与界面设计详细论述.ViewEditor是一个基于Windows NT系统的视景仿真编辑器.它集图形、图象、声音、文字编辑于一体,支持开放式接口,具有界面优良,操作直观灵活,满足WYSIWYG等特点.     

坦克射击三维视景实时立体显示研究

通过对人体生理学和计算机图形学的分析,阐述了三维视景实时立体显示的原理,提出了实现方法,并基于 AGC—ProV三维图形卡,对三维视景实时立体显示开发进行了论述.     

坦克数据通讯网中的协议分析

通过对坦克车内局域网1553B协议的分析,并与一般计算机通信标准局域网做对比,指出不能用标准局域网协议和纶构取代1553B协议。参考 ISO开放系统互连的协议模型,对1553B协议进行了分层设计和进一步构想。     

全集成多功能MOSFET－C CCII连续时间滤波器的设计

本文提出了一种以第二代电流传输器（ＣＣＩＩ）作为基本单元的集成ＭＯＳ－ＦＥＴ—Ｃ多功能连续时间滤波器。它可以实现诸如低通、带通、高通二次传递函数。该电路不采用平衡结构,但ＭＯＳ管的非线性的消除程度则等同平衡结构。灵敏度也较低。     

鱼雷气幕屏蔽和降噪的实验研究

利用气流提高鱼雷螺旋桨叶片处的压力,减少螺旋桨的空泡,从而降低鱼雷辐射噪声,以及利用人工气幕屏蔽螺旋桨噪声,可以大大减小在鱼雷基阵处的自噪声。实验研究表明,在鱼雷自导工作的频率范围,可降低自噪声约１０ｄＢ以上。     

液体火箭发动机基于模型的故障检测算法

针对泵压式供应系统液体火箭发动机的故障监控问题,建立了用于发动机故障检测的非线性动态数学模型,设计并实现了发动机系统的广义卡尔曼滤波器。利用新息序列的统计特性,进行了发动机故障新息检测算法的仿真研究,讨论了降低滤波器计算费用的方法以及置信度、自由度对检测算法性能的影响。本文的工作为进一步研究发动机故障在线实时检测算法奠定了重要基础。     

赋双权二部图中最大权最小权完美匹配

本文涉及的是在赋双权的二部图中求关于第一个权最大的限制下、第二个权最小的完美匹配的网络模型,给出了这一模型的有效算法,并用此算法解决了企业的优化组合分工中的挖潜问题。     

利用二坐标R站实现运动辐射源的三维跟踪

本文提出了一种基于目标斜距两次测量值之差和方位角信息的定位跟踪算法,详细分析了该技术的定位原理和可行性。在辐射源匀速直线运动的条件下,如果能够不测俯仰角而只用方位角和距离差实现对目标的定位与跟踪,将不仅可以简化接收站的设备,而且还能够增强其独立性能,因此本文讨论的算法对于单站被动定位跟踪系统的实用性具有重要意义。本文通过典型目标航迹的计算机仿真,对算法的性能做了评估．     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

内可逆卡诺热泵的生态学优化性能

本文导出了内可逆卡诺热泵的供热量、供热率和供热系数的耗散量,以反映热泵供热率π与其耗散φ_cT_Lσ,即热泵熵产率σ、低温热源温度T_L和可逆供热系数φ_c乘积之间最佳折衷的“生态学”性能E=π-φ_cT_Lσ为目标,基于牛顿和线性唯象传热定律,研究内可逆卡诺热泵的优化问题,得到最大E性能时的供热系数界限及相应的供热率和熵产率。