宋晓秋
- 作品数：24 被引量：42H指数：5
- 供职机构：北京计算机应用和仿真技术研究所更多>>
- 发文基金：国防科技工业技术基础科研项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学航空宇航科学技术更多>>
- 软件可靠性GO模型的特性分析被引量：2
- 1996年
- 文中对软件可靠性的Ｇｏｅｌ－Ｏｋｕｍｏｔｏ模型的参数估计进行了解结构的理论分析。
- 宋晓秋
- 关键词：参数估计
- 容错的冗余设计分析
- 1998年
- 研究冗余设计的失效率计算问题，分析了多路冗余的共因对失效率的影响，从理论上证明了只有充分地减少多路冗余的公共失效因素才能有效地降低系统的失效率。
- 宋晓秋薛小青
- 关键词：容错冗余计算机
- 靶场试验期闻软件更改的技术状态控制
- 结合多个航天型号在靶场试验期间对软件更改控制的经验教训，分析总结了靶场试验期间航天型号软件更改的技术状态控制方法，从管理与技术两方面介绍了质量控制要点，具体论述了靶场软件受控库、更改过程管理规定、软件更改三单管理、评测机...
- 宋晓秋
- 软件可靠性修改的 Schneidewind 增长模型的特性分析被引量：7
- 1998年
- 本文对软件可靠性修改的Ｓｃｈｎｅｉｄｅｗｉｎｄ增长模型进行了详细的数值特性分析，剖析了该模型的参数解结构，从而构造了模型参数估计的高效求解算法，并进行了相应的数值实验。
- 宋晓秋
- 关键词：软件工程可靠性
- 奇异延迟微分方程数值仿真的两步连续Runge-Kutta方法被引量：2
- 2005年
- 提出在当前的积分步内计算级值时,放松延迟对计算的影响的思想,构造了一类奇异延迟微分方程数值仿真的两步连续 Runge-Kutta 方法(TSCRK),讨论了方法的构造,方法阶条件,证明了方法的收敛性,分析了方法的稳定性。这类方法具有优良的稳定性和较高的阶级,并保持了显式的求解过程。数值试验表明方法是有效的。
- 冷欣刘德贵宋晓秋陈丽容
- 关键词：数值稳定性分析收敛性
- 常微分方程与代数方程求根被引量：1
- 2003年
- 讨论了常微分方程与代数方程求根之间的联系。建立了常微分方程的解与代数方程根的一种联系关系,通过这种联系借助于常微分方程的求解,给出以大范围的初值求出代数方程全部实根的一种方法。还讨论了这种方法的几种具体数值求根算法,并对其中的一些有意义的现象进行了分析。
- 袁兆鼎宋晓秋
- 关键词：常微分方程代数方程方程求根
- 实时仿真的数学模型及实时Runge-Kutta算法的收敛性分析被引量：1
- 1991年
- 本文讨论了实时仿真的数学模型,和实时Runge—Kutta算法的收敛性分析,给出了补尝阶与实时算法收敛阶之间关系的理论证明。
- 宋晓秋李伯虎刘德贵袁兆鼎
- 关键词：实时仿真数学模型
- 软件可靠性Schneidewind模型的特性分析被引量：5
- 1996年
- 文中对软件可靠性的Ｓｃｈｎｅｉｄｅｗｉｎｄ计时模型的参数估计进行了解结构的理论分析，并在此基础上给出了方便实用的参数估计算法。
- 宋晓秋
- 关键词：软件工程J-M模型
- 奇异延迟微分方程的两步连续Runge-Kutta方法
- 本文提出在当前的积分步内计算级值时,放松延迟对计算的影响的思想,构造了一类可保持显式求解过程的两步连续Runge-Kutta(TSCRK)方法,研究了方法的阶条件,收敛性以及数值稳定性.这类方法具有优良的稳定性和较高的级...
- 冷欣刘德贵宋晓秋陈丽容
- 关键词：延迟微分方程
- 文献传递
- 一类组合两步连续RK-Rosenbrock方法被引量：1
- 2007年
- 对于一个大的刚性延迟微分方程系统,除了延迟分量给予系统影响外,还常常会出现系统的解分量有的变化很快,而有的变化很慢的情况。此时,可以把大的刚性延迟微分方程系统分解成为两个耦合的子系统,一个是描述系统快变部分的刚性延迟子系统,另一个是描述系统慢变部分的非刚性延迟子系统。对于分解的刚性延迟微分方程大系统,构造了一类用于求解刚性延迟微分方程的组合两步连续RK-Rosenbrock方法,讨论了方法的构造,方法的阶条件,证明了方法的收敛性,分析了方法的稳定性,数值试验表明方法是有效的。
- 冷欣刘德贵宋晓秋陈丽容
- 关键词：数值稳定性分析收敛性
