高新工程项目研制过程中的最优评审点设计

高新工程研制过程普遍采用了并行工程的方法,虽然大幅度地缩短了工期,但是其风险较高.通过分析并行工程实施风险产生的原因,构建了并行工程实施过程的一般风险模型,指出最优决策点位于"时间-风险"关系曲线与"风险-技术成熟度"关系曲线的交汇点,给出了高新工程项目研制过程中的风险分类.提出设置有效的评审点是降低实施并行工程总体风险的可行方法,并设计了最优评审点的确定方法,利用技术风险因子、进度风险因子和并行风险因子求出各项任务风险大小,再加和求出项目整体风险.通过实例说明了评审点的最优设计可以有效降低项目的整体风险.     

"863"成果展中的航天并行工程

背上长人耳的小裸鼠,不满周岁的克隆山羊,深潜6000米的水下机器人,新型抗艾滋病的海洋药物……今年2月26日在北京展览馆开幕的863计划15周年成就展上,人们可实实在在地感受到科技的神奇,未来的美好。在参展项目中,由中国航天机电集团二院承担的航天并行工程也引起了专家的关注和观众们的好奇。 航天并行工程是国家科技部“九五”期间15项重大攻关项目的一     

叶盘结构特征设计的并行方法研究

以高推比航空燃气涡轮发动机压气机部件中的新结构－－叶盘为对象，探索了基于并行工程的产品设计关键技术；考虑设计、分析和工艺等要求的特征建模方法。在微机ＣＡＤ平台初步实现了叶盘统一建模，设计约束检查。并进行了设计模型与有限元计算模型的数据传输，完成了整体叶盘的基本强度和振型分析。     

小卫星设计中软件重注入的关键技术研究

针对小卫星的一体化设计思想，采用CCSDS测控体制，星上采用CAN总线的分布网络，对小卫星软件重注入的课题做了深入的研究。     

9基于聚类分析的软件多故障定位技术

故障定位的思想一般是通过对程序语句及其执行结果的分析，从而定位到存在缺陷的程序语句的位置.目前，软件单故障定位技术研究较多，多故障相关研究较少.本文根据程序语句覆盖执行信息构造程序谱，提出基于聚类分析的软件多故障定位技术方法，在Siemens测试程序集的基础上，和现有的一些基于程序谱的定位方法进行对比，在大部分的情形下，验证了本文提出的基于聚类分析的软件多故障定位技术在软件多故障定位方面的定位效率要优于这些方法，减少测试人员的工作开销.     

软件度量过程的研究与实施

软件度量过程是实施软件过程改进的基础.为了建立支持过程改进的软件度量过程,研究了几种与过程改进有关的度量标准、模型.然后提出一种基于实用软件度量的改进过程,并对过程的实施进行了说明.      

小卫星姿控与星务管理的一体化设计

介绍一种将姿控系统和星务管理系统融为一体的设计思想，它节约了星载机资源，提高了系统信息处理的实时性，很好地体现了小卫星的质量轻、体积小、成本低的优势。对姿控系统的硬件组成、卫星的飞行模式和控制策略、星务管理软件的体系结构和总结设计思想、姿控软件的星务管理软件的接口设计等内容做了重点讨论。     

计算机辅助FMECA软件模型

从CAD框架和软件体系结构的角度出发分析、建立计算机辅助FMECA软件模型.首先分析研究了FMECA软件的目标和设计思想,进而重点描述FMECA软件应用OTO-D语义模型建立数据模型和软件框架结构;产品描述关系型数据库模型和可视化形式、上下自动转换的FMECA和信息查询自动化等的实现技术.     

地面站设备监控软件框架通用性研究

针对目前卫星地面应用系统中设备监控软件可重用性差的缺点,提出一种可扩展的通用设备监控软件框架设计方案.结合模块化和抽象接口设计思想,简化了组件开发,提高了软件的复用性.通过控制反转技术,降低了组件之间的耦合,使框架更加易于扩展,在实际应用中取得了良好的效果.     

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

支持并行工程的方案设计研究

并行工程(Concurrent Engineering,简称CE)的关键之一是产品的方案设计.目前多学科优化(Multidisciplinary Design Optimization,简称MDO)领域虽有进展,但未能满足方案设计的特殊要求.针对方案设计的困难,提出一种基于数理统计正交表的正交设计方法来处理产品在方案设计阶段的多设计变量、多目标函数、并涉及到多学科的综合设计问题.由于该方法计算速度快,又能适应多种产品,对快速形成可行的初步方案来说,是一种值得进一步研究的方法.      

工程数据库管理系统的探讨

工程数据库管理系统是一个面向CAD/CAM的数据(包括知识)管理系统,它是CAD/CAM软件系统的核心。本文对工程数据库系统在CAD/CAM系统中的地位和作用、工程数据库管理系统的特殊要求以及多级数据管理、多重数据模型、复杂实体的定义和操作、变长域类型及版本化作了一些探讨和建议。     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

紫外CCD敏感器头部电路系统的研究

介绍了我国探月工程之嫦娥一号卫星的紫外CCD敏感器系统的CCD电路的软硬件的开发研究.紫外CCD敏感器由光学结构、CCD及处理线路、数据处理单元及其软件组成.入射光经光学系统后,照射在CCD敏感元件,经视频处理电路处理后形成数字图像信号.数字图像信号保存在数据存储器中,由数据处理器进行分析处理.计算得到月球的中心并转换为探测器对月姿态角,其中紫外CCD敏感器头部电路包括CCD电路、时序电路、驱动电路、视频处理电路和电源电路.核心器件CCD采用E2V公司的CCD48-20芯片,文中重点介绍该CCD的时序、驱动和Smear等难点问题.      

硫酸盐还原菌对LY6腐蚀电化学行为的影响

用开路电位法,动电位扫描极化法和电化学交流阻抗频谱法(EIS)研究了LY6在不含硫酸盐还原菌(SRB)的无菌溶液和含SRB的有菌溶液中的电化学行为.结果表明SRB加速了LY6的腐蚀,且动态挂片的腐蚀速率大于静态挂片的腐蚀速率,铝合金开路电位随试验时间的增加而负移,有菌溶液中负移0.26V(SCE),无菌溶液中负移0.16V(SCE).从阳极极化曲线上观察到表观点蚀电位范围为-0.6~0.2V(SCE).电化学阻抗谱表明随着菌液培养时间的增加,极化电阻减小.      

个体软件过程实验研究

为确定个体软件过程ＰＳＰ（ＰｅｒｓｏｎａｌＳｏｆｔｗａｒｅＰｒｏｃｅｓ）在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在１９９７年进行了ＰＳＰ的应用实验．本文首先简要介绍了ＰＳＰ的原理和方法,然后给出ＰＳＰ实验的结果数据,对该数据从差错率和生产效率２个方面进行了统计和分析．分析结果显示,ＰＳＰ的应用对于提高软件开发效率、改善软件产品的质量有重要的意义．讨论了ＰＳＰ应用过程中可能遇到的问题,指出了今后进一步的工作．     

个体软件过程实验研究

为确定个体软件过程PSP(Personal Software Process)在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在1997年进行了PSP的应用实验.本文首先简要介绍了PSP的原理和方法,然后给出PSP实验的结果数据,对该数据从差错率和生产效率2个方面进行了统计和分析.分析结果显示,PSP的应用对于提高软件开发效率、改善软件产品的质量有重要的意义.讨论了PSP应用过程中可能遇到的问题,指出了今后进一步的工作.     

运用一维太阳风MHD CE/SE模型预报行星际激波到达时间

在一维太阳风磁流体(MHD)数值模拟中, 应用时空守恒元和解元(Conservation Element/Solution Element, CE/SE)方法, 建立了一个行星际激波扰动传播模型(1D-MHD (CE/SE)模型), 用来预报行星际激波到达时间. 收集了1997年2月至2002年8月间的137个激波事件, 对激波到达地球轨道附近的传播时间进行了预测, 并将预报结果与STOA, ISPM, HAFv.2以及SPM模型所得结果进行比较. 对于相同的样本事件, 1D-MHD (CE/SE)模型给出的渡越时间平均绝对值误差并不大于其他4个模型, 且该模型预报的相对误差小于10 %的事件占25.6 %, 小于30 %的事件占69.3 %, 小于50 %的事件占87.6 %, 其预报精度与其他模型相比基本相当. 这表明该模型在空间天气的激波到达时间预报方面有潜在的应用价值.      

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力...     

软件标准符合性测试

叙述了软件标准符合性测试方法，提供了断言类型判定，测试级别，测试套集，测试工具等关键技术的解决方案，对软件标准测试，软件质量保证均有一定的指导作用。