非共轴光学系统的光路计算与象质评价

针对非共轴光学系统提出新式光线抽样;运用切比雪夫数值积分建立崭新的质量函数;以最小二乘法和0.618法实现最佳象面快速自动优选;简化了坐标变换和数据输入。     

对信息流控制机制的一点注记——关于可变级机制语义的探讨

本文讨论对可变安全性级的基于执行的信息流控制机制的语义修改     

从美军信息战计划谈我军炮兵指挥系统现状及发展方向

在未来战争中,信息战是决定战争胜负的关键。为此,美军制定了十分庞大的“打赢信息战”计划,高度重视建立数字化部队,以保持在未来战争中的优势。从美军的“打赢信息战”计划入手,分析了我军炮兵自动化指挥系统研制的现状和与外军相比存在的差距,探索性地提出了发展我军炮兵指挥系统所要解决的问题,指出了发展新装备的方向     

一种分析噪声背景下目标特征有效性的方法

本文根据目标特征和噪声分布,在一定假设条件下推出了最小错误率（Ｂａｙｅｓ错误率）的表达式,从而把特征分布、噪声大小直接与分类的最小错误率联系起来,给出了一种分析噪声背景下目标特征的有效性的方法。文中利用这种方法对目标和诱饵的红外辐射特征的有效性进行了分析     

固体火箭发动机长期贮存热载荷的有限元分析方法

分析了固体火箭发动机药柱在长期贮存过程中,由于温度载荷谱的变化所引起的力学响应。基于粘弹性积分蠕变型本构关系,推导了能分析粘弹结构的热载荷的有限元模型,并用它分析了梁、厚壁圆筒与真实固体火箭发动机的热应力问题。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

自由后坐式自动武器运动系统优化设计研究

本文介绍自由抢机式自动武器运动系统有关结构参量的一种优化设计方法。优化的目标函数为自动机后坐到位速度和弹丸的初速。优化的结构参数有自动机的质量,弹簧的抗力等。     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

Alpha 工作站仿真一体化环境交互系统设计

交互系统是一体化建模仿真环境中的一个重要环节,主要解决人机关系,使用户可以方便地与仿真机作高速通讯,对仿真运行进行实时监控。本文在简要介绍整个系统概况的基础上,对交互系统的总体设计、命令分析与处理、功能实现等几个方面展开了讨论。此外,还简单介绍了交互界面的设计和实现情况     

计算机控制小工具抛光技术中磨盘材料对去除函数的影响

研究了计算机控制小工具抛光(CCOP)加工中三种常用的磨盘材料对去除函数特性的影响,进一步完善材料去除模型,用以指导光学零件的加工。利用自行研制的AOCMT光学加工机床及接触式测量系统进行实验和分析。从去除函数形状、去除效率及稳定性、表面形貌三个方面进行了研究。实验结果表明:聚氨酯材料适用于粗抛光阶段;阻尼布材料适用于精抛光阶段;沥青材料适用于最后的修形加工和表面处理。