实时嵌入式软件测试执行引擎的设计与实现

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

A brief overview of the School of Aerospace Engineering of Tsinghua University

This article provides a brief overview of the teaching and research at the School of Aerospace Engineering (SAE) to celebrate the 80th anniversary of the establishment of aeronautics as a discipline at Tsinghua University. The evolution of the school, undergraduate/graduate students and faculty members, and research activities and achievements have been described. The research input including research funding and research projects are summarized, showing a diversity of funding sources and a significant growth in either sum total or spending per researcher. The achievements including publications and inter/national academic awards are also introduced. It can be seen that the level of academic publications has been growing over the past decades. In addition, four representative research achievements have been briefly described to show the scientific contributions of the school.     

基于项目集识别过程的航空领域重大基础研究项目发现

航空领域专项计划的实施需要发现大量重大基础研究项目进行支撑,而目前航空科研管理部门在项目发现过程中以被动管理为主,未能充分发挥其作用。通过分析自上而下航空领域重大基础研究项目内涵及现状基础上,借鉴项目集识别过程及其项目识别特点,构建自上而下的航空领域重大基础研究项目发现过程及机制,分析重大基础研究项目发现所涉及的航空领域专项计划主管部门、航空科研管理部门以及科研人员间的相互关系和功能,并结合某航空科研管理部门进行实例应用。表明基于项目集识别过程梳理和完善了航空领域重大基础研究项目发现过程及机制,强化了航空科研管理部门作用,提升了项目发现有效性。     

可靠性系统工程的理论与技术框架

简要回顾了可靠性系统工程的形成过程,以产品故障为核心,阐述了可靠性系统工程的概念与定义,把认识产品故障发生规律和故障表现规律作为可靠性系统工程基础理论,把故障预防技术、故障控制技术和故障修复技术作为可靠性系统工程的基础技术,把基础技术的集成作为可靠性系统工程的应用技术,从而初步建立了可靠性系统工程的理论与技术框架,细化了可靠性系统工程的学科内涵。可靠性系统工程作为初现的新学科,虽然尚未达到严格定义与清晰表达的完善状态,但是我们完全有信心期待其作为一种新的方法论,帮助工程设计人员更好地完成工程系统的设计。     

谐波传动的工程应用研究

根据谐波减速器的工作原理和特点,提出了谐波传动设计、测试的基本方法,并且介绍了谐波传动在国防科技中的应用现状和进一步的发展方向。     

软件再工程理论应用研究

软件再工程通过逆向工程、重构和正向工程几个环节,将现存系统开发成新的系统,是有效利用原有系统的现实可行的方法。本文研究了软件再工程的基本概念和目标、再工程的基本框架等理论;介绍了对某显控计算机软件的分析、重构和验证等内容。     

民用飞机计划维修工作决策支持方法研究

根据中国民航咨询通告的要求,以MSG-3REV2003.1思想为依据,采用逻辑向量的数学方法对预定维修工作的决策方法进行研究,进一步为决策过程提供参考,开发了类似机型数据库,实现对确定维修工作的参考和验证,不仅保证了维修工作确定的便捷,而且保证了维修工作的有效性和适用性,对于开发研究的新型飞机的维修大纲制订具有重要的现实意义和指导意义。     

航空武器装备价格审计探析

文章从价格审计的内涵出发,引出航空武器装备价格审计这一概念,阐述了航空武器价格审计所应包括的四项内容,即:航空武器装备所耗直接材料的审计、航空武器装备所耗直接人工的审计、航空武器装备所耗制造费用的审计及航空武器装备所耗专项费用的审计.在此基础上,就航空武器装备价格审计实施的前提作了探讨.     

环境工程技术对航空航天产品可靠性的研究

产品可靠性必须要与其所处环境因素结合考虑，通过发展环境工程技术来提高产品可靠性。从环境工程技术的发展及与可靠性工程技术的关系、可靠性工程技术中常用的环境工程技术这一角度论述了环境工程技术对提高航空航天产品可靠性的作用及影响，并总结了环境工程技术在可靠性设计中的应用。有效地利用环境工程技术有利于提高产品的可靠性。     

近年来我国风工程研究的进展

本文简要介绍了最近十余年来我国风工程的研究活动,包括研究设备和研究成果的进展。文后列有较详细的有关文献。