基于UML—OOPN的可重构制造单元建模

以可重构制造单元为研究对象，以实现其可重组性为研究目标。提出了一种集成标准建模语言UML和面向对象Petri网的建模方法－UML－OOPN，该方法同时具备了标准建模语言UML和Petri网的优点，不仅能够提供了支持需求分析，模型描述和设计，模型分析和仿真，直至模型实现的一块化框架，而且所建立的系统模型具有较好的可重用性和可扩展性。     

应变速率对LC4CS铝合金腐蚀性能的影响

在腐蚀环境和外力的协同作用下，铝合金的某些电化学性能将发生明显变化，本文发现，随着应变速率的增加，LC4CS铝合金自腐蚀电位负移的速率也增加，当与阳极氧化后的铝合金耦合时，LC4CS铝合金的耦合电流随应变速率的增加而逐渐增大，应变量大小0．04后的耦合电流急剧增大，在小幅度恒电位方波的作用下，暂态电流呈现新奇的力学效应，可以认为暂态电流的波动，将预示着铝合金表面状态的变化，尽管暂态电流波形受自腐蚀电位负移的影响而不对称，无法从恒电位的负向极化准确测量暂态电流，但是，从该方法所得的结果与耦合状态时的结论仍然是一致的。     

无穷观问题的研究（Ⅴ）—一个兼容实无与潜无限的公理集合论系统APAS

本组系列论文（I）－（Ⅳ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种无穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

基于Web的CAD系统研究与实现

介绍了一个新的基于Web的CAD系统。用户可以在任何操作系统上，通过浏览器来利用安装在服务器上的该CAD系统进行产品的设计。无需事先安装任何其他软件，也不用考虑系统的维护。本讨论了实现该系统所需的架构和数据库结构，并给出了系统的UML模型，利用Java和CORBA在Web上建立原型系统。     

振动表面自然对流强化换热特性

基于振动影响流动换热边界层发展的思路,通过实验方法对振动条件下的自然对流换热特性进行研究.实验采用电铃谐振器作为加热膜的激振源,并利用红外测温技术对表面温度场进行了测量.结果表明:振动对自然对流的强化可提高90.7%.在等热流密度条件下,振动能量越大,换热越好;在等振动能量条件下,热流密度越小,换热越强.研究结果为强化表面自然对流换热提供了一种新思路.      

间隙非线性结构气弹响应分析程序的DMAP开发

对大型工程结构,目前MSC/NASTRAN提供了线性颤振、线性气弹的计算功能,但无法进行非线性结构的气弹响应分析。本文采用Roger有理函数拟合法,从简谐运动情况下NASTRAN求得的若干折减频率下的非定常气动力系数矩阵,导出任意运动情况下的非定常气动力近似表达式,并将该气动模型引入到非线性运动方程中,利用DM AP语言在NASTRAN非线性瞬态响应分析程序中加入相关气动力模块,实现了大型有限元机翼结构的非线性气弹响应分析。文中给出了算例,结果验证了该法分析间隙非线性结构气弹响应的有效性。     

ADAMS和ANSYS在机构分析中的应用(英文)

针对ANSYS软件适合线性/非线性应力、应变分析,不适合机械系统运动/动力学分析,而ADAMS软件适合机械系统运动/动力学分析,不适合有限元分析的特点,介绍了将ANSYS和ADAMS两种软件结合起来对机械结构进行动力学分析及应力、变形分析的方法,通过实例证明此方法可行。     

带配平翼月球返回舱跳跃再入轨迹优化设计

为解决小升阻比月球返回舱再入大气层时安全性低、机动能力差的问题,提出采用一种带配平翼的中等升阻比返回舱做为月球采样返回舱,并对动压约束下轨迹优化问题进行了分析。首先介绍了一阶状态变量约束最优控制问题。然后采用庞德里亚金极大值原理以总吸热量最小为优化目标,对动压约束下再入轨道的初始再入段进行了优化设计,给出了升力系数的最优表达式。仿真研究表明,该方法能有效地降低返回舱再入过程中的动压。
     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

超临界二氧化碳再压缩布雷顿循环性能分析及优化设计方法研究

为发展工程适用的超临界二氧化碳布雷顿循环优化设计方法,研究了关键参数对超临界二氧化碳再压缩循环性能的影响规律,阐述了循环优化设计的必要性,并基于粒子群算法发展了一种再压缩循环优化设计方法.该方法以最低循环压力、循环增压比和分流因子为优化变量,以循环热效率为目标,以合流三通进口温差为约束条件.参数影响规律分析结果表明:循...