有色Petri网相关论文
区域控制器（Zone Controller,ZC）通过与联锁系统（Computer Interlocking,CI）、车载控制器（Vehicle On Board Controller,VOBC）和列车自动......
多模列控系统的模式切换时延是影响城市轨道交通列车运行效率的重要因素，基于车车通信的列控系统是下一代城市轨道交通列控系统的主......
在工业互联网背景下,工业控制网络对各要素之间的互连互通提出了更高的要求,工业以太网协议标准不统一、彼此之间不能兼容的问题日......
区域控制器（Zone Controller，ZC）通过与联锁系统（Computer Interlocking，CI）、车载控制器（Vehicle On Board Controller，VOBC）和列车自动监......
随着人们生活节奏的不断加快,在日常生活中,对于日常的饮食,不再仅仅局限于去公司餐厅、学校食堂等地方就餐,外卖行业的兴起,为人......
可信构造是指采用自身可证的全流程方法在系统开发过程中逐步形成系统的可信属性。Tc CBTC（Train-centric CBTC,以车载为核心CBTC）系......
本文提出了一种基于构件与扩展层次有色Petri网(简写为EHCPN)模拟验证SoC设计的方法,给出了EHCPN的形式化定义.基于所提出的EHCPN......
为了解决有色Petri网(CPN)对安全协议进行形式化建模分析时,仅能判断协议是否存在漏洞而无法找出漏洞具体位置和攻击路径的问题,以......
随着列车重载运输的高速发展,国家对货物列车的安全运行提出了更高的要求。针对货物列车的特点,本文提出了一种利用无线传感器对重......
BPR的推广和应用要求有科学的方法论和强有力的工具支持.在BPR的实施过程中,利用仿真工具对经营过程建模与仿真分析,被认为是快速......
离散事件系统(DES)的研究兴起在八十年代初期，随着信息处理技术、计算机科学和机器人技术等的发展完善和广泛应用，在通信、制造、交......
该文主要研究了网络安全的关键技术:防火墙技术?工作员首先提出了防火墙技术参考模型,该参考模型的基本构件是认证功能构件、完整......
Web服务(Web Service)是松散耦合的、可复用的软件模块,封装了离散的功能;服务在Internet上发布后,能够通过标准的Internet协议在......
本论文主要研究将多值逻辑应用在产生式知识表示中，表现出知识的不确定性和不精确性；同时，为了缩小搜索空间，提高推理速度，提出了一种基......
信息系统随着社会经济的发展在企业发展和竞争中的重要性不断提高,激烈的竞争导致信息系统结构不断调整,采用工作流技术的工作流管......
学位
信息科技的发展正在改变着世界，数据库也从最简单的存储数据的表格发展到海量数据存储的大型数据库系统，并在互联网、金融、医疗、电......
Web服务是一种使用标准的工业技术来描述(WSDL)、发布/发现(UDDI)和通讯(SOAP)的基于Internet的新型分布式计算技术,它为企业级应......
近年来，随着计算机硬件和软件的快速发展，使得软件工程面临着严峻的挑战：软件系统变得越来越复杂，大大增加了开发和维护的难度。如何更......
随着Internet技术的发展，网络的安全性问题越显重要，各种网络安全技术也成为研究的热点。入侵检测作为安全防卫系统的最后一道防线，还......
随着计算机网络的发展,针对网络的攻击日趋多样化,出现了从零碎而简单的攻击形式发展而来的复杂攻击行为。在网络安全实践中,传统......
从20世纪70年代到现在,运用形式化方法对安全协议进行分析一直是计算机安全领域的研究热点。并产生了一些比较有影响的验证方法,如......
操作系统是计算机资源的直接管理者,位于整个信息系统的最底层,其安全问题是信息安全的核心问题。SELinux是Linux系统的安全增强模......
本文首先分析了网格工作流的研究现状和发展动态。随着网格工作流技术的蓬勃发展，在网格工作流方面的研究主要包括两个方面的内容，一......
WAP事务协议(WTP)作为WAP协议体系结构中的一个重要部分,向会话层提供基于请求响应的分布式事务服务。由于WAP论坛将WAP协议规范以......
Petri网是一种适合于描述异步并发现象的系统模型，但是在使用基本Petri网来为复杂系统建模时会出现“节点爆炸”问题，本文提出约束组......
无线传感器网络作为一种新兴的技术，已成为当前国际上备受关注的研究热点，被认为是对21世纪产生巨大影响力的技术之一。路由协议的研......
本文介绍了井下机车调度系统的的发展现状、发展趋势。介绍了建模工具Petri网的来源以及特点，同时对Petri网的理论进行了系统的介绍......
多智能体系统(Multi-Agent System，MAS)体系结构及协作机制是多智能体理论研究的核心与热点问题，作为一种新兴的研究方法，基于协进化......
随着网格技术的快速发展,其应用领域越来越广泛,网格应用规模越来越大、也越来越复杂。复杂的网格应用存在各种各样的约束和资源竞......
Web服务是一种新型的分布式计算模型,它能够实现在不同平台、不同程序语言的应用程序之间无缝的互操作。然而传统Web服务架构主要......
有色Petri网是在经典的Petri网基础上发展起来的一种高级网系统,是一种适于描述异步并发系统的图形工具和数学工具。它以简洁的图......
当今，随着网络技术的迅猛发展和广泛应用，网络已经成为人们共享信息的主要方式，人们可以随时、随地以各种方式提供和接受信息。然而，网......
网格计算环境下,由于资源的异构性、动态性、自治性以及网格任务的多样性,任务调度一直就是网格计算的重要环节。因此,任务调度算......
有色Petri网作为一类特殊的Petri网模型语言,特别适用于并发、同步和资源共享起主要作用的系统。它结合了一般Petri网过程互操作特......
渗透测试是指借助于值得信任的组织试图对信息系统中的漏洞进行探测和开发的安全实践活动。渗透测试已经从不同系统开发阶段的应用......
随着计算机网络的迅速发展,Internet已经成为人们日常生活中必不可缺少的部分,网络安全也越来越成为人们关注的焦点。如何迅速有效......
随着互联网技术与应用的迅速发展，Web服务作为一种新兴的Web应用模式及远程访问标准，很好地解决了异构平台上的数据和应用的整合与共......
Web服务组合的目标是通过简单服务的组合形成以满足需求的新服务,这个目标的完成是通过相对简单的Web服务交互的设计。但Web服务组......
车载中心化的列控系统是面向我国西部地区低密度线路的新型列控系统。为满足该列控系统由车载设备自主实现进路控制的需求,基于车......
目前,可编程控制器(Programmable Controller,PLC)已在工业控制领域中得到广泛运用。PLC实现的运动控制系统可以采用多种语言,其中......
分区交接是高速磁悬浮运行控制系统的重要功能,列车分区交接模块是磁浮列车安全运行的重要保证,是高速磁浮运行控制系统中的关键模......
我国高速铁路列车自动运行(Automatic Train Operation,ATO)系统正在快速发展,随着设备智能化程度的提升,人因失误已经成为导致人-......
近年来,物联网技术正以前所未有的速度在全世界范围内的各行各业得到产业化应用。其中RFID技术作为物联网领域最关键的技术之一,已......
Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合......
在柔性制造系统 (FMS)建模中 ,结合应用面向对象 (OO)技术和有色 Petri网 .提出了该建模方法在FMS中的应用思路和步骤 :运用 (OO)......
为了对海量的在役飞机构型数据进行有效的组织和管理,提出一种在役飞机维修构型数据管理的混合式产品结构,以此为核心带动在役阶段......
