基于Petri网的UML状态迁移策略

分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.      

ARJ21飞机环控功能自动化试验系统研制

阐述了飞机环境控制系统功能试验的内容和国内新一代ARJ21支线飞机环控功能试验的现状,提出研制飞机环控功能自动化试验系统的架构,研究了飞机环控功能自动化试验中大流量压缩空气流量测量与座舱升降压速率测量的技术方法,最后给出了试验空气加热温度与座舱压力的控制结构.     

军用飞机效费综合特性的可视拓扑映射评估

根据SOM网络原理,采用Voronoi向量改进了SOM网络算法,提高了其收敛速度和映射精度,实现了可视拓扑映射图。应用改进算法构建了军用飞机效费综合特性可视拓扑映射图评估模型,并对现代几种军用飞机效费综合特性进行了可视化综合评估。可视拓扑映射图可以直观地反映不同型号飞机的效费综合特性、参数相关特征、参数变化趋势,而且能对飞机效费综合特性相似性预测,从而为军用飞机效费综合特性分析提供了一种新的有效方法。     

某型光纤陀螺温度场有限元分析

利用有限单元法,对光纤陀螺在非稳态传热过程中的温度场进行数值分析,通过将仿真结琴和试验结果进行对比,说明利用有限元这种方法可以对光纤陀螺的温度场进行准确的计算.另外,基于得到的光纤陀螺温度参数进行了相关的拓展计算,得到了一些定性的结论,可作为温度补偿的理论基础.     

一种高散射率PIV实验用示踪粒子的制备

采用化学镀银的方法在空心玻璃微珠表面包覆一层金属银,使其表面具有足够高的光散射效率和合适的密度,作为示踪粒子用在PIV（Particle Image Velocime时）实验中。文中研究了相关化学镀银工艺参数对所制各示踪粒子密度的影响,并对所制各的示踪粒子进行了流场测试评价,结果表明：采用在空心玻璃微珠表面镀银的方法,可以获得性能优异的PIV实验用示踪粒子。     

细晶处理对磷微合金化GH761合金力学性能的影响

实验使用添加0.023%磷进行微合金化的GH761合金,采用6种不同处理制度进行细晶化处理.结果表明,一次热处理温度在780～950℃范围内变化时,对合金的晶粒组织影响不大,但与标准热处理组织相比,晶粒组织显著细化.采用830℃×4 h,AC,720℃×24 h,AC的热处理制度时,合金的综合力学性能较好.与标准处理相比,室温和650℃的抗拉强度和屈服强度均明显提高,塑性也有所改善,而且650℃/690 MPa持久寿命比普通GH761合金650℃/637 MPa的持久寿命长.     

Mo-Si材料相组成与热膨胀性能的研究

利用液相反应烧结制备不同配比的Mo-Si复合材料,用X射线分析相组成,扫描电镜观察微观组织形貌,热膨胀仪测不同块体材料的热膨胀系数(CTE).研究结果表明,不同配比烧结体相组成以MoSi2为主,当Si/Mo为2.2:1(at%)时MoSi2基体中仍含有极少量的Mo5Si3相,而Si/Mo为2.3:1时生成纯MoSi2.复合材料的CTE随Mo5Si3相含量的减少而增加,当Si/Mo达到2.3:1时,CTE为最大值(8.16×10-6K-1).     

空间环境分子污染对航天器的影响

空间环境分子污染对航天器的影响,是目前高可靠性、长寿命航天器在设计时非常重要的问题之一。通过对国外航天器在轨飞行过程中所发生的分子污染现象的总结,从分子污染的来源、形成过程、与原子氧和紫外辐射等其他空间环境因素间的反应、对航天器敏感表面特性的影响等方面,对分子污染效应做了详细的介绍。并指出,材料的真空放气产物和原子氧剥蚀产物在航天器表面的沉积,是分子污染的主要来源。而在原子氧和紫外辐射的作用下,污染层会发生氧化、固结、暗化等现象,使其外观和成分发生了不同程度的变化,从而对航天器敏感表面的光、电、热控等性能带来了很大程度的影响。     

UML状态图的形式化建模及其分析

为解决状态图的建模问题,特别是带有复合状态的层次化状态图的建模问题,分析了UML状态图的结构特点和语义特征,构造了层次化着色Petri网HCPN.将复合状态的Petri网子网结构划分成输入/输出端口、状态迁移部分和历史状态部分.其中输入/输出端口分别用于完成子网进入弧的解析和离开的弧的汇总,状态迁移部分完成状态机子网内部状态变换,历史状态部分通过"记忆单元",完成复合状态的"记忆恢复"和"记忆刷新".基于所构造的HCPN结构,总结了状态图复合状态转入/转出迁移的语义和约束规则,阐述了复合状态的Petri网子网的相应描述方法和分析技术.最后针对状态图的安全性要求详细论述了历史状态完备性判定原则、父子层一致性判定原则和状态可达性判定原则的HCPN语义表示.研究成果对进一步开发自动化分析验证工具,优化复杂系统设计方案,提高软件质量具有重要的指导意义.      

空间站机械臂转位系统动力学建模及特性分析

为分析空间站在应用机械臂转位过程中的动力学特性,采用矢量力学方法推导了考虑偏心量的空间站转位系统动力学模型.使用有限元方法描述柔性臂的弹性变形,应用Newton-Euler法建立空间站机械臂转位系统转动方程,并采用Lagrange法建立柔性臂振动方程;针对柔性机械臂末端带有大负载的特点,将末端弹性变形引起的负载角速度从负载绝对角速度中分离,应用约束模态展开法对动力学方程进行降阶.提出了构造降维矩阵的方法以便于利用空间动力学模型研究机械臂平面转位问题;分析了空间站舱体转位过程中系统的转动惯量、偏心量发生变化的特性.数值仿真结果表明:空间站在转位过程中,系统总体相对于系统质心的转动惯量变化巨大,且偏心量变化范围甚至已超出了空间站核心舱的几何范围.结论可为空间站的控制系统设计提供理论参考.