火箭喷管推力偏心高精度计算软件

利用火箭喷管从亚声速、跨声速到超声速的非对称流动数学模型建立了计算喷管推力偏心的理论模型，并采用高精度有限体积TVD格式求解数值方程，可以对火箭发动机喷管的推力偏心特性进行评估与设计，并集成为Nvc软件。该软件完成了从喷管网格生成、数值计算到推力偏心分析全过程，界面友好，使用方便，大大提高了设计效率，通过大量的计算与试验结果的比较，计算结果可以满足工需要，减少试验次数，节约成本，具有广泛的用途。     

翼柱型装药发动机结构CAD──参数化绘制工程图

针对翼柱型药柱固体火箭发动机的结构设计，引入参数化设计方法，把发动机结构的17个关键尺寸定义为可变参数，通过人机交互输入具体的数值，自动完成发动机燃烧室、药柱、喷管等部件的一系列零件图，最终绘制发动机的总体结构图纸。     

固体火箭发动机喷管热结构一体化计算

基于user-defined function(UDF)技术将固体火箭发动机喷管热结构计算程序嵌入到FLUENT软件中,通过UDF宏命令实现FLUENT耦合传热结果数据的提取,编写了接触边界的自动识别程序,采用直接约束法模拟喷管界面间的接触非线性问题,实现了固体火箭发动机喷管热结构的一体化计算.      

火箭发动机设计参数对喷管效率的影响

火箭发动机设计参数对喷管效率的影响德国航空航天研究院用ＪＡＮＮＦ二维动能程序的改型给出了大型Ｈ。／Ｏ。火箭发动机喷管的流动计算结果，对火箭喷管进行了各种计算以研究火箭发动机特征设计参数对喷管损失的影响。喷管损失的范畴可分成扩散、摩擦和动能几类。此外，...     

固液火箭发动机多界面喷管瞬态传热特性研究

固液火箭发动机是一种采用固体燃料和液体氧化剂的一种新型火箭发动机,由于燃料和氧化剂是不同物理状态,且在燃烧室内为非预混扩散燃烧,因此固液火箭发动机固体燃料的燃速低,工作时间长。固液火箭发动机喷管一般采用被动热防护喷管,喷管结构在长时间工作中的热防护问题是发动机设计中的关键问题。针对工作时间为200s的全尺寸固液火箭发动机,本研究采用碳陶复合材料、钨渗铜高温合金和高硅氧酚醛树脂等材料,提出了三种喷管结构方案。随后通过建立喷管材料瞬态热传导和烧蚀仿真模型,对三种不同方案的喷管结构的传热特性进行了仿真计算,分析了固体药柱内径在工作过程中变化对喷管传热性能的影响,发现药柱内径会改变燃烧火焰层结构,进而影响喷管壁面的温度分布和热流分布,热流密度在喷管喉部位置达到最大值。本研究同时还开展了相应的地面热试车试验,对仿真结果进行了验证分析。此外,对固液火箭发动机的喷管设计提出了建议和展望。     

固体火箭发动机喷管结构缝隙设计

通过热和结构计算，对固体火箭发动机喷管缝隙设计进行了分析。将燃气简化为一维等熵流以确定喷管内型面所承受的温度和压力载荷．基于三维有限元模型．计算了喷管的瞬时温度场。导入温度场分析结果，并用点一点接触单元模拟不同材料之间的接触状态，计算了温度和压力载荷联合作用下喷管的位移场和应力场。综合多个时刻的计算结果得到发动机工作过程中喷管结构缝隙和接触应力的变化趋势，并据此对设计缝隙提出了修改意见，结果可为发动机喷管设计提供参考。     

火箭发动机喷管内型面优化设计

以两种空-空导弹固体火箭发动机喷管作为算例,为此,建立固体火箭发动机的质量模型,喷管的质量比冲模型和目标函数模型,选择五种喷管扩散段内型面:锥形喷管,抛物线喷管,双圆弧喷管,二次多项式喷管和三次多项式喷管,进行优化设计,利用优化理论,成功地完成了五个设计变量的优化问题。优化结果表明,所建立的计算模型是正确的,并可用于其它大中型号的喷管设计。     

固体火箭冲压发动机燃烧室热防护层烧蚀计算

为了研究冲压发动机燃烧室的热防护性能，用类比法计算了整体式固体火箭冲压发动机燃烧室壁面的烧蚀，其中考虑了热解气流对烧蚀的影响，并将国外有关固体火箭发动机喷管烧蚀计算时所用经验参数（指前因子）通过换算转换到冲压发动机燃烧室烧蚀计算中，计算结果符合物理规律，并与试验结果符合较好，该项研究为冲压发动机燃烧室热防护层的设计提供了有效的分析手段。     

旋转固体火箭发动机一维内弹道计算

给出了带“锥－柱形”装药的旋转固体火箭发动机的一维内弹道计算方法，其燃速计算采用分析方法，喷管流量采用等熵旋转喷管流的简化方法。所得结果和旋转试车台上实测的实验结果吻合较好，计算和实验表明，“锥－柱形“装药呈现较大速度效应。文中提供了计算方法具有较高预示精度，可推广到其它药型旋转发动机的内弹道计算，对旋转发动机设计具有指导作用。     

火箭发动机热力气动计算软件研制

介绍一处适用于固体和液体火箭发动机热力动计算自动化软件的功能和技术细节，该软件通用性广，适用性强，使用方便，已在ＰＣ兼容机上开发成功并投入实际使用。     

一种特殊的软件加密方法

如何利用硬盘的序列号对软件进行加密 ?有一种特殊的方法可以保证一台计算机只有一个密钥 ,该密钥作为程序运行的临时密钥。当临时密钥过期之后 ,可以使用软件提供商提供的软件狗来保证用户程序长期正常地运行。两种方法结合起来可以有效地维护软件提供商的利益。还介绍了软件狗的使用情况并提供了加密方法的程序源代码。     

PAVE PACE: system avionics for the 21st century

The PAVE PACE Initiative has been established to validate system avionics concepts for advanced military aircraft. The author presents the rationale of why the advanced architecture established by the PAVE PILLAR program should be continued under PAVE PACE to achieve: practical and affordable airborne versions of modular parallel processing network architectures for many applications currently beyond real-time implementation, readily available avionics for use in all avionics and, greatly improved techniques to reduce the cost of software development and support. An approach to the overall design structure for future avionics is also presented that entails: the use of CAD (computer-aided design) tools to assist in the development of system, hardware and software requirements, the use of replicated hardware modules (some at the wafer level), the use of reuseable software modules and the use of CAD tools to tailor hardware/software modules for specific application requirements. Continued use of the PAVE PILLAR high-speed data bus and operating system is recommended as the means to integrate and control the data input and output of physically and functionally separate parallel networks     

捷联惯导系统的软件开发

本文介绍在PC机上开发捷联惯导系统软件并进行数字仿真的方法,讨论了从分配软件任务,到开发实时软件、管理软件、仿真软件,直至固化运行的全过程。还介绍了ASM-86语尔、PL/M-86语言与C语言混合编程的技巧与优点。该方法与传统的在86/380开发系统上开发捷联系统软件的方法相比,具有良好的经济效益与实用价值。同时,本方法具有通用性,可用在以8086为基体的单板机软件开发上。     

A safety kernel for traffic light control

The success of kernels for enforcing security in software systems has led to proposals to use kernels for enforcing safety. This paper presents a feasibility demonstration of one particular proposal for a safety kernel via the application of traffic light control. The paper begins with the safety properties for traffic light control and specifies a kernel that maintains the safety properties. An implementation sketch of the kernel in Ada is given and use of the kernel is discussed. The contribution of the paper is a demonstration that a kernel is a feasible and desirable technique for software in a realistic, safety-critical application. The paper also illustrates how formal methods aid the software engineer in constructing and reasoning about such software     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

Is information security an oxymoron?

Although weaknesses have been demonstrated in some security techniques (encryption, protocols, mobile code such as Java, etc.), current security technology is quite strong in many areas. Despite this, information security has proved difficult to achieve in large modern software systems. Many problems have been reported in which supposedly secure systems have been penetrated and, in some cases, significant damage done. One problem considered is a buffer-overrun attack. The idea called a 〈wrapper〉 which is a layer of software that logically surrounds a software artifact and enhances the functionality of the artifact in some way, is then discussed. Most proposals for the use of wrappers assume that their presence is transparent to the artifact being wrapped. In other words, the artifact sees its operating environment as unchanged and the artifact does not have to be modified in i order to permit it to be wrapped. Wrappers have been proposed as an approach to dealing with deficiencies in existing systems, deficiencies in security for example. The use of shells as a feasible solution to the problem of security is also considered     

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。     

MPC8270的MCP异常研究与分析

MPC8270处理器以其良好的性能和丰富的接口在航空机弹载嵌入式领域有广泛的应用.MPC8270提供丰富的异常机制供软件开发者使用,由于MCP的产生与硬件有紧密关系,并不会由于软件本身导致,因此往往软件开发者对其并不在意.结合在实际工作中碰到的故障事例,对MCP进行了详细的描述.对MCP正确的处理可以增加软件的可靠性.     

U-Boot的分析及其在PXA270上的移植

Bootloader是嵌入式系统开发的一个重要环节,它把操作系统和硬件平台衔接起来,对嵌入式系统后继软件开发十分重要.U-Boot是一个功能十分强大的Bootloader开发软件.尽管U-Boot支持大部分主流体系结构和操作系统,但是要将其运行在一个全新的硬件开发板上还是需要进行大量的修正.对U-Boot的结构及运行的流程进行了详细的分析,并根据以PXA270为核心的XSBase270实验平台的具体硬件配置情况,将U-Boot1.3.0-rc2移植到此实验平台.最后对实验结果进行了测试,目前,U-Boot可以成功从FLASH启动,并最终实现了引导Linux操作系统内核启动的功能.