检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种面向对象petri网的构造及应用研究

机械科学与技术 2003年第5期22卷 746-750页

作者：陶晓峰蒋昌骏段江涛西安电子科技大学机电工程学院西安710071

将 petri网理论与面向对象技术结合 ,并借鉴客户机 /服务器模式 ,着色 petri网中的一些概念 ,提出了一种新的面向对象 petri网。文中详细论述了这种面向对象 petri网的结构 ,形式定义 ,运行规则。

关键词： petri网面向对象设计面向对象petri网

面向对象petri网的网络传感器管理系统建模

在线全文

学校读者我要写书评

暂无评论

计算机与现代化 2004年第2期 61-63页

作者：刘拓群王辉华刘淼森张蜜武汉科技大学湖北武汉430070 海军工程大学兵器工程系湖北武汉430033 旅顺基地装备部舰载系统处辽宁旅顺116041

传感器资源管理是一个复杂的系统工程 ,特别是在分布式传感器网络中 ,传感器种类繁多 ,使用一般的petri网建模方法很难对系统作一形象描述。本文提出了一种应用面向对象petri网对该系统进行建模的方法 ,并针对网络传感器管理特点 ,构造... 详细信息

传感器资源管理是一个复杂的系统工程 ,特别是在分布式传感器网络中 ,传感器种类繁多 ,使用一般的petri网建模方法很难对系统作一形象描述。本文提出了一种应用面向对象petri网对该系统进行建模的方法 ,并针对网络传感器管理特点 ,构造了网络传感器管理系统模型。

关键词：传感器资源管理面向对象petri网数据处理 OOPN 对象子网

一种着色赋时的面向对象petri网及在自动制造系统中的应用

在线全文

学校读者我要写书评

暂无评论

微电子学与计算机 2009年第9期26卷 13-15页

作者：刘心印桂生哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001

着色赋时的面向对象petri网(Colored Ti med Object-Oriented petri Net,CTOPN)是在面向对象petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了... 详细信息

着色赋时的面向对象petri网(Colored Ti med Object-Oriented petri Net,CTOPN)是在面向对象petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.

关键词：着色赋时面向对象petri网着色令牌变迁函数死锁

在线全文

学校读者我要写书评

暂无评论

基于面向对象petri网的BPM流程建模

计算机应用与软件 2007年第10期24卷 149-151页

作者：周学权徐涛姜丽红上海交通大学软件学院上海200240

目前面向流程集成的EAI技术——BPM(商务流程管理)已经悄然兴起。采用面向对象petri网(OOPN)技术对BPM流程进行定义,将BPM流程映射到OOPN中进行建模,这样就可以将petri网的一些技术应用到BPM系统中,为BPM系统的研究提供了一些新的方向。

关键词：商务流程管理面向对象petri网 EAI

基于面向对象petri网的CORBA分布式系统安全性的形式化研究

在线全文

学校读者我要写书评

暂无评论

基于面向对象Petri网的CORBA分布式系统安全性的形式化研究

作者：郭德平吉林大学

学位级别：硕士

分布式计算经过近年来的迅速发展,已形成多种规范或标准,广泛应用于分布式系统设计和开发。然而,这些工业规范或标准明显缺乏坚实的理论基础,从而给分布式系统的规格说明、正确性验证、安全性等工作带来诸多不便。形式化方法对分布式... 详细信息

分布式计算经过近年来的迅速发展,已形成多种规范或标准,广泛应用于分布式系统设计和开发。然而,这些工业规范或标准明显缺乏坚实的理论基础,从而给分布式系统的规格说明、正确性验证、安全性等工作带来诸多不便。形式化方法对分布式计算理论模型研究主要是将涉及分布与并发行为的各种概念形式化,从而给出这些行为的精确定义,避免系统开发人员理解上的二义性,并且为系统开发人员提供可靠的数学工具,用于说明、设计和验证分布式系统的多个方面,如系统运行的正确性、安全性等。本文在综合分析并比较了分布式系统形式描述与验证的四种方法的应用特点及不足后,引入了系统的、形式化的面向对象petri网的描述规则,以抽象、简便的方法描述客观世界的相互关系;利用面向对象petri网方法对一个特定的CORBA应用系统进行建模,得出了系统各对象的OOPN模型和OCN模型,并利用矩阵方程不变量分析的方法对该模型的可达性、活性、守恒性、有界性和安全性进行了验证;应用面向对象petri网描述和分析了CORBA系统主体责任,证据的表示与收集等与安全性有关的重要性质,并研究了分布式系统不可否认性的模拟验证技术。

关键词：分布式系统 CORBA规范面向对象petri网安全性形式化

基于面向对象petri网的汽车性能检测系统车辆调度的研究与实现

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于面向对象Petri网的汽车性能检测系统车辆调度的研究与实现

作者：张海峰长安大学

学位级别：硕士

汽车性能检测系统属于多学科交叉的研究领域,涉及了汽车、机械制造、电子、自动控制、计算机等多个学科。汽车性能检测系统结构复杂、规模庞大,对其进行建模和分析是比较困难的。petri网是一种基于图形化的语言,具有描述、分析复杂系统... 详细信息

汽车性能检测系统属于多学科交叉的研究领域,涉及了汽车、机械制造、电子、自动控制、计算机等多个学科。汽车性能检测系统结构复杂、规模庞大,对其进行建模和分析是比较困难的。petri网是一种基于图形化的语言,具有描述、分析复杂系统的强大功能,是研究系统结构特性和行为特性的一种重要工具。它不但提供了建模方法,而且还提供了模型的分析技术。本文借助于面向对象petri网理论,探讨了汽车性能检测系统车辆调度的理论和方法,研究了车辆调度建模的方法和分析技术。主要完成了以下几个方面的工作:(1)论文阐述了分布式网络测控系统的特点、体系结构,并且对汽车性能检测系统的基本构成、总体结构和工作原理作了详细的分析,为车辆调度的建模提供了理论基础。(2)论述了petri网的基本性质及分析方法,并介绍了一种OPNets模型,通过对OPNets的扩充,引出了分析车辆调度系统的OOPN模型。(3)利用面向对象petri网的理论和方法建立检测线的车辆调度模型。通过面向对象的分析方法,对车辆调度系统进行抽象,确定系统要描述的对象、对象的静态特征和动态特征、对象间的关系以及对象的行为约束等。(4)对面向对象petri网的车辆调度模型进行了分析。利用petri网可达树分析方法,建立了网系统的特征可达树,分析了网系统的可达性及有界/安全性。(5)给出了规范级的检测车辆调度实现。分析了petri网到UML的映射关系,并采用统一建模语言UML实现车辆调度模型。

关键词：分布式网络测控系统汽车性能检测系统 petri网面向对象petri网车辆调度

基于面向对象petri网的Web服务组合研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于面向对象Petri网的Web服务组合研究

作者：周霞曲阜师范大学

学位级别：硕士

随着Internet的不断发展,面向服务计算(Service-Oriented Computing, SOC)成为了软件领域最热门的研究内容之一,而Web服务标准与技术的日趋成熟,使得Web服务成为万维网上的一种重要的计算资源,并极大的推动了面向服务计算的应用与发展。... 详细信息

随着Internet的不断发展,面向服务计算(Service-Oriented Computing, SOC)成为了软件领域最热门的研究内容之一,而Web服务标准与技术的日趋成熟,使得Web服务成为万维网上的一种重要的计算资源,并极大的推动了面向服务计算的应用与发展。SOC的研究涉及许多研究领域,其中重要的一个领域就是Web服务组合。到目前为止,围绕着Web服务组合这个研究课题,国内外已有许多学术机构的研究者从各自的研究领域,进行了广泛和深入的研究。petri网是一种适合于并发、异步、分布式软件系统描述与分析的形式化方法,它既有严格的数学定义,又有直观的图形表示,在Web服务组合领域得到了广泛的应用。然而经典petri网无法精确表达Web服务的语义,并且随着Web服务数量的增加、服务请求者需求的复杂多样,基于基本petri网的Web服务组合表现出状态空间爆炸和封闭性等问题,进而推动了高级petri网的研究与发展。面向对象petri网综合了petri网的严谨且丰富的分析方法以及表达能力强的特点和面向对象的抽象、封装和模块化的优点,能更简单直观地描述并发的、分布式的系统模型以及交互行为的建模过程。本文采用面向对象petri网作为理论基础,将Web服务抽象为一个方法的集合,并假定相同的方法实现的功能是一样的,用OOPN形式化定义和图形化表示单个Web服务,并设计了一个Web服务组合的模型WSC-OOPN,给出基于此模型的服务组合运算的形式化定义和图形表示,利用覆盖树、关联矩阵和状态方程、迁移矩阵等方法验证所提模型的安全性、可达性和死锁等属性;通过给出第一、第二优先级的定义,在WSC-OOPN模型上提出实现Web服务组合的优先级算法,给出算法的执行步骤和伪代码表示,并用实例验证该算法的可行性。该算法适用于,当用户所请求的方法只是部分的包含在多个Web服务中时,可以通过计算用户所请求方法自动生成的消息序列的优先级,根据优先级算法过程,选择出最佳的Web服务序列进行组合。

关键词：服务组合面向对象petri网 WSC-OOPN模型优先级算法

基子面向对象petri网的物流配送中心流程优化研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基子面向对象Petri网的物流配送中心流程优化研究

作者：何凯山东大学

学位级别：硕士

2009年,我国颁布了《物流业调整和振兴规划》,这为物流行业实现跨越式发展提供了契机。2014年,我国物流业更是迅速发展,社会物流总额比2013年增长7.9%。在物流业迅速发展的环境下,物流配送中心有着举足轻重的位置,然而我国物流配送体系... 详细信息

2009年,我国颁布了《物流业调整和振兴规划》,这为物流行业实现跨越式发展提供了契机。2014年,我国物流业更是迅速发展,社会物流总额比2013年增长7.9%。在物流业迅速发展的环境下,物流配送中心有着举足轻重的位置,然而我国物流配送体系存在诸如流程规范性差、配送成本高、配送效率低下、管理制度落后、配送中心基建不完善等问题。这些问题极大制约了物流配送的发展。现如今,如何降低配送成本、提高系统运作效率和有效管理配送业务流程都是亟待解决的问题。本文对物流配送和petri网建模的国内外研究现状进行了归纳和分析,明确了论文选题的背景和意义。经过对业务流程的多种建模方式进行仔细对比和分析,本文最终确定用面向对象petri网对业务流程进行建模。面向对象petri网具有面向对象技术和传统petri网的双方面优点,非常适合业务流程的分析和建模。本文详细分析了典型的物流配送中心的业务流程模式,对具体作业流程进行了分析,并绘制了流程图,然后确定了本文的研究对象是存在问题较多且急需解决的出库环节。利用面向对象petri网的建模方法建立了物流配送中心出库流程的petri网模型,并应用“关联矩阵分析法”对所建模型的性质进行了求解和分析,证明所建的模型是正确的、可用的。本文针对物流配送中心存在的问题,从多个角度对物流配送中心出库环节进行了优化,并建立了优化后的面向对象petri网模型。而后本文以流程完成的平均时间作为参数,利用ExSpect仿真工具对优化前后的petri网模型进行仿真与对比,证实了本文提出的优化措施是有效的、可行的。为使仿真结果更加切合实际情况,对面向对象petri网模型引入随机变量,进一步论证优化措施的有效性和可行性。

关键词：物流配送中心业务流程优化面向对象petri网建模

基于面向对象petri网的无人机协同追踪策略研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于面向对象Petri网的无人机协同追踪策略研究

作者：谭申强南京航空航天大学

学位级别：硕士

近年来,无人机在世界范围内得到了迅速发展,并对现代战争产生了深远影响。随着作战环境日益复杂,作战任务日益多样,单架无人机执行任务的可能性越来越小,如何通过有效的控制策略支持多架无人机协同作战并实现整体作战效能最佳,是一个极... 详细信息

近年来,无人机在世界范围内得到了迅速发展,并对现代战争产生了深远影响。随着作战环境日益复杂,作战任务日益多样,单架无人机执行任务的可能性越来越小,如何通过有效的控制策略支持多架无人机协同作战并实现整体作战效能最佳,是一个极具理论价值与现实意义的研究课题。基于动态角色配置的思想,论文研究了协同追踪过程中无人机在搜索者、协助者、领导者和空闲者四个角色之间切换,动态构建团队追踪移动目标的机制;根据无人机协同合作追踪目标的特点,采用混合式结构建立了无人机的协同追踪策略系统,利用面向对象petri网对系统的各个对象进行建模,并对系统性能进行评价。本文对“伸缩式”目标搜索算法进行了研究并做了改进,改进的方法可以更有效地对未知环境下的目标进行搜索;论文对无人机的协同追踪策略进行了深入研究,设计了无人机的跟踪策略、押送策略和围捕策略,在追踪过程中三种策略相互配合使用追踪目标;基于人工势场思想,对无人机的运动进行控制,实现了无人机的避碰和追踪控制。论文最后设计了入侵者攻击固定工事的任务场景,并进行了仿真,验证了采用面向对象petri网所建立模型的正确性和协同追踪策略的有效性,根据仿真结果,深入分析了影响协同追踪策略的因素并做出了总结。

关键词：面向对象petri网系统建模协同追踪追踪策略目标搜索人工势场