Reducing the risks of using Ada onboard the Space Station

The Ada programming language was chosen by NASA as the primary computer programming language for the development of new software for the US Space Station. Ada was selected based on the results of investigations coordinated through Johnson Space Center (JSC) and that resulted in the identification of a set of problems and risks associated with using software developed in Ada. Some of the specific solutions to problems identified through these investigations are described. Three areas in which Ada's use poses risks are discussed: real-time process control; the testing and verification of flight software for man-rated systems; and software error detection, identification, and recovery required in safety-critical systems     

假如使用Ada语言

介绍了Ada语言的应用现状及其前景,并通过一项实验说明Ada语言比C语言更适合于航空电子软件开发。     

基于CMM L2的外包项目管理研究

如同中国软件外包白皮书中所指出,中国软件企业较弱的项目管理能力已经制约了国内软件外包市场的进一步发展。如何实施有效的项目管理以实现对外包项目成本、进度、质量、效率等的有效控制,确保项目成功成为一个争论话题。针对于此,结合多年软件外包项目管理的实际经验,本文通过对CMM L2项目管理具体要求的分析并结合PM I项目管理知识体系的相关内容,提出了基于CMM L2的外包软件项目管理模型,介绍了此模型的实际应用,在此基础上对外包项目管理的持续改进进行了讨论。     

促进我国载人航天发展的政策研究

针对我国载人航天工程管理中存在的问题和矛盾,探讨了如何创建更加适合我国国情的重大专项管理模式,通过研究提出了我国载人航天发展的政策建议,即在创新专项管理的同时,将政府"看得见的手"和市场"看不见的手"有机结合,开展务实有效的国际合作,推动载人航天工程又好又快发展。     

科技在公共安全保障中的应用及启示——基于与发达国家的比较

公共安全保障目标的实现既需要实施有效的公共安全管理,更需要公共安全科技的正确应用。审视发达国家的公共安全管理,可以看到,发达国家十分重视科技在公共安全管理中的作用。我国政府应借鉴其有益的经验,实施公共安全优先战略,提高对公共安全的科学认知,为公共安全提供技术支持,建立健全信息共享的公共安全科研体制。     

我国地方行政立法质量评价——以河南省为例

地方行政立法的质量状况,直接影响着国家法律的实施和地方性事务的管理成效。通过对2000～2010年的河南省政府规章及其制定活动的综合评价,认为地方行政立法程序、手段和技术比较完善,规章质量状况良好,但存在计划约束力不强,公众参与度不高,立法技术相对落后等问题,地方行政立法质量有进一步提升空间。     

农民培训工作档案的建立与功能——以杨凌职业技术学院为例

随着我国＂城镇化＂进程的进一步推进和党中央对三农问题的高度关注,省级部门对农民培训的力度愈来愈大,并呈现出良好的势头,成为新农村和城镇化建设的重要抓手。因此,将农民培训工作中的原始文件资料进行整理、加工、归档,进而开发和使用,对于进一步搞好新时期农民培训工作,推进农村成镇化建设具有十分重要的意义。     

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     

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     

军机适航“安全性分析与评估”条款浅析及其工程实施途径探究

在当今的军机研制过程中,军方借鉴民机的适航管理方式力推适航性审查,以确保飞机的安全性水平.如何贯彻适航要求、如何将适航与安全性设计深度融合成为飞机研制单位亟待解决的问题.本文从飞机总体设计单位的角度,探究适航与安全的关系,对比适航工作与安全性工作的异同,并结合工程实际,对军用飞机研制过程中如何将适航与安全性管理、设计和评估工作有机结合、高效开展的方式方法提出了建议.有效避免了适航工作和安全性设计工作的不协调甚至相互矛盾情况的出现,可供军机承研单位参考.     

科研管理网络化的实践与体会

结合航空学院自选课题《科研管理网络系统设计开发》的实践应用，对当前办公自动化和网络化技术在科技管理工作中的应用提出了一些实用性建议和思考，对一些工作中的实际性问题做了深入剖析，结合网络化办公的实际应用对今后的办公自动化和网络化发展方向做了展望。     

国防军工计量人员管理系统分析与设计

国防军工计量人员管理系统是国防军工计量信息管理系统的一个子系统，它的目标和主要功能是通过不同的组合查询，打印与统计，提供国防军工计量技术机构各级计量管理人员，科研人员，检定人员及监督人员的年龄，素质等自然状况，为人员培训及持证上岗，人才流动的管理等提供咨询服务，本文从软件工程的角度较全面地描述了国防军工计量人员管理系统的分析与设计。     

国防企业项目管理需求与特征

在分析中国国防企业特点和项目管理现状的基础上,结合笔者长期从事国防企业项目管理的实践和感悟,从项目管理的内涵、方法和应用前景三个层面,对国防企业项目管理的重点需求和基本特征进行了探讨与阐述。     

企业下岗职工实施再就业工作的几点思考

全面做好再就业工作,政府和企业面临的任务都十分艰巨,有大量艰苦细致的工作要做。本文从政府、企业和个人三方面就企业下岗职工实施再就业工程进行了一些探讨。     

我国建立高绩效政府的路径选择

高绩效政府是指政府在履行行政责任的过程中，在注重社会公平的基础上，能够积极回应公众要求，追求公众满意，以相同或更少的资源获得公共产出的最大化。我国建立高绩效政府的路径有：一是继续推进行政体制改革，主要是对行政权力的进一步定位和划分；二是进一步完善制度环境，如人大监督制度、社会监督制度；三是运用科学的管理工具，如绩效评估、全面质量管理；四是加强政府人力资源管理，主要是培养有效的公共管理者、有效地利用激励和建立学习型政府组织。     

我国国债宏观经济效应的实证研究

采用多元Granger因果测试模型和1980～2003年的相关数据实证检验我国国债的宏观经济效应。实证结果表明，我国国债融资实际上并未对宏观经济产生显著影响。这主要是因为我国利用国债融资的时间较短，国债的宏观经济效应尚未显现；利用国债融资的多为基础设施项目，周期较长，真正发挥效应尚需一段时间；尤其是国债资金管理不到位，使得国债融资未对实体经济作出积极贡献。因此，政府当务之急是完善国债投资管理和审批体制，增加国债资金运用的透明度，加大对国债资金管理和使用的监督和检查力度，提高国债项目的投资效益。     

政府投入科技项目绩效评价研究——基于管理决策角度

科学合理的科技项目绩效评价是政府部门优化科技资源配置和提高科技投入绩效的重要手段和基本保证。从管理决策的角度来构建一套科学合理的科技项目绩效评价体系,对于科技管理部门监管科技项目的运行具有十分重要的作用。在对政府投入科技项目的目标定位与基本原则进行清晰的界定后,从辅助科技管理部门进行管理决策的角度分析了科技项目的绩效评价阶段与评价内容,并在此基础上构建了基于管理决策的政府投入科技项目绩效评价体系,包括预评价、过程评价、验收评价和跟踪评价四个阶段的指标。     

煤炭资源管理系统的总体设计

煤炭资源管理系统采用面向对象的可视化的数据库开发工具PowerBu ilder,分为采掘工程子系统、机电工程子系统、运输工程子系统、通风工程子系统、排水工程子系统、安全工程子系统六个功能模块,整个系统操作简便、容错性强、安全性高、扩展性好,并实现了M IS和G IS完美集成,实现了煤炭资源管理信息现代化,为煤炭企业的经营管理决策提供了准确、及时、可靠的信息,提高了企业的竞争力和经济效益。本文从煤炭资源管理系统的建设目标、设计原则和功能几个方面,介绍了煤炭资源管理系统的总体设计方案。     

基于大数据分析方法的商用飞机MOC9试验项目管理可视化模型研究

实践表明,大数据技术可以对管理过程赋能,商用飞机MOC9 试验项目作为商用飞机研制复杂高端项目群中的重要项目,其在研制期间会产生大量项目管理数据,因此,研究如何利用大数据技术推动该类项目实现项目目标十分必要。基于商用飞机研制项目群下MOC9 试验项目的特点及其对大数据管理的需求,结合大数据技术处理流程和方法对MOC9 试验项目从架构策划、数据获取与存储、数据清洗处理、分析挖掘、可视化展示多方面开展研究。结果表明：通过大数据技术对MOC9 试验项目建立量化的可视化模型,对项目经理掌握项目整体情况、定位问题根本原因、识别项目潜在风险非常有帮助。     

网络环境下我国信息资源整合问题的思考

信息资源整合是一项系统工程。对信息资源整合的内涵和外延提出了新的观点 ,并从信息资源的管理层面、加工层面和服务层面论述了信息资源整合的必要性和具体实施方法 ,提出成立图书情报联合体、设立全国信息资源管理委员会、一注一卡、成立编审编目中心等设想。