检索结果-南通市图书馆

基于有色Petri网的产品协同开发过程建模方法研究

在线全文

学校读者我要写书评

暂无评论

工程设计学报 2010年第2期17卷 91-97页

作者：王啸峰卞致瑞北京科技大学机械工程学院北京100083

产品协同开发过程具有层次性、分布性、离散性和动态性等特点,采用合理方法构建其有效的过程模型成为协同开发过程管理与优化的基础性条件.将有色Petri网(CPN)技术引入产品协同开发过程建模中,针对性地提出了产品协同开发过程CPN模型的... 详细信息

产品协同开发过程具有层次性、分布性、离散性和动态性等特点,采用合理方法构建其有效的过程模型成为协同开发过程管理与优化的基础性条件.将有色Petri网(CPN)技术引入产品协同开发过程建模中,针对性地提出了产品协同开发过程CPN模型的描述性定义;并从协同开发特点出发,为支持基本过程逻辑的描述由工作流原语定义了基本网模型结构;为了描述复杂协同关系,结合模块化方法及库所变迁性质给出了扩展网模型结构的构建方法.该方法实现了将协同开发过程关系从基本到复杂都能映射到相应CPN网上,并通过实例进一步说明了该方法的有效性.

关键词：有色Petri网产品协同开发过程建模方法

基于有色Petri网的SPIN协议建模与分析

在线全文

学校读者我要写书评

暂无评论

计算机工程与设计 2007年第14期28卷 3391-3393,3397页

作者：宁亮张志鸿郑州大学信息工程学院河南郑州450001

在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义。形式化建模是分析验证网络协议的一种有效方法。使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协... 详细信息

在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义。形式化建模是分析验证网络协议的一种有效方法。使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性。

关键词： SPIN协议有色Petri网建模 CPN分析工具形式化分析

基于有色Petri网的MiLCAN网络仿真与性能分析

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2013年第S1期25卷 95-98,103页

作者：宋小庆陈永星朱昀炤王治国马亚龙装甲兵工程学院控制系电气室北京100072 装甲兵工程学院指挥与控制系仿真室北京100072

针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用有色Petri网构建基于MilCAN的某型车辆综合电子系统总线网络性能分析模型。运用系统功能模块划分以及分层设计思想提出了基于系统的建模方法,运用CPN_Tools工具进行模型实现... 详细信息

针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用有色Petri网构建基于MilCAN的某型车辆综合电子系统总线网络性能分析模型。运用系统功能模块划分以及分层设计思想提出了基于系统的建模方法,运用CPN_Tools工具进行模型实现和仿真实验。实验结果证明了仿真建模的可行性与有效性。

关键词：有色Petri网 MiLCAN总线网络 1553B 马尔可夫链

一个基于有色Petri网的自动Web服务合成模型

在线全文

学校读者我要写书评

暂无评论

计算机科学 2008年第6期35卷 50-54页

作者：张昭理洪帆华中科技大学计算机科学与技术学院

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性。该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构。给出了Web服务基于有色Petri网的形式化定义。... 详细信息

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性。该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构。给出了Web服务基于有色Petri网的形式化定义。定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成。定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成。

关键词： Web服务有色Petri网自动Web服务合成模型

基于有色Petri网的成像卫星任务规划建模

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2012年第12期29卷 324-328页

作者：杜经纬运城学院计算机科学与技术系山西运城044000

在深入分析成像卫星任务规划问题模型要素的基础上,以有色Petri网为理论工具,提出一种基于CPN(Coloured petri Net)的成像卫星任务规划模型。该模型分为顶层模型、控制模型、目标成像任务规划模型和图像传输任务规划模型,具有良好的模... 详细信息

在深入分析成像卫星任务规划问题模型要素的基础上,以有色Petri网为理论工具,提出一种基于CPN(Coloured petri Net)的成像卫星任务规划模型。该模型分为顶层模型、控制模型、目标成像任务规划模型和图像传输任务规划模型,具有良好的模块化和通用化特点。通过设计典型仿真实例,考察所建模型在无任务冲突情况下和在有任务冲突情况下的任务规划能力,验证了所建模型的有效性。所建模型可以为成像卫星任务规划方案的制定提供理论依据。

关键词：成像卫星任务规划有色Petri网建模约束条件任务冲突

有色Petri网在车辆综电系统总线建模中的应用

在线全文

学校读者我要写书评

暂无评论

火力与指挥控制 2009年第12期34卷 82-85,120页

作者：刘金萍高东飞祝新成罗卫华第二炮兵工程设计研究院 96451部队

针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用CPNs构建综合电子系统模型。提出了系统的建模分析方法,运用CPN Tools进行建模,得出了某型车辆总线的系统模型。实验结果证明,基于CPNs的车辆综合电子系统总线建模的正确性... 详细信息

针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用CPNs构建综合电子系统模型。提出了系统的建模分析方法,运用CPN Tools进行建模,得出了某型车辆总线的系统模型。实验结果证明,基于CPNs的车辆综合电子系统总线建模的正确性与可行性。

关键词：有色Petri网综合电子系统 1553B

在线全文

学校读者我要写书评

暂无评论

基于有色Petri网的英式拍卖会话机制

微电子学与计算机 2006年第3期23卷 62-64,69页

作者：张素庆李秀琴王志军王文杰中国科学院研究生院北京100039 华北电力大学河北保定071003

文章结合FIPA英式拍卖协议(English-Auction-Protocol),用染色petri网(CPN)为这一协议建模,介绍了Agent按照交互协议进行会话的过程,并依据petri网(PN)理论的矩阵方程式对拍卖中Agent使用协议可能获得利益以及产生冲突的情况进行了分析。

关键词：有色Petri网会话机制 Agent

铁路信号控制逻辑的有色Petri网描述方法

在线全文

学校读者我要写书评

暂无评论

铁道学报 2001年第Z1期23卷 54-58页

作者：陈邦兴吴芳美同济大学电子与信息工程学院上海200331 同济大学电子与信息工程学院上海200331

铁路信号逻辑控制关系的形式化描述对实现铁路信号设备计算机控制系统的研制开发具有十分重要的意义.形式化的描述不但可以便于计算机实现具体的逻辑控制,同时也可以提高计算机程序的可靠性.对这些逻辑关系精确地描述之关键在于选择恰... 详细信息

铁路信号逻辑控制关系的形式化描述对实现铁路信号设备计算机控制系统的研制开发具有十分重要的意义.形式化的描述不但可以便于计算机实现具体的逻辑控制,同时也可以提高计算机程序的可靠性.对这些逻辑关系精确地描述之关键在于选择恰当的描述语言.本文利用有色Petri网的特点结合一些铁路信号设备的变化规律给出了相应的有色Petri网描述,并针对一种简化的区间自动闭塞的控制逻辑介绍了用有色Petri网建模的基本方法和有色Petri网模型的分析过程.

关键词：铁路信号有色Petri网建模

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

模糊有色Petri网的形式化推理算法研究

计算机科学 2012年第S3期39卷 256-258页

作者：马良荔陈杰汪丽华海军工程大学电子工程学院中国载人航天工程办公室 91960部队政治部干部科

petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表... 详细信息

petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理,并结合有色Petri网对系统规模作适当约简,从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型,有效弥补了传统petri网在实际应用中的缺陷,使模糊推理过程更加简单且易于实现。

关键词：模糊有色Petri网形式化方法