摘要：自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.

摘要：通过对产品开发过程的分析 ,指出了并行产品开发过程的必要性。基于面向对象的技术 ,建立了并行设计与过程开发的产品与过程模型。在所建立的对象模型基础上 ,结合工装 CAD的设计过程 ,开发了以 PDM为集成框架的工装 CAD管理系统 ,并给出了系统的实现方法。采用该系统 ,不仅增强了对产品数据信息的管理能力 ,也大大提高了设计效率 。

摘要：文章将定子磁链观测器应用于直接转矩控制系统中 ,取代了传统的积分器。同时 ,依据磁链观测器的输出电流设计出一种新型的速度观测器。针对 1.1k W异步电机 ,采用数字信号处理器 DSP(TMS32 0 C32 )进行了数字化实现。仿真与实验表明 ,该方案对电机定子磁链的观测精度高 。

摘要：由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.

摘要：对某航空发动机复合材料外涵道机匣构件进行了结构有限元建模与线性屈曲特性的有限元分析。利用圆柱壳体耦合载荷的研究成果 ,分析了机匣在轴向压力、端部扭矩及内压组合作用下的屈曲行为规律 ,进而为航空发动机的结构设计提供了参考依据。

摘要：设计拥有我国自主版权的微处理器在国防及民用有着重大意义 ,保护测试单元 PTU是支持微处理器运行于保护模式的重要部件。文中提出了保护测试单元 PTU设计方法 ,建立了保护测试单元的数据通路和控制通路 ,确定了保护测试单元 PTU结构 ,给出了 PTU与控制 ROM,DBUS和其它单元的相互关系。保护测试单元由多个基本构件 CELL组成 ,每个构件 CELL可进行一种测试 ,基于这种测试 ,可确立微处理器内部微程序的转移。最后用 EDA工具 SYNOPSYS对保护测试单元 RTL级的 VHDL描述进行综合与仿真 。

摘要：通过对变截面悬臂梁在一端受载时,自由端的位移、转角和悬臂梁各剖面刚度之间关系的分析,推导出一种基于有限元模型的剖面刚度计算方法。针对某型飞机,对机翼结构进行适当简化,建立机翼主承力结构的有限元模型,采用所推导出的方法计算了机翼沿展向各剖面的刚度,其结果可为某型飞机机翼结构设计和气动弹性分析提供参考。

摘要：点阵结构在航空航天领域有着巨大的应用潜力,其尺寸精度与功能特性密切相关。工业CT是对三维点阵结构进行尺寸特征检测的最佳选择之一。针对点阵结构的CT扫描数据提出了基于骨架特征的点阵周期性间距测量方法。通过网格收缩算法构建点阵结构的骨架模型。在此基础上,采用模板特征匹配法分离点阵单元并提取点阵单元中心点,实现点阵单元间距的测量。实验结果表明,骨架模板特征匹配法能够实现三维点阵结构内外尺寸特征的测量,具有效率高、稳定性好等优点。