共查询到20条相似文献,搜索用时 78 毫秒
1.
《计算机应用与软件》2015,(10)
针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述了系统有色Petri网的建模与仿真过程,根据得到的状态空间报告判断是否存在死标识,对存在的死标识采用非标准状态空间查询法使用ML语言编辑相关功能函数以验证死标识的合理性,进而确保所建立CPN模型的正确性与系统的安全性。最后,以电梯门系统为例,证明了算法的有效性。 相似文献
2.
3.
颜色集、层次化的概念使得有色Petri网(Colored Petri Nets,CPN)能够方便地对大型复杂系统进行形式化模型验证分析,铁路车站信号计算机联锁逻辑关系形式化验证方法的研究,对于减少联锁软件开发过程中的不确定性,提高联锁系统的安全性、可靠性,保障行车安全具有重要意义,联锁系统进路控制是联锁逻辑关系的重要内容,在分析联锁进路控制的基础上,采用CPN对联锁进路控制建立形式化分析模型,为车站信号计算机联锁逻辑关系形式化验证方法的研究提供一种联锁进路控制的形式化验证方法,同时通过CPN Tools对所建立的模型进行仿真分析及状态空间分析,结果表明模型能够正确描述联锁进路控制流程及联锁进路控制的功能逻辑,且状态空间分析结果与联锁进路控制逻辑完全相符。 相似文献
4.
5.
基于有色Petri网的自动化物流系统的研究 总被引:1,自引:0,他引:1
针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,然后在CPN Tools环境下对系统出、入库操作两种操作和出、入库和移库3种操作进行仿真,通过对系统模型状态空间的分析,验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性,进一步论证了该物流系统任务规划的合理性,为整个系统的稳定性和多任务的协调操作奠定了理论基础。 相似文献
6.
7.
8.
9.
10.
针对云计算资源管理建模分析的要求,提出了一种应用着色Petri网和Cloudsim的交互仿真平台架构.通过着色Petri网层次化替代变迁构建交互仿真框架,基于CPN Tools的接口规范定义与Java Socket完成接口设计和建立交互控制进程,实现了云计算资源管理CPN逻辑事件模型与Cloudsim物理模型的交互仿真.最后,通过一个简化的云资源管理实例建模仿真和逻辑结构检验,验证了交互仿真平台架构的可行性和实用性. 相似文献
11.
基于模型操纵的模型集成的主要研究对象是模型的输入输出参数,因此,本文给出了模型的二元组表示,即输入集、输出集,提出了模型组合关系与模型集成结果等概念,具体分析了模型集成结果的存在性问题,证明了其存在的几个充分条件,在证明中给出了在满足充分条件下模型集成的构造方法. 相似文献
12.
13.
计算机安全中的经典模型 总被引:1,自引:2,他引:1
安全模型是构造安全计算机系统的基础。到目前为止,已有多种公开发表的安全模型。本文总结了几种重要的早期安全模型,其中包括访问矩阵模型,HRU模型,BLP模型、格模型和无干扰模型。并对它们进行了分类和简要评递。本文将它们称为经典安全模型。这些经典安全模型都是开创性的,从各个不同的方面对安全问题进行抽象,模型所定义的安全问题具有典型性,并对后续的研究产生了重要影响。目前,共享计算机系统的安全问题仍然是计算机科学的中心问题之一,研究这些经典模型,对于我们全面理解计算机系统的安全问题,展望未来发展方向,具有重要意义。 相似文献
14.
数据在信息系统中的使用面临着这样一个困难,即:数据存储是以关系模型为基础,而软件开发以对象模型来进行,造成了软件开发中数据访问技术的不和谐。提出并建立了一个软件框架,并就对象模式到关系模式的转换进行了研究。 相似文献
15.
数据模型及其发展历程 总被引:1,自引:0,他引:1
数据库是数据管理的技术,是计算机学科的重要分支.经过近半个世纪的发展,数据库技术形成了坚实的理论基础、成熟的商业产品和广泛的应用领域.数据模型描述了数据库中数据的存储方式和操作方式.从数据组织形式,可以将数据模型分为结构化模型、半结构化模型、OLAP分析模型和大数据模型.20世纪60年代中后期到90年代初,结构化模型最早被提出,其主要包括层次模型、网状模型、关系模型和面向对象模型等.20世纪90年代末期,随着互联网应用和科学计算等复杂应用的快速发展,开始出现半结构化模型,包括XML模型、JSON模型和图模型等.21世纪,随着电子商务、商业智能等应用的不断发展,数据分析模型成为研究热点,主要包括关系型ROLAP和多维型MOLAP.2010年以来,随着大数据工业应用的快速发展,以NoSQL和NewSQL数据库系统为代表的大数据模型成为新的研究热点.对上述数据模型进行了综述,并选取每个模型的典型数据库系统进行了性能的分析. 相似文献
16.
17.
18.
双因素模型考虑了人为对抗因素和蠕虫传播对路由造成的冲击,较SI模型、SIS模型和KM模型更能符合蠕虫传播的实际情况。但它不能反映蠕虫传播后期的特性,同时模型没有考虑大规模系统升级程序和自动补丁程序这一重要的对抗因素对蠕虫传播的影响。针对双因素模型的不足,对其进行了改进,提出了Update-Factor模型,经仿真结果与实际监测结果比较,模型克服了双因素模型的不足,更符合蠕虫传播的实际情况。 相似文献
19.