用C++实现捷联惯导软件中的四元数计算

利用 C++语言面向对象的优势,提出并采用构建类的方法来实现惯导软件中四元数的计算,从而大大提高了程序代码的可重复利用性,程序代码运行效率得到有效提高。     

航天器测试控制语言设计与实现方法研究

提出以航天器测试系统监控管理软件为运行环境的结构化航天器测试控制语言的语句定义和采用专用编译器、解释器实现的一种方法,可作为研制测试语言和在测试系统监控管理运行软件环境中增强测试序列管理和功能的设计参考。     

风洞试验数据管理平台设计与研究

针对国内民用飞机风洞试验数据体量大、种类多、高时效、更新快等特点,引入了矩阵存储模式替代了原有的分层存储模式对现有风洞试验数据进行了重新划分与归类,优化了数据文件存储结构。仔细分析该平台在存储规模、管理规范及使用功能等方面的需求后,拟选择IBMx366型或同等级别的工作站及配套设备作为硬件基础,同时明确了该平台的面向对象、使用规范及管理办法。该平台所含写入/查询/更新等常规功能采用Labview8.6软件开发平台及SQL语句脚本实现。该数据管理平台已具备了一定实际功能,基本满足对风洞试验数据管理的需求。     

Java虚拟机中动态内联策略的改进

在Java虚拟机中,传统的基于计数的热点探测方法往往不能得到方法间的调用关系,因此,采用这种机制的动态编译器会丧失一些优化机会,比如方法内联.提出了基于在线反馈信息的动态内联策略.同已有的内联算法相比,该方法引入了BC Map,它由基线编译器对方法进行第一次编译时构建.BC Map可以确定对方法M进行调用的字节码在其调用者中的索引.通过构建Guarded Rec记录,编译器能够准确判断出虚方法的接收者对象的类型,进而确定方法间的调用关系.使用该信息指导的保护内联优化可以避免静态判断虚方法的接收者对象类型的缺陷,得到更加准确的动态信息,使应用程序的性能得到提升.      

大型客机设计中的功能分析

介绍了大型民机研制中功能分析流程及方法,采用基于SysML(Systems Modeling Language)语言的行为模型方式建立用例、功能流、时序关系及状态机,指导系统架构的实施,探索功能分析方法在民机研制中的应用,解决大型客机设计中的需求和接口定义的模糊性和不匹配性的问题。     

我国外语教学面临的新挑战及新对策

从当今社会环境、学生自主意识是否得到发挥、教师是否具有先进的外语教学理念三方面探讨了影响和制约当前我国外语教学发展的主要因素，旨在激发广大外语教学工作对我国外语教学现状的思考，共同探讨提高外语教学质量的新措施及新对策。     

安全协议的SPIN建模与分析

总结了利用模型检测工具SPIN对安全协议进行建模的方法.以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验.发现了Helsinki存在的Horng-Hsu攻击漏洞以及Helsinki改进协议存在的DoS攻击隐患.该方法具有较好的通用性,容易推广到有多个主体参与的安全协议的分析.     

加筋板结构强度分析软件STRANAS设计和应用

以<飞机设计手册>为基础、试验数据为依托,研究了加筋板在面内和面外载荷作用下拉伸强度、压缩强度、剪切强度、拉压剪复合强度和拉压剪与内压复合强度计算方法.在此基础上研发了加筋结构强度分析模块,以及前后置处理模块,形成了加筋板强度分析软件STRANAS.软件以MSC/PATRAN为平台,综合集成了型材剖面特性库、材料库,实...     

基于ATML的分布式ATS架构研究

自动测试系统ATS通用化是测试与诊断技术的重要发展方向,直接决定了系统的设计维护成本、技术寿命和测试诊断性能。现有的通用ATS主要采用集中式系统架构,系统维护成本和难度较高,信息互通性和通用化程度不理想。针对集中式ATS架构的局限性,设计并验证了一种基于自动测试标记语言ATML标准集、以网络为中心的分布式通用ATS架构。经验证演示实验,该架构较好地解决了仪器和系统的互换性问题,并通过发掘仪器的智能性,缓解了网络的延时问题和带宽压力,对构建通用ATS具有重要工程意义。     

虚拟现实技术及其应用

虚拟现实技术是当今最为流行的计算机技术之一 ,本文对虚拟现实的历史、发展、概况进行了必要的介绍 ,同时讲述了虚拟现实技术的基本特点。介绍了虚拟现实系统的构成及其基本的应用与今后发展的趋势。最后针对当前的实际情况 ,提出了今后应该做的工作。