软件配置管理工具的数据库设计与实现

软件配置管理是CMM的一个关键过程域，是软件开发过程的重要过程之一，是一套按规则管理软件生命周期全过程中各种中间软件产品和最终软件产品的方法和技术。随着我国航天事业的飞速发展，对航天测控软件的质量要求也越来越高，为此，我们开发了针对航天测控软件系统的软件配置管理工具(SCMT)。本文介绍了软件配置管理的基本概念和SCMT中的数据库系统的设计和实现思想。     

Software defect prevention based on human error theories

Software defect prevention is an important way to reduce the defect introduction rate.As the primary cause of software defects,human error can be the key to understanding and preventing software defects.This paper proposes a defect prevention approach based on human error mechanisms:DPeHE.The approach includes both knowledge and regulation training in human error prevention.Knowledge training provides programmers with explicit knowledge on why programmers commit errors,what kinds of errors tend to be committed under different circumstances,and how these errors can be prevented.Regulation training further helps programmers to promote the awareness and ability to prevent human errors through practice.The practice is facilitated by a problem solving checklist and a root cause identification checklist.This paper provides a systematic framework that integrates knowledge across disciplines,e.g.,cognitive science,software psychology and software engineering to defend against human errors in software development.Furthermore,we applied this approach in an international company at CMM Level 5 and a software development institution at CMM Level 1 in the Chinese Aviation Industry.The application cases show that the approach is feasible and effective in promoting developers' ability to prevent software defects,inde pendent of process maturity levels.     

Developing error-free software

The authors describe experience gained in designing reconfiguration-error-free software at IBM's Federal Systems Division in Houston. From 1982-5, this division reduced software product defects to 0.11 errors per thousand lines of source code. Four measurements defining software quality are described. Also discussed is NASA's development of a standardized software support environment, and the US Department of Defense Software Technology for Adaptive Reliable Systems (STARS) program. These environments provide for early control, standardization, and integration of requirements, leading to more easily maintained software and reduction of critical skill level for its maintenance     

装备软件可靠性分析与设计方法

软件可靠性是软件质量度量6个特性中的核心特性,已经成为决定装备作战效能的关键因素之一。特别是随着装备软件规模巨、功能强、要求高的发展趋势,采用软件可靠性工程方法提高装备软件的可靠性具有十分重要的意义。在对装备软件的系统和详细级故障模式、影响及危害进行分析的基础上,提出了提高装备软件可靠性的实现途径,并从软件研制过程的四个阶段重点进行了阐述,为相关工作提供参考。     

一个改进的软件过程工程元模型ISPEM

对象管理组织(OMG)提出的软件过程工程元模型(SPEM)在软件工程过程领域具有较强的通用性和较好的建模能力。但是，软件过程工程元模型在一致性和表达力上存在不足。本文基于UML2．0活动元模型改进SPEM中活动的语义，采用泛化机制扩大实参的表达范围，细化形参和限制的表达粒度，使得改进的软件过程工程元模型(ISPEM)在语义上与软件工程过程领域的语义更为一致，表达力更强，更加符合软件工程过程领域建模的需要。     

机翼结冰生命周期的数字孪生软件系统

飞机巡航中的机翼结冰情况是关系到飞行安全的重大实际问题之一,如果能够实时监测甚至根据环境提前预测机翼结冰过程和状况,对改进机翼防除冰设计、规避飞行危险都具有重大意义。数字孪生技术作为5G信息时代中新兴的技术,为物理过程的虚拟呈现提供了新的思路与解决方案、同时数字孪生技术结合人工智能等技术,同样可以应用于飞机巡航中机翼结冰物理过程,对实时监测与预测提供了新的技术保证。从数字孪生的角度出发,以机翼结冰神经网络模型为切入点,设计实现了一款基于数字孪生和人工智能技术的巡航中机翼结冰二维过程快速呈现软件系统。软件获取飞机巡航结冰参数与飞行参数,运行结果能够利用动态显示方式,呈现飞机巡航中机翼结冰全生命周期。     

Methodology for cost-effective software fault tolerance formission-critical systems

A computing capabilities continue to advance, there will be a concurrent rise in the number of both hardware and software faults. These will be caused by the greater volume of more complex software, by the increased number of untested software states, and by more incidents of hardware/software interaction faults as a result of increased hardware speed and density. The traditional software implemented fault tolerance: approaches have been successfully utilized in life-critical systems, such as digital flight controls, where their additional costs can be easily justified. Examples include N-Version Programming and Recovery Block approaches. However, there is still a need for dependable computing for mission-critical applications as well. Often, these traditional techniques are avoided for mission-critical systems due to the difficulty in justifying their extra up-front development cost. We provide an alternative for the high “sunk cost” of traditional software fault tolerance techniques. The methodology, called data fusion integrity processes (DFIPs), is a simple, yet effective technique for mission-critical systems. In addition, the approach establishes a framework from which other costlier, more extensive traditional techniques can be added. We present details of the DFIP methodology and a DFIP framework for Ada programs. We also briefly discuss development of a DFIP code generation system which exploits Java that will enable users to quickly build a DFIP framework in Ada, and select reusable DFIP component methods     

基于DSP和FPGA的软件无线电平台研究

从硬件和软件两方面建立了基于DSP和FPGA的软件无线电平台。重点研究了该实验平台多模式数字调制解调的硬件实现结构、软件实现结构和不同模式之间的切换等,充分体现了软件无线电系统的灵活性、开放性和兼容性等特点。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

高科技:新经济发展的动力之源

高科技是新经济发展的基础和动力 ,新技术革命直接提高了综合国力 ,高科技作为动力之源直接推动着新经济的发展 ,高科技以科学技术形态所表现出来的战略实力 ,已经成为增强综合国力和国际竞争力的关键性因素。     

2010年我国房地产业的政策导向与发展趋势

房地产业是我国国民经济发展的支柱产业,确保房地产业健康稳定发展不仅有助于我国抵御经济危机,而且是预防通胀的重要措施.在我国经济复苏这段时期内,国家将对房地产市场进行结构优化,包括支持保障性住房的发展、遏制投机行为、科学测算用地指标、严格规范土地储备、打击"囤地"行为等,以达到房地产市场和谐稳定发展的目标.     

一种软件质量度量模型的研究与应用

软件质量度量是软件工程方面的研究重点之一.通过量化的手段对软件产品进行度量和评价是最有效的质量保证手段.本文提出了软件质量度量模型,根据标准的评价过程模型对其进行了分析,从而确立了质量特性、质量子特性、度量特性和度量标准,并给出了这些特性的之间的关系以及它们的权值.然后运用一组公式对度量方法进行了表示并提出了该模型的应用.本文为软件质量度量提供了一套可行的定量评价方法.     

Got software? what managers and engineers need to know

As part of a JPL-wide software quality initiative aimed at addressing the challenges of developing, managing, and acquiring software, a team at JPL generated a detailed Software Training Plan for both managers and engineers. The team took the approach of treating the software training program as though it were a system development task and went through all the typical phases of system development including requirements, design, and implementation. During the requirements collection phase, the team conducted dozens of interviews and identified the specific skills needed. The skills fell into categories such as software management, software engineering, systems engineering, and other technical areas. However, an equally important finding was that several "soft" skills were deemed critical for the successful and timely management and implementation of software-intensive systems. This discusses JPL's approach and "lessons learned" from planning and delivering a software training program in an engineering and scientific environment.     

AECSC-J ASMIN湍流燃烧仿真软件研发和检验

航空发动机燃烧室几何结构复杂,湍流和化学反应存在强烈非线性相互作用,需要对流动和燃烧及其相互作用进行高精度高时空分辨率的刻画,目前燃烧室湍流燃烧数值模拟仍然是高难度的瓶颈问题之一。介绍了由北京航空航天大学航空发动机数值仿真研究中心、北京应用物理与计算数学研究所和中国工程物理研究院高性能数值模拟软件中心联合研发的AECSC-JASMIN软件主要框架、算法以及针对该软件的算例检验。在Sandia射流火焰、支板火焰和单头部燃烧室检验算例中,对比实验数据,射流和支板火焰预测结果与实验值一致;支板算例的平均相对误差在15%之内;单头部燃烧室模拟结果符合物理实际,总压损失与实验值基本吻合。说明AECSC-JASMIN软件可用于复杂结构高分辨率高精度湍流燃烧数值模拟。     

我国东南沿海产业集群发展的机理

运用经济学理论对我国沿海地区产业集群发展的经验进行分析，结果表明，地区产业集群的形成是政府采取不平衡发展战略的结果，具有比较优势的主导产业又是形成产业集群网络式的、具有不断创新能力特征的主要依托，完善的市场运行机制、良好的投资环境是产业集群发挥极化效应、扩展效应和回程效应的基础，同时又是带动区域经济发展的动力。     

民机主制造商对MBD软件供应商工程监控过程研究

基于模型的软件开发技术(Model-Based Development,简称MBD)具有可视化建模与仿真、自动生成符合适航要求的代码等特点,已在民用飞机机载设备研发领域被逐渐推广应用。越来越多使用MBD技术开发的机载软件的涌现,给民机机载软件适航符合性工作带来了前所未有的挑战。为解决这一问题,美国航空无线电技术委员会于2011年底发布了DO-178C作为民用航空界认可的机载软件符合性方法,并在此基础上发布了DO-331作为专门针对机载软件MBD技术的适航符合性要求的补充说明。通过对DO-178C和DO-331标准中MBD软件适用目标的研究,结合工程实践,总结归纳了一套民用飞机主制造商对MBD软件供应商的软件研发过程管控要求,用于在向适航当局表明符合性时提高适航置信度,以期对主制造商和供应商在处理MBD软件方面提供参考。     

射频识别技术在实验室收费系统中的应用

基于ISO14443A国际标准的射频识别技术已经成熟,并得到广泛应用.为此介绍了射频识别技术在实验室收费系统中的应用,给出了射频卡系统的工作原理,详细探讨了Mifare射频卡的结构和特点,并根据实验室收费系统的实际需要,实现了下位机射频卡读写器的软硬件设计和上位机实验室收费系统的设计,最后对系统进行了结果分析.     

基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

基于ASDC 模型的民用飞机供应商评估和监控准则研究

在“主制造商–供应商”的民用飞机研制模式下,供应商的选择和监控在某种程度上决定着民用飞机项目的成败。从供应商机载软件的研制资质、经验、体系规范和资源等角度出发,建立了供应商机载软件研制能力(Airborne Software Development Capability,简称ASDC)模型,并结合具体机载软件项目的技术要求提出了一套确定供应商评价和监控准则的机制。在此基础上对ASDC 模型向系统/技术/价格/质量/服务层级扩展,就可以建立一套完整的民用飞机项目供应商选择和监控准则。     

大型运输机全寿命成本模型分析

大型运输机的发展,对于国民经济及国防事业发展具有重要的意义。由于研制大型运输机发展人力、财力投入大,使用周期长,因而,早期研制阶段进行全寿命成本模型分析对于研制方案的优选、提高竞争水平具有重要影响。本文从大型运输机概念设计中对经济性分析的需求出发,结合我国国情,探讨了大型运输机全寿命成本模型的建立方法。