航天软件需求可靠性与安全性分析验证技术及工程应用研究

软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。     

红枣养生手册

红枣,又名大枣。自古以来就被列为"五果"(桃、李、梅、杏、枣)之一,历史悠久。大枣最突出的特点是维生素含量高。在国外的一项临床研究显示:连续吃大枣的病人,健康恢复比单纯吃维生素药剂快3倍以上。因此,大枣就有了"天然维生素丸"的美誉。     

在软件项目实训中培养学生编码质量控制能力

本文阐述了质量控制能力培养的重要性，探讨了在项目实训中培养学生编码质量控制能力的方法，提出一种提高编码质量控制能力的过程模型，给出了一个高职技能培养的过程实例。     

插铣技术在诱导轮加工中的应用

介绍了采用UG TCL程序算法计算仿真插铣诱导轮的加工工艺.通过DEFORM软件计算插铣诱导轮工艺参数,并经工艺优化得到了一套插铣加工诱导轮的最佳工艺规范.采用该规范加工的诱导轮满足设计要求.装配该诱导轮的发动机通过了热试车考核.     

航天产品软件配置关键管理

对软件配置关键管理概念及活动过程作了说明,结合航天工作的实际,对于配置项的标识、变更控制、配置出入库的管理等进行了示例解说.     

现代生产系统综合评价的软件开发与应用实例

本文介绍了现代生产系统综合评价软件的组成及各模块的功能,并结合航空企业生产系统实际进行了实例研究。     

适用于PBL的ERP软件

最近，IFS（Industrial ＆ Financial System）公司的企业资源规划（ERP）软件推出一个新的应用组件，适用于提供基于性能后勤保障（PBL）的维修企业。鉴于许多防务机构正在外购维护和改装服务，通过IFS的新软件，MRO企业内可以通过更多精细的规划缩短维修周期，并获得PBL维修保障合同。该软件能够预测某些变化对于维修周期的影响，     

GAPP多坐标系绘图的设计实现

多坐标系绘图主要出现在需要多图比较的场合。具备绘图功能的软件一般只有一个坐标系，不具备多坐标系绘图功能。为了解决多坐标系绘图问题，满足ARJ21—700飞机飞行手册编制需求，提出了网格化绘图区域的方法，可以方便布局坐标系，然后通过坐标转换，顺利实现了GAPP软件利用JAVA应用程序绘制飞行手册的需求。这一方法同样可以用于只具备简单绘图功能的其它软件。     

Analysis on capabilities of density-based solvers within OpenFOAM to distinguish aerothermal variables in difusion boundary layer

Open source feld operation and manipulation（OpenFOAM）is one of the most prevalent open source computational fluid dynamics（CFD）software.It is very convenient for researchers to develop their own codes based on the class library toolbox within OpenFOAM.In recent years,several density-based solvers within OpenFOAM for supersonic/hypersonic compressible flow are coming up.Although the capabilities of these solvers to capture shock wave have already been verifed by some researchers,these solvers still need to be validated comprehensively as commercial CFD software.In boundary layer where diffusion is the dominant transportation manner,the convective discrete schemes＇capability to capture aerothermal variables,such as temperature and heat flux,is different from each other due to their own numerical dissipative characteristics and from viewpoint of this capability,these compressible solvers within OpenFOAM can be validated further.In this paper,frstly,the organizational architecture of density-based solvers within OpenFOAM is analyzed.Then,from the viewpoint of the capability to capture aerothermal variables,the numerical results of several typical geometrical felds predicted by these solvers are compared with both the outcome obtained from the commercial software Fastran and the experimental data.During the computing process,the Roe,AUSM＋（Advection Upstream Splitting Method）,and HLLC（Harten-Lax-van Leer-Contact）convective discrete schemes of which the spatial accuracy is 1st and 2nd order are utilized,respectively.The compared results show that the aerothermal variables are in agreement with results generated by Fastran and the experimental data even if the1st order spatial precision is implemented.Overall,the accuracy of these density-based solvers can meet the requirement of engineering and scientifc problems to capture aerothermal variables in diffusion boundary layer.     

基于信息流的星载软件需求分析方法

针对星载软件数量多且设计分散,各自承担不同的信息处理任务,难以进行有效的总体软件需求分析的问题,文章提出一种基于信息流的软件需求分析方法,以系统级信息流设计为核心,首先进行信息流构架设计,明确卫星上各级总线架构;其次确定星上接口类型、数据传输协议等,并形成整星软件信息接口关系;最后根据信息流分解的结果,确定软件配置项的需求。此方法已在通信卫星领域中实际使用,结果表明它可以有效地制定星上处理规则,优化软件设计流程,增强软件设计的完备性和健壮性。