摘要：软件是安全性关键的软件密集型系统(比如综合航电系统)的一个重要安全因子,软件安全性已逐渐成为软件工程和安全工程交叉领域的研究热点之一。对软件安全性的内涵与外延进行了剖析,给出了软件安全性定义。讨论了软件安全性的度量模型。着重从软件工程的视角对软件安全性的开发过程、设计方案、评估方法与认证技术等现状进行了综述,并探讨了软件安全性的研究方向。

摘要：为了支持用户在空间信息网格内对空间资源进行半自动化的定位、选择、使用以及集成操作,并促使形成空间资源的规模应用,提出了SIG资源共享框架的思想。首先论述了SIG资源共享策略及框架的关键组成部分,并介绍了空间信息网格UDD I中心的顶层设计。最后结合国家地质调查局的应用需求,验证了SIG资源共享框架在解决多源异构分布式数据动态集成和系统集成问题方面所起的关键作用。

摘要：将弹丸作为未知目标,测距精度受限,且具有较高的系统实现复杂度;将弹丸作为合作目标,提出了一种基于双向比对技术的弹丸空间位置高精度测量方法,给出了相应的系统设计方案;针对此体制的测距及测速理论和仿真分析结果表明:所提方法能够显著提高弹丸空间位置的测量精度,提高系统工作效能。

摘要：角点特征在图像配准、目标识别等方面有着重要的应用,如何稳定的提取出对图像的几何变换和灰度变化都具有不变性的角点是研究的热点问题。直接利用灰度分布信息提取的角点稳定性较好,但定位精度不高,而利用边缘信息提取的角点定位精度高,且对几何变换具有较强的不变性,但稳定性较差。若有机组合两者,有可能提取各方面性能都比较优越的角点。为此,我们设计了一种结合分形特征和边缘信息的角点提取算法,分三步执行:首先,提取图像中满足要求的边缘,并进行编组;然后,计算各边缘点属性及相应的显著性值;最后,利用局部非最大值抑制,提取出满足要求的角点。实验表明,本文的角点提取算法对图像的几何变换和灰度变化都具有较好的不变性,且计算效率高。

摘要：高功率固体激光系统中的光学透镜对激光束的残余反射,可形成能量较大的鬼光束,极易对元器件及激光器造成损害.研究了高功率激光装置中的鬼点反射及其带来的破坏影响,给出了避开鬼点反射损伤的方法,可为高功率激光装置中透镜的设计提供参考.

摘要：现有常规决策方法和决策支持环境难以对复杂问题进行有效的决策支持和求解,复杂产品虚拟样机即属于该类问题,其决策支持环境的设计是虚拟样机工程需要解决的问题之一。在分析当前各种决策支持系统的特点并与综合集成型决策支持系统进行比较后,提出了只有构建综合集成型决策支持系统才能有效地解决复杂产品虚拟样机设计中的决策支持问题。从虚拟样机决策求解的过程分析了系统的需求,建立了B/S架构的、基于移动Agent技术的综合集成型决策支持系统,并阐明了系统的组织结构和功能,对系统实现的关键技术、仿真、信息和知识的综合集成进行了深入研究,给出了相应的实现方法。

摘要：针对常规PID参数固定,使得应用范围受到限制的问题,研究四种先进PID控制方法。在常规PID基础上,分别引入模糊技术、Vague技术以及遗传算法,提出Fuzzy-PID、Vague-PID、GA-Fuzzy-PID、GA-Vague-PID控制方法并对其控制性能进行比较。在介绍常规PID的基础上,引入智能技术,在线实时调整PID的三个参数,即自适应PID。利用模糊控制对被控对象模型精度要求不高且鲁棒性高、解耦性强的优点,构成Fuzzy-PID;基于Vague集相似度量的近似推理更符合实际,易于得到控制量,便于工程实践,构成Vague-PID;利用遗传算法(Genetic Algorithms,简写成GA)实现对模糊控制规则的整定,构成GA-Fuzzy-PID、GA-Vague-PID。给出上述四种自适应PID设计方法,并从理论上进行分析比较,指出各自优缺点。仿真结果表明:上述自适应PID较常规PID上升时间短、响应速度快;引入GA整定后的GA-Fuzzy-PID、GA-Vague-PID分别比未引入GA的Fuzzy-PID、Vague-PID上升时间短、响应速度快。

摘要：高通量计算、高通量实验和数据库技术为材料基因工程的3大关键技术,旨在高效地加速新材料的设计与开发。在我国新一代智能制造的驱动下,数字孪生技术已成为数据驱动的集成计算材料工程关键技术。面向精密铸造技术领域,建立了集成金属材料铸造性能测试与标准试样高通量制备的方法和系统,包括浇铸系统优化设计、铸造性能测试系统和标准试样高通量制备阵列组合系统。通过集成3D打印技术,实现了系统设计和制备的数字孪生。结果表明,采用试样高通量制备阵列组合系统制备的蜡模精度高,功能模块单元组合灵活、方便,可节省传统压模工具,降低成本、减少力学性能试样的加工量和原材料消耗、缩短制备时间。该集成系统还可用于砂型、金属型和精密铸造等试样的制备过程。

摘要：为了延长无线传感器网络的生命周期,进行了无线传感器网络中节能路由协议的探索性研究,提出了一种新的节能路由协议并将其具体实现。首先分析了传感器网络应用的特点以及设计和应用中的限制,综述了现有传感器网络中节能路由设计的方法,设计并实现了一种基于能量的半径自适应路由协议ERARP;然后在OPNET仿真平台上对该协议进行了仿真模拟;最后与无线传感器网络传统的两种节能路由协议基于信息协商的传感器网络协议和直接扩散协议在同等条件下针对节点能量使用、延迟、丢包率和吞吐量等四个性能评价指标进行了对比。结果表明,ERARP使得节点能够根据自身剩余能量的状况对节点的运行模式进行控制,同时对无线模块的收发半径进行动态调整,达到节能目的。

摘要：为了更直观、更形象地对涵道风扇无人机进行动力学特性分析,清晰生动地反映出涵道风扇无人机的实体特性,使人们对涵道风扇无人机有一个具体直观的印象,在CATIA软件中建立了涵道风扇无人机的三维模型。使用了系统参数、用户参数和表格参数等方法,同时详细介绍了无人飞行器参数化建模的一般步骤。通过对CATIA的草图设计、装配设计及图像渲染等模块的使用,实现了涵道风扇无人机的三维建模,为以后的动力学、控制系统仿真打下了基础。因此,容易得出应用CATIA软件可以更好地对涵道风扇无人机进行三维建模的结论。