基于过程规范语言的复杂工艺过程模型建立方法

 使用基于本体论的过程规范语言（PSL）对制造过程信息进行规范,已成为过程信息集成的重要发展趋势。针对零件复杂工艺过程信息中存在的资源多样性、工序次序无关性等特点,讨论了PSL理论在工艺过程领域的应用模式,提出了一种采用PSL建立复杂多工艺过程模型的模型构建方法和描述方法,并建立了基于PSL的工艺过程信息建模平台,同时实现了在计算机辅助工艺设计系统中的初步应用,为进一步探索PSL在制造信息系统集成中的应用提供了可参考的经验。     

基于有限元法的水下绝缘体小目标电磁场探测方法仿真研究

开展具有自主知识产权的水下绝缘体小目标探测方法研究,可为我国海域勘探开发提供技术支撑。文章将基于有限元的电磁场探测方法应用到水下绝缘体小目标的检测：首先利用ANSYS Maxwell软件进行建模仿真;然后对不同电流及不同水面高度/水下深度有无绝缘体小目标的磁感应强度进行模拟并计算其差值。结果表明,当水下导线直流电流为200 A时,磁感应强度模拟差值大于0.3 nT,可在350 m×350 m×35 m的海域内有效探测有无绝缘体小目标通过。     

基于前馈神经网络的柔性连续臂建模与仿真

柔性连续臂的设计研究近年来取得重大进展,但其建模研究一直相对滞后。为此,文章对柔性连续臂进行运动学建模研究,提出使用临时姿态矩阵求解逆运动学的方法,解决了逆运动学不易收敛的问题;利用前馈神经网络对基于模态振型函数（MSF）的模型进行拟合,建立一种端到端的正运动学模型和逆运动学模型,在保证模型精度的同时,显著提高了其逆运动学求解效率。该模型可以灵活更改前馈神经网络输入输出神经元的数量,从而将自身迁移到多节模型中。     

空间辐射对空间站航天员的剂量影响分析

为有效实施对航天员的空间辐射防护,采用计算机断层扫描数据（CT）建立了精细化男性体素模型;基于Geant4建立蒙特卡罗程序计算空间站轨道辐射经过舱壁（5 g·cm^-2等效铝屏蔽）后在体模中的辐射剂量;分析了不同辐射粒子在体素模型组织或器官中的吸收剂量、当量剂量和有效剂量。计算结果表明：航天员体内吸收剂量大约80%来源于地球辐射带（ERB）质子;大约14%来源于银河宇宙线（GCR）质子;α粒子的剂量贡献占比约为5%;其余重离子的剂量贡献占比在1%左右。另外,航天员吸收的当量剂量和有效剂量50%左右来自于ERB质子,另50%左右来自于GCR粒子。计算结果将有助于评估航天员在空间站舱内的潜在辐射风险并提供辐射防护参考。     

火星探测器再入RCS喷流干扰效应数值模拟研究

针对火星大气环境下的反作用力控制系统（RCS）喷流干扰问题,采用自研CFD软件数值模拟“火星科学实验室”（MSL）外形在火星大气环境中的喷流干扰效应;并与文献中的高超声速喷流干扰风洞试验和计算结果进行对比验证;继而完成了火星大气环境高超声速（M_∞=5～10）条件下的偏航方向喷流干扰效应数值模拟,获得了不同攻角（α=0°～-30°）、不同马赫数条件下的喷流干扰气动规律：负攻角增大将导致喷流干扰效应增强以及附加偏航力矩增加;来流马赫数对附加干扰力矩的影响较小。研究结果可为火星探测器喷流控制设计提供参考。     

某型机翼内翼结构几何优化设计

某型机翼内翼结构布局优化模型,包括两类设计变量:位置变量和尺寸变量。本文利用PCL语言实现了在MSC.PATRAN环境下的参数化建模,以最小重量为目标函数,在强度和位移约束条件下,利用网格法进行位置寻优,并使用MSC.NASTRAN软件给出了最优尺寸变量。通过计算表明,本方法效率较高,结构重量稳定下降,优化效果明显。可以解决此类工程问题,具有一定的实用价值。     

火箭径向连接孔精度对承载能力影响分析

对火箭部段间径向连接进行受力分析,径向连接螺栓受剪切力及附加弯矩共同影响。对存在接触、摩擦和预紧等非线性因素的径向螺栓连接结构建立有限元分析方法,得到径向连接螺栓所受剪切力及附加弯矩。基于典型结构开展连接孔精度对承载能力的影响,获得不同对接孔精度下的承载能力,为火箭径向连接孔精度的选择提供工程设计依据。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

基于增量-迭代算法的SABRE系统非线性分析流程设计

随着大型复杂装备结构分析的非线性问题日益突出,基于线性理论的有限元分析方法已难以满足复杂工程结构设计与研制需求,必须借助非线性有限元方法来获得结构的全状态力学性能。鉴于工程结构对非线性有限元分析的迫切需求,在新架构下的自主CAE软件SABRE系统中,基于增量-迭代算法研发了非线性有限元计算流程和相应的功能模块,初步实现了结构非线性分析功能。数值算例表明,研发的分析流程具有较高的精度,可进一步基于该流程进行功能的扩展和性能的提升。     

CFD软件可信度评价知识库系统构建研究

针对气动数值模拟及可信度评价对知识库建设的迫切需求,综合调研并对比分析了国内外不同CFD知识库发展现状、知识库构建等相关技术,同时结合构建的气动力/热CFD软件可信度评价知识体系,重点开展了基于Wiki的知识库构建技术研究和基于Neo4j图数据库的知识图谱构建研究,形成基于开源Wiki框架的气动力/热CFD软件可信度评价知识库原型系统的建设方案。在此基础上,从制定知识入库流程、确定权威知识来源、制定标准档案模版、组织知识评审机构等四个方面明确了知识库建设的基本原则,确保知识库系统建设工作顺利展开,并为CFD知识库的后续发展提供应用示范和技术储备。