检索结果-内蒙古大学图书馆

质量与可靠性 1993年第3期 33-35页

作者：石柱王纬北京计算机应用与仿真技术研究所

三、软件失效安全性设计软件失效安全性设计不仅包括加强软件可靠性的标准软件工程和容错技术,而且也包括与软件失效安全性有关的设计特征。通过减少危险的可能性或严重性,可以减小风险。 1.通过软件设计防止危险通过软件设计防止危险... 详细信息

三、软件失效安全性设计软件失效安全性设计不仅包括加强软件可靠性的标准软件工程和容错技术,而且也包括与软件失效安全性有关的设计特征。通过减少危险的可能性或严重性,可以减小风险。 1.通过软件设计防止危险通过软件设计防止危险,往往涉及到设计出其故障和失效不会引起危险的软件(本质安全的软件),或减少软件危险的数目。一般说来。

关键词：软件失效安全性

来源：评论

学校读者我要写书评

暂无评论

软件可靠性工程管理

引用

质量与可靠性 1993年第6期 35-37,46页

作者：王纬北京计算机应用与仿真技术研究所

简要叙述了软件可靠性工程管理的意义,指出软件可靠性工程管理的特点、目标、内容、方法及其实施。

关键词：软件可靠性工程管理

来源：评论

学校读者我要写书评

暂无评论

航天软件审查的实施方法及应用经验

引用

系统工程与电子技术 2000年第10期22卷 71-74页

作者：石柱周新蕾缪峥红北京航空航天大学计算机系 100083 北京计算机应用与仿真技术研究所 100854

软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法。该方法包括三大要素 :审查员、审查对象和审查过程。结合我们在航天型号软件开发过程中的软件审查实践 ,分别介绍了软件审查人员的分工和职责、审查的对象和目的 ,以... 详细信息

软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法。该方法包括三大要素 :审查员、审查对象和审查过程。结合我们在航天型号软件开发过程中的软件审查实践 ,分别介绍了软件审查人员的分工和职责、审查的对象和目的 ,以及审查的过程 ,并阐述了我们在航天型号软件审查实践中的结果和体会。

关键词：软件工程软件安全软件评估审查程序航天

来源：评论

学校读者我要写书评

暂无评论

实时仿真并行算法研究

引用

中国学术期刊文摘 2000年第10期6卷 1315-1317页

作者：刘德贵陈丽容朱珍民北京计算机应用和仿真技术研究所北京100854

介绍在动力学系统实时仿真并行算法的研究中,讨论刚性大系统的实时仿真并行算法、轨道控制的微分代数系统的实时仿真并行算法,以及并行算法的加速比和效率分析所获得的结果.

关键词：动力学系统实时仿真并行算法

来源：评论

学校读者我要写书评

暂无评论

求解延迟微分方程的ROSENBROCK方法的渐近稳定性

引用

系统仿真学报 2002年第3期14卷 290-292页

作者：曹学年刘德贵李寿佛湘潭大学数学系湘潭411105 北京计算机应用和仿真技术研究所北京100854

数值求解延迟微分方程的Runge-kutta方法和θ-方法已经有了较深入的研究。本文适当改造求解常微分方程的Rosenbrock方法,构造了一类求解延迟微分方程的Rosenbrock方法,证明了这类方法是GP-稳定的,而且这类方法的GP-稳定性与求解常微分... 详细信息

数值求解延迟微分方程的Runge-kutta方法和θ-方法已经有了较深入的研究。本文适当改造求解常微分方程的Rosenbrock方法,构造了一类求解延迟微分方程的Rosenbrock方法,证明了这类方法是GP-稳定的,而且这类方法的GP-稳定性与求解常微分方程的Rosenbrock方法的A-稳定性等价。数值试验表明这类方法是有效的。

关键词：延迟微分方程 Rosenbrock方法渐近稳定性数值计算

来源：评论

学校读者我要写书评

暂无评论

轨道优化实时计算的梯度投影下降算法——防空导弹轨道优化的实时计算方法之二