模型驱动的软件构件研制保证水平验证方法

在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。     

低轨卫星可控式冗余分包遥测技术

随着卫星功能日趋复杂,遥测参数越来越多,处理要求越来越快,遥测设计面临越来越大的压力,必须拓展新的设计思路.本文讨论了一种低轨卫星可控式冗余分包遥测技术,更好地缓解遥测信道“瓶颈”,满足用户多样化的遥测需求,提高卫星遥测能力.该设计采用PCM（Pulse Code Modulation,脉冲编码调制）遥测和分包遥测相结合的方案,在信道资源有限,遥测参数庞大、用户需求多样的约束条件下,通过星载软件模式控制的方法实现了动态可编程遥测处理和遥测数传通道的冗余处理,提高了遥测信道的资源利用率、遥测设计的灵活性和系统的可靠性,该技术已成功应用于某在轨卫星,并被多颗在研卫星所采用.     

基于DEFORM的钛合金高速拉削力和拉削热有限元仿真

基于DEFORM软件,利用有限元方法对钛合金高速拉削过程中的力和热进行了建模与仿真,分析了拉削速度、齿升量、刀具前角对拉削力和拉削温度的影响规律。结果表明:拉削力随拉削速度和刀具前角的增大而减小,随齿升量的增加而增大;拉削温度随拉削速度和齿升量的增大而升高,随刀具前角的增大而降低。     

双盘转子系统优化算法与试验

为了讨论不同优化算法的效果差异,利用有限元分析技术,针对典型1-0-1支承方案的双盘转子系统进行建模仿真,在分析其动力学特性的基础上,联合多学科优化软件ISIGHT,将两转盘位置作为优化变量,以1阶临界转速在10%内的变化为约束条件,采用不同的优化算法:进化算法(EVOL)、多岛遗传算法(MIGA)、邻域培植遗传算法(NCGA)、第二代非支配排序遗传算法(NSGA-Ⅱ)以及Pointer方法,最小化过1阶临界转速时两转盘的最大振幅,得到两转盘的最优位置.在高速柔性模拟转子试验器上进行了瞬态试验,结果表明,NSGA-Ⅱ只需要计算240个点,就可以使两转盘振幅分别下降76.94%和67.42%.因此,NSGA-Ⅱ是最适合该类转子系统的优化方法.      

三维四步法编织复合材料结构的计算机仿真

针对三维四步法编织技术特点,分析了编织纱线的空间位置,通过计算机模拟编织纱线运动,并采用Bézier曲线对纱线运动轨迹进行拟合,利用计算机图形技术对三维编织结构进行显示,获得了一种设计与实现三维四步法编织复合材料的计算机仿真方法.根据编织工艺参数间的关系,在UG软件中实现了参数化设计,可方便生成不同编织尺寸和编织角情况下的三维编织预制件及复合材料的实体模型,所建立的实体模型形状和编织物真实结构非常接近,表明本文的仿真方法具有很好的效果.     

线性分离装置分离性能仿真

采用Ls-Dyna对运载火箭结构线性分离装置的爆炸分离过程进行仿真分析.依照给定设计方案,材料,建立局部三维模型,对该装置爆炸分离过程进行有限元计算.同时利用有限元前处理软件ANSYS的可编程功能实现对仿真计算过程的二次开发,形成参数化的代码,能够在改变模型的结构尺寸、材料性能或边界条件等数据的情况下,可以通过对参数化...     

三维图像数据压缩算法与实现研究

三维图像的大数据量对三维可视化的快速交互造成极大的困难，而三维可视化技术已成为生物医学影像、虚拟现实等应用领域研究的重要工具。为了实现三维图像的快速交互，本文提出了一个表面数据压缩算法，并用COM／ATL软件设计技术进行了实现。该算法可以大量减少描述复杂对象的三角形个数，而对象的可视细节并不损失，最终的功能组件可以直接集成到需要图像数据压缩的应用开发中。乳房图像和小兔子图像数据压缩应用例证了所提算法的合理性。     

航天器动力学技术的发展和挑战

本文首先简要回顾了中国航天器动力学分析设计技术的研究发展和工程应用；然后，阐述了21世纪初期中国复杂航天器的发展对航天器动力学分析设计技术提出的新要求，重点分析了在动力学分析、仿真、优化与试验方面必须突破和解决的若干关键技术；最后，对中国航天器动力学分析设计技术的发展目标和前景作了展望。     

基于Reason模型的航空器事故调查分析软件设计

通过对航空器事故进行分析与研究,从而提出相应的改进措施,对于减少飞行事故、保障飞行安全具有重要意义.在现有航空器事故分析的基础上,提出了基于Reason模型的航空器事故调查分析软件设计.在分析Reason模型基本概念的基础上,详细介绍了该软件的系统结构、软件的界面和相应的操作步骤与方法,并结合实际的案例介绍了该软件在分析航空器事故调查方面的优势.该软件对于调查分析民航业不安全事件中的人为因素具有一定的借鉴作用.     

一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。