基于SysML的船厂钢板堆场作业系统建模研究

基于SysML的船厂钢板堆场作业系统建模研究

论文摘要

系统工程建模语言SysML (Systems Modeling Language)是一种支持描述、设计、分析和验证系统的标准建模语言,这些系统可能包括硬件、软件、数据、人员、过程和设备等。SysML是统一建模语言UML向系统工程领域应用扩展的成果,它既继承了UML面向对象建模的特点又具备面向过程的结构化分析的功能,是一种更先进的优秀建模语言。本文针对船厂钢板堆场作业系统目前存在的问题,对堆场作业模式提出改进方案,对新作业模式下的钢板堆场作业系统的运作性能进行评价时,采用系统工程建模语言SysML建立钢板堆场作业系统的系统模型。首先对系统工程建模语言SysML的建模特点进行分析,并通过比较SysML与UML在建模功能上的区别,具体说明SysML的强大描述和分析表达能力以体现基于SysML系统建模的先进性。由于SysML只提供了系统建模的语言,而缺乏系统建模的方法,本文又提出了基于SysML系统建模的原则以及建模的过程。然后依据本文提出的基于SysML的系统建模方法,从系统需求、系统结构、系统行为和系统约束四个方面建立了钢板堆场作业系统的需求模型、结构模型、行为模型以及参数模型,从多角度实现钢板堆场作业系统的可视化描述和分析。最后针对基于SysML开发的系统模型无法实现运行的问题,本文提出对SysML模型进行仿真实现,并设计了从SysML模型到ARENA模型的模型转换方法包括转换的规则和流程。然后依照该方法对钢板堆场作业系统的SysML模型进行了仿真实现,根据仿真实验得出的数据对新作业模式下的钢板堆场作业系统的性能进行了分析和评价。综上,针对船厂钢板堆场作业系统的作业模式改进问题,利用SysML建模语言可比UML更为清晰地从系统需求、结构、行为、约束方面对系统进行建模分析,对SysML在物流作业系统的建模研究具有重要意义,通过仿真系统实现SysML模型的运行为解决SysML模型的可执行化问题提供了一种有效的解决方法。

论文目录

  • 摘要
  • Abstract
  • 1 绪论
  • 1.1 引言
  • 1.2 研究背景
  • 1.3 问题的提出
  • 1.4 问题的研究综述
  • 1.4.1 物流作业系统建模方法研究
  • 1.4.2 SysML建模研究
  • 1.4.3 SysML模型实现方法研究
  • 1.5 本文的研究内容和组织结构
  • 2 钢板堆场作业系统概述及SysML简介
  • 2.1 钢板堆场作业系统简介
  • 2.1.1 系统组成
  • 2.1.2 系统作业流程
  • 2.2 系统问题描述
  • 2.3 SysML简介
  • 2.3.1 从UML到SysML
  • 2.3.2 SysML基本内容
  • 2.3.3 支持SysML建模的软件
  • 2.4 本章小结
  • 3 基于SysML的系统建模方法
  • 3.1 基于SysML系统建模的特点
  • 3.2 SysML与UML建模功能比较
  • 3.3 基于SysML的系统建模方法
  • 3.3.1 基于SysML的系统建模原则
  • 3.3.2 基于SysML的系统建模过程
  • 3.4 本章小结
  • 4 钢板堆场作业系统的SysML系统建模
  • 4.1 系统的需求模型
  • 4.2 系统的结构模型
  • 4.2.1 系统边界定义
  • 4.2.2 钢板堆场作业系统的结构模型
  • 4.3 系统的行为模型
  • 4.3.1 系统活动图
  • 4.3.2 序列图
  • 4.4 系统的参数模型
  • 4.5 本章小结
  • 5 SysML系统模型的仿真实现方法
  • 5.1 SysML模型到ARENA模型的转换方法
  • 5.1.1 模型转换规则
  • 5.1.2 模型转换流程
  • 5.2 钢板堆场作业系统的ARENA仿真建模
  • 5.2.1 系统仿真目标
  • 5.2.2 仿真模型数据模块
  • 5.2.3 仿真模型逻辑结构
  • 5.2.4 仿真运行及结果分析
  • 5.3 本章小结
  • 结论
  • 参考文献
  • 攻读硕士学位期间发表学术论文情况
  • 致谢
  • 相关论文文献

    • [1].基于SysML的作战计划可视化建模[J]. 舰船电子对抗 2013(05)
    • [2].“城中村”治安管理系统的SysML模型构建研究[J]. 电子科技大学学报(社科版) 2016(04)
    • [3].SysML状态图合理性验证研究与实现[J]. 电子科技 2014(05)
    • [4].基于SysML的飞控系统模型重用技术[J]. 太赫兹科学与电子信息学报 2013(04)
    • [5].基于SysML的数字证书系统的体系结构设计[J]. 网络安全技术与应用 2010(03)
    • [6].基于SysML的武器装备体系结构描述方法[J]. 兵工自动化 2009(12)
    • [7].基于SysML的需求分析研究[J]. 计算机技术与发展 2011(12)
    • [8].基于SysML的反推力系统安全性分析[J]. 航空动力学报 2011(03)
    • [9].基于SysML的三余度飞控计算机系统建模方法研究[J]. 云南民族大学学报(自然科学版) 2015(05)
    • [10].基于概率模型检测的SysML活动图验证方法[J]. 计算机工程与设计 2016(04)
    • [11].基于SysML的系统设计-仿真模型可视化转换[J]. 计算机辅助设计与图形学学报 2016(11)
    • [12].基于SysML的模型驱动复杂产品设计的信息集成框架研究[J]. 中国机械工程 2012(12)
    • [13].基于MBSE与SysML的空空导弹系统架构建模研究[J]. 航空科学技术 2020(02)
    • [14].基于SysML的应急空间军事任务概念建模[J]. 兵工自动化 2012(12)
    • [15].基于Spin的SysML活动图验证框架[J]. 计算机科学与探索 2014(07)
    • [16].基于设计结构矩阵和SysML的复杂产品研制流程建模与优化方法[J]. 计算机辅助设计与图形学学报 2017(05)
    • [17].基于Petri网的SysML活动图的分析与验证[J]. 计算机科学 2012(09)
    • [18].基于有色Petri网的SysML序列图的分析与验证[J]. 计算机应用研究 2012(09)
    • [19].基于模型的系统工程与SysML应用研究[J]. 信息系统工程 2012(10)
    • [20].面向SysML的系统安全性分析工具与实例研究[J]. 计算机科学 2020(05)
    • [21].一种基于SysML活动图的风险识别方法[J]. 数字技术与应用 2020(07)
    • [22].面向SysML模型的安全性分析与验证方法[J]. 计算机科学 2019(11)
    • [23].基于SysML的船厂堆场作业系统建模与仿真[J]. 计算机应用研究 2010(10)
    • [24].基于SysML的复杂机电系统设计模型形式化扩展与验证[J]. 计算机辅助设计与图形学学报 2019(12)
    • [25].基于SysML的航电系统架构安全性评估方法[J]. 计算机与现代化 2017(04)
    • [26].基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究[J]. 小型微型计算机系统 2015(03)
    • [27].一种基于故障扩展SysML活动图的安全性验证框架研究[J]. 计算机科学 2015(07)
    • [28].基于Spin的SysML时序图与活动图一致性检测[J]. 计算机技术与发展 2015(09)
    • [29].基于故障扩展SysML活动图的软件安全性分析方法研究[J]. 小型微型计算机系统 2015(09)
    • [30].基于模型的系统工程和系统建模语言SysML浅析[J]. 电脑知识与技术 2011(31)

    标签:;  ;  ;  

    基于SysML的船厂钢板堆场作业系统建模研究
    下载Doc文档

    猜你喜欢