图形化建模论文_陈郁乔,游熙原,胡琳欣,黄伟

导读:本文包含了图形化建模论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:建模,图形化,核动力,拓扑,装置,水电厂,测试。

图形化建模论文文献综述

陈郁乔,游熙原,胡琳欣,黄伟[1](2019)在《基于空间自动布局算法图形化建模的研究与实现》一文中研究指出在通信机房的全生命周期管理中,由于专业跨度大、规划及设计标准不统一、支撑手段缺乏等原因,导致空间资源浪费、能耗不均衡、扩容性差、维护效率低等问题。本文通过研究利用机房空间图形建模的方法,并基于模型实现整机房布局的算法设计,构建出一套支撑机房规划和分配管理的平台,使机房空间的使用更具合理性、可持续性和可扩展性。(本文来源于《2019广东通信青年论坛优秀论文专刊》期刊2019-10-11)

李小龙[2](2018)在《基于Event-B图的图形化建模方法研究》一文中研究指出Event-B方法是由Event-B形式化建模和Event-B形式化验证两部分组成的形式化方法,Event-B形式化建模是使用Event-B形式化语言描述系统需求的过程。Event-B建模中包含了以精化为特色的建模方法,使得大型系统的建模可以逐步实现。然而,传统建模方法并不能解决Event-B建模中长期面临的建模过程难以理解、模型维护和修改困难、模型阅读困难等问题,当前主要从Event-B建模方法和Event-B模型的改进去解决Event-B建模中面临的这些问题。本文基于Event-B模型提出了Event-B图模型,将Event-B模型表示成具有图形化结构的Event-B图模型,且本文基于Event-B图模型提出了基于Event-B图的图形化建模方法,基于Event-B图的图形化建模方法为Event-B建模提供了从需求分析到模型建立整个建模过程的图形化分析和建模方法。同时本文证明了Event-B图模型和Event-B模型的等价性,从等价性上保证了Event-B图模型的形式化验证。相比于将系统描述成Event-B模型,将实际系统表示成Event-B图模型具有更多优点,比如Event-B图模型的建模过程更易于理解、具有图形化结构的Event-B图模型直观性更强和模型结构更加清晰、Event-B图模型更易于维护和修改等等。本文基于ERTMS设计标准,针对Hybrid ETCS-3控制协议,提取Hybrid ETCS-3控制协议的需求分析,并采用基于Event-B图的图形化建模方法完成了Hybrid ETCS-3控制协议的形式化建模和验证,利用Hybrid ETCS-3控制协议的形式化建模和验证结果判定Hybrid ETCS-3控制协议的安全性和可靠性并得到判定结论,对列车控制系统升级中的安全性和可靠性验证具有一定的借鉴和参考意义。(本文来源于《西南交通大学》期刊2018-05-01)

张小兵[3](2018)在《基于图形化建模的船舶系统可靠性分析计算》一文中研究指出近年来,随着科学技术的发展,船舶保障性已成为当前船舶安全和改进设计缺陷的重要手段之一,始终贯穿于船舶设备的全生命周期。可靠性研究是船舶保障性工程中重要组成之一,然而我国的可靠性研究却起步非常晚,与国外相比有很大的差距。通过可靠性分析计算提高船舶的可靠性,是非常必要的。可靠性分析计算中可靠性预计和可靠性分配能够评价船舶在设计阶段的合理性,其后将之应用于船舶设计的实现方案中并对其设计方案进行优化。然而目前国内学者在可靠性分析计算中利用框图法、故障树法、事件树法以及二元决策图等方法,但这些方法大部分都是人工处理计算可靠性数据,在这个过程中不仅工作量大,相当繁琐,且在计算过程中极易出错。基于此,本文依托于保障特性数据库管理及分析软件中可靠性分析计算进行相关研究,目的是为了设计出一种简捷的、直观的、高效的且符合船舶可靠性研究的分析计算方法。本文围绕了船舶系统可靠性的计算分析方法的设计,主要做了以下贡献:首先,在查看了大量资料的基础上,分析了船舶可靠性国内外的研究现状。同时,介绍了现阶段国内可靠性研究存在的问题并简要说明解决方案,紧接着结合实际项目,设计了图形化建模的可靠性分析计算的方案与流程。然后,介绍了图形化建模的思想,在以图形单元的方式建立当前常用的串联、并联、表决以及旁联四种基础可靠性模型的基础上,完成基于图形单元船舶系统可靠性框图建立。同时,通过可靠性框图建立对应的有向图,并且介绍了常用的有向图路径搜索算法,并结合文章拓扑分析需求对比完成算法选择。因而,利用并行广度优先算法完成船舶系统设备之间连接方式的拓扑分析,最终根据设备的连接方式利用可靠性分析计算完成船舶系统的可靠性预计与分配。最后,本文以船舶的配电系统为例,根据船舶配电系统的相关参数分别对配电系统做了可靠性预计以及可靠性分配,分别利用广度优先搜索、深度优先搜索以及并行广度优先搜索进行计算,并以计算得出的结果验证提出的可靠性分析计算,验证得到本文采用的可靠性分析计算的可行性与优越性。本文提出的图形化建模的可靠性分析计算可以极大的减少在可靠性分析的过程中的人工计算工作量以及人工计算的错误,实现可靠性预计与可靠性分配的自动计算,减少可靠性计算过程的时间。(本文来源于《武汉理工大学》期刊2018-04-01)

孙扬[4](2017)在《核动力装置电力系统图形化仿真建模技术研究》一文中研究指出本课题是核动力装置运行特性评估软件的一个重要组成部分,商用电力系统培训仿真机或分析软件存在成本高、开发周期长的缺点,为了方便综合评估核动力装置的性能,本文将开发一款操作简捷、建模方便、适用性强的仿真建模软件,通过图形化建模的方式代替手动编程,提高开发效率,确保软件能满足快速建模的需求并能完成核动力装置电力系统的分析评估工作。本文主要针对核动力装置电力系统图形化仿真建模技术进行研究。通过分析评估仿真软件的特点,结合实时仿真要求,采用图形化建模技术来完成电力系统评估仿真软件的开发。本文为确保模型的实时性,分别提出了合适、简化的发电机、逆变器、整流器和蓄电池等电气设备模型。本文将图例搜索方法和网络分析相结合实现在线拓扑分析并利用高斯迭代法求解网络方程。最后本文依据模块化建模思想,设计参数接口并确定模块间的连接关系,利用VectorControl软件采用可升级矢量图形技术建立模型图例并利用C#完成软件开发工作。最终本文设计的核动力装置电力系统图形化仿真建模软件能实现方案管理、图形化建模、在线拓扑分析、潮流计算和在线调试等功能。本文利用设计的软件以某一船舶核动力装置电力系统为对象,通过稳态工况仿真和动态工况仿真进行仿真验证。仿真的结果表明核动力装置电力系统图形化仿真建模软件能准确的体现电气设备和电力系统的运行特性,满足核动力装置电力系统运行特性评估工作的要求。(本文来源于《哈尔滨工程大学》期刊2017-01-01)

张晓盼,金飘甜,何玮杰[5](2016)在《面向计算思维培养的算法图形化建模Web实验教学系统》一文中研究指出算法设计课程是计算思维培养的重要途径,利用图形化模型表达算法往往更易于学生理解,使之规避语法干扰,专注于思维训练。本文提出了基于B/S模式的算法图形化建模与分析实验教学系统。该系统利用Java Script、PHP等编程语言,对Mx Graph进行二次开发,在Web环境下实现了标准格式的流程图绘制功能。通过嵌入代码自动生成算法的代码,系统自动根据流程图模型生成对应的C语言代码,并实时监控记录学生的操作。通过上述功能,为算法设计课程提供了新的教学手段,对学生建立算法思路和层次化分析方法进行有效培养,并能辅助教师进行实验过程管理和研究。(本文来源于《教育信息技术》期刊2016年11期)

张卫君,张显兵,王峥瀛,李亦凡[6](2016)在《仿真系统图形化建模技术研究与实现》一文中研究指出水电厂是水、机、电相互作用的复杂大系统,对水电生产的全过程仿真,需要建立水电生产设备各元件及过程的完备的数学模型。在多年研究水电厂仿真建模的基础上,按照面向对象及模块化思想设计,开发出图形化仿真建模软件Simu Studio。此图形化建模软件直接面向水电厂技术人员,建模工程师只需按照电厂设备的实际连接关系对图符进行组态连接,软件系统同步自动生成仿真模型,不需要对模型进行编译,即可直接运行。采用全图形化、模块化的建模方式,增强了系统建模的可视化程度,降低了建模难度,提高了开发调试的效率,可缩短仿真系统的建设周期。(本文来源于《中国水利水电科学研究院学报》期刊2016年04期)

张博文[7](2016)在《核动力装置控制系统图形化仿真建模软件研究》一文中研究指出控制系统对于核动力装置安全、稳定运行起着至关重要的作用,控制系统结构复杂,其仿真程序开发周期长,且错误率高,本文开发一款操作方便、适用性强的核动力装置控制系统图形化建模软件,通过图形化建模代替手动编程,提高开发效率,降低错误率,从而加快控制系统仿真程序开发进程。本文着重研究控制系统仿真程序及图形化建模软件的开发过程。首先根据实际控制系统仿真程序的开发需求,分析各个子系统控制器的图形方案;然后根据图形方案设计图形化建模所需的SAMA图例,并通过设计好的图例搭建各控制器的图形方案;接着对图形方案进行拓扑分析,获得各图例之间的拓扑关系,并通过深度广度结合搜索算法得到各图例的搜索顺序,为生成控制程序做准备;接着生成控制系统主程序、子程序及相关配置文件,自动链接到SimExec仿真平台实现与被控对象程序集成联调;最后针对秦山一期核电机组进行仿真验证,建模及调试过程通过图形化建模软件实现。结果表明本文设计的核动力装置图形化建模软件能够实现搭建图形方案、生成控制程序、链接平台软件、在线调试等一系列功能,真正提高了控制系统仿真程序的开发速度,同时仿真结果表明图形化建模软件所开发的控制程序能够达到良好的控制效果。(本文来源于《哈尔滨工程大学》期刊2016-06-01)

李平玉[8](2016)在《自动测试系统图形化资源建模与测试描述工具的实现》一文中研究指出随着电子技术、计算机技术的迅速发展,电子设备的复杂程度逐渐提高,自动测试系统成为复杂系统与设备可靠运行的必要保障。标准化、通用化、模块化的自动测试系统是当前测试技术的发展方向。然而,在测试系统的生产和使用过程中,低效的信息交换问题仍未被有效解决。针对该问题,本文根据专用数据交换标准ATML(Automated Test Markup Language),研究并实现了一种自动测试系统资源建模与测试信息描述工具。该工具实现了测试环境中信息的传递、不同测试平台之间信息的共享和通用,提高了自动测试程序的可移植和互操作性。研究本课题具有积极意义,以下为本文的主要内容。首先,本文研究了ATML标准,分析了各信息描述文档中的元素结构。考虑到软件的体验性和交互性需求,作者将Visio控件嵌入Visual C++开发了图形化的资源建模工具。该工具提供系统硬件资源对应的模具,用户通过使用模具中的图元绘制系统模型,录入每个设备模块的信息。配置完成后,资源建模工具自动解析模型信息,并生成对应的XML文档。经过实例验证,该工具能直观体现系统内部设备的互联关系、交互界面友好,生成的文档符合标准规范。然后,本文分析了资源信息的特性,选用关系型数据库进行信息的存储。根据实体模型特征详细设计了各个数据库表,对数据库的操作接口进行了封装,并对资源建模软件的数据库交互功能进行了验证。数据库信息的建立进一步方便了用户查询和组织系统信息。最后,本文研究了STD和IEEE1671.1标准,开发了图形化的测试策略描述环境。在该环境中,用户通过绘制流程图来表达其测试思路,通过引用信号描述标准描述各个测点需求信号的属性。绘制完成后,测试描述工具自动解析测试流程,生成测试描述文件。通过实例检验,文档符合标准规范,工具操作简单、易学易用,降低了测试信息的表述难度,为自动测试程序的自动生成提供了必备条件。(本文来源于《电子科技大学》期刊2016-04-28)

万华舰[9](2016)在《继电保护的图形化建模》一文中研究指出依据继电保护的逻辑图编写程序存在不直观、工作量大、易出错等诸多缺点,提出了一种图形化的继电保护建模方法以及逻辑模块连接关系解析算法,用于继电保护系统的仿真建模。该方法用所开发的图元库画出继电保护的逻辑图,并应用逻辑模块连接关系解析算法对逻辑图进行解析计算,得到计算结果。该算法不局限于有根树,且考虑了继电保护中可能存在的延时,算法简单、效率高。将该算法用于某水电站仿真系统中,验证了算法的有效性和实用性。该算法亦可应用于其它领域的图形化建模。(本文来源于《电气开关》期刊2016年01期)

蔡利[10](2015)在《基于SVG图形化建模的信息资源监控定位的研究与实现》一文中研究指出随着计算机网络和软件工程的发展,企业也开始持续推进信息化的建设,许多信息系统也犹如雨后春笋般出现,企业对信息系统的依赖性越来越强,保障信息系统安全、稳定、高效的运行,已成为企业相关部门的头等重要工作。目前,电力系统在一些领域应用的图形化已经取得了很大的成功,但因应用中图形支持系统的实现方式和提供的功能各异,使得不同应用问图形数据的交换、共享和图形平台的开放难以实现。同时日常监控只停留在人工巡查基础上,容易因巡检不及时造成系统不可访问。本文在查阅大量国内外相关文献后,主要作了以下工作:文中首先详细介绍了基于SVG的图形建模关键技术,分析了SVG文件格式及特点。接下来依据电力信息设备图形特性,对设备的建模进行了深入的探讨和研究。目前对操作系统(UNIX、LINUX 及 WINDOWS)、ORACLE数据库以及WEBLOGIC中间件运行状态的监控还停留在表面。本文研究了不同设备类型采用不同的采集方式进行监控指标的采集和传输,做到日常监控的主动性。基于上述理论,本文利用常用的开发语言开发出了一套信息设备图形化监控系统。该平台很好地应用于某电力公司。(本文来源于《南昌大学》期刊2015-12-20)

图形化建模论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

Event-B方法是由Event-B形式化建模和Event-B形式化验证两部分组成的形式化方法,Event-B形式化建模是使用Event-B形式化语言描述系统需求的过程。Event-B建模中包含了以精化为特色的建模方法,使得大型系统的建模可以逐步实现。然而,传统建模方法并不能解决Event-B建模中长期面临的建模过程难以理解、模型维护和修改困难、模型阅读困难等问题,当前主要从Event-B建模方法和Event-B模型的改进去解决Event-B建模中面临的这些问题。本文基于Event-B模型提出了Event-B图模型,将Event-B模型表示成具有图形化结构的Event-B图模型,且本文基于Event-B图模型提出了基于Event-B图的图形化建模方法,基于Event-B图的图形化建模方法为Event-B建模提供了从需求分析到模型建立整个建模过程的图形化分析和建模方法。同时本文证明了Event-B图模型和Event-B模型的等价性,从等价性上保证了Event-B图模型的形式化验证。相比于将系统描述成Event-B模型,将实际系统表示成Event-B图模型具有更多优点,比如Event-B图模型的建模过程更易于理解、具有图形化结构的Event-B图模型直观性更强和模型结构更加清晰、Event-B图模型更易于维护和修改等等。本文基于ERTMS设计标准,针对Hybrid ETCS-3控制协议,提取Hybrid ETCS-3控制协议的需求分析,并采用基于Event-B图的图形化建模方法完成了Hybrid ETCS-3控制协议的形式化建模和验证,利用Hybrid ETCS-3控制协议的形式化建模和验证结果判定Hybrid ETCS-3控制协议的安全性和可靠性并得到判定结论,对列车控制系统升级中的安全性和可靠性验证具有一定的借鉴和参考意义。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

图形化建模论文参考文献

[1].陈郁乔,游熙原,胡琳欣,黄伟.基于空间自动布局算法图形化建模的研究与实现[C].2019广东通信青年论坛优秀论文专刊.2019

[2].李小龙.基于Event-B图的图形化建模方法研究[D].西南交通大学.2018

[3].张小兵.基于图形化建模的船舶系统可靠性分析计算[D].武汉理工大学.2018

[4].孙扬.核动力装置电力系统图形化仿真建模技术研究[D].哈尔滨工程大学.2017

[5].张晓盼,金飘甜,何玮杰.面向计算思维培养的算法图形化建模Web实验教学系统[J].教育信息技术.2016

[6].张卫君,张显兵,王峥瀛,李亦凡.仿真系统图形化建模技术研究与实现[J].中国水利水电科学研究院学报.2016

[7].张博文.核动力装置控制系统图形化仿真建模软件研究[D].哈尔滨工程大学.2016

[8].李平玉.自动测试系统图形化资源建模与测试描述工具的实现[D].电子科技大学.2016

[9].万华舰.继电保护的图形化建模[J].电气开关.2016

[10].蔡利.基于SVG图形化建模的信息资源监控定位的研究与实现[D].南昌大学.2015

论文知识图

任务知识查询矿体叁维切片图控制系统V型开发流程多PVDF传感器测量反馈力Fig.2.24Fee...基于Modelica语言的电路模型与其对应...图形化建模平台EPIPE仿真程序...

标签:;  ;  ;  ;  ;  ;  ;  

图形化建模论文_陈郁乔,游熙原,胡琳欣,黄伟
下载Doc文档

猜你喜欢