收藏本站
《南京理工大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

UML和Petri网建模方法及其在C~4ISR系统中的应用

江金龙  
【摘要】: 本文以C~4ISR系统为应用背景,以统一建模语言(UML)和Petri网的适应性改进为目标,进行了相关的建模方法研究,并提出了相应的分析算法。主要成果与创新点如下: (1)提出了基于离散事件系统规范说明(DEVS)的UML建模方法,该方法支持对模型之间耦合关系的描述,所建模型有很清晰的层次性。提出了可达矩阵分析方法,讨论在系统非运行状态下对子模型增加、替换、删除、重新组合和拆分等操作所引起接口图的变化。 (2)提出了扩展CS-class(ECS-class)的发射规则,它既能在并发情况下正确的计算时间延迟,又能在冲突情况下合理的调度事件。提出了基于T-Net分解的原子级化简规则,该规则比文献[110]中规则的应用范围更广。另外还对组件级化简规则中的规则集进行了扩展。 (3)提出了基于UML和Petri网的层次建模方法,该方法采用Petri网描述系统的动态行为,然后经过分析优化后,将其转化成UML状态图和序列图。提出了信息网模型的概念,该模型不仅能描述系统的状态变化,而且能刻画出信息在模型中的流动过程。提出了转化算法,将信息网转化成状态图。对UML序列图进行了扩展,描述系统中的并发、同步、选择和汇合等特性。 (4)提出了对象时间Petri网(OTPN)模型的概念,将Petri网和面向对象技术结合起来,所得模型具有模块化、多态、重用性和继承的特点。提出了基于OTPN模型的时间一致性分析方法,计算模型的时间延迟以及判断是否满足系统的时间约束条件;提出了基于OTPN模型的关联矩阵分析方法,来校验模型的可达性;提出了基于OTPN模型的死锁检测算法(DCA),来检查模型中是否存在死锁。
【学位授予单位】:南京理工大学
【学位级别】:博士
【学位授予年份】:2007
【分类号】:TP311.52

【引证文献】
中国期刊全文数据库 前1条
1 胡健生;魏泽邦;刘飞争;;基于OPN的C~4ISR系统的子网划分及建模过程[J];数字技术与应用;2010年02期
【参考文献】
中国期刊全文数据库 前10条
1 胡峰,温熙森,孙国基;离散事件动态系统理论及应用[J];电脑与信息技术;2001年05期
2 田立勤,林闯,周文江;随机Petri网模型中变迁的串、并联性能等价化简技术[J];电子学报;2002年08期
3 魏丫丫,林闯,田立勤;用进程代数描述可适应工作流的模型方法[J];电子学报;2002年11期
4 赖明志,尤晋元;从UML状态图到PVS规范的自动转换、验证[J];电子学报;2002年S1期
5 林闯;王元卓;杨扬;曲扬;;基于随机Petri网的网络可信赖性分析方法研究[J];电子学报;2006年02期
6 侯锋,陈洪辉,罗雪山;基于多Agent的C~4ISR系统建模与仿真方法研究[J];光电技术应用;2004年03期
7 罗雪山;论C~3I系统的建模[J];国防科技大学学报;1994年01期
8 赖明志,尤晋元;UML statechart based rigorous modeling of real-time system[J];Journal of Harbin Institute of Technology;2005年01期
9 崔灵果,潘成胜;Petri网在防空C~3I系统建模与分析中的应用[J];火力与指挥控制;1999年04期
10 王宏飞,姚仲舒,杨成梧;基于Lanchester方程的威胁评估模型[J];火力与指挥控制;2003年01期
【共引文献】
中国期刊全文数据库 前10条
1 侯文英;李文卓;;农产品物流系统解释结构模型的构建[J];安徽农业科学;2012年02期
2 王海顺,吴鹏;工作流性能评价方法[J];安阳师范学院学报;2005年02期
3 杜洪涛;郜志英;;论给水系统的可靠性[J];安阳工学院学报;2011年04期
4 张伟;邵英安;;非玩家角色瞄准算法设计[J];白城师范学院学报;2011年03期
5 赵光武;还原论与整体论相结合探索复杂性[J];北京大学学报(哲学社会科学版);2002年06期
6 韩永学;“后结构主义”思维框架下的企业生命有机体理论研究[J];北方论丛;2005年03期
7 薛景;;卫生监督管理信息系统工作流建模及分析[J];办公自动化;2008年14期
8 陈文明;高学东;;宝钢炼钢连铸物流仿真器的建模方法[J];宝钢技术;2009年05期
9 李军求,孙逢春,张承宁,张国忠;用CAD技术进行汽车底盘总布置设计方法的研究[J];车辆与动力技术;2004年02期
10 黄鎏鑫,齐欢;巡航导弹仿真应用中的地形匹配[J];兵工自动化;2004年05期
【同被引文献】
中国期刊全文数据库 前10条
1 程文鑫;陈立强;龚沈光;丁永忠;;基于蒙特卡洛法的舰船装备战备完好性仿真[J];兵工学报;2006年06期
2 孙怀远;药品软包装发展研究[J];包装工程;2003年04期
3 朱瑜;杨国纬;;过程定义语言XPDL,BPML和BPEL4WS的比较分析[J];成都信息工程学院学报;2005年06期
4 金宝轩;;基于Petri网的地理信息服务组合模型研究[J];测绘科学;2010年03期
5 巨晶;;服务组合的可信性获取方法研究[J];电脑编程技巧与维护;2012年02期
6 姜浩,董逸生,罗军舟;基于Petri网的工作流过程建模与分析方法的研究(英文)[J];Journal of Southeast University(English Edition);2000年02期
7 周建涛,史美林,叶新铭;CBR:一种支持工作流过程语义验证的组件级化简方法[J];电子学报;2005年06期
8 罗雪山,李晓林,包卫东;C~3I仿真演示系统的分析与设计[J];国防科技参考;1997年Z1期
9 包卫东,罗雪山,沙基昌;C~3I仿真演示系统的设计思想[J];国防科技参考;1997年Z1期
10 郭玲,江金龙,吕冰;C~4ISR系统的建模方法与仿真环境研究[J];信息技术;2005年11期
【二级引证文献】
中国期刊全文数据库 前1条
1 张良安;马寅东;单家正;刘凤臣;姚赟峰;刘黎明;;基于遗传算法和Petri网络的机器人装配生产线平衡方法[J];食品与机械;2012年02期
【二级参考文献】
中国期刊全文数据库 前10条
1 李岐强,史载明;自动分拣系统中的同步跟踪与失步保护[J];福州大学学报(自然科学版);1993年05期
2 金士尧,李宏亮,党岗,王召福,刘晓建;复杂系统计算机仿真的研究与设计[J];中国工程科学;2002年04期
3 李东,卢晓辉,费奇,陈学广;在大型物流调运系统中建立实际的运输问题模型的研究[J];系统工程;2000年06期
4 罗雪山;决策系统的信息机理[J];国防科技大学学报;1991年02期
5 唐培和;Petri网可达树的构造与实现[J];广西工学院学报;2003年01期
6 严洪森, 崔贤玉,张晋格;扩展高级判断Petri网及其在FMS决策和控制中的应用[J];航空学报;1994年09期
7 张耀鸿,沙基昌,罗雪山;HLA在C~3I系统仿真中的应用[J];火力与指挥控制;2000年03期
8 张耀鸿,沙基昌,罗雪山;C~3I系统效能仿真方法及环境研究[J];火力与指挥控制;2001年01期
9 车万方,张凤鸣;C~3I系统体系结构的演化开发过程[J];火力与指挥控制;2003年01期
10 潘成胜;军事专家系统的谓词Petri网描述及其时延分析[J];火力与指挥控制;1995年04期
【相似文献】
中国期刊全文数据库 前10条
1 徐榕,王冰,张惠侨;AGVS中面向对象的建模技术[J];机械设计与研究;2000年02期
2 潘秋菱,刘宗田,贾亮,许庆,袁兆山;软件过程技术及环境研究[J];电子学报;2001年11期
3 古莉,刘玉生;基于UML设计数据库模型[J];计算机与现代化;2001年05期
4 刘宪凯,张维石;UML在Web组件建模中的应用研究[J];计算机工程与应用;2002年01期
5 左秀峰,邵建峰,陶维忠;UML建模与工作面生产模拟[J];贵州工业大学学报(自然科学版);2002年05期
6 陈争云;UML工具在商业网站开发中的应用[J];计算机辅助工程;2002年04期
7 单锦辉,王戟,齐治昌,马晓东,单黎君;面向路径的测试数据自动生成工具的设计与实现[J];计算机工程与科学;2002年01期
8 章恒翀,陈思功,秦晓;基于UML的软件复杂度估计及进度控制[J];计算机工程与设计;2002年10期
9 马志强,杨贵福;一种基于UML的虚拟专用网模型的建立与应用[J];东北师大学报(自然科学版);2003年03期
10 张毅坤,赵宇峰,张烨,姚全珠,张亚玲;基于UML面向对象软件静态测试方法的研究[J];计算机工程与应用;2003年36期
中国重要会议论文全文数据库 前10条
1 宗建建;王峰;施寅生;;UML测试剖面技术研究与进展[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 吴琛;杨涛;林春梅;;UML建模分析及其在Ego365.com上的应用开发[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
3 范璐敏;;基于UML的医疗设备管理建模[A];中华医学会医学工程学分会第五届青年委员会第二次年会暨《中国医疗设备》杂志社年会论文集[C];2011年
4 彭颖;沈怀荣;;基于UML的防空作战态势可视化系统设计[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
5 晶晶;;UML在档案管理信息系统建设中的研究[A];档案事业科学发展:新环境 新理念 新技术——2008年档案工作者年会论文集(上册)[C];2008年
6 白凡;张宏军;高景涛;王冠;;基于UML的空军航空兵编队空中截击军事概念建模[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
7 唐剑文;;基于UML嵌套活动图的回归测试用例选择[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
8 李霁坤;张群;;UML在物资管理系统开发中的应用[A];全国冶金自动化信息网年会论文集[C];2004年
9 任庆荣;陈庆;张利华;;UML在过程管理系统设计中的应用[A];第十一届全国自动化应用技术学术交流会论文集[C];2006年
10 陶妍丹;罗永健;钟华;;基于信息融合技术在无线传感器网络中应用[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(下册)[C];2008年
中国重要报纸全文数据库 前9条
1 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(五)[N];国际商报;2002年
2 阿航;UML面向对象分析[N];中华读书报;2002年
3 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(一)[N];国际商报;2002年
4 本报记者 张华甲;力破产业瓶颈 中软协培育UML建模人才[N];中国工业报;2010年
5 本报记者 周锦鸾 刘小如;谁支撑着巨人[N];中国计算机报;2001年
6 本报记者 刘学习;软件开发过程能统一吗?[N];计算机世界;2002年
7 华市;为我国计算机软件专业教育添砖加瓦[N];中华读书报;2002年
8 本报记者 龚杰;冲破软件樊笼[N];计算机世界;2001年
9 北京 施光伟;做一个软件项目管理人才[N];中国电脑教育报;2001年
中国博士学位论文全文数据库 前10条
1 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
2 朱家诚;基于Web Services的客户定制产品设计系统研究[D];合肥工业大学;2005年
3 杨静;UML模型的语义模型[D];贵州大学;2006年
4 聂艳;耕地质量评价的模型方法与信息系统集成及应用研究[D];华中农业大学;2005年
5 江金龙;UML和Petri网建模方法及其在C~4ISR系统中的应用[D];南京理工大学;2007年
6 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年
7 伍江华;C4ISR体系结构建模与设计技术研究[D];哈尔滨工程大学;2008年
8 陈燕;基于UML的嵌入式系统系统级设计方法研究[D];复旦大学;2005年
9 单黎君;图形化模型的一致性检查[D];国防科学技术大学;2008年
10 周春来;控制电器智能设计方法研究[D];河北工业大学;2006年
中国硕士学位论文全文数据库 前10条
1 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
2 黄海潮;基于UML的电力企业业务建模[D];浙江大学;2004年
3 庞丽艳;开放式基金投资管理系统的开发研究[D];吉林大学;2005年
4 李富雄;基于INTERNET的统一支付平台[D];广东工业大学;2005年
5 郭东亮;面向方面的实时系统开发方法[D];广东工业大学;2005年
6 王鹏;基于.net的网络评审系统的设计与实现[D];山东大学;2005年
7 杨正益;基于建模工具的通用类生成器的研究[D];重庆大学;2005年
8 于茜;基于UML的沟通管理系统中关键技术的研究与实现[D];大连海事大学;2005年
9 冯海东;2D游戏图形引擎开发及UML建模实现[D];四川大学;2005年
10 陈阳明;基于GPS的电力线巡检系统[D];四川大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026