嵌入式仿真技术及其在军事训练中的应用研究

嵌入式仿真训练是军事训练技术的最新发展趋势之一。本文阐述了嵌入式仿真的概念、原理及系统的主要组成,介绍了嵌入式在军事训练中的应用现状,分析了嵌入式训练方式在军事训练中的应用定位,最后结合航空兵战术对抗训练的嵌入式系统,给出了系统的模块组成及作战过程。     

论嵌入式系统设计方法

根据嵌入式系统设计方法的演化和发展，结合设备研制中嵌入式系统的设计方法现状，给出了嵌入式系统软硬件设计的流行方法，以提升设备研制的效率、可靠性和设计水平。     

基于TCP／IP协议栈的嵌入式以太网终端设计

嵌入式技术在以太网中的应用是当前的研究热点之一.提出了一款基于TCP/IP协议栈的嵌入式以太网终端的设计方案.该方案给出了ARM内核的微处理器S3C44B0X和以太网控制器芯片RTL8019AS的接口电路以及嵌入式TCP/IP栈和μC/OS-Ⅱ实时操作系统的核移植的设计思想和具体开发流程.该方案性价比较高,适用于通信速率要求不高的家庭自动化设备和工控场合.     

分布式信任模型在嵌入式Internet中的应用研究

为了充分利用嵌入式设备的联合处理能力,嵌入式设备之间必须进行一系列的合作.信任是人们进行社会交往的基础,人们之间的信任关系在不断地更新和传递.依据这种原理,提出了一种基于社会信任关系的协同工作分布式网络模型.嵌入式Internet系统中的设备在协作过程中,互相之间逐步形成了一种相互信任的关系,这种关系以信任表的形式存在本地端点中,并通过不断地自学习来修改信任表.给出了信任模型的建立过程以及信任参数的更新和传递算法,应用实例表明了模型的有效性.     

利用LEX及YACC实现嵌入式SQL分析器

Lex和Yacc是用来产生词法分析器和语法分析器的工具。本文讨论了LEX与YACC之间的关系 ,然后讨论了如何利用LEX和YACC实现嵌入式SQL分析器。在上面的研究基础之上 ,文章最后给出了利用LEX和YACC实现嵌入式SQL分析器的流程图。     

基于QNX的分布式异构仿真平台的实现

QNX作为嵌入式实时操作系统之一,它具有强实时、高可靠性、可剪裁、可配置、可扩充、可移植的特点,支持主流嵌入式处理器,目前主要应用在军事武器装备和航空航天领域.本文从航空电子系统对实时操作系统的要求出发,着重介绍了嵌入式实时操作系统QNX在PC104平台上的移植和配置网络连接通信技术,实现了基于QNX的分布式异构仿真平台,并通过实例验证了QNX的实时通信机制,建立了QNX在航空电子系统中应用的雏形,并给出了下一步工作的重点.     

DO-178B可验证的机载操作系统配置生成技术

针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计。基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机载嵌入式操作系统的适航验证成本。     

基于ETX模块的机载数据处理模块的设计

针对目前嵌入式系统通常采用基于芯片的设计模式,给出了一种基于模块的嵌入式设计方案。在使用ETX模块基础上,通过FPGA将PCI总线转换成LBE和IDE总线,对ETX模块的功能进行了扩展。在短时间内设计出符合要求的产品,集成度高,实现了小型化设计。验证表明设计方案合理可行,在提升系统性能的同时,具有可靠性高,配置灵活,通用性强等特点。     

嵌入式网络接口模块设计及协议栈实现

根据嵌入式网络技术的最新研究,对嵌入式设备的网络化接口技术,做了详细的分析。并以C8051F020单片机和CP2200以太网控制器为例,给出了网络接口模块设计的具体方案,阐述了系统的软硬件实现方法,对CP2200的实现进行了详细介绍,同时针对嵌入式网络的实际应用场合,对TCP/IP协议栈进行了精简,并介绍了各个模块的具体实现。     

基于S3C2440的触摸屏驱动程序实现

触摸屏作为人机界面的输入设备被广泛的应用于消费电子、工业控制等诸多领域.目前流行的嵌入式ARM处理器S3CC2440是一款典型的嵌入式SoC芯片,它提供了触摸屏控制器接口,方便了嵌入式软、硬件开发.简要介绍了S3C2440处理器,同时分析了触摸屏的硬件架构、硬件工作原理及与及其工作框图,在此基础上给出了触摸屏与S3C2440的硬件连接电路图.介绍了S3C2440下触摸屏的WinCE驱动构架,并指出相关注册表的修改技术.在S3C2440的嵌入式WinCE开发平台上,该驱动程序运行良好.     

实时离散事件系统的状态反馈逻辑

 基于状态时间的概念,在Ramadge-Wonham模型的基础上提出了一种新的实时离散事件系统模型。在控制目标是保持某给定谓词在闭环系统状态轨迹上为真的情况下,给出了实时控制不变性的定义。研究表明,对这类系统,存在一个状态反馈控制器使给定谓词在闭环系统状态轨迹上保持为真的充要条件是该谓词是实时控制不变的。证明了给定谓词所含的最大实时控制不变子谓词的存在性并给出了计算方法。最后,给出一个例子来说明有关结果。     

弹黏塑性材料稳恒扩展II型裂纹尖端应力场

采用弹黏塑性力学模型,对II型动态扩展裂纹尖端应力场的对数奇异性,进行了分析计算。详细地分析了黏性系数α、马赫数Ma²对裂纹尖端的应力场影响。指出了对数奇异性区域存在的问题,解释了过渡区的成因,对过渡区尖端场解的形式和求解方法做了合理的推测。     

弹黏塑性材料稳恒扩展II型裂纹尖端应力场

 采用弹黏塑性力学模型,对II型动态扩展裂纹尖端应力场的对数奇异性,进行了分析计算。详细地分析了黏性系数α、马赫数Ma²对裂纹尖端的应力场影响。指出了对数奇异性区域存在的问题,解释了过渡区的成因,对过渡区尖端场解的形式和求解方法做了合理的推测。     

The civil aeronautics research activities of Italy

An overview of civil aeronautics research activities in Italy is given, with an emphasis given to the contribution of Italian research to international programmes, particularly concerning the Framework Programmes of EU, where an increasing Italian participation is marked, although the Italian industry is not part of Airbus. A perspective of future objectives and programmes is also given.     

基于等工程价值比的远程战略轰炸机研制费用估算

远程战略轰炸机是军事威慑的重要组成部分,是纵深打击的基础,是现代立体化战争不可缺少的作战载体之一;针对不同国家在不同时期研制同一类型产品,提出了等工程价值比的概念,介绍了等工程价值比的特点.引入了美国兰德公司飞机研制费用估算模型DAPCA IV.在国外飞机研制费用的基础上提出适合国内同类产品的研制费用计算方法.利用等工程价值比概念并结合DAPCA IV模型,给出了发展远程战略轰炸机的研制费用的具体算例,克服了国内数据不足的缺点.     

解耦模糊控制方法及在飞控中的应用

以某型飞机为对象，控制飞机纵向定高恒速飞行。由于模型是非线性的，采用模糊控制，并具有两个输入两个输出系统的模糊控制方法进行研究，找出了解耦控制规律，并结合ＰＩＤ控制器综合构成了模糊ＰＩＤ控制器。仿真结果显示控制过程时间短、超调量小，振荡小，为飞行控制提供了一种新方法。     

正定几何规划及对偶问题的推导

给出了正定几何规划及对偶问题的有关定量证明，指出了原文献中凸数证明错误的地方，并补充了正确的证明。     

利用实乘子实现快速FFT算法研究

引入实乘子的算法代替传统复乘子来实现快速傅立叶变换。给出了该实乘子算法的详细推导过程,结合同址计算的原理给出了算法流程。并列出了此算法与传统的DFT算法的运算量的比较,看出此算法的高效性。指出了该算法在调频引信变频处理中的重要应用。     

Energetic particles in the inner Van Allen belt

A survey is given of the high energy particle populations in the inner radiation belt. The experiments which have given information about particles are discussed and the best experimental information about particle fluxes and spectra presented. Calculations are given which deal with the particles and indicate what particle sources and loss processes are most important. The role of neutrons in making the inner belt is considered in detail and the need for particle acceleration and/or other sources is shown.     

多支点轴防变形卡住可靠性分析

对多支点轴变形卡住进行了系统的分析,提出了克服附加变形所需功的计算方法,给出了该类轴防变形卡住可靠性的计算公式,并用算例阐明了基本概念和具体算法。