基于模糊着色Petri网的隐患软件可靠性分析

来源 :电子技术与软件工程 | 被引量 : 1次 | 上传用户:pw1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在现代社会中,隐患软件系统的可靠性评估越来越重要。在一个存在隐患的系统中,因为性能下降或局部破坏,隐患则演变为故障,那此时对存在隐患的软件系统进行可靠性分析并提前预估隐患是非常重要的。针对这一问题,本文提出了一种分析隐患软件系统可靠性的新方法。首先,我们建立了一个隐患软件系统的模糊着色Petri网的数据模型,隐患软件系统的状态信息和模糊着色Petri网的状态节点之间进行动态转换;其次,隐患软件系统数据阈值与模糊着色Petri网的变迁阈值之间进行动态转换。再次,提出了隐患软件系统数据阈值调整的自适应机
其他文献
针对目前部队实战演习后需对典型态势进行复盘推演的需求,提出了一种基于VxWorks操作系统的场景信息记录重演方法的设计思想,并对该方法的设计以及实现过程进行了详细介绍。该方法记录实战演习过程中的通信数据,存储于本机硬盘中,具有占有存储空间较小、操作简单、反应时间短等优点。
摘 要:按主题编排单元内容已成为语文教科书编排的新取向,这为教学由分析课文内容转变为指导阅读策略提供了新导向。可采取的单元整组阅读教学策略有:利用“求同”策略,整体感知单元整组特点;通过“比异”策略,深入体悟各篇精妙之处;扩展教学内容,提供学生语言实践机会;联系课堂内外,切实提高学生阅读能力。  关键词:单元整组;阅读教学;教学策略    自新课程实施以来,按主题编排单元内容已成为语文教科书编排的
“太忙了,正月里就没有歇过一口气。”3月5日一大早,浙江省天台县三合镇大横村原村支部书记汤有雨来到通村公路施工现场查看。自村里正月初二召开乡贤恳谈会以来,对接项目代
股份经济合作社建立后的制度建设多是集中在股东代表大会与董事会的议事决策等方面,监事会也要履行好职责。从浙江省宁波市江北区探索与实践的情况来看,主要是建立好以下几项
电力通信在智能电网中推广,可切实推动电力系统的发展,为提高电力运行质量、效率提供可靠保障。文章通过阐述电力通信的内涵特征,分析电力通信与智能电网的关系,对电力通信在智能电网中的应用展开探讨,旨在为如何促进智能电网的安全有序健康发展研究适用提供一些思路。
5月13日,初夏轻柔的微风撩人心田,空气中弥漫着阵阵清香。在重庆九龙坡区金凤镇石家槽坊见到冉忠良时,他正整理出一大捆包装纸箱,来到村口的一家垃圾分类服务站。“老黎,来帮
近日,记者在媒体上看到这样一则消息:江苏省淮安市金湖县正在推行一项涉税新政,全县各社区股份合作社资产出租收入所上缴的各项税收,乡镇留存部分的70%返还给合作社;对外提供的技
从装机容量和电网稳定性两方面分析了我国所面临的电力供需紧迫形势,介绍了国内外电力需求侧管理取得的成效,对我国2004年以来的严重缺电现象,提出了加快需求侧管理,达到节约
合作社技改投资方案的选择,是每个合作社经营决策者必须掌握的一种管理方法。目前,很多合作社技改投入资金较为紧张,且技改任务较多。如何管好用好技改投入资金,作出正确投资决策
本文以某型涡扇发动机已有的数据和曲线为基础,借助Lab Windows/CVI虚拟仪器软件开发平台设计了调整训练系统的软件平台,建立起该发动机及其控制系统的简化数学模型,以及相关调整点的数学模型。并在此基础上,建立起发动机的调整训练系统模型,同时,对发动机及其控制系统的简化模型和各调整点的调整效果进行验证分析。验证结果表明:验证结果与已存在的数据对比吻合较好,证明该调整训练系统模型是可信的,软件平