[00115604]网构软件可靠性研究
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
网构软件形式化分析、可靠性模型和网构软件可靠性进行计算,创新性的提出了提出了一种基于进程代数的网构软件可靠性形式化方法;基于马尔可夫链和贝叶斯网络理论的可靠性模型以及计算方法;基于卷积理论和演化特性可靠性演化定义,提出了可靠性演化和计算方法;基于DTMC和智能算法的梯级惩罚混合动态优化可靠性分配算法。该成果在校园信息化智慧校园建设、企业应用系统和政府公共服务平台软件系统进行应用,解决了软件产生的失效问题,有效保障了系统可靠性,节约了系统运维成本,应用效果与效益较好。
