AFDX流量管制信用量设置的模型检查

航空电子全双工交换式以太网（AFDX）实时通信中,交换节点采用信用量令牌桶（creditedtoken bucket）进行流量管制。分别对基于帧和基于字节的信用量令牌桶流量管制进行时间自动机建模,并构建模型的并发交互场景;采用测试自动机,进行有界活性（bounded liveness）模型检查。通过形式化验证,发现流量管制通过约束突发度限制多路复用输出排队的时延抖动,但信用量值的设置必须考虑输入虚拟链路（VL）的时延抖动,否则可能导致已经聚合的流量中属于不同VL的帧的先后次序被破坏,反而造成更大的时延抖动。通过分析时延抖动对信用量设置的影响,归纳并给出流量管制信用量设置的注意事项。     

基于元胞自动机的5B70铝合金载人密封舱室加强筋组织演化研究

针对5B70铝合金密封舱体加强筋的微观组织演变问题,基于元胞自动机理论,引入拓扑算法,建立晶粒形核、长大和再结晶模型,研究了单道次微铸锻工序中加强筋的微观组织演变过程,分析了应变量对动态再结晶与静态再结晶晶粒尺寸及体积分数的影响.结果表明:最佳微锻应变量为0.3;在微锻过程中由于塑性变形温度过低,动态再结晶体积分数最大...     

中国航空综合技术研究所与国际自动机工程师学会签署战略合作协议

<正>2014年12月11日,中国航空综合技术研究所所长梁丽涛与国际自动机工程师学会(SAE)首席执行官戴维?舒特博士在北京共同签署了协议,正式确立双方的战略合作伙伴关系。工业和信息化部装备工业司杨栓昌副司长等领导出席了签字仪式,共同见证了这两家重要航空标准机构走向全面深入合作的关键时刻。SAE作为航空航天标准的制定机构,在国际上享有较高声望,其发布的标准得到了全球航空航天领域的广泛应用。中国     

TC4-DT钛合金β锻动态再结晶元胞自动机模拟

通过对TC4-DT钛合金β单相区的等温恒应变速率压缩实验,分析合金的动态再结晶行为,并建立合金的动态再结晶的元胞自动机模型(CA模型)。在DEFORM-3D平台上,采用CA法模拟TC4-DT钛合金压缩过程中的显微组织演变。结果表明:随着应变量的增加动态再结晶的发生越来越充分;试样不同部位发生的动态再结晶程度有所不同,中心区域发生的动态再结晶更充分,很好地细化了原始组织;动态再结晶行为随着应变速率的增大而逐渐被抑制,但晶粒尺寸反而减小;模拟结果与实验结果相当吻合。     

CA-FEM模拟β21S合金多道次热变形过程中的组织演变

本研究基于一种改进的元胞自动机(CA)与非线性有限元(FEM),建立了多道次热变形过程CA-FEM模型,模拟了β21s合金多道次非等温热压缩过程中的组织演变过程.通过有限元分析获得温度场、应变场、应变速率场等局部参数,作为元胞自动机模型的输入,模拟得到坯料心部与端部在多道次热变形过程中的组织演变特征.模拟过程中综合考虑热变形、静态再结晶、亚动态再结晶和动态再结晶等物理冶金现象.结果表明,坯料的局部热变形参数对组织演变影响较大,坯料心部再结晶程度大于坯料端部,心部组织细化效果优于端部.变形过程中的动态再结晶起主要的晶粒细化作用.     

基于确定有限自动机实现MES的流程控制应用研究

简述确定有限自动机的基本概念,提出了应用确定有限自动机在MES中实现流程控制的思想.通过XML来构造确定有限自动机,并给出实现方法和实例.     

基于元胞自动机的民机应急撤离仿真系统设计

介绍了一种基于元胞自动机求解民机应急撤离问题的方法,提出了民机应急撤离仿真系统设计的总体思路.在此基础上,按照人一机一环境系统工程的思想设计了层次化的体系结构和相应的功能模块,分析了系统设计过程中涉及的关键技术及其实现方法.最后开发了面向对象的民机应急撤离仿真系统,并通过典型的客舱布置方案进行了计算验证,结果表明设计的...     

高超声速飞行器滑模控制参数整定方法设计

本文针对高超声速飞行器滑模控制人工试凑的参数整定方法较为繁琐、效率低的问题,改进了连续动作学习自动机（Continuous action reinforcement learning automata, CARLA）算法并将其应用于滑模控制参数整定问题中,改进后的算法通过对回报函数的设计有效克服了常规CARLA算法收敛速度慢、易受干扰、求解效率低的问题。该算法引入控制性能指标评价函数,在迭代中学习阶跃响应的经验数据,实现了控制参数自整定。仿真表明,对于阶跃响应问题,本文提出的算法能够在100次迭代中整定出一组高品质的控制参数,完成对给定指令的快速准确跟踪,与遗传算法、模拟退火算法相比,在求解速度上具有显著优势。由于该方法不依赖于模型,除了滑模控制器参数整定外对其他控制方法的控制参数整定问题也有一定适用性,具有推广应用价值。     

小学门口放学期间的一个行人流模型

以小学放学时的行人流运动模式作为研究对象,研究该场景中的行人流特征。放学过程中,学校门口的行人流存在行人不均衡分布、行人按一定规则输入输出、行人成对行为、拥堵现象等特征。借助元胞自动机模型,在静态场基础上提出了一个行人流模型,并设计了一种基于下一步距离收益的算法。利用该模型对北京航空航天大学附属小学放学时学校门口的疏散行人流进行仿真,其仿真结果表明行人流输入率和初始分布人数对系统疏散效率有显著影响,平均疏散时间与初始分布人数呈现负相关的关系。