期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
基于CPN的UML2.0形式化建模 被引量:1
1
作者 孔莹莹 蒲海涛 隋瑞升 《青岛大学学报(工程技术版)》 CAS 2011年第1期33-37,共5页
UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网(CPN)拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形... UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网(CPN)拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形的转化规则,实现了用CPN模型描述UML2.0的用例图与顺序图的目的。以一个简单的UML2.0顺序图进行验证,结果表明所提方法是有效的。 展开更多
关键词 uml2.0 cpn 形式化 建模
下载PDF
UML类图到CPN转化方法的研究 被引量:1
2
作者 田保军 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期101-103,共3页
UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形... UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。 展开更多
关键词 uml cpn 类图 建模
下载PDF
基于UML和CPN的列控系统等级转换建模与分析 被引量:1
3
作者 朱爱红 宋丽梅 《计算机应用研究》 CSCD 北大核心 2019年第1期140-143,16,共5页
针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方... 针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方法的有效性。验证结果表明,UML和CPN模型相结合的方法适合于列控系统需求规范的验证。搭建的等级转换模型能够满足系统实时性要求。在保证切换成功率的前提下,列车运行速度与切换时间成反比,速度越高,切换时间越短;列车速度越高,对系统实时性要求也越高。 展开更多
关键词 中国列车控制系统 等级转换 统一建模语言 有色PETRI网 建模
下载PDF
UML和CPN在企业销售信息管理系统开发中的应用
4
作者 王海燕 胡金柱 张昭理 《计算机工程》 CAS CSCD 北大核心 2004年第14期158-160,共3页
UML是标准的统一建模语言,但缺乏合适的工具对其所建立的模型进行严格定量的分析。CPN(有色Petri网)是严格定义的数学对象,可以模拟和检验用UML描述的系统对象的行为属性。该文以企业销售信息管理系统为实例描述了通过UML进行建模的过程... UML是标准的统一建模语言,但缺乏合适的工具对其所建立的模型进行严格定量的分析。CPN(有色Petri网)是严格定义的数学对象,可以模拟和检验用UML描述的系统对象的行为属性。该文以企业销售信息管理系统为实例描述了通过UML进行建模的过程,并用CPN对所建立的模型进行了分析和检验。 展开更多
关键词 统一建模语言 有色PETRI网 静态建模 动态建模 状态图
下载PDF
基于CPN的在轨服务概念建模 被引量:2
5
作者 史建伟 蔡远文 苏明 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期262-265,281,共5页
概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活... 概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。 展开更多
关键词 在轨服务 概念建模 uml cpn cpn-Tools
下载PDF
基于UML的任务空间概念模型动态行为验证研究 被引量:1
6
作者 高江林 吴晓燕 《航天控制》 CSCD 北大核心 2012年第1期54-58,65,共6页
动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向。论文提出... 动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向。论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的。该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性。 展开更多
关键词 uml 任务空间概念模型 着色PETRI网 动态行为验证
下载PDF
基于UML与有色Petri网的RBC切换场景的建模方法研究 被引量:3
7
作者 杨柳倩 张友鹏 《计算机测量与控制》 CSCD 北大核心 2012年第4期1116-1119,共4页
针对仅有一台车载电台正常的RBC(无线闭塞中心)切换场景,探讨了一种基于UML模型和有色Petri网(CPN)的系统建模方法;首先利用UML模型的顺序图及状态图描述RBC切换流程和过程中车载设备的状态转移,再从UML状态图中提取信息构造相应的有色P... 针对仅有一台车载电台正常的RBC(无线闭塞中心)切换场景,探讨了一种基于UML模型和有色Petri网(CPN)的系统建模方法;首先利用UML模型的顺序图及状态图描述RBC切换流程和过程中车载设备的状态转移,再从UML状态图中提取信息构造相应的有色Petri网模型,最后利用CPN Tools的状态空间工具分析模型的有界性、家态性、活性和公平性,得到的模型动态行为符合RBC切换功能的要求;论文验证了该建模方法的有效性,为完善RBC系统设计提供依据。 展开更多
关键词 无线闭塞中心 切换场景 uml 有色PETRI网
下载PDF
基于UML与着色Petri网的预警情报智能推荐的建模与验证 被引量:4
8
作者 牛犇 黄志良 +2 位作者 吴俊杰 张福群 李子墨 《兵器装备工程学报》 CAS CSCD 北大核心 2022年第12期291-298,共8页
针对将智能推荐系统应用在联合作战中推荐预警情报的研究,对比了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
下载PDF
基于UML的群智能建筑消防设备信息模型研究 被引量:3
9
作者 刘夕广 谢立强 +1 位作者 张玉晗 赵硕 《建筑技术》 2023年第3期296-299,共4页
群智能建筑中的消防设备要实现与智能节点CPN的互联互通和即插即用,需内置一套标准的信息模型。采用UML建模的方法,通过用例建模、静态建模和动态建模,分析消防设备动作的相关动静态参数信息;通过分析火灾探测报警子系统关键参数,建立... 群智能建筑中的消防设备要实现与智能节点CPN的互联互通和即插即用,需内置一套标准的信息模型。采用UML建模的方法,通过用例建模、静态建模和动态建模,分析消防设备动作的相关动静态参数信息;通过分析火灾探测报警子系统关键参数,建立了火灾探测器和火灾声光警报器信息模型。 展开更多
关键词 群智能建筑 cpn uml建模 信息模型
下载PDF
实时软件系统开发技术 被引量:6
10
作者 周世杰 秦志光 +1 位作者 刘锦德 熊光泽 《小型微型计算机系统》 CSCD 北大核心 2004年第1期117-122,共6页
分析了开发实时系统和实时软件系统的特殊性 ,讨论了传统实时软件系统开发技术 (包括 RTSA技术、DARTS技术、JSD技术、NRL方法、OOA & OOD技术等 ) ,并比较了它们各自的优缺点 .详细讨论了面向对象技术在实时软件系统开发中的应用 ... 分析了开发实时系统和实时软件系统的特殊性 ,讨论了传统实时软件系统开发技术 (包括 RTSA技术、DARTS技术、JSD技术、NRL方法、OOA & OOD技术等 ) ,并比较了它们各自的优缺点 .详细讨论了面向对象技术在实时软件系统开发中的应用 ,对统一建模语言 (U ML)在实时软件系统中的应用也进行了深入分析和讨论 .在分析了实时 UML (U ML - RT)的不足之后 ,提出了融合 U ML和 CPN的实时软件开发技术 ,并用一个实例说明了如何利用该技术进行实时软件开发 . 展开更多
关键词 实时计算 实时系统 实时软件系统 统一建模语言 有色PETRI网
下载PDF
尼泊尔共产主义运动的历史演进探析 被引量:3
11
作者 袁群 张立锋 《社会主义研究》 CSSCI 北大核心 2015年第2期135-140,共6页
尼泊尔共产主义运动是国际共产主义运动的重要组成部分。经过66年的发展演进,尼泊尔共产主义运动取得了巨大成就。但尼泊尔共产主义运动在发展过程中也受到尼共(联合马列)和尼联共(毛)的对立、意识形态退化、宗派主义等问题的困扰,这些... 尼泊尔共产主义运动是国际共产主义运动的重要组成部分。经过66年的发展演进,尼泊尔共产主义运动取得了巨大成就。但尼泊尔共产主义运动在发展过程中也受到尼共(联合马列)和尼联共(毛)的对立、意识形态退化、宗派主义等问题的困扰,这些问题能否得到有效解决将直接影响尼泊尔共产主义运动的未来走向。 展开更多
关键词 尼泊尔共产主义运动 尼共(联合马列) 尼联共(毛)
下载PDF
着色Petri网及其在系统建模与仿真中的应用 被引量:16
12
作者 肖兵 瞿坦 王明哲 《计算机工程》 CAS CSCD 北大核心 2001年第1期30-32,共3页
在众多的系统建模方法和语言中,用着色Petri网( Colored Petri Net,简写CPN)建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统.文章介绍了CPN的基本概念及建模... 在众多的系统建模方法和语言中,用着色Petri网( Colored Petri Net,简写CPN)建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统.文章介绍了CPN的基本概念及建模特性,阐明了CPN的实用价值及应用发展前景,并对一个罕事系统一一空对空导弹攻击系统进行CPN的图形形式的建模分析,并用Design/CPN进行仿真验证. 展开更多
关键词 系统建模 系统仿真 着色PETRI网 空对空导弹 计算机仿真
下载PDF
光电干扰武器系统C3I可执行建模的研究 被引量:1
13
作者 陈长喜 郭立红 +1 位作者 于涌 唐雪松 《计算机工程》 CAS CSCD 北大核心 2007年第3期27-28,31,共3页
UML已经成为面向对象分析与设计建模事实上的标准。基于UML的C3I系统模型的设计结果是对系统的静态表述,而C3I系统的本质是动态的。着色Petri网(CPN)具有强大的描述能力及严密的数学基础和多种分析手段,并且是可以仿真运行的。提出了从... UML已经成为面向对象分析与设计建模事实上的标准。基于UML的C3I系统模型的设计结果是对系统的静态表述,而C3I系统的本质是动态的。着色Petri网(CPN)具有强大的描述能力及严密的数学基础和多种分析手段,并且是可以仿真运行的。提出了从UML产品映射到可用于逻辑、行为和性能方面体系结构评价的CPN可执行模型的方法,对光电干扰武器系统C3I进行了UML建模的一般描述,阐述了光电干扰武器系统C3I从UML产品映射到CPN建立可执行模型的过程。通过对可执行模型CPN的仿真可对光电干扰武器系统C3I进行完整准确的评价。 展开更多
关键词 C3I 建模 uml 着色PETRI网
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部