联系人:
所在地:
网构软件形式化分析、可靠性模型和网构软件可靠性进行计算,创新性的提出了提出了一种基于进程代数的网构软件可靠性形式化方法;
基于马尔可夫链和贝叶斯网络理论的可靠性模型以及计算方法;
基于卷积理论和演化特性可靠性演化定义,提出了可靠性演化和计算方法;
基于DTMC和智能算法的梯级惩罚混合动态优化可靠性分配算法。
该成果在校园信息化智慧校园建设、企业应用系统和政府公共服务平台软件系统进行应用,解决了软件产生的失效问题,有效保障了系统可靠性,节约了系统运维成本,应用效果与效益较好。
Copyright © 2016 国家技术转移西南中心-区域技术转移公共服务平台 All Rights Reserved 蜀ICP备12030382号-1
主办单位:四川省科技厅、四川省科学技术信息研究所、四川省技术转移中心科易网