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

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

关于3N+1猜想三种简捷证明方法的研究

论述证明3N+1猜想的三种简捷方法：迭代损益法、同胚法和数学归纳法成功证明命题成立。     

分类回归树在航天测控数据关联规则分析中的应用

发现参数间的关联规则对预测航天器系统状态和改进航天器系统设计都有着重要的意义。如何发现参数间的关联规则是航天测控数据分析中的一个难点问题。针对该问题，在概述小波分析和分类回归树基本原理的基础上，提出了一种基于分类回归树的分析方法。该方法首先采用小波分析技术对参数数据进行去噪声处理，然后用随机采样的方法把数据分为训练数据集和检验数据集两部分，再构建一个分类回归树模型并用训练数据集训练该模型，随后用检验数据集对该模型进行检验，在对检验结果好坏进行评价并确认获得较好结果的基础上，对分类回归树模型进行解析，并最终得出参数间的关联规则。最后运用仿真数据对上述方法进行了实例验证，结果表明该方法能较好地分析出参数间的关联规则。     

裂缝区域优化随机扩展航路规划方法

针对密集障碍代价空间中存在的局部裂缝区域,基于采样的路径规划方法随机生成的节点无法进行有效扩展,形成可行路径的概率极低的问题,采用电势原理建立环境威胁模型,提出局部区域启发模式转换机制及节点一步检测方法.采用路径代价改进Transition-based RRT算法的节点选择机制,实现节点扩展的双启发.仿真结果表明,该算法能够有效地解决上述问题,其算法性能和路径生成优于同类算法.     

用多值逻辑树表示的多状态系统可靠性分析

本文提出了多值逻辑树不交布尔代数法,可直接写出不交型结构函数,从而计算其可靠性,而不需先找出最小j值向量或质蕴涵、再将其不交化以计算其可靠性。故可节省计算量。本文还给出从系统不交布尔表达式反求全部最小j值向量的简便算法。用Prolog语言编制了本文算法的程序。     

高效图像资源管理器的设计与实现

针对数据存储量大引起的访问广域网服务器速度慢、不能对访问的客户进行细粒度的权限控制问题,研究了B/S模式下基于.NET平台的图像资源管理器的设计和实现技术。系统综合采用权限管理模型、动态加载、文档对象模型（DOM）等技术以及非点击无刷新伸缩控制方法,实现了图像资源管理器的分权限控制、高速访问以及无刷新高效联动等操作。实验验证了方法的可行性。     

关于FTA几个问题的讨论

结合图论的相关概念，深入分析了FTA中有关“正则树”及“割集”等基本概念的含义，并提出了改进建议；同时简要阐述了将其他逻辑关系转换为“与”、“或”门的方法．以简化逻辑运算。     

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

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