检索结果-南通市图书馆

基于cpn-tools的驾驶培训系统建模及性能分析

在线全文

学校读者我要写书评

暂无评论

软件导刊 2015年第3期14卷 84-87页

作者：胡武雄秦江涛胡健上海理工大学管理学院上海200093

Petri网在流程信息系统建模中能得以有效利用,一个有效的驾驶培训系统关乎学员的学习效率和驾校的效益。着色Petri网(Colored Petri Net,cpn)是对离散事件动态系统进行图形化建模的有效理论,cpn-tools是应用Petri网理论进行建模与仿真... 详细信息

Petri网在流程信息系统建模中能得以有效利用,一个有效的驾驶培训系统关乎学员的学习效率和驾校的效益。着色Petri网(Colored Petri Net,cpn)是对离散事件动态系统进行图形化建模的有效理论,cpn-tools是应用Petri网理论进行建模与仿真分析的有效工具。通过对驾驶培训系统流程进行设定,利用cpn-tools对驾驶培训系统进行建模与仿真,在假定参数条件下对产生的能够反映仿真动态过程和结果的数据进行性能分析,并得出合理的教练员配置方案及效益结果。通过实例反映了着色petri网的建模优势,验证了cpn-tools在仿真中应用的有效性。

关键词：驾驶培训系统着色Petri网 cpn-tools 性能分析

基于UML与着色Petri网的预警情报智能推荐的建模与验证

在线全文

学校读者我要写书评

暂无评论

兵器装备工程学报 2022年第12期43卷 291-298页

作者：牛犇黄志良吴俊杰张福群李子墨空军预警学院武汉430019

针对将智能推荐系统应用在联合作战中推荐预警情报的研究,对比了IDEF、UML、Petri网等多种军事复杂系统建模方法,提出了采用UML和着色Petri网混合方法对预警情报智能推荐在联合作战中的应用进行建模与验证。通过UML工具对智能推荐系统... 详细信息

针对将智能推荐系统应用在联合作战中推荐预警情报的研究,对比了IDEF、UML、Petri网等多种军事复杂系统建模方法,提出了采用UML和着色Petri网混合方法对预警情报智能推荐在联合作战中的应用进行建模与验证。通过UML工具对智能推荐系统及其情报流进行了用例图、类图以及活动图等方面的概念建模,建立了规范化、统一化、可视化的模型,再凭借Petri网严谨数学分析以及其对复杂网络的强大建模能力,将UML模型映射为着色Petri网模型,实现了从内向外,从静态到动态,从模块化到系统化的循序渐进的建模过程。以X海方向XX联指,应对敌舰载机突袭任务为情况想定,利用cpn-tools进行仿真,验证了预警情报智能推荐的着色Petri网模型具有可达性、有界性、公平性、安全性以及活性。上述验证结果,说明该模型是合理的,也说明使用UML和着色Petri网混合建模方法对预警情报智能推荐在联合作战中应用进行建模与验证是可行的,为下一步基于智能推荐系统的设计、构建和优化研究提供了科学性和可行性的支撑。

关键词：预警情报智能推荐 UML 着色Petri网 cpn-tools

在线全文

学校读者我要写书评

暂无评论

基于cpn的在轨服务概念建模

系统仿真学报 2011年第B7期23卷 262-265,281页

作者：史建伟蔡远文苏明装备指挥技术学院研究生院装备指挥技术学院试验指挥系广州军区75130部队

概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,cpn)的建模基础,其次分析了在轨服务概念及其流程,然后运用cpn-tools建立了在轨服务的cpn模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活... 详细信息

概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,cpn)的建模基础,其次分析了在轨服务概念及其流程,然后运用cpn-tools建立了在轨服务的cpn模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。

关键词：在轨服务概念建模 UML cpn cpn-tools

基于层次着色Petri网的多机协同多目标攻击决策建模

在线全文

学校读者我要写书评

暂无评论

电光与控制 2010年第6期17卷 9-14页

作者：朱爱峰姜长生南京航空航天大学自动化学院南京210016

采用层次着色Petri网的方法,在cpn-tools仿真环境中建立了多机协同多目标攻击决策系统的模型。该方法通过引入颜色和置换变迁,降低了复杂系统Petri网模型复杂度,使模型直观、简单。利用ML元语言在模型中嵌入威胁估计和目标分配的算法函... 详细信息

采用层次着色Petri网的方法,在cpn-tools仿真环境中建立了多机协同多目标攻击决策系统的模型。该方法通过引入颜色和置换变迁,降低了复杂系统Petri网模型复杂度,使模型直观、简单。利用ML元语言在模型中嵌入威胁估计和目标分配的算法函数,使得模型具有根据态势信息进行目标分配决策的能力。分析了模型的动态性质,并给出算例仿真。仿真结果表明了所研究的基于层次着色Petri网的多机协同多目标攻击决策模型的有效性。

关键词：多机协同多目标攻击决策层次着色Petri网 cpn-tools

基于Tcpn和QPN的Web服务组合性能分析比较研究

在线全文

学校读者我要写书评

暂无评论

基于TCPN和QPN的Web服务组合性能分析比较研究

作者：杨昕江西师范大学

学位级别：硕士

随着Web服务应用的深入发展，单一的Web服务无法满足企业多变的需求，因此业界提出了Web服务组合技术。由于企业对服务速度和服务质量有着较高要求，服务性能问题逐渐受到越来越多的关注。目前研究学者们对Web组合服务性能分析主要集... 详细信息

随着Web服务应用的深入发展，单一的Web服务无法满足企业多变的需求，因此业界提出了Web服务组合技术。由于企业对服务速度和服务质量有着较高要求，服务性能问题逐渐受到越来越多的关注。目前研究学者们对Web组合服务性能分析主要集中在基于进程代数中Pi演算分析法和基于Petri网的分析法。由于Petri网有着丰富的系统描述手段和分析技术，所以选择Petri网描述组合更为直观。在Web服务组合中，经常会出现用户服务需排队等待的现象，为了能够充分比较研究web服务组合性能，本文重点分析比较了两种均可用于描述排队系统的web服务组合流程模型：排队Petri网和着色赋时Petri网，分别使用仿真工具QPMEHE cpn-tools模拟实验。本论文内容大致分成三部分：首先是相关知识介绍，包括排队Petri网和着色赋时Petri网定义;其次是使用一种专门用于描述Web服务业务流程执行语言BPEL，通过一定的映射规则和约束，实现将BPEL中的各种活动(包括基元活动和结构活动)分别转换成QPN和Tcpn仿真模型;最后以实例验证BPEL映射规则的正确性，使用cpn-tools和QPME两种工具描述，在条件结构和顺序结构下，当进入条件分支、循环分支的概率发生变化，以及单个服务服务时间的变化时，对系统性能的影响，比较两种模型描述方法下所得结论的异同，分析可能导致差异的原因。

关键词： Web服务组合 BPEL 着色赋时Petri网排队Petri网 QPME cpn-tools 性能分析比较

S公司车载连接器产品系列开发过程管理建模与优化

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

S公司车载连接器产品系列开发过程管理建模与优化

作者：周游东华大学

学位级别：硕士

新产品开发过程管理是企业新产品能够取得成功的关键,在汽车零部件行业同样如此。随着我国的汽车产销数据逐年上涨,各汽车品牌间的竞争加剧,对汽车零部件供应商的开发周期和成本提出了更高要求。此外,在电动化和智能化的趋势下,汽车零... 详细信息

新产品开发过程管理是企业新产品能够取得成功的关键,在汽车零部件行业同样如此。随着我国的汽车产销数据逐年上涨,各汽车品牌间的竞争加剧,对汽车零部件供应商的开发周期和成本提出了更高要求。此外,在电动化和智能化的趋势下,汽车零部件新产品开发的选择和过程决策关系着企业的未来。汽车连接器担负着汽车电气系统连接功能,作为连接器供应商,在新产品开发上既面临着整车厂的成本和开发周期的压力,也面临着电动化智能化产业变革带来的产品开发选择和决策等问题。如何缩短开发周期,降低开发成本和做好产品开发决策成了汽车连接器供应商需要面对的共同问题。本文以S公司的车载连接器产品系列开发过程管理作为研究对象,结合门径管理系统（Stage-Gate-System,SGS）理论和有色Petri网（colored Petri net,cpn）建模方法对S公司的车载连接器产品系列开发过程进行了建模和仿真研究。课题的主要内容和成果如下:1.运用SGS结构化的产品开发框架和cpn tools建模工具针对S公司连接器产品系列开发过程建立了结合时间、成本、决策支持为一体的过程模型。将开发时间和开发成本的历史数据融入到模型中,对产品开发的概念设计、试做设计、量产设计阶段建立了分层子网模型,并对两个评审关口设计了决策支持模型。2.运用cpn tools对产品开发时间和开发成本进行自动多次仿真,并统计仿真结果得出了案例产品最可能的开发时间和成本范围。结合仿真结果提出过程模型优化方案,并对优化后模型再次进行自动多次仿真,统计结果表明优化后产品开发时间缩短约40%,产品开发成本缩短约35%。3.结合业务流程再造（business process reengineering,BPR）理论和优化后的流程模型在S公司的产品开发中进行实践。在大半年的实践中,对比以往粗放的开发方式,优化后的结构化产品开发流程在开发周期和开发效率上取得一定改善。4.本研究确立了一种结合门径管理系统和有色Petri网的自顶向下的产品开发过程建模和优化方法。通过建模使得产品开发过程实现可视化和数据化,为产品开发流程的持续改善提供帮助。对不能投入高昂的产品管理系统的企业或部门做好精细化的新产品开发过程管理提供了思路。同时针对复杂的系列产品并行开发的过程管理提供了方法和工具,对缩短开发周期、降低开发成本具有普适意义。

关键词：新产品开发过程建模车载连接器系列门径管理系统有色Petri网 cpn-tools

基于Petri网的多机协同多目标攻击决策技术研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于Petri网的多机协同多目标攻击决策技术研究

作者：朱爱峰南京航空航天大学

学位级别：硕士

随着新一代战斗机和空空导弹的研制成功,多机协同多目标攻击将成为未来空战的主要方式。因此研究其相关技术,对于夺取未来空战胜利具有巨大意义。本文主要基于Petri网研究了多机协同多目标攻击决策技术,不仅用Petri网对多机协同多目标... 详细信息

随着新一代战斗机和空空导弹的研制成功,多机协同多目标攻击将成为未来空战的主要方式。因此研究其相关技术,对于夺取未来空战胜利具有巨大意义。本文主要基于Petri网研究了多机协同多目标攻击决策技术,不仅用Petri网对多机协同多目标攻击决策系统进行了建模分析,还结合Petri网技术研究了多机协同多目标攻击决策和机动决策。首先,对多机协同多目标攻击决策系统的特性进行了分析,并对其工作原理、组成结构、主要功能等方面进行了研究。其次,分别从战略层上分析了多机协同空战系统的上层指挥与控制系统,战役层上分析了以多机协同空战系统为主体的空中联合作战指挥控制系统,战术层上分析了编队内多机协同空战系统;在这些分析的基础上,提出采用面向对象的Petri网建立空中联合作战系统和编队内多机协同空战系统的模型,并利用Petri网建模工具cpn tools,对系统模型进行了仿真分析。随后,研究了多机协同多目标攻击决策,包括机群分组、态势评估、目标分配和火力分配算法。提出了针对不同情形的空战态势采用不同的因素权重值的态势评估算法,并验证了其有效性;根据以优攻劣的原则,给出了一个简单而有效的目标分配算法;采用模糊推理Petri网,研究了具有目标函数约束的我方机群分组和火力分配问题,并使得推理结果效益最大化。接着,研究了超视距的多机协同空战机动决策。并先进行机动战术决策、态势种类选定,然后在此基础上,完成最终的机动动作决策。其中,对于态势种类选定和机动动作决策采用了基于专家知识库的方法。对最为重要的机动战术决策采用自适应模糊推理Petri网进行研究,并用改进的学习算法对自适应模糊推理Petri网中变迁的输入弧权值进行学习,其权值收敛效果要明显优于原始算法。最后,在VC++环境下开发了基于数据库的多机协同多目标攻击决策软件平台。具体实现了战机信息、导弹信息和当前可执行任务战机信息的管理,以及基于这些数据信息的多机协同多目标攻击决策,从而验证了本文所研究算法的正确性。

关键词：多机协同多目标攻击面向对象的Petri网空战决策态势评估机动决策自适应模糊推理Petri网 cpn-tools

基于Tcpn的CTCS-1级列控系统RDC形式化建模与分析

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于TCPN的CTCS-1级列控系统RDC形式化建模与分析

作者：徐越北京交通大学

学位级别：硕士

新一代 CTCS-1(Chinese Train Control System-Level 1)级列控系统是为提升普速列车安全性、可靠性、运输效率和自动化水平而对既有线列控系统进行的一次技术升级,目的是实现车载线路数据下放到地面,由地面统一管理的现实需求,保证临时... 详细信息

新一代 CTCS-1(Chinese Train Control System-Level 1)级列控系统是为提升普速列车安全性、可靠性、运输效率和自动化水平而对既有线列控系统进行的一次技术升级,目的是实现车载线路数据下放到地面,由地面统一管理的现实需求,保证临时限速的即时更新,减少司机对控车数据的操作,提升既有线列控设备的自动化水平。区域列控数据中心(RDC)为CTCS-1级列控系统地面设备的核心,负责CTCS-1级列车的管理,以无线形式向列车提供行包含线路数据、链接应答器、进路与临时限速的行车数据。RDC系统的形式化建模与验证分析能保证RDC系统软件的完备性,安全性,可靠性,对于既有线列控设备技术升级具有促进意义。论文选择基于ML语言的时间有色Petri网(Tcpn)对RDC系统进行功能设计、建模仿真和验证分析研究,论文完成的主要工作如下:首先,综合有色Petri网与时间Petri网二者特点,提出针对实时并发系统的Tcpn形式化建模与分析方法,给出了基于ML语言的Tcpn模型建模与分析一般流程,在此基础上,构建了 CTCS-1级RDC建模与模型验证分析的整体框架,该框架涵盖了 RDC需求分析、功能设计、建模、功能验证分析、软件架构设计、软件开发与仿真实现等内容。然后,通过分析RDC系统特点、内部功能需求、交互功能需求,对RDC系统总体功能与主要模块功能进行设计,其中模块功能设计涵盖CTCS-1级列车注册与启动、注销、等级转换、行车数据生成、列车移交等主要运营场景,并且对比分析了 RDC与CTCS-3级无线闭塞中心(RBC)在主要运营场景中的功能差异。其次,根据设计的RDC系统功能,分别建立了 RDC交互功能与主体功能的Tcpn模型,并采用时间有色Petri网分层的思想降低模型复杂度与状态空间维度,将主体功能模型细化为车载设备自检子模型、RDC工作状态检查子模型、RDC与C1-ATP建链子模型、通信会晤建立子模型、列车数据确认子模型、行车数据交互子模型;同时建立列控等级切换、列车移交、C1车与既有车追踪运行特殊场景模型,利用仿真验证工具cpn-tools对模型仿真运行,从功能逻辑正确性、完备性、与技术规范一致性的角度进行验证分析;此外,在逻辑功能验证成功基础上,以列车移交为例进行RDC时间性能分析。最后,根据所建RDC功能模型,对系统软件进行层级架构设计与功能编码实现,在列控实验室平台上进行系统联调测试,通过“五站四区间”场景测试验证了RDC形式化功能模型的正确性与用于RDC系统软件开发的可行性。

关键词： RDC CTCS-1 时间有色Petri网形式化建模 cpn-tools

WCDMA协议呼叫流程形式化模型的建立与分析

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

WCDMA协议呼叫流程形式化模型的建立与分析

作者：韩烨内蒙古大学

学位级别：硕士

现如今,WCDMA协议已经成为了两大主流通信体制的一部分并越来越受到人们的关注。而对于无线通信系统来说,呼叫流程能否成功建立是一个很关键的问题,可以称得上是整个通信系统的最基本过程。所以对WCDMA协议信令流程中有关呼叫建立与释... 详细信息

现如今,WCDMA协议已经成为了两大主流通信体制的一部分并越来越受到人们的关注。而对于无线通信系统来说,呼叫流程能否成功建立是一个很关键的问题,可以称得上是整个通信系统的最基本过程。所以对WCDMA协议信令流程中有关呼叫建立与释放流程的形式化模型进行分析,以检验该协议流程的模拟分析是否符合预期,将有助于整个系统的建立与维护。这对于推动第三代移动通信系统产业链的发展具有十分重要的意义。鉴于上述的现状分析,本文主要研究基于Coloured Petri Nets及其仿真工具cpn-tools的WCDMA协议呼叫流程形式化模型的建立,随后对建立起的模型进行模拟并做了基本属性的分析。具体过程为：首先使用cpn建模工具对WCDMA协议呼叫建立和释放流程进行了层次化建模,之后对该模型进行模拟运行并生成对应的状态空间报告,然后将模拟生成的完全状态空间与该cpn模型的运行结果进行比较,观察状态空间报告是否与协议模型运行结果统一,以检验协议模型是否符合预期。最终,在避免了空间爆炸的前提下,得到了满足论文需求且结构相对精简、功能相对完善的协议模型。

关键词： WCDMA协议呼叫建立和释放 cpn-tools 建模分析