基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

钛合金表面低氧压熔结Al-Si涂层及抗氧化能力

采用低氧压高温快速熔结技术在Ti-6Al-4V合金表面成功地制备出抗高温氧化的Al-Si熔结涂层.与Si改性渗涂层相比,这种工艺相对简单,不需要经过长时间的扩散就能形成足够厚度的Al-Si熔结涂层,省时节能,且涂层中抗氧化元素铝、硅的浓度可通过调整粉末的混合比例来进行控制.X射线检测表明涂层主要由Ti₅Si₃和TiAl₃组成.在923K空气中52h循环氧化试验结果表明:低氧压熔结Al-Si涂层在前10h的氧化过程中氧化增重较快,而在随后的氧化过程中氧化增重较为缓慢,而Si改性渗涂层在氧化过程中一直保持着较高的氧化速率.      

几种航空铝材动态力学性能实验

利用分离式Hopkinson压杆实验设备测定了4种航空铝合金材料的动态力学性能,根据材料的应力应变曲线特性,选择Cowper-Symonds模型来拟合4种材料的动态本构.在此基础上从实验结果中分析和比较了这4种铝合金在动态冲击下的破坏形式和动态力学特性.实验结果表明LF6R和LF21M具有良好的塑性,而LY12CZ和LC4CS具有一定的脆性;随着4种材料屈服应力的提高,材料切线模量也增加,二者呈线性关系;实验的4种航空铝材中LC4CS应变率敏感程度最小,LF6R敏感程度最大,LF21M,LY12CZ和LC4CS的应变率因子曲线形状相同.      

构架式空间可展开支撑臂

构架式空间可展开支撑臂在实现大尺寸高刚度航天器方面有着广泛的应用需求。文章论述了几种典型构架式空间可展开支撑臂的结构组成、工作原理和发展现状,从多个方面比较了不同类型构架式空间可展开支撑臂的特点,阐述了构架式空间可展开支撑臂发展趋势,指出球铰接杆式空间可展开支撑臂是适应大型化发展的空间可展开支撑臂主要发展方向,分析了实现球铰接杆式空间可展开支撑臂工程化尚需解决的关键技术。     

负压式平板型环路热管试验

为解决高热流密度电子器件的散热问题,设计了一套负压式铜 甲醇环路热管,其蒸发器设计成平板型。研究表明,该平板型环路热管具有较高的散热能力,能够在无重力姿态和重力姿态下顺利启动。当重力倾角分别为0°、18°和30°,热负荷为160W时,蒸发器壁面温度分别达到85.8℃、66.3℃和64.6℃。按照环路热管启动状态,其启动过程可分为3个阶段：加热阶段、预启动阶段和后启动阶段。在低热负荷区域,环路热管会出现温度波动现象。增大重力倾角,有利于降低蒸发器壁面温度和热阻。当重力倾角为30°,热负荷从10W递增到160W时,环路热管的热阻从4.97℃/W降低到0.39℃/W。     

多阶段任务系统通用可靠性仿真模型

归纳了当前多阶段任务系统(PMS,Phased Mission Systems)可靠性建模的基本假设,指出了解析模型描述和求解能力的不足以及仿真模型存在的难以转换的缺点.应用着色Petri网(CPN,Colored Petri Net) Tools建立PMS的多层通用仿真模型:顶层控制模型将PMS各阶段的故障树参数化,作为CPN通用仿真模型的输入;单阶段处理模型根据顶层控制模型的输入判别该阶段顶事件是否发生;底事件处理模型通过比较随机数和故障发生概率的大小产生故障.通用仿真模型可以保持模型结构的稳定,同时又简化了仿真模型的生成.案例对比了CPN仿真模型与二元决策图(BDD,Binary Decision Diagrams)算法的可靠性计算结果,证明了模型的正确性;具有动态变化参数的PMS仿真则说明了模型的适用性.      

云计算环境下动态用户行为认证的机制、模型与分析

在云计算中,终端用户对云资源软硬件的影响和破坏远比目前用户利用因特网进行资源共享要严重的多,因此相对于用户的身份,用户的行为是否真实可信是云计算研究的一个重要内容。提出了户行为认征的机制,包括行为认证集的确立、行为证据的获得、行为认证的策略,建立相应的随机Petri网模型,并通过量化瞬时变迁的实施概率来模拟不同的认证选择,利用系统达到稳定状态时位置中的平均标记数来评价认证效果,为云计算的安全应用奠定理论和实践基础。