需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

CGCS2000大地问题解算工程运用研究

军事信息系统研制中经常涉及CGCS2000坐标系下的大地问题解算,但直接采用韦森特公式进行软件设计存在一些问题。通过对韦森特公式在工程运用中的问题进行了分析,对正解、反解算法进行了补充完善并给出了相关的计算实例供编程检查。改进后的算法简单实用,适合军事信息系统软件的实现。     

型号研制与产品数据管理

介绍了产品数据管理(PDM)的概念和基本功能,结合当前型号研制的特点和计算机信息技术应用的状况、发展,研究了型号研制产品数据管理的需求、功能及实施,为当前型号研制依靠CIMS技术实现产品数据管理提出了8条基本原则。     

土质边坡工程风险分析

扼要地阐述了边坡工程事故引发的原因和边坡工程体系包含的不确定因素,从自然、社会、经济、管理等方面对这些因素进行了归纳,介绍了安全评估的故障树分析法以及由顶事件概率求底事件概率的计算公式.从技术的角度对土质开挖边坡工程体系进行了研究,建立了边坡工程故障树模型以及在此模型下边坡工程风险事件发生概率Pf的计算方法.在求解风险损失的过程中分析了传统专家调查法存在的不足,从而提出改进的专家调查法.通过工程实例,定性和定量地对边坡工程风险进行了分析,利用风险分级体系对风险的大小进行评价,为边坡工程风险管理提供了一定的依据.