基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

基于内容的可视化多媒体查询语言的设计

设计了一个基于内容的可视化多媒体查询语言CBVMQL(Content-Based Visual Multimedia Query Language),该语言将语义表达、概念化定义、面向对象的语义表示和图像示例有机地结合起来,不仅提供了一个自然的可视化查询接口,而且也支持通过自动查询生成来精确地操纵信息.同时,它还结合多媒体的内容信息,实现了基于内容的多媒体查询.     

基于气动辅助变轨的变气动外形飞行器概念研究--最优控制律问题

从一个天地往返飞行器的上升轨道和再入返回轨道的优化，以及适用不同飞行任务的变轨要求的气动外形问题，提出一项基于气动力辅助变轨的变气动外形飞行器的新概念研究。对于一个固定气动外形飞行器要同时满足上升轨道有效载荷最大和再入轨道热流峰值、过载峰值及机动性能约束下的成本最低往往是困难的。若同时满足不同飞行任务：飞往太空站的运输任务，空间拦截和交会机动巡航任务及星际探测任务，则更为困难，实际上是不可能的。文章研究基于气动力辅助变轨，在热流约束下，气动外形参数变化对最优控制的影响。其结论为：热流约束下的最优控制解，包括考虑推力协同变轨，除了在非约束弧的滚转角不直接受气动外形影响外，其余的控制律，升力系数和滚转角都是气动外形参数和攻角的函数。因而变气动外形可作为一项新技术，即通过气动外形参数变化和相应的变轨策略而获得性能和成本都最佳的用途很广的一种新型飞行器。     

壁面加热湍流标度律的实验研究

用热线风速仪测量了风洞中壁面加热和不加热平板湍流边界层不同法向位置的流向速度和温度的时间序列信号，研究了壁面加热的边条件和不同法向位置的剪切作用对速度和温度增量的p阶结构函数的非线性反常标度律的影响，实验结果表明，壁面加热的边界条件不同法向位置的剪切作用对层次结构模型中间歇参数β和最奇异指数γ的影响明显存在，并初步分析了在具有强剪切作用的壁湍流中这种影响产生的原因。     

一种简单的中远程空-空导弹中制导律研究

基于奇异摄动方法,提出了中远程空－空导弹由爬升段控制、巡航段控制和交接段最小能量控制３部分构成的次优中制导律。根据工程实际要求,给出了简单的、易于实现的中制导律执行算法。结果表明,该制导律较好地满足了中制导段的要求。     

针对变速机动目标的变速导弹三维导引律

应用李雅普诺夫稳定理论，提出一种三维制导算法，在算法设计中，既考虑了目标机动，包括目标速度的变化，又考虑了导弹速度的变化，为实现所提出的算法，进一步将与目标运动的加速度和速度方位信息的有关的项归为两项，给出了其估计方法，仿真结果验证了该方法的有效性。     

An extrapolation approach for aeroengine’s transient control law design

Transient control law ensures that the aeroengine transits to the command operating state rapidly and reliably. Most of the existing approaches for transient control law design have complicated principle and arithmetic. As a result, those approaches are not convenient for application. This paper proposes an extrapolation approach based on the set-point parameters to construct the transient control law, which has a good practicability. In this approach, the transient main fuel control law for acceleration and deceleration process is designed based on the main fuel flow on steady operating state. In order to analyze the designing feature of the extrapolation approach, the simulation results of several different transient control laws designed by the same approach are compared together. The analysis indicates that the aeroengine has a good performance in the transient process and the designing feature of the extrapolation approach conforms to the elements of the turbofan aeroengine.     

民用涡扇发动机起动过程改进的分段组合控制计划研究与试验

针对某型民用涡扇发动机,将n-dot闭环控制算法应用于涡扇发动机起动过程,设计了涡扇发动机起动过程开环与闭环分段组合的控制计划,仿真表明:涡扇发动机起动过程采用n-dot闭环控制算法在初始阶段会出现参数摆动的情况.为此,基于油气比作控制变量进行消喘的原理,对n-dot闭环控制算法进行了改进,以消除起动初始阶段的参数摆动.试验结果表明:改进后的分段组合的控制计划能够有效抑制参数摆动现象;并且,对于不同大气条件的起动测试,起动过渡态过程高压转子转速的数值差距不大于1.0%,延时不超过0.9s;而对于不同飞行状态的起动测试,起动过渡态过程高压转子转速的数值差距不大于1.0%,延时不超过1.2s,具有良好的稳定性和重复性.      

提高HDL综合质量的探讨

提出了EDA工具QuartusⅡ和LeonardoSpeetrum组合方式在Altera公司CPLD器件开发中的应用．解决了目前集成电路设计的复杂和门级电路不易管理的一些问题。同时给出了可编程逻辑器件的开发流程以及在设计思路和语言使用上来简化、优化电路设计以提高HDL综合质量的几点探讨。