检索结果-南通市图书馆

基于UML状态机-PNs集成的工作流建模与分析

在线全文

学校读者我要写书评

暂无评论

基于UML状态机-PNs集成的工作流建模与分析

作者：刘清秀曲阜师范大学

学位级别：硕士

工作流模型的建立是实现工作流管理的基本前提,模型的正确与否、结构的优劣,将直接影响工作流执行的正常与否以及执行效率的高低。从起步发展到今天,工作流技术取得了相当多的成果,但是还远未达到人们所期望的水平。其中重要的一点表现... 详细信息

工作流模型的建立是实现工作流管理的基本前提,模型的正确与否、结构的优劣,将直接影响工作流执行的正常与否以及执行效率的高低。从起步发展到今天,工作流技术取得了相当多的成果,但是还远未达到人们所期望的水平。其中重要的一点表现在工作流模型的描述上,工作流模型的核心是对过程的定义,包括组成过程的基本活动以及活动之间的逻辑关系。而现存的建模方法缺乏一种能够支持过程定义、过程演进以及过程分析的形式化数学模型。因此,研究如何清晰、准确地描述实际应用中的过程,特别是如何用形式化的方法表示流程;理论上如何验证所建立的过程模型的结构正确性;如何评价所建立模型的性能以及优化模型的方法成为当今工作流建模研究的热点。基于当前工作流建模存在的问题,我们在完成山东省科技厅项目“基于WEB的活塞PDM系统”的研发过程中,提出了一种基于UML状态机-PNs集成的工作流建模与分析方法。其中,对UML状态机做了重新定义,用扩展的UML活动图来描述状态机,并对petri网进行了相应的扩展。该方法综合了UML和petri网的优点,通过扩展的UML活动图对流程进行完整、清晰的描述并且支持过程定义,利用petri网的数学分析手段对现存的模型验证方法进行了改进,总结出了一种更为有效的模型结构正确性验证方法,并在此基础上,提出了一种模型结构的优化方法。实践证明,该方法是行之有效的工作流过程建模方法。

关键词：状态机多维UML活动图扩展petri网多维工作流网自由选择结构冲突

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

信息物理融合生产系统辅助开发与仿真平台

信息物理融合生产系统辅助开发与仿真平台

作者：宋思蒙北京交通大学

学位级别：硕士

信息物理融合生产系统（CPPS）是信息物理融合系统（CPS）在制造行业内的实际应用,是实现工业4.0的基础。信息物理融合技术赋予生产系统内节点智能特性,使能制造资源能够以服务的方式存在、共享和调用。CPPS的运行体现为实时任务驱动下... 详细信息

信息物理融合生产系统（CPPS）是信息物理融合系统（CPS）在制造行业内的实际应用,是实现工业4.0的基础。信息物理融合技术赋予生产系统内节点智能特性,使能制造资源能够以服务的方式存在、共享和调用。CPPS的运行体现为实时任务驱动下以生产业务流程为核心的各种服务化制造资源的组合配置与动态运行。CPPS系统的设计是根据业务逻辑对CPS环境下服务化的制造资源进行整合,定义系统行为。在CPPS系统设计过程中需要解决两大问题即系统内节点的行为模型构建和行为模型信息物理融合的实现。CPPS的设计过程具有复杂性,不仅需要在设计过程中对CPPS的自适应、可重构、互操作功能进行建模和验证,还需要在运行阶段支持系统的扩展、重构和管控。当前,制约CPPS发展的一个重要因素是缺乏一个CPPS设计和管理一体化方法学和模型支持。系统的建模和仿真是设计复杂系统的一种重要方法,能够帮助系统设计人员理解、描述系统,并对系统的功能进行验证。论文综合应用面向对象、系统建模和仿真、系统组态等思想和技术,针对CPPS设计过程中需要解决的两大问题,提出并研发面向CPPS系统设计、运行的信息物理融合生产系统辅助开发与仿真平台（CPPS-ADSP）。首先,通过分析CPPS-ADSP的应用场景,提炼出CPPS-ADSP的功能和特征,并提出系统的参考框架、运行机制和网络物理环境;在此基础上,针对CPPS的设计和建模问题,提出一种融合多智能体架构和扩展petri网OTCKPN的混合建模方法,通过预定义的系统模型库构建系统内CPS节点的协商行为模型和生产行为模型,支撑CPPS的自适应和可重构特性;在实现CPPS系统建模的基础上,提出一种基于面向服务架构的信息物理融合方法,定义系统中服务的类型和面向服务架构的运行机制。通过建立CPPS-ADSP和物理设备层、信息资源层之间的互操作机制,实现CPPS和异构设备、系统之间的互联互通;最后,基于本文的研究成果,采用基于平台的设计方法,开发CPPS-ADSP原型系统,并结合实际生产场景,对CPPS-ADSP进行了验证试验,结果表明CPPS-ADSP能够有效支撑CPPS的开发和验证。

关键词：信息物理融合生产系统建模与仿真扩展petri网面向的服务架构

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于维修任务的排故过程仿真方法研究

基于维修任务的排故过程仿真方法研究

作者：周洲中国民航大学

学位级别：硕士

目前在维修建模方面,国内涌现出许多优秀的建模思想。本文在总结和借鉴现有模型的基础上,结合民航培训需求,从构建虚拟维修训练系统的角度出发,以航线排故过程为研究基础,重点研究航线排故过程仿真建模方法,建立了基于SWOSP网排故模型... 详细信息

目前在维修建模方面,国内涌现出许多优秀的建模思想。本文在总结和借鉴现有模型的基础上,结合民航培训需求,从构建虚拟维修训练系统的角度出发,以航线排故过程为研究基础,重点研究航线排故过程仿真建模方法,建立了基于SWOSP网排故模型并利用维修虚拟平台对模型进行了仿真验证。解决了当前维修模型在描述复杂系统容易庞大以及对排故知识、维修资源、循环操作、外部触控、底层动作描述较少的问题。本文主要工作如下:首先,研究民机维修及维修任务的理论知识,给出民航维修特点及维修任务的分类,以航线维修中的排故过程作为研究对象,提出了航线排故仿真要素及仿真流程。并对常用过程建模方法在维修过程中的应用进行分析及比较。然后,针对民机排故过程的复杂性提出了用层次化的概念清晰化建模,结合语义Web、本体及扩展petri网构建了描述航线维修排故过程的SWOSP网模型。上层利用语义Web及本体理论描述排故知识并对部件进行层次结构分解和部件聚类,实现各子部件之间逻辑互联;底层利用扩展petri网对维修资源、维修状态、关联方式、循环操作、外部触发等进行模型构建,提高航线排故过程的真实性及建模效率。最后,介绍航线维修虚拟平台搭建方法并利用平台对SWOSP网的航线排故过程模型进行仿真验证。

关键词：航线排故维修仿真语义Web 本体扩展petri网

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

无线网格网中服务质量问题的建模与优化

无线网格网中服务质量问题的建模与优化

作者：付博哈尔滨工业大学

学位级别：硕士

无线网格网(WMN)融合了无线局域网(WLAN)和Ad-Hoc无线网络二者的优势,支持多信道、多跳性,并且成为解决因特网最后一英里接入问题的一种有效手段。无线网格网由此成为学术界和企业界瞩目的焦点之一,具有独特的科研价值和广阔的应用前景... 详细信息

无线网格网(WMN)融合了无线局域网(WLAN)和Ad-Hoc无线网络二者的优势,支持多信道、多跳性,并且成为解决因特网最后一英里接入问题的一种有效手段。无线网格网由此成为学术界和企业界瞩目的焦点之一,具有独特的科研价值和广阔的应用前景。本文首先提出无线网格网中服务质量问题的评价标准。在无线网络中,服务质量首先着眼于数据传输的可靠性,这是因为与有线网络(例如WLAN)相比,无线网络中的数据传输由于信道不稳定等原因更易造成大规模丢包的发生。与有线网络类似,数据传输的延时也是描述服务质量的重要标准,特别是在部署了交互式应用的网络环境中。本文量化了无线网格网中服务质量的评价标准,并以这个标准评价后续的建模工作。在较深入地研究了资源竞争图的基础上,本文提出了基于资源竞争图的服务质量问题解决方案。本文首先通过数学规划把网络中的流量适当平均地分配到各个冲突域,然后根据数据流的优先级别进行信道分配和转发路由。针对服务质量问题,本文利用petri网对无线网格网进行建模。考虑到现实世界与应用(不仅仅是无线网格网)中经常涉及到的概率、容量、优先级,本文扩展出了新的petri网模型。利用这个模型,本文将无线网格网中的服务质量的问题转化为petri网问题。于是,借助petri网丰富的研究成果与求解方案,服务质量问题得以解决。仿真实验表明,本文所提出的服务质量问题解决方案能够有效地避免无线网格网在服务质量方面的缺陷,有针对性地利用无线网格网的特性。

关键词：无线网格网络服务质量扩展petri网

基于RFID的新疆肉牛养殖质量安全可追溯系统研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于RFID的新疆肉牛养殖质量安全可追溯系统研究

作者：王森石河子大学

学位级别：硕士

畜产品引发的食品安全事件频发,对国家经济和人民健康造成了严重的危害。质量安全可追溯系统因其能有效的对质量安全进行控制管理,得到了广泛认可及大力推行。目前,新疆规模化、标准化饲养及科学育肥的应用程度较低。建立健全质量安全... 详细信息

畜产品引发的食品安全事件频发,对国家经济和人民健康造成了严重的危害。质量安全可追溯系统因其能有效的对质量安全进行控制管理,得到了广泛认可及大力推行。目前,新疆规模化、标准化饲养及科学育肥的应用程度较低。建立健全质量安全可追溯体系可有效地保证食品的质量安全,提高新疆肉牛养殖生产效率。本文以肉牛为研究对象,以养殖流程为切入点,从四个部分对新疆肉牛养殖质量安全可追溯系统进行了研究。第一部分分析研究了国内外近几年质量安全可追溯系统发展状况以及相关理论和关键研究技术。从产生背景、政策及法律法规支持、采取的方式及标准等方面详细介绍了质量安全可追溯系统的实施进程,总结吸收国外先进经验。介绍了可追溯系统理论、HACCP(Hazard Analysis Critical Control Point,危害分析和关键环节控制点)体系、扩展petri网理论、RFID(Radio Frequency Identification,射频识别)技术以及数据库技术,从理论上为论文提供基础,并从技术上提供支撑。第二部分对新疆肉牛养殖过程进行了可追溯分析。从肉牛的引进、饲养育肥到育肥出栏对新疆肉牛养殖业务整体流程进行分析,引入HACCP体系。根据HACCP体系原理,确定危害,对影响肉牛质量安全的关键点进行分析研究,选择控制点,对控制点进行限值,并制定偏离限值时的控制措施。第三部分构建了肉牛养殖溯源模型。根据新疆肉牛养殖场架子牛育肥过程的工作流逻辑网构建了基于扩展petri网的肉牛养殖工作流模型,并对模型进行化简及可达树验证。根据肉牛养殖过程的追溯单元体系,构建了基于RFID的肉牛养殖溯源模型。该模型能实现对追溯单元溯源信息的采集、处理。第四部分开发设计了质量安全可追溯系统。在MyEclipse10工作平台上,以Tomcat8.0为服务器,JDK1.8.00为开发环境,MySQL 5.6.24为数据库,设计实现了新疆肉牛养殖质量安全可追溯系统。该系统基于B/S(浏览器/服务器)模式结构体系,可实现肉牛养殖数字化管理以及肉牛质量安全可追溯。通过本文的研究,养殖企业可以实现肉牛的质量安全可追溯,有利于畜产品再加工及其流通管理,实现供应链上的信息共享,提高企业核心竞争力。另一方面,有利于加强对畜产品的质量监管,加快质量安全可追溯系统体系建设。

关键词： HACCP RFID 扩展petri网可追溯系统

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于模式组件的工作流管理系统构建方法研究

基于模式组件的工作流管理系统构建方法研究

作者：张峰山东大学

学位级别：硕士

工作流技术是近年来发展最迅速的几项技术之一,其主要特点是可以实现人与计算机协作过程的自动化,使人以及各项应用工具相互之间协调工作,共同完成某项任务。工作流技术是实现企业业务过程建模、业务过程仿真分析、业务过程优化、业务... 详细信息

工作流技术是近年来发展最迅速的几项技术之一,其主要特点是可以实现人与计算机协作过程的自动化,使人以及各项应用工具相互之间协调工作,共同完成某项任务。工作流技术是实现企业业务过程建模、业务过程仿真分析、业务过程优化、业务过程管理与集成,从而实现业务过程自动化的核心技术。作为工作流技术的软件支撑环境,工作流管理系统可以支持企业业务过程高效执行并监控其执行过程。随着工作流技术的发展,对工作流管理系统的设计与实现的研究也得到了广泛的重视。本文阐述了工作流技术发展的现状,探讨了当前工作流管理系统构建中的主要方法及存在的不足。由于传统方法在工作流过程定义和实例化之间缺乏一种有效的转换方法,因此,不仅工作流系统实现的复杂度高,而且系统的分散度大。本文以软件组件技术为基础,从描述流程控制特征的工作流模式出发,提出了一种基于工作流模式的工作流模型,给出了先将工作流模式映射到工作流模式组件,再基于模式组件构建工作流管理系统的方法。在方法研究上,首先对描述流程控制特征的工作流模式进行形式化定义,并给出了3种不同类型的工作流模式:定义了工作流模式组件,给出了3种工作流模式组件;然后对用于工作流过程定义的传统petri网进行扩展,给出了一种扩展petri网模型,将该模型作为工作流过程定义的描述语言;定义了基于工作流模式的工作流模型——WPBW模型,并给出了由扩展petri网模型转化成WPBW模型的原则和方法,最后给出了基于模式组件的工作流管理系统的体系结构。在设计与实现上,首先实现了10种基本工作流模式中的核心部件——控制逻辑组件:根据方法研究中提出的扩展petri网模型,编码实现了基于扩展petri网模型的工作流建模工具,用于业务过程的过程定义;利用组件库的理论构建工作流组件库,以实现组件的存储,同时便于建模工具根据建模信息在组件库中对组件的搜索。本文在详细描述了基于模式组件的构造方法和实现技术后,用一个具体的实例构造了一个简单的工作流系统,对该方法进行了验证。最后,对该方法进行分析,总结其优点和不足,并指出了今后的改进方向。

关键词：工作流管理系统工作流模式工作流模式组件扩展petri网 WPBW模型

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于IP多播的SNMP研究

微计算机应用 2007年第4期28卷 380-385页

作者：陆正福杨洋何英王国栋云南大学数学系昆明650091 昆明学院计算机系昆明650031

详细分析了基于IP多播实现SNMP网管协议的必要性与可行性,基于UCD—SNMP软件包在Linux环境下研究了实现方法,利用扩展的库所/变迁网对SNMP管理者及代理进行了形式化描述。

关键词： SNMP IP多播扩展petri网

在线全文

学校读者我要写书评

暂无评论

肉牛养殖管理平台的设计与实现

榆林学院学报 2018年第2期28卷 82-85页

作者：吴敏宁榆林学院信息工程学院陕西榆林719000

牛肉供应链具有链条长,环节多,动态化,风险因素多的特点,养殖是肉牛生产过程中重要的一个环节。在肉牛养殖环节中,工作流管理将肉牛养殖过程中产生的所有指标数据与过程数据通过不同的组织结构存储于特定的数据仓库中,可实现牛肉质量的... 详细信息

牛肉供应链具有链条长,环节多,动态化,风险因素多的特点,养殖是肉牛生产过程中重要的一个环节。在肉牛养殖环节中,工作流管理将肉牛养殖过程中产生的所有指标数据与过程数据通过不同的组织结构存储于特定的数据仓库中,可实现牛肉质量的跟踪与溯源,可全面分析组织管理中的关联性与养殖环节所产生的风险因素。为了降低建模复杂度,提高模型的可读性和重用性,利用扩展petri网来描述和分析养殖环节工作流,来确定该环节质量问题的可能路径,确定危险因素所在点。在此基础上,分析、设计和实现肉牛养殖管理平台,可提高肉牛养殖企业生产效率,快速定位养殖环节质量问题根源,提高牛肉质量安全。

关键词：牛肉供应链工作流扩展petri网肉牛养殖

在线全文

学校读者我要写书评

暂无评论

基于工作流技术的PDM文档管理

曲阜师范大学学报（自然科学版） 2006年第1期32卷 56-58,69页

作者：刘清秀曹宝香李天盟王抒曲阜师范大学计算机科学学院山东省日照市276826

首先分析了PDM动态文档的流转问题,给出了一种PDM动态文档的流转机制.并且提出了一套基于扩展petri网的PDM动态文档流程建模方法,给出了扩展petri网的形式化定义以及建模规则.在此基础上描述了PDM动态文档流程的实例化以及PDM动态文档... 详细信息

首先分析了PDM动态文档的流转问题,给出了一种PDM动态文档的流转机制.并且提出了一套基于扩展petri网的PDM动态文档流程建模方法,给出了扩展petri网的形式化定义以及建模规则.在此基础上描述了PDM动态文档流程的实例化以及PDM动态文档管理的具体实现.

关键词： PDM 动态文档流程建模扩展petri网