模型转换

摘要： 随着信息化的发展,建筑信息模型(BIM)在工程建设中的应用越来越广泛,推动着建筑工程领域朝着无纸化、智能化、一体化方向发展。但BIM模型的计算分析能力较弱,为了更好地提高BIM模型的一体化运用的能力,将BIM模型对有限元模型进行转换,加强BIM模型分析计算能力显得尤为重要。文章基于Revit软件,以某钢箱梁斜拉桥为例,通过Dynamo插件和Python语言对BIM模型进行信息提取和转换,研究将BIM模型对ANSYS有限元计算模型进行转换,具有良好的工程运用前景。

摘要： 为了更高效地使 BIM 模型在有限元软件上进行结构分析,文章开发了 Revit-ABAQUS 模型转换接口,运用 Revit API,在 Visual Studio 2019 平台上使用 C# 语言进行二次开发,提取模型信息,以 .py 文件形式,将模型转换到 ABAQUS 中。以矩形梁单元模型作为传递对象,验证了模型转换接口的正确性,实现了 Revit 模型传输到 ABAQUS 中进行结构分析的目标,弥补了 BIM 技术在结构分析方面的不足,有效提高了建模效率,具有良好的应用前景。

摘要： 目的:为便于采用通用有限元软件ABAQUS进行结构分析。方法:利用BIM软件中的Revit软件模型数据关联、结构信息完善等优点,解析Revit结构模型中构件的几何信息、物理信息、约束、荷载以及钢筋信息的数据结构,进行Revit-ABAQUS钢筋混凝土结构模型转换的研究。基于Revit API、ABAQUS API,开发RTA-Trans转换程序。结果:将Revit中的结构信息模型转换成ABAQUS中的结构分析CAE模型,并自动对生成的模型进行前处理以及后处理,最后通过实例模型验证该转换程序的可靠性。结论:打通了Revit-ABAQUS模型转换的信息通道,解决了复杂建筑结构在ABAQUS中建模工序繁琐等问题,提高了结构建模以及结构分析的效率,为复杂钢筋混凝土结构的精细化有限元分析提供了可靠依据。

摘要： 机载软件被广泛应用于航空航天领域,大幅提升了机载设备的性能.随着机载软件规模逐渐增大、功能逐渐增多,给软件的开发带来了难度.如何保障机载软件的正确性和安全性,也成为一个难题.基于模型的开发可以有效提升开发效率,而形式化方法能够有效保障软件的正确性.为了降低开发难度,同时保障机载软件的正确性、安全性,提出一种基于SysML状态机图子集的机载软件分层精化建模与验证方法.首先,使用SysML状态机图对机载软件的动态行为进行建模,根据提出的精化规则对初始模型进行手动逐层精化,得到精化设计模型;然后,针对软件模型动态变化的特性,将SysML状态机模型自动转换为时间自动机网络,并从软件需求中手动提取形式化TCTL性质进行模型检验.其次,为了实现编码自动化,将SysML模型自动转换至Simulink,利用Simulink Coder生成源代码.最后,以一个自动飞行控制软件为例进行了开发和验证,实验结果表明了该方法的有效性.

摘要： 随着物联网技术的发展和其他技术的逐渐成熟,全面启动油气田数字化建设,实施数字化管理,各油气田结合生产实际,为实现生产运行数据自动采集、生产过程自动监控、生产场所智能防护、紧急状态自动保护,达到小型场站及规模较小、功能简单的中型场站无人定岗值守、大中型场站少人集中监控,油气田统一调度管理,各油气田进行了不同程度的油气田数字化建设与应用的探索实践。随着数字化油气田的建设,各油气田开展了大量的地面工程数字化移交工作,积累了大量的设计期井站三维模型,目前该部分成果分散在地面工程数字化移交平台以及各个项目部中,不满足空间三维模型数据的传输、交换与共享。本文提出一种基于SuperMap iObjects的模型转换方法,能够确定原模型信息的完整性,实现通过地理空间标准服务的方式对外提供服务。

摘要： 本文介绍了开源有限元软件CalculiX的输入数据结构格式。详细描述了基于Python语言,编制Sap2000模型向CalculiX模型转换程序方法。并通过算例试算,验证了该转换程序的可行性和准确性,表明该程序可实现Sap2000模型至CalculiX模型的转换,具有工程应用价值。

摘要： 钢结构相对传统建筑形式工业化更高,是未来建筑的发展趋势,但钢结构数字化建造仍存在与其他专业一体化应用较少等问题。针对大型机场航站楼钢结构数字化时存在的模型难以全过程适用、工程体量大、数据多的难点,详细介绍了湖北鄂州民用机场转运中心工程钢结构数字化建造技术,采用Tekla模型输出IFC文件导入Revit软件,使用自主开发的插件,实现全类型构件均可编辑属性完成转换,在项目实施阶段结合轻量化BIM模型高效完成按模施工、计量计价、竣工验收,可为今后类似项目钢结构数字化建造提供借鉴。

摘要： 基于商业有限元软件,应用python语言开发了一套螺栓CAD-CAE模型快速转换的自动化工具.通过此程序可快速获取螺栓的关键几何信息,识别螺栓螺母类别,自动创建螺栓CAE模型.此外程序可自动识别螺栓、螺母的配对信息,为CAE模型的装配自动化提供了有效解决方案.相比传统人工建模方法,通过自动化工具只需几分钟即可完成整车螺栓CAE模型的搭建,显著提升了建模效率,有效缩短汽车CAE建模周期.

摘要： 模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system, SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向安全关键信息物理融合系统,提出基于限定中文自然语言需求的SysML模型自动生成方法RNL2SysML.首先,为了降低自然语言需求表达的二义性,提出一种结构化的限定自然语言需求模板进行需求规约,并通过基于人工智能的(AI)安全关键信息物理融合系统术语提取和推荐方法,对系统需求中的领域术语和数据字典加以自动提取,提高限定自然语言需求规约工作的自动化程度.然后,给出限定自然语言需求规约到SysML系统设计模型的转换方法.最后,基于开源工具Papyrus对所提方法进行了原型工具实现,并通过航空领域的飞机空气增压系统(airplane air compressor system)案例验证了方法的有效性和实用性.

摘要： ANSYS是一款功能强大的有限元分析软件.有限元分析是以模型为基础,ANSYS并不专注于模型建立,在智能化建模方面Revit是一款很常用的软件.对于建立一个模型并进行有限元分析,目前市面上没有很好的应用,而且这两个软件也没有很好的接口方式.文章提出一种解决方案,提取Revit模型几何信息,属性信息生成ANSYS ACT应用,该应用由Python和XML语言组成,结合ANSYS前处理,有限元分析,后处理.文章最后通过一个地下室的例子验证其可行性,自动化和效率.

摘要： 通用有限元软件MIDAS Gen及SAP2000在空间结构设计中得到广泛的应用,MIDAS Gen软件操作方式灵活、界面友好,SAP2000计算内核及分析功能强大,两者成为空间结构对比分析的必选组合.但目前由于两种有限元分析软件彼此数据不兼容,有关模型信息只能通过手动操作Excel进行添加、修改,工作量较大并且容易出错,导致结构分析工作量的陡然增加,而模型转换软件的编制可以大大减轻结构设计人员工作量,提高建模的可靠性.本文基于SAP2000软件开放的API技术,在Visual Studio平台下,利用C#语言结合面向对象编程的思想,编制了MIDAS Gen与SAP200有限元模型互相转换软件.

摘要： 为解决模型驱动开发中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上引入进程代数,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架.范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制.应用研究表明,该框架很好地遵循了模型驱动开发的理念实质和过程要求,为基于模型转换的软件开发研究提供了新的理解、认知学习和推进的指导架构.

摘要： 整车被动安全性研究是汽车研发领域中的重点，工程实际中经常遇到不同软件有限元模型之间的转化问题。本文根据实际工程的应用情况，详细的介绍了上海汽车某轿车整车碰撞模型从LS-DYNA格式转化为RADIOSS格式的具体应用方法，并最终将使用RADIOSS显式求解器对整车碰撞各工况的仿真分析计算结果与整车试验测试数据进行比较分析。从对比结果可以看出，采用RADIOSS显式求解器得到的整车碰撞仿真结果与试验结果吻合较好，计算精度较高，从而验证了新转化的RADIOSS模型的有效性，并进一步验证了模型的转化方法的可行性和合理性。同时，本文所介绍的模型转换方法和流程，可为各领域类似的模型转换工作提供一定的指导作用，具有重要的工程应用价值。

摘要： 作为一款专业的海事结构设计分析软件,SACS具有强大的计算分析能力,作为世界上最先进的三维建模、深化以及材料统计软件之一,TEKLA STRUCTURE具有强大的建模功能,但两款软件无法直接兼容.本文通过对SACS和TEKLA STRUCTURE两款软件的应用介绍,并对Bentley集成结构模型插件(Integrated Structural Modeling以下简称ISM)进行探究后,总结出一种通过ISM将TEKLA模型转换成可直接用于SACS计算分析的SACS模型的方法,以实现模型的重复使用,并利用实例对该方法的可行性进行分析验证.

摘要： 本文从施工总承包的角度,通过实际案例说明施工单位从接手BIM设计模型开始,经历施工图设计、施工准备、施工实施、竣工交付等阶段,为了更好地运用BIM技术,针对BIM模型在不同阶段的转换思路与要点.

摘要： AADL是一种基于构件的建模语言，采用结构化的描述来对嵌入式系统的软硬件进行统一建模。AADL为在软件开发过程中采用形式化方法提供了重要的支持，通过研究AADL模型结构和Fiacre的模型特征,探讨了从AADL模型到Fiacre模型转换问题.在语义层,通过构造模型转换的语义映射规则,实现元语言之间的转换,通过构造元模型的具体语法,并且定义反应元语言的语法转换规则,从而产生目标模型的程序实体.指出模型转换是模型驱动开发中一项很重要的内容，通过模型转换不同工具之间可以共享模型，对模型进行分析和修改，从而达到完善模型的目的。其次，通过模型转换也有助于重用不同开发方法的验证途径和支撑工具，通过将一种软件系统规约形式转换到不同的模型上，就可以用该模型的验证工具对现有的规约进行验证。

摘要： 本文给出了一种将基于AADL的可靠性分析模型转换为SPN的规则和方法,使可靠性分析自动进行的实现成为可能,从而减轻设计人员的负担.

摘要： 针对钢筋混凝土剪力墙结构隔震模型问题展开研究,通过对比分析ETABS新建隔震模型和YJK转换隔震模型与PKPM原模型在总质量、主振型周期及各层地震剪力上的差异,得出以下结论:(1)PKPM模型与ETABS模型总质量存在差异主要有三方面原因,一是重力加速度取值不同;二是是否考虑荷载折减;三是是否考虑重叠部分质量;(2)新建ETABS模型与转换ETABS模型总质量和主振型周期存在差异主要原因是转换后模型与新建模型在部分构件所采用的计算单元不同;(3)PKPM模型与新建ETABS模型的地震剪力较接近,与转换ETABS模型的地震剪力相差较大,主要原因是与PKPM模型的质量和周期相比较,新建模型都较接近,而转换模型偏差较大.

摘要： 随着传感网络以及嵌入式系统等的发展，集计算、通信、控制于一体的信息CPS逐渐成为人们关注的热点。未来CPS将会应用到社会生活的各个方面，随着应用的越来越普及，CPS能否满足设计需求对系统设计实施显得至关重要。验证技术在保障和提高系统安全性、可靠性等方面起到了关键的作用，对CPS关键属性的验证也成为研究的焦点。将通用的模型转换为形式化模型进行验证是常用的验证手段，采用HybridUML对CPS进行建模，并提出一种由HybridUML向Hybrid Programs 模型进行转换的方法。Hybrid Programs是基于微分动态逻辑的定理证明方法的操作模型。最后利用转换得到的Hybrid Programs对系统实例进行验证。

摘要： 系统仿真是辅助系统设计的一种重要手段,如何将系统设计与系统仿真有机结合,从而支持设计工作的高效开展,是一项重要的研究课题.针对这一问题,基于系统工程标准建模语言SysML和多领域仿真建模语言Modelica提出一套系统层设计与仿真集成方法.首先基于元对象机制分析和比较了SysML和Modelica的元模型;然后以Modelica元模型为基准,构造了面向Modelica的SysML扩展包M-Design;最后依据扩展的SysML和Modelica元模型定义了二者之间的映射规则,从而实现SysML设计模型向Modelica仿真模型的自动转换.以储水池系统为例,展示了复杂机电系统的设计和仿真的集成过程.

摘要： 本申请公开了一种模型转换方法以及模型转换设备、存储介质，模型转换方法包括：基于网络模型中各计算节点输入端和输出端的数据块的形状，在目标平台中确定各计算节点的初始数据排布格式，并获取确定过程花费的第一耗时；依次判断相邻连接的两个计算节点的初始数据排布格式是否一致，若不一致，在相邻的两个计算节点之间添加转换算子，利用转换算子对相邻的两个计算节点的初始数据排布格式进行转换，并获取转换算子的转换耗时；最后，基于第一耗时和转换耗时的相关性，确定网络模型中所有计算节点的连接结构。通过上述方式，本申请提供模型转换方法可以通过确认网络模型中所有计算节点的连接结构，从而获得一种对目标平台来说性能最优的模型。

摘要： 本发明提供了一种从SysML模型转换到AltaRica模型的转换方法，并包括如下步骤：一、基于待评估系统构建SysML模型；二、根据映射规则，将所述SysML模型中的SysML模型元素转换为AltaRica模型元素；三、基于步骤二中形成的AltaRica模型元素，为所述待评估系统构建AltaRica模型。本发明的有益效果是：所示从SysML模型转换到AltaRica模型的转换方法将SysML模型映射到AltaRica模型，通过AltaRica支持平台所支持的一套有效的评估工具，如故障树等对复杂系统的故障行为进行分析，能有效提高系统的安全性。

摘要： 本发明公开了一种将架构模型转换为静态计算模型的转换系统及其方法，该转换系统由用户界面模块、模型构建模块、论证类型选择模块、模型映射模块、模型接口替换模块、行为方程注入模块以及静态计算模型库组成。该转换方法通过搭建架构模型、搭建静态计算模型、选择系统论证类型、替换模型接口、注入行为方程、驱动模型仿真等步骤实现由架构模型到静态计算模型的转换。利用本发明的转换系统和转换方法，用户可以快速建立具有复杂功能的模型，提高建模效率，本发明可以保持模型的一致性，提高模型的体系性和扩展性，本发明使得模型更易于维护，适应了基于模型的系统工程的未来发展趋势。

摘要： 一种PSASP数据模型转换为PSCAD数据模型的自动转换方法，实现PSASP机电暂态数据和模型向PSCAD/EMTDC电磁暂态模型的自动转换。本发明提供的方法将PSASP的数据和模型自动转换为PSCAD模型数据，自动生成PSCAD格式的数据文件，避免了人工进行建模是参数转换和录入的繁重工作，减少建模错误，提高了模型生成的效率和模型生成的准确性，进而实现对大规模交直流电力系统进行准确电磁暂态仿真分析的目的。

摘要： 本发明公开了一种将架构模型转换为动态仿真模型的转换系统及其方法，该系统由架构模型组件库、动态仿真模型库、用户界面模块、架构解析模块、行为注入模块、模型管理模块和数据管理模块组成。该方法通过搭建架构模型组件库、搭建架构模型、导入架构模型、解析架构模型、生成映射关系数据、搭建动态仿真模型库、注入行为方程、驱动模型进行仿真等步骤实现模型行为的转换。本发明可将架构模型转换为动态仿真模型或其他模型，实现了架构模型的复用，减少了重复劳动，提高了建模效率，同时本发明可以用同一个架构模型进行多种仿真，而不需要建多个模型，因此当架构模型需要修改拓扑结构的时候，只需要修改一个模型，便于模型的维护。

摘要： 本申请公开了一种模型转换方法以及模型转换设备、存储介质，模型转换方法包括：基于网络模型中各计算节点输入端和输出端的数据块的形状，在目标平台中确定各计算节点的初始数据排布格式，并获取确定过程花费的第一耗时；依次判断相邻连接的两个计算节点的初始数据排布格式是否一致，若不一致，在相邻的两个计算节点之间添加转换算子，利用转换算子对相邻的两个计算节点的初始数据排布格式进行转换，并获取转换算子的转换耗时；最后，基于第一耗时和转换耗时的相关性，确定网络模型中所有计算节点的连接结构。通过上述方式，本申请提供模型转换方法可以通过确认网络模型中所有计算节点的连接结构，从而获得一种对目标平台来说性能最优的模型。

摘要： 本发明公开了一种模型转换系统和模型转换方法，包括：Loader模块：用于加载TensorFlow明文模型，依次把其每个变量数据分别保存为独立的文件，将其变量元数据信息保存为另外一个独立的文件；Generator模块：用于生成目标明文模型，生成新的网络拓扑结构代码所使用的TensorFlowAPIs都是由Rosetta可适配的APIs组成；Saver模块：用于加载目标明文模型，根据变量元数据信息把Loader模块中保存的变量数据分别赋值给目标明文模型，并保存为新的明文模型文件。本发明实现了任意明文预训练模型能够在Rosetta隐私框架上被复用，可以减少时间和节约成本。

摘要： 本发明公开了一种基于FMI标准的模型转换方法和模型转换系统，该模型转换方法包括：S1：提供模型文件，并将模型文件导入到预设模型软件中；S2：根据模型文件得到模型接口说明文件，其中，模型接口说明文件包括模型属性信息和模型仿真信息；S3：根据模型仿真信息生成第一预设语言的接口函数，以完成第一预设语言对模型文件的封装；S4：根据模型属性信息、模型仿真信息和第一预设语言的接口函数得到第二预设语言模型，第二预设语言模型用于支持模型属性浏览、可视化建模和仿真求解；S5：将第二预设语言模型按照FMI标准导出为仿真模型。本发明具有如下优点：可以可视化建模环境和通用模型接口，并且具有对两种模型的通用性。

摘要： 本发明提供了一种从SysML模型转换到AltaRica模型的转换方法，并包括如下步骤：一、基于待评估系统构建SysML模型；二、根据映射规则，将所述SysML模型中的SysML模型元素转换为AltaRica模型元素；三、基于步骤二中形成的AltaRica模型元素，为所述待评估系统构建AltaRica模型。本发明的有益效果是：所示从SysML模型转换到AltaRica模型的转换方法将SysML模型映射到AltaRica模型，通过AltaRica支持平台所支持的一套有效的评估工具，如故障树等对复杂系统的故障行为进行分析，能有效提高系统的安全性。

摘要： 本发明提供了一种从RSML‑e模型转换到NuSMV模型的转换方法包括如下步骤：一、对待评估系统进行需求形式化分析，并构建RSML‑e模型；二、根据转换方法，将所述RSML–e模型转换为NuSMV模型。本发明的有益效果是：在从RSML‑e模型转换到NuSMV模型的转换方法中，根据RSML–e模型与NuSMV模型的各自的语法特征，将RSML–e模型中定义的类型、变量、宏、时态等转换成NuSMV语言格式，即将RSML‑e模型转换成NuSMV模型，从而将需求状态分析和符号模型检测器结合起来，使得可使用NuSMV工具对系统的安全性属性进行验证，找出需求中不正确或者二义性的需求，提高系统的安全性。