检索结果-南通市图书馆

禁止弧及库所不变Petri网航空终端区入侵检测

在线全文

学校读者我要写书评

暂无评论

控制工程 2017年第9期24卷 1781-1785页

作者：斯进卢涤非袁莹浙江警察学院计算机与信息技术系杭州310053

在终端区入侵检测应用中,因其结构较为复杂,且航空器的运行数量较多,存在防御冲突危险,研究影响航空安全,对此基于禁止弧及库所不变Petri网框架构建终端入侵检测方案。首先,对终端区的航空运行结构进行分析,基于Petri网模型框架构建终... 详细信息

在终端区入侵检测应用中,因其结构较为复杂,且航空器的运行数量较多,存在防御冲突危险,研究影响航空安全,对此基于禁止弧及库所不变Petri网框架构建终端入侵检测方案。首先,对终端区的航空运行结构进行分析,基于Petri网模型框架构建终端区的约束模型,并以此作为终端入侵检测基础;然后,利用所构建的终端区航空约束模型,利用禁止弧及库所不变原理,建立终端区入侵检测控制策略,并基于变迁使能对航空指令进行控制决策;最后,通过在实际案例中的实验分析表明,所提终端入侵检测方案能有效处理终端入侵检测问题,并可有效降低管制员工作负荷。

关键词：禁止弧库所不变 petri网入侵检测

在线全文

学校读者我要写书评

暂无评论

基于Petri网的交通信号控制系统

系统仿真学报 2007年第A01期19卷 221-226页

作者：蒋忠远宋文杨博西华大学数学与计算机学院四川成都610039

用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发... 详细信息

用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发生,系统采用中断技术对交通信号进行中断处理。最后对模型进行了正确性的分析。

关键词： Petri网自控网禁止弧容许弧形式化相位

在线全文

学校读者我要写书评

暂无评论

运输机器人行为建模的Petri网方法

计算机应用 2014年第5期34卷 1360-1363,1368页

作者：袁杰李伟新疆大学电气工程学院乌鲁木齐830047 美国加州州立大学贝克斯菲尔德分校计算机与电气工程系美国加州贝克斯菲尔德93311

针对建立运输机器人的精准行为模型所遇到的新困难,提出采用含禁止弧Petri网(PN)建立其行为模型。运输机器人行为有耦合、制约、异步等特点,采用含禁止弧的行为交互Petri网元模型以及token流动控制机制建模其行为。通过LabVIEW2012及Rob... 详细信息

针对建立运输机器人的精准行为模型所遇到的新困难,提出采用含禁止弧Petri网(PN)建立其行为模型。运输机器人行为有耦合、制约、异步等特点,采用含禁止弧的行为交互Petri网元模型以及token流动控制机制建模其行为。通过LabVIEW2012及Robotics模块,将Petri网模型转化为LabVIEW程序,在运输机器人平台进行行为验证。结果实现了运输机器人的行为与交互逻辑,具有行为辨识、决策与执行能力。验证了含禁止弧Petri网为运输机器人的行为建模提供了一种适用方法,建立的Petri网模型为运输机器人的相关行为设计提供模型参考。

关键词： Petri网建模运输机器人行为禁止弧

基于增广Petri网带封锁机制的数据库并发控制模型

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2007年第A01期19卷 164-167页

作者：蒋忠远宋文姚建西华大学数学与计算机学院四川成都610039

用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协... 详细信息

用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。最后,利用S-不变给出此模型的验证。

关键词： Petri网禁止弧容许弧封锁 S-不变形式化

在线全文

学校读者我要写书评

暂无评论

基于Petri网模型的随机数生成器

计算机工程 2010年第12期36卷 72-74页

作者：邹峥乐晓波刘石坚长沙理工大学计算机与通信工程学院长沙410076

以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究。选用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变量的精度增加而急剧增大... 详细信息

以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究。选用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变量的精度增加而急剧增大的问题,针对某些逆变换法无法实现的分布,引入拒绝法,对现有的随机数发生器Petri网模型进行改进。

关键词： Petri网随机数生成器禁止弧拒绝法

在线全文

学校读者我要写书评

暂无评论

基于增广自控网的路灯故障检测系统

系统仿真学报 2007年第A01期19卷 171-174页

作者：严兵宋文蒋忠远西华大学数学与计算机学院四川成都610039

用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、... 详细信息

用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、验证。

关键词： Petri网自控网禁止弧容许弧可达标识形式化

在线全文

学校读者我要写书评

暂无评论

基于Petri网的形式化软件开发方法研究

基于Petri网的形式化软件开发方法研究

作者：蒋忠远西华大学

学位级别：硕士

随着计算机软件的飞速发展,提高软件开发的效率已成为一个非常重要的问题。采用软件形式化技术,不仅可以极大地减少软件设计早期阶段的错误,缩短开发的总体时间,而且有利于开发人员之间的沟通,提高软件的可靠性。形式化方法是建立在严... 详细信息

随着计算机软件的飞速发展,提高软件开发的效率已成为一个非常重要的问题。采用软件形式化技术,不仅可以极大地减少软件设计早期阶段的错误,缩短开发的总体时间,而且有利于开发人员之间的沟通,提高软件的可靠性。形式化方法是建立在严格数学基础上,通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量、开发成本及开发进度的有效控制。形式化方法分为形式化规格说明和形式化验证。Petri网是满足上述两个要求的很好的描述工具。Petri网是一种对系统软件形式化、图形化的描述和分析工具,具有直观、易懂和易用的优点。对于具有并发、异步、分布、并行、不确定性和随机性的系统,都可以利用这种工具构建模型。然后对模型进行分析,即可得到有关系统静态结构和动态行为方面的信息。根据这些信息可以对要开发的系统进行评价和改进。同时,Petri网为程序员与其他人员之间的沟通和交流提供了一个强有力的一个平台环境,使得软件开发的过程形式化。本文讨论的是基于Petri网的形式化软件开发方法。主要从模拟与验证两方面展开。利用不变技术、结构分析技术、分块建模技术等,对Petri网的模拟能力以及主要行为特征进行较深入细致的研究,得到了一些新的结果。本文的主要贡献有:(1)数据库系统的并发控制一直都受到业内人士的广泛关注,它是衡量一个DBMS性能的重要指标之一。而S-不变作为Petri网的一个重要的验证方法同样也越来越受到人们的关注。经典的S-不变方法往往只用来对系统性质的一种解释和判定,或是对一些具体的范例的性质的一种定性、定量分析。本文使用增广Petri网构建一个比较通用的带封锁机制的DBMS模型,给出了形式化软件开发的一个范例。从整体上模拟了一个DBMS,并用S不变对模型进行验证。(2)目前,大多数的软件系统都是并发系统。Petri作为一个很好的形式化描述和分析工具,必须要能很好的描述和分析这类系统。路灯故障检测系统就是一个典型的并发系统,系统信号在路灯故障检测系统与路灯设备以及传输线路之间是并行传输的。本文使用带禁止/容许弧的自控网构建了一类路灯故障检测系统,采用Petri网形式化方法对系统进行描述、分析和证明,确保了系统的正确性。(3)交通信号控制是一个世界性的话题,它是一类典型的并发、同步系统。本文构建了一类具有中断处理功能且便于实现区域控制的交通信号控制系统。建模过程中采用分块建模的方法也正好符合了软件设计的模块化准则和面向对象的设计思维。并且从网所定义的变迁发生序列的结构入手,对模型进行了正确性分析。

关键词： Petri网自控网禁止弧容许弧 S-不变形式化

基于Petri网的排爆机器人行为建模与分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于Petri网的排爆机器人行为建模与分析

作者：杨斌新疆大学

学位级别：硕士

随着爆炸恐怖袭击事件的增多,人们对排爆机器人的需求更为迫切,要求也更高;此外,排爆机器人的复杂度也逐渐增加。为研制满足要求的具有排爆功能的机器人,建立精准系统行为模型是实现上述目标的基础和关键。行为建模是设计排爆机器人的... 详细信息

随着爆炸恐怖袭击事件的增多,人们对排爆机器人的需求更为迫切,要求也更高;此外,排爆机器人的复杂度也逐渐增加。为研制满足要求的具有排爆功能的机器人,建立精准系统行为模型是实现上述目标的基础和关键。行为建模是设计排爆机器人的一个重要方面,是系统分析、优化以及实时控制的前提。建立准确完善的系统行为模型,是对系统的客观抽象和精准表达,以支持对排爆机器人运行的监测和控制。在排爆机器人设计中采用的模型,对系统的正确性奠定了良好的模型基础,有利于缩短开发周期,降低开发费用。排爆机器人的控制系统具有高度的复杂性,行为间存在着并发、耦合、异步等特点。此外,排爆机器人的部分行为相互制约:某一个行为的发生,将影响其他行为的发生及执行效果。针对排爆机器人上述行为特点,传统的建模方法难以满足要求。由于Petri网能够准确地表达出行为间复杂的同步、并发、异步关系,并能以图形可视化的形式加以描述,故本论文采用Petri网理论对排爆机器人复杂行为进行建模。排爆机器人的行为间存在着并行、同步及异步等特点,它们都是由事件驱动的,在空间和时间上是离散的,所以排爆机器人系统属于离散事件动态系统。而Petri网是DEDS适用的建模工具,即利用它建立DEDS的PN模型。基于PN模型可对其控制系统进行设计,对其性能做全面深入的分析。同时PN模型具有结构化以及层次化属性,便于模型的开发与利用。排爆机器人在结构上可划分为移动机器人平台及排爆机械手两部分。基于Petri网理论,采用含有禁止弧的PN模型对该类排爆机器人的行为进行建模。首先对排爆机器人行为间的交互逻辑进行分析,建立了排爆机器人系统的PN模型,模型包括:移动机器人行为的PN模型和机械臂运动的PN模型。利用Petri网仿真软件,对建立的PN模型进行动态仿真,仿真图实时监测托肯的流动。为验证PN模型的正确性,即验证PN模型能否准确的表达出排爆机器人行为间的逻辑关系,实现具体功能,将PN模型实现作为方法验证的重要手段。将Petri网模型转换为C++程序,并结合Robotics工具箱模块编程,在AS-4WD移动平台上进行行为验证。结果实现了排爆机器人的行为与交互逻辑,提高了排爆机器人的可靠性,证明了模型的正确性,也拓展了Petri网的应用范围。

关键词：排爆机器人 Petri网离散事件动态系统禁止弧行为建模

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

用Petri网模拟Turing机

电子科技大学学报 1981年第4期 18-26页

作者：江明德

本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。由于Turing机的带子是潜在无穷长的,因而所用的Petri网的p结点集和t结点集也不可能是有限的,该Petri网将是无限的ZP网[1](具禁止弧的Petri网)。

关键词：禁止弧信息变换结点集 Turing Petri 定义影卷起始状态