【摘 要】
：
软件在国民经济和社会生活中发挥着重要作用,目前对基于故障模型的软件故障检测的研究也越来越多。分析在软件设计过程中容易发生的故障,建立故障模型;并通过分析常用的故障
【机 构】
：
湖南大学计算机与通信学院,衡阳师范学院计算机系
【基金项目】
：
国家自然科学基金（11004050）, 湖南省教育厅项目（B22023） 湖南省教育厅项目（09C1182）, 衡阳市科技局项目（2009KG23）资助
论文部分内容阅读
软件在国民经济和社会生活中发挥着重要作用,目前对基于故障模型的软件故障检测的研究也越来越多。分析在软件设计过程中容易发生的故障,建立故障模型;并通过分析常用的故障检测算法,总结算法存在的不足,同时提出一种基于状态变迁缩减的启发式搜索算法。此算法只需要检测系统中的部分状态变迁,就可以提高对系统中故障的检测能力。实例表明：该算法对建立的扩展有限状态机故障模型是有效的。
其他文献
直线插补算法易于编程实现,且能使机器人手臂的运动轨迹以较高的精度逼近预定义轨迹。根据基于蓝牙通信的5DOF遥操作机器人的实际要求,采用绝对坐标值法计算各关节电机所需脉
目的:分析5号针头行甲状腺细针穿刺细胞学病理检查(FNAB)对甲状腺恶性肿瘤的诊断效果,评价其临床应用价值。方法:收集2019年1月至2019年5月在我院门诊行甲状腺超声检查的患者
目的:分析胎儿的B超检测中,透明隔腔(CSD)宽度对其中枢神经(CNS)畸形的诊断作用。方法:在2017年2月-2019年1月期间参加孕检的胎儿资料中,以健康胎儿的透明隔腔(CSD)宽度为标
在ARM平台上嵌入式Linux下使用多线程的技术,完成了小麦硬度检测系统的设计。系统的硬件系统使用模块化的设计方案,软件使用自定义的协议完成上下位机的通信。使用多线程技术
《政府会计准则第2号--投资》是政府主体资产核算中的重点和难点,与企业会计准则中所涉及的投资业务核算有很大的差别,政府主体的投资业务受许多政策的限制,如投资资金来源、
随着进行油藏模拟数据量增加,计算步骤日渐复杂。利用传统计算机来模拟,为了达到理想的模拟速度和效果,其硬件平台的投资将很高。设计并实现一种通过在Windows下配置mpich2以
扬剧发源于江苏扬州,主要流行于苏北、江南、上海和安徽部分地区。扬剧继承了本地乱弹和扬州民间的花鼓、香火、秧歌、杂耍、龙灯、麒麟唱、荡湖船、民歌小调等歌舞艺术传统,
同其他需求一样,纳税人的需求在不同领域有着不同的表现形式。在税收征纳领域,主要包括要求税务机关提供政策服务的需求、简化办税程序的需求、公平执法的需求、保障自身合法
高职学生在仍然十分严峻的就业形势下,不同程度上存在着焦虑、自卑、依赖等心理压力。文章分析了高职学生产生就业压力的原因,探讨了高职院校及高职学生自身应采取的应对策略
湿法烟气脱硫系统中,脱硫塔为核心设备。在运行过程中常出现各类喷淋冲刷磨蚀现象。本文结合多年的设计经验以及所了解的工程案例,分析各类成因,并且主要从设计角度进行优化,