基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

Al-Mg-Sc 和Al-Mg-Er 合金的组织与性能

采用铸造—轧制—稳定化退火技术制备了Sc含量为0.10wt％和Er含量为0.25wt％的两种Al-Mg合金薄板,研究了不同处理工艺下两种合金板材拉伸性能、剥落腐蚀性能和显微组织的变化规律.结果表明,两种合金冷轧板材稳定化退火过程中拉伸性能有相同的变化规律,即随着退火温度升高,板材强度下降而塑性升高,Sc含量为0.10wt％的合金350℃/1 h退火仍然表现出很强的抗退火软化能力,而Er含量为0.25％的合金当退火温度高于280℃后迅速软化;300℃/1 h退火条件下,含Sc合金和含Er合金的抗拉强度、屈服强度和伸长率分别为424 MPa、314 MPa、18.3％和350 MPa、177 MPa、29.1％;与此同时,随退火温度的升高,板材抗剥落腐蚀的能力也表现出相同规律性的变化,即200℃/1 h左右退火时剥落腐蚀最严重,随着退火温度升高,腐蚀抗力增加,两种合金板材经280℃以上1h稳定化退火后,合金板材可以获得较好的抗剥落腐蚀性能;其次,与Sc含量为0.25wt％的5B70合金相比,研制的Sc含量为0.10wt％合金综合性能接近5B70合金,而这种合金的Sc含量只有5B70合金的40％,能显著降低合金的制造成本,预示着低Sc含量的合金在航天领域有良好的开发应用前景.     

PMI 泡沫夹层结构整流罩冯卡门锥段成型技术研究

对PMI泡沫夹层结构整流罩冯卡门锥段成型技术进行了研究,通过对玻璃钢面板及其泡沫夹层结构性能、面板成型、泡沫热成形、泡沫拼接、玻璃钢泡沫夹层结构成型及无损检测等技术研究,确定了玻璃钢外面板、预先固化,然后与泡沫等复合组装,最后铺覆内面板,整体进罐固化的成型工艺。结果表明,玻璃钢面板纵、横向拉伸强度为602、593 MPa,模量为26.0、27.2 GPa,满足设计强度≥350 MPa、模量≥25 GPa的要求;玻璃钢/PMI泡沫夹层结构泡沫密度为(110±10)kg/m3,厚度28 mm,纵、横向侧压强度为32.9、30.5 MPa、模量为2.31、2.38 GPa,满足设计指标侧压强度≥25 MPa、模量≥2.0 GPa的要求,采用玻璃钢/PMI泡沫夹层结构分步固化成型工艺研制的首件新型号整流罩冯卡门锥段,满足设计使用要求。     

空间环境模拟试验设备研制项目进度管理研究

文章对空间环境模拟试验设备研制过程中的进度管理进行研究,结合实际工程经验,对工作分解结构、里程碑计划管理及网络计划技术等项目管理方法在空间环境模拟试验设备研制进度管理中的应用作了初步探讨,介绍了项目管理方法在的进度管理上的具体应用。     

全数字接收机中的并行插值技术研究

文章针对全数字接收机提出了一种并行插值结构.它不同于以往的串行插值,一次可以计算出一个符号内所需的所有插值点.这个特点改善了硬件中对插值计算的速度限制,提升了全数字接收机的性能.同时仿真结果表明,该并行插值结构可以很好的调整定时误差,适合应用在高速率的数据通信中.     

"新公共管理"运动与我国行政管理改革

由于社会背景不同,我国的行政管理改革只能借鉴而不能照搬西方的“新公共管理”模式,应当在审视自身国情的基础上,把握我国行政管理改革不同于西方“新公共管理”运动的特殊方面。这至少包括：为行政管理改革提供良好的法治环境;突出服务职能,同时强化必要的管制;大力培育非政府组织;有限制地引人市场机制和私营部门的管理方法;在促进规则制度建设的同时逐渐加大结果评价的权重;实现政治与行政的分离而又提升管理者的政治责任感。     

Web服务事务处理系统的研究与实现

Web服务具有良好的互操作性,能有效地支持软件的集成.在集成和交互过程中,Web服务需要事务的支持获得一致和可靠的结果.通过分析Web服务事务处理的基本原理、运行过程和机制,设计和实现了一个Web服务事务处理系统.该系统包括客户端、协调器、参与者和监控管理工具四部分,其中客户端创建、提交或者取消Web服务事务,协调器是管理和控制事务运行的协调中心,参与者是参与事务的Web服务,监控管理工具是提供给管理员的可视化工具.在协调器和参与者的交互过程中使用两阶段提交协议保证事务的原子性和一致性.该系统在处理过程中具有一定的实用性和灵活性,并能满足跨企业商业事务的需求.     

载人航天器在轨力学环境测量系统试验研究

为获取载人航天器上升段与在轨期间的力学环境,设计了在轨力学环境测量系统,并在载人航天器振动试验期间对其性能进行了测试,获取了航天器典型结构的力学环境数据并进行了频谱分析。将该系统测量数据与试验中载人航天器平台测点的测量数据进行了比对,结果验证了该系统的有效性,为载人航天器载荷条件的制修订提供了参考。     

压-压疲劳载荷下CFRP层合板表面红外辐射特征

为探究含冲击损伤CFRP层合板在循环交变载荷下的损伤演化规律,基于热力耦合效应研究了含损伤CFRP层合板疲劳过程中的表面红外辐射特征。以压-压疲劳试验模拟交变载荷,采用红外热成像方法分析了疲劳过程中含损伤CFRP层合板的热图序列和温度数据,结果表明：随着疲劳次数的增加,损伤沿垂直疲劳载荷方向演化,热斑颜色逐渐加深,初始冲击损伤形状逐渐演化为椭圆状,最后热斑横向端部出现"尖点";试件最大表面温差演化整体呈"快速上升-缓慢上升-快速上升"规律,最后出现跳升,其中热斑尖点、最大表面温差跳升可被视为结构疲劳破坏的前兆;含损伤CFRP层合板疲劳破坏时,其最大表面温差主要与纤维和基体种类有关,而试件铺层方式相较于纤维基体类别对最大表面温差无明显影响。研究揭示了冲击后CFRP层合板在疲劳载荷作用下的损伤演化规律,为飞行器复合材料结构的剩余疲劳寿命评估与损伤容限设计奠定了基础。     

多因素影响下的起落架收放系统性能分析

起落架收放系统是集机、电、液的混合复杂系统,影响收放性能的因素也呈多样性.针对目前大多研究并未较好地将收放各部分系统综合考虑的研究现状,提出了一套结合理论分析、多学科仿真技术及试验验证的分析方法,为起落架收放系统提供了较准确的分析手段.首先采用功率键合图法详细地推导了起落架收放系统动力学方程;在理论模型的基础上,建立了结合起落架动力学和液压系统的多学科协同仿真模型,并用试验结果对虚拟样机模型进行验证;最后详细讨论了混合系统中各关键参数对起落架收放性能的影响.研究结果表明,联合仿真模型的压力曲线与试验实测数据吻合良好,同时侧风、摩擦阻力、阻尼孔、液弹、油液泄漏等关键参数对收放性能都有不同程度的影响,分析结果可用于指导起落架收放参数设计、收放故障分析及可靠性研究.