摘要：介绍了CATIA V5的几种二次开发方式,讨论了Automation API二次开发的基本原理,应用VB语言,基于CATIA Automation技术实现了平板式石英灯辐射加热器的自动化设计,缩短了试验设计周期,降低了试验成本。石英灯加热器参数化设计的完成为构建热结构虚拟试验平台提供了支持。

摘要：某静力试验夹具主要由方型钢管焊接和钢板螺接而成。本文利***软件对该结构的应力分布及位移变形进行了分析。利用***建立了几何模型和有限元分析模型，利用***对模型进行了计算，得到应力分布和变形分布，并利用优化模块Nastran-Opt以质量最小为目标函数进行了优化，以梁元的弯曲应力为约束条件，得出质量最小的最佳设计，从而达到节约成本的目的。

摘要：提出一种在***平台实现圆筒式试验夹具有限元模型自动建立方法,其主要特点是对可以动态实现与试验件螺栓连接的配套。用户无需熟悉MSC. Patran环境,应用MSC. Nastran对圆筒式试验夹具进行强度和刚度校核,实际应用表明:采用该程序可以对圆筒式试验夹具进行快速预估,为设计人员提供技术支持。

摘要：通过对油茶果的特性分析,并根据油茶果壳为木质化特点,当油茶果进入剥壳区域后机器对其进行柔性挤压,从而达到壳、籽分离的目地。本文中提出的油茶剥壳机的生产能力和技术参数,通过试验样机的验证可以满足实际生产及后续加工要求。

摘要：介绍了气动加热采用工程算法条件下,分别基于自研结构温度场有限元分析软件ASTSA和商用软件MSC/NASTRAN,气动加热与结构温度场耦合分析平台的研发技术。该耦合分析平台适用于Ma<6的超音速飞行器典型热影响区的气动/热耦合分析,其可靠性和精度通过了工程实例考证。在3<Ma<6的超音速飞行器概念设计阶段,利用该平台可以提高结构温度场预估精度,缩短飞行器设计周期。

摘要：模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关键软件的设计与实现提供完整支持。然而,工业界实际代码是运行在具有不同特性的目标平台上的,例如不同的软硬件体系结构和编程接口,而现有AADL代码生成研究主要是通过手工将自动生成的代码集成到平台当中,存在工作繁琐且易出错的问题。为此,本文提出一种基于AADL的航天嵌入式软件Ada代码自动生成方法。首先,给出卫星姿轨控系统的AADL建模;其次,给出AADL到平台相关的Ada代码自动转化规则;最后,给出代码生成原型工具,并对卫星姿轨控系统AADL模型所生成的代码进行航天编码规范检查,并运行在相关仿真环境中,验证了本文所提方法的有效性。

摘要：提出一种基于***/Patran的桁架结构自动生成的方法。该方法在给定梁端点坐标、外部荷载及载荷点坐标、约束点和材料属性的条件下,根据桁架结构的坐标形式,分类定义了梁单元的方向,以空间直线的交点作为梁单元的分界,从而自动形成***的完整有限元模型。通过***计算,在***平台自动显示计算结果。实际应用表明,此方法在处理桁架结构自动生成的问题上具有可行性和有效性,为试验夹具的设计与定型提供理论支持。

摘要：为了确保分析精度的条件下提高带楔环的鱼雷结构分析效率,在优化设计的基础上建立了一种楔环刚度等效方法。建立带接触的三维细节实体元有限元模型和全壳元有限元模型,分别进行非线性静力分析和线性静力分析,以连接部位壳元刚度为参数,以全壳元模型与三维细节模型挠度一致为目标开展优化设计,通过优化设计得到连接部位的楔环等效刚度。采用等效刚度模型和模态分析后发现,等效模型可以在计算精度和计算效率之间取得较好的均衡,证明提出的方法在鱼雷结构设计和强度研究中具有较高的应用价值。

摘要：在航空、航天、交通、能源等安全关键领域中,软件的失效可能导致系统处于危险状态,从而导致财产损失、环境破坏甚至人员伤亡,如何保障这类软件的可靠性和安全性一直是学术界和工业界共同面临的难题.近年来,形式化模型驱动的安全关键软件设计与验证方法逐渐受到重视,并被认为是切实可行的重要手段.然而,形式化模型驱动开发方法的生命周期一般较少涉及需求阶段,主要原因是当前工业界的软件需求主要通过自然语言文本描述.而安全关键软件引起严重事故的问题链的最上端原因往往又是软件需求尤其是安全性需求的问题. AADL(Architecture Analysis&Design Language)是一种广泛应用于安全关键软件领域的建模语言标准.本文针对自然语言需求和AADL模型驱动开发方法之间还存在鸿沟的问题,研究基于限定自然语言的安全关键软件需求建模及AADL模型自动生成方法.首先,提出一种基于限定自然语言的需求规约方法,通过结构化的需求组织方式及受限的自然语言以减少需求表达中存在的二义性.其次,给出限定自然语言需求到AADL模型的自动转换方法.此外,本文给出一种结构化的验证性质描述模板,并自动转换到AADL组合验证附件AGREE(Assume Guarantee REasoning Environment) Annex,从而支持对AADL模型进行形式化验证.最后,在AADL开源工具环境OSATE中实现了原型工具,并基于航天导航制导控制子系统进行案例分析.

摘要：一体化热防护系统(ITPS)已经成为高超速飞行器关注的主要发展方向,承力和防热的双重作用使得ITPS能够显著降低飞行器的整体重量。在对ITPS进行综合效能分析时,需要考虑结构效率、材料性能、结构的可设计性和工艺的复杂性等因素。本文从ITPS设计的合理性、ITPS减重的可行性、设计的难易度、工艺的复杂度4个方面进行了讨论,为设计人员提供指导。