紧凑型横向变焦系统关键器件的设计方法与功能验证

变焦系统可实现连续的光学变焦,可对不同景深的目标实现连续成像。在焦深延拓和光学检测等领域具有广泛地应用和发展潜力。本文提出了一种紧凑型可实现连续变焦功能的扁平化位相衍射元件,并设计分析和验证了横向调制相位型变焦衍射元件的功能。通过标量衍射基本理论模型,借助菲涅尔波带和多台阶相位衍射元件的设计方法,实现了横向变焦关键器件的设计仿真和实验验证。并以多波长响应的空间光调制器为基础,搭建了器件相位调制验证实验系统,通过测试证明了所设计器件的变焦能力,仿真和实验测试均可实现5倍变焦目标的有效调制。     

一种新的空间多维关联规则模型与算法

空间对象具有自相关、连续性、多尺度等特点,导致空间关联规则挖掘与传统的统计关联规则挖掘不同,不存在统计的“事务”,挖掘更加复杂。本文用基于空间相关的影响域来创建“空间事务”,以代替传统关联规则挖掘中的事务,建立了一种新的应用于挖掘空间多维数据的空间多维关联规则模型(Spatial multidimensional association rules model,SMARM)。设计并实现了一种新的挖掘算法SMARBIA,用基于影响域、空间支持度等剪枝技巧,克服了空间多维关联规则挖掘过程中候选项目集庞大的困难。实验表明,该算法能有效地减少候选项目集而获得较好的性能。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。     

航天器测试语言及其运行平台研究

针对测试序列自动执行程度低影响航天器测试效率的问题,提出了一种可控制流程的 高级语言形式的新型航天器测试语言（STL）,并对其语言执行机构进行研究,设计并实现 了基于插件技术的以解释器为核心的集成开发环境——航天器测试语言运行平台。实践表 明航天器测试语言具有较强的通用性与实用性,该语言运行平台能够有效降低航天器地面测 试强度,节约测试成本,提高测试效率。
     

关于本科《机械制图测绘》教学方法的思考

测绘对提高学生的绘图能力、读图能力、查阅资料能力以及培养学生的工程意识和专业素质至关重要。机械制图测绘是《机械制图》课程非常重要的教学环节。针对我院刚刚由专科升为本科,教学理念、教学思路、教学方法都正在进行适当调整和改进这一实际情况,就我院工科类专业的机械制图测绘的教学思路和教学手段进行了思考,分析了制图测绘中存在的问题,提出了改进建议。     

空间谱估计经典算法性能比较

空间谱估计是阵列信号处理的一个重要研究方向。空间谱估计理论与技术已日趋成熟,近几十年的经典谱估计技术包括：常规波束形成（CBF）、Capon谱估计、多重信号分类（MUSIC）、旋转不变子空间算法（ESPRIT）、最大似然（ML）、子空间拟合（SF）,及这些算法的扩展和变形。上述算法在各个分散的文章中均有具体深入的理论分析和研究,亦有类似的2种或3种算法的性能比较,但是针对这些所有算法的性能比较,就笔者所知尚无公开报道,而使工程实现时对算法的选择没有依据。本文对这些经典算法做了简介,列出各个算法的优缺点,并对性能进行仿真比较,能直观地得到各个算法的性能对比,给工程实现算法选择提供理论依据。     

基于VRML的航天模拟训练系统

使用虚拟现实建模语言（VRML）建立一个航天地面设备仿真实验和导弹弹体虚拟装配的模拟训练系统，操作者可使用浏览器通过网络进行交互式的虚拟实验和弹体装配，实现航天工程中部分高成本，高代价的实物操作训练功能，该系统具有较好的真实效果，显示了虚拟现实技术在航天工程中的广阔应用前景。     

在轨任务规划的新型开发方法

作为未来航天器智能化的发展方向,在轨任务规划的实现是一项涉及多个领域知识的复杂软件工程问题,需要与之匹配的先进开发方法。本文基于动态语言和嵌入式操作系统,提出了一种在轨任务规划的开发方法;从需求出发,调研了一组适用于在轨任务规划应用的开源基础库,涉及航天器任务规划、地理信息数据库、地图投影、坐标变换、几何拓扑关系求解、线性规划等多个方面;将这些领域的典型开源库作为中间件移植到高性能星载计算机和嵌入式操作系统上,并进行了功能测试。本文的工作能给后续在轨任务规划系统的设计和实现提供启发和帮助。