袁凌
- 作品数：5 被引量：37H指数：3
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理理学自然科学总论更多>>
- 遗传算法在故障树分析中的应用被引量：4
- 2002年
- 本文将遗传算法引入软件可靠性的重要技术故障树分析中 ,使得传统的故障树分析方法有了更强的科学性和实用性 。
- 袁凌徐仁佐侯文杲陈波
- 关键词：遗传算法故障树分析复杂系统可靠性
- 基于冗余的软件容错技术研究
- 软件可靠性是软件的重要质量指标之一,软件容错技术是软件可靠性技术中非常重要的一项.软件容错技术包括很多方面的技术,主要有故障检测、故障恢复、冗余技术等.该文主要对基于冗余的软件容错技术进行了研究,并对以结构冗余为基础的两...
- 袁凌
- 关键词：容错软件容错冗余
- 文献传递
- 软件可靠性模型应用中的不一致性与软件可靠性专家系统被引量：5
- 2001年
- 关于软件系统故障行为的统计假设,是软件可靠性模型的理论基础。由此产生应用中的不一致性,使用户对这些估测结果迷惑不解,“谁的结果最可信”?我们以“故障数据是软件可靠性分析的基础”为原则,采用人工智能技术,建立软件可靠性专家系统(SRES:Software Reliability Expert System),以解决软件可靠性模型应用中的不一致性难题。最后,报告该系统的使用及与国外一些软件可靠性量测工具的比较。
- 徐仁佐袁凌陈波
- 关键词：软件可靠性模型人工智能软件工程
- 网上电子支付系统分析被引量：28
- 2001年
- 介绍了电子支付系统的基本概念，重点讨论了基于SET协议下电子支付系统的结构、支付流程，以及支付系统中所涉及的各项费用。
- 袁凌徐仁佐
- 关键词：电子商务INTERNET网上购物
- 区域电网稳定控制研究
- 电力系统动态分析和自动控制的数学方法是电力系统紧急控制的基础.从稳定性理论上来说,电力系统是一个动力系统,可用一组微分方程来描述其运动状态.该文首先概述了区域稳定控制的研究背景和和发展状况.第二章简述了电力系统稳定性及进...
- 袁凌
- 关键词：电力系统暂态稳定区域稳定控制
- 文献传递
