基于统一建模语言的仿真模型参数试验研究

合集下载

一种基于统一建模语言的系统测试方法

一种基于统一建模语言的系统测试方法摘要本文描述了一种可以用于改进应用软件确定性的，能自动生成和执行的系统测试方法。

该测试可以通过统一建模语言编制的应用动作模块自动生成，而后再适配的测试执行环境中执行。

本文用在绘图界面中与用户互动的实际应用方法描述了我们的测试方法，从而讨论了有关商业用户界面或捕捉-释放工具的测试执行状态。

在本文中，我们按步骤展示了测试途径：第一步，测试设计者如何手动注释uml模块，这个过程也可以按照测试要求半自动地从现存实力文件中导入；第二步，测试生成工具自动创建一套文本测试程序（测试案例）或执行测试原本；第三步：测试执行者依靠测试系统用商业用户界面测试工具运行这些程序。

关键词 uml；系统测试方法中图分类号tp31 文献标识码a 文章编号 1674-6708（2011）48-0212-020 引言系统测试在西门子是一种有明确定义的程序，用以保证功能按要求实现。

然而，许多软件中，它还是一个手动的过程。

测试设计者典型地导出他们的测试数据，也就是基于许多原始资料的必需的系统输入和预期的输出信息，包括文本使用规范和商业程序标准。

然后创建了由一系列单独步骤组成的测试程序，在测试过程中需要测试者依据系统手动操作执行。

自动化测试执行环境在任何时候都是很有用的，因此测试者们应该将这些句文测试程序转化为执行测试程序。

我们的测试方法目的是使测试设计、生成和执行尽可能的自动化和程序化，以便编制一个更加系统、有效的系统测试程序。

我们的方法包括以下几个方面：1）模拟系统行为通过模拟撤销或半自动转化现存文本使用规范为适当的uml模块，我们相信可以改进测试设计阶段的效力。

通过可视化捕捉系统和其用户之间的互动流程，可以抽象、演变、传达一种更好、更完整的测试设计。

它可以使设计者识别并简单证明一种比原来编写复杂的、使用文本的程序描述更多样化的测试设想。

2）产生测试程序使用以上外在可视的系统行为模块，能够更容易地手动或自动创建出一系列的测试程序，使得测试推导更为系统有效。

基于数字孪生的数控机床多领域建模与虚拟调试关键技术研究

基于数字孪生的数控机床多领域建模与虚拟调试关键技术研究一、本文概述随着数字孪生技术的快速发展，其在制造业中的应用日益广泛。

数控机床作为制造业的核心设备，其性能优化和调试过程对于提高生产效率、降低运营成本具有重要意义。

本文旨在探讨基于数字孪生的数控机床多领域建模与虚拟调试关键技术，通过对数控机床的虚拟仿真和数据分析，实现对数控机床性能的优化和提升。

本文介绍了数字孪生技术的基本概念及其在数控机床领域的应用背景。

然后，详细阐述了基于数字孪生的数控机床多领域建模方法，包括机械系统、控制系统、切削过程等多个领域的建模过程。

在此基础上，本文进一步探讨了虚拟调试技术在数控机床性能优化中的应用，包括虚拟调试环境的构建、调试过程的模拟以及调试结果的分析等。

本文还重点研究了基于数字孪生的数控机床多领域建模与虚拟调试关键技术中的难点问题，如多领域模型的融合、虚拟调试精度的提高等。

针对这些问题，本文提出了相应的解决方案，并通过实验验证了所提方案的有效性和可行性。

本文总结了基于数字孪生的数控机床多领域建模与虚拟调试关键技术的研究成果，并展望了未来的研究方向和应用前景。

通过本文的研究，旨在为数控机床的性能优化和调试过程提供一种更加高效、准确的方法，推动制造业的数字化转型和智能化发展。

二、数字孪生技术概述数字孪生，作为一种前沿的技术理念，近年来在制造业领域引发了广泛的关注和研究。

数字孪生技术旨在通过构建物理实体的虚拟模型，实现物理世界与虚拟世界的无缝连接和交互。

其核心在于构建一个与真实系统高度一致的虚拟模型，该模型能够实时反映物理系统的运行状态，并通过数据分析和模拟仿真，为决策提供有力支持。

在数控机床领域，数字孪生技术的应用具有显著优势。

通过数字孪生技术，可以在虚拟环境中对数控机床进行多领域建模，包括机械结构、控制系统、传感器等多个方面。

这种建模方式不仅可以提高建模的精度和效率，还能够方便地进行模型修改和优化。

虚拟调试是数字孪生技术的另一重要应用。

软件体系结构课件第5章统一建模语言

2:GetPrefSet()
10:PrefSet(date_mg)
1:GetPrefSet()
:MeetingInitiator
第5章统一建模语言直接使用UML建模 – 会议安排系统的类图
Person
StronglyConflicts With
Conflicts With
Important Attendee
0..* 0..*
0..* Profers
Attendee
1..* 1..* 0..* 0..*
11 1 1
1
Meeting Initiator
Find.exe
Query .dll
部署图定义系统中软硬件的物理体
系结构
第5章统一建模语言部署图
客户端:个人PC QueryClient.exe
服务器
《TCP/IP》查询
QueryServer.exe 部署图
定义系
统中软
Find.exe
硬件的
物理体
Query.dll系结构
第5章统一建模语言
第5章统一建模语言
直接使用UML建模 – UML中的通用表示
➢ 字符串：表示有关模型的信息； ➢ 名字：表示模型元素； ➢ 标号：不同于编程语言中的标号，是用于表示或说明图形符号的字
符串； ➢ 特殊字符串：表示某一模型元素的特性； ➢ 类型表达式：声明属性、变量及参数，含义同编程语言中的类型表
0
10
20
30s 时间刻度
第5章统一建模语言状态图
提交订单已审核印前处理
客户付钱
已付款
已处理
进行冲印
冲印中冲印完成
描述满足用例要求所要进行的活动以及活动间的完约成束关系，有利于识别并行活动

基于Matlab_Simulink的双馈感应风力发电机组建模和仿真研究

要控制机组的转速来实现最大风能捕获，可以
检测当前的风速并计算出最佳转速后进行转速控
制，这实际上是一种直接转速控制的方法，控制目标
明确，原理简单。但现场中风速的准确检测比较困
难，实现起来存在很多问题，风速检测的误差会降低
最大风能捕获的效果[14-15]。在实际应用中，可以通过
控制策略和控制方法的改进来避免风速的检测。这
2
2
P = 2
2 2
2
2
3 2
(ud2id2+uq2iq2)
2
2
2
P = 2
2 2
2
2
3 2
(uq2id2-ud2iq2)
（10）
清洁能源 Cle a n Ene rgy
第 26 卷第 11 期
电网与清洁能源
97
式中，P1、Q1为定子侧向电网输出有功无功；P2、Q2为转子侧从电网输入有功无功。
图2 风能利用系数-叶尖速比
从轮毂到发电机转子之间的机械传动部分在硬
度和阻尼系数被忽略时，可用一质量块的实用模型
来描述[6-7]，如式（4）所示。
Tgen-T'wtr=Jd
dΩgen dt
（4）
式中，Jd为等效转动惯量；T'wtr为等效风轮转矩；Tgen为转子转矩；Ωgen为转子机械角速度。 1.2 双馈感应发电机数学模型
系：
u2 2
2 d1 2
22 2
u2 2
2 q1 2 22
= 2 2 u2 d2 2
22
u22 22
2 q2 2
-R1-L1P -ω1L1 -LmP -ωsLm
ω1L1 -R1-L1P
ωsLm -LmP

AMESIM介绍

第二章 AMESim的应用方法2.1 AMESim简介AMESim表示系统工程高级建模和仿真平台（Advanced Modeling Environment for Simulations of engineering systems）。

它能够从元件设计出发，可以考虑摩擦、油液、和气体的本身特性、环境温度等非常难以建模的部分，直到组成部件和系统进行功能性能仿真和优化，并能够联合其他优秀软件进行联合仿真和优化，还可以考虑控制器在环构成闭环系统进行仿真，使设计出的产品完全满足实际应用环境的要求。

AMESim软件共由四个功能模块组成:AMESim、AMESet、AMECustom、AMERun，另外还有软件帮助模块AMEHelp。

其中，AMESim用于面向对象的系统建模、参数设置、仿真运行和结果分析，是该工具软件的主功能模块，主要工作模式为:按系统原理图建模一确定元件子模型一设定元件参数一仿真运行一结果观测和分析。

AMEest用于构建符合用户个人需求的元件子模型，主要通过两步进行:先设定子模型外部参数情况，系统自动生成元件代码框架，再通过用户的算法编程实现满足用户需要的元件，程序使用C或Fortnar77实现;AMECustom用于对软件提供的元件库中的元件进行改造，但不能深入到元件代码层次，只适用于元件的外部参数特性的改造;AMERun是提供给最终用户的只运行模块，最终用户可以修改模型的参数和仿真参数，执行稳态或动态仿真，输出结果图形和分析仿真结果，但不能够修改模型结构，不能够访问或修改元件代码等涉及技术敏感性的信息。

2.2AMESim的特点1.多学科的建模平台AMESim在统一的平台上实现了多学科领域的系统工程的建模和仿真，模型库丰富，涵盖了机械、液压、控制、液压管路、液压元件设计、液压阻力、气动、热流体、冷却、动力传动等领域，且采用易于识别的标准ISO图标和简单直观的多端口框图，方便用户建立复杂系统及用户所需的特定应用实例。

统一建模语言状态图的测试用例生成方法

ＧｅｅａｉｇＴｅｔＣａｅＢａｅｎＴｉｅＥｘｅｄｄＵｍｌＳａｅｈｒｓｎｒｔｎｓｓｓｄｏｍｔｎｅｔｔｃａｔ
ＴＡＮＧＢｏ．ＬＩＡ０ｅＷｉ— ｚｉｈ
（ｅａｔｅｔｆｎｏｍａｏｅｈｏｇ，ｕｎｘＮｒａＵｉｒｉ，ＮｎｉｇＧａｇｉ３０１ＣｉａＤｐｒｎｆ／ｔｎＴｃｎｌｙＧａｇｉｏｍｌｎｖｓｙａｎｎｕｎｘ５００，ｈｎ）ｍｏＩｉｏｅｔ
（广西师范学院信息技术系，广西南宁，３０１５００）摘要：目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准Ｕｔｔｃａｔ的基础之上，ＭＬｓａｅｈｒｓ其并不适用于描述实时系统的时间扩展Ｕｔｔｃａｔ。ＭＬｓｅｈｒ作者在这里提出了一种时间扩展ＵＭＬｓｔｈｒ混合时间Ｐｔ网模型的构造方法。ａｓｔｅａｔａｃｓｅｒｉ考虑到时间扩展Ｕｔｅｈｒ具有时间描述、ＭＬｓａｃａｔｓ层次结构和并发结构，难以直接根据扩展ＵＭＬｓｔｈｒ产生测试用例，ｔｅａｔａｃｓ文中按照时间扩展ＵｔｔｃａｔＭＬｓａｅｈｒｓ的语义，论述了时间扩展Ｕａｅｈｒ的混合时间Ｐｔ网模型的构造方法、合时间ＭＬｓｔｃａｔｓｅｉｒ混Ｐｔ网模型测试用例生成方法，ｅｒｉ最终实现对时间扩展ＵｔｔｈｒｓＭＬｓｅａｔ的测试。ａｃ关键词：统一建模语言状态图；混合时间佩特里网；测试用例；实时系统中图分类号：Ｐ１Ｔ３１文献标识码：Ａ

网络协同制造和智能工厂重点专项

附件2“网络协同制造和智能工厂”重点专项2020年度项目申报指南为落实《国家中长期科学和技术发展规划纲要（2006—2020年）》《国家创新驱动发展战略纲要》《“十三五”国家科技创新规划》《中国制造2025》和《国务院关于积极推进“互联网+”行动的指导意见》等提出的要求，国家重点研发计划启动实施“网络协同制造和智能工厂”重点专项。

根据本重点专项实施方案的部署，现发布2020年度项目申报指南。

本重点专项总体目标是：针对我国网络协同制造和智能工厂发展模式创新不足、技术能力尚未形成、融合新生态发展不足、核心技术/软件支撑能力薄弱等问题，基于“互联网+”思维，以实现制造业创新发展与转型升级为主题，以推进工业化与信息化、制造业与互联网、制造业与服务业融合发展为主线，以“创模式、强能力、促生态、夯基础”以及重塑制造业技术体系、生产模式、产业形态和价值链为目标，坚持有所为、有所不为，推动科技创新与制度创新、管理创新、商业模式创新、业态创新相结合，探索引领智能制造发展的制造与服务新模式，突破网络协同制造和智能工厂的基础理论与关键技术，研发网络协同制造核心软件，建立技术标准，创建网络协同制造支撑平台，培育示范效应强的—1—智慧企业。

本重点专项设立基础前沿与关键技术、装备/系统与平台、集成技术与应用示范等3类任务以及基础支撑技术、研发设计技术、智能生产技术、制造服务技术、集成平台与系统等5个方向。

专项实施周期为5年（2018—2022年）。

2020年，拟围绕制造业核心工业软件、智能工厂共性核心技术及解决方案、企业网络协同制造平台、区域产业集成技术和应用示范以及基础前沿理论等任务，按照基础研究类、共性关键技术类、应用示范类三个层次，启动不少于66个项目，拟安排国拨经费总概算约7亿元。

应用示范类项目鼓励充分发挥行业/地方和市场作用，强化产学研用紧密结合，配套经费与国拨经费比例不低于2:1。

共性关键技术类项目，自筹经费与国拨经费比例应达到1:1以上。

基于仿真的飞行模拟器优化配置研究

ｓｕａｉ．ｉａｙａａｔｉａｃｙｐｏｅｓ（ＰｓｕｅｏｃｒｎｔｕｌｙｓｎｈｔｖｌａｏｉｌｏＦｎｌ，ｎｌｉｈｅｒｈｒｃｓＡＨ）ｉｓｄｔａｒｏｅｑａｔｙｔｅｃｅａｔｎｍｔｎｌｙｃｒｙｈｉｉｕｉ
ｔｃｎｌｇＰａｅｅｓｅｈｏｏｙ．ａｍｔｒｗｈｃａｅｅｙｌｓｌｒｌｔｄｏｈｅｙｔｍｐｒｏｍａｃａｅａｎｄｈｒｕｈｒｉｈｒｖｒｃｏｅｙｅａｅｔｔｓｓｅｅｆｒｎｅｒｇｉｅｔｏｇ
２ＤｐｒｅｔｆＡｉｉｌｒｎｃＥｇｎｅｉｇＡｉｉｎｖｒｉｆｉＦｒｅＣａｇｈｎ１０２，ｈｎ）．ｅａｍｎｔｏｖｔｎＥｃｏｉｎｅｅｒ，ｖａｏＵｉｓｙｏＡｒｏｃ，ｈｎｃｕ３０２Ｃｉａａｏｔｎｔｎｅｔ
Ａｂｔａｃ：ＷｉｈｔｅｃｎｉｕｓｅｌｒｅｎｒｐｏｔｏｆｓｍｕｌｔｉｈｒｉｉｇｉｈｉｏｃＳｄｉｙｓｒｔｔｈｏｔｏｕｎａｇｍｅｔｐｏｒｉｎｏｉｎａｅｆｇｔｔａｎｎｎｔｅａｒｆｒｅ’ ａｌｌ
ｔｉｉｎａｆｉｇｃｒｓｉｅｔｌｈｄｂｓｄｏｎｆｄｍｏｅｎａｇａｅ（ＭＬ）ｏｊｃｏｅｔｒｎｇｉｙｎｏｐｓｓｂｉｅａｅｎｕｉｅｄｌｇｌｕｇＵａｎｌａｓｉｉｎ，ｂｅｔｒｎｅ —ｉｄ

Modelica语言及其多领域统一建模与仿真机理1

１．２组件连接机制
Ｍｏｄｅｌｉｃａ语言提供了功能强大的软件组件模型，其具有与硬件组件系统同等的灵活性和重用性。Ｍｏｄｅｌｉｃａ的软件组件模型主要包含三个概念：组件、连接机制和组件构架。组件通过连接机制进行交互连接。组件构架实现组件和连接，确保由连接维持的约束和通讯工作稳定可靠。
在Ｍｏｄｅｌｉｃａ语言中，组件的接口称作连接器，建立在组件连接器上的耦合关系称作连接。如果连接表达的是因果耦合关系，则称其为因果连接。如果连接表达的是非因果耦合关系，则称其为非因果连接。
引言
耦合关系。基于统一建模语言的方法对来自不同领域的系统构件
随着建模技术和数值技术的发展，数学建模与仿真在产
采用统一方式进行描述，彻底实现了不同领域模型之间的无
品设计中的作用越来越重要，已经成为测试和分析产品技术
缝集成和数据交换。Ｍｏｄｅｌｉｃａ语言［２－５１是目前盛行的一种多
性能的一项重要手段。然而，随着产品复杂度的不断提高，
ｃｏｎｎｅｃｔｏｒＰｉｎＲｅａｌｖ；ｆｌｏｗＲｅａｌｆ；ｅｎｄＰｉｎ；
Ｍｏｄｅｌｉｃａ连接必须建立在相同类型的两个连接器之上，表达组件之间的耦合关系。这种耦合关系在语义上通过方程实现。故Ｍｏｄｅｌｉｃａ连接在模型编译时会转化为方程。具体来说，流变量之间的耦合关系由“和零”形式的方程表示，即连接交汇点的流变量之和为零。势变量之间的耦合关系由 “等值”形式的方程表示，即连接交汇点的势变量值相等。
第１８卷增刊２２００６年８月
系统仿真学报＠ＪｏｕｒｎａｌｏｆＳｙｓｔｅｍＳｉｍｕｌａｔｉｏｎ
Ｖ０１．１８Ｓｕｐｐｌ．２Ａｕｇ．，２００６
Ｍｏｄｅｌｉｃａ语言及其多领域统一建模与仿真机理
赵建军，丁建完，周凡利，陈立平

用统一建模语言描述基于构件的系统

１引言
基于构件的软件基本观点是通过封装（ｎａｓｌ— Ｅｅｐｕａｔｎｉ）和标准接口（ｎｅｆｅ来使软件构件随时可被替ｏＩｔｒｃ）ａ
２本文中构件与接口的定义
２１构件的定义
代，而使应用软件更有弹性，构件在不同的应用程从而序中重用，高了软件生产率和软件的质量＝提基于构件的软件环境的基车特ｌ是：件构件必须生软
是可重用的：但构件并不仅限于程序代码构件（ｏｅＣｄ
维普资讯
第６期
姚松涛等：用统一建摸语言描述基于构件的系统
１７・２
用统一建模语言描述基于构件的系统
姚松涛，郭荷清
（南理工大学计算机工程与科学系，广东广州５０４）华１６１
Ｃｍｏｅｔ，既可能是Ｖｏｐｎｎ）它Ｂ的源码构件（ｏｒ０ｅＣｍ．ＳｕｃｃｄｅＯ
ｏｅｔ，ｐｎｎ）也可能是ＣＯＭ中的二进制代码构件（ｉａ＇ｏｅＢｎ￣ＣｄＣｍｏｅ）ｏｐｎｎ或者ＵｔＭＬ的设计构件（ｅｉｏｏｎｎ）：ＤｓｎＣｍｐｅｔ等ｇ当前ＣＭ或ＣＲＡ可提供的二进制代码的构件重ＯＯＢ用仅仅是为基于构件的开发和运行环境建立良好的基础。随着构件技术的发展，件重用将向更高层次的重构用技术发展，分析规格说明构件重用设计掏件重用、如测试构件重用、档构件重用等发展方向构件技术和文ＵＭＬ等分析、计方面不同技术的结合是软件开发的的设主要潮流。在设计或分析构件时，清晰地描述构件的可

面向复杂系统工程的多学科统一建模与联合仿真技术研究与应用实践

面向复杂系统工程的多学科统一建模与联合仿真技术研究与应用实践作者：暂无来源：《智能制造》 2017年第5期航空工业信息技术中心（金航数码）郄永军多学科联合仿真技术应用工程背景航空产品是涉及机械、电子、电气、控制、液压及软件等多学科, 可靠性、维修性和保障性等多专业工程要求的复杂系统，其开发模式正经历从基于文档向基于模型的范式转移。

建立以基于模型的系统工程方法论为指导、以功能/性能样机为载体，贯穿需求、功能、逻辑与物理构建模型在环、软件在环、硬件在环及人员在环的数字化综合仿真环境，开展多学科统一建模与联合仿真，实现功能/ 性能需求在开发早期阶段的验证与确认，基于数学模型（虚拟样机）开展复杂系统架构与方案的设计、权衡与分析优化，缩短设计迭代周期，提升开发质量，已成为国际航空航天和防务领域复杂系统开发的主流趋势。

当前，基于Modelica 语言的系统仿真技术已在达索航空、德宇航和空客得以工程应用，通过构建由功能样机、性能样机和几何样机组成的数字样机，可实现在虚拟空间下开展虚拟试验/ 试飞，极大的降低物理试验/ 试飞的周期与成本。

多学科联合仿真技术演进历程系统级多学科联合仿真主要应用于系统架构与方案权衡、功能分配、接口定义、子系统参数优化、功能/ 性能早期验证和确认等领域，涉及多学科的系统仿真技术主要经历了如下发展历程。

（1）基于接口的多学科建模与仿真技术：该方法是由各学科相应的商用仿真软件提供或开发相应的接口。

其完全依赖商用软件之间的一对一接口，这些接口往往为某些商业公司所私有，不具有标准性和开放性。

（2）基于高层体系结构（HLA）：该方法克服了基于接口的诸多缺陷，较好地实现了多学科建模与仿真，但要求建模人员必须先熟悉HLA/RTI 的各种服务协议，再编制相应的程序代码，并且需要人为的割裂不同学科子系统之间的耦合关系，实质上是一种子系统层次上的集成方法。

（3）基于统一建模语言的多学科系统仿真技术：该方法具有与学科无关的通用模型描述能力，任何学科均可实现统一建模。

基于PSASP的统一潮流控制器潮流建模与仿真

。
所谓用户自定义建模方法是在无须了解程序内部结构和编程设计的条件下，用户可按自己计算分析的需要，用工程技术人员熟悉的概念和容易掌握的方法，设计各种模型，使其在原则上可以灵活模拟任何系统元件、自动装置和控制功能。用户自定义建模的主要组件是基本功能框和输入、输出信息。基本功能框是自定义模型的最小组成部分。通过一些功能框的连接装配，即可构建一个用户自定义（ UD）模型。每一个基本功能框可根据输入量（ x1 ，x2 ）完成求输入量 y 的运算，以实现微积分运算、代数运算、基本函数运算、逻辑控制运算、线性和非线性函数运算等。基本功能框如图 1 所示。
［ 4 ］
功率注入法实际上就是将线路上可调变量对系统的影响移植到对应的节点上。这样就可以在不修改原来的节点导纳矩阵的情况下嵌入 FACTS 元件的模型，便于进行潮流计算。 UPFC 由两个背靠背、结构相似的电压源型换流器（ Voltage Sourced Converters ），1 ，2 直流侧电容相连构成，并通过 2 个变压器接入系统，换流器中采用了可关断可控硅 GTO，使得换流器 1 ， 2 的输出电压可单独控制。其结构如图 3 所示。
2 m 2 s
I pq =
V pq V pqx + jV pqy － jV pqx + V pqy = = jX L jX L XL Iu = P c － jQ c jV B1
（ 5）（ 6）
式中： P c 为 UPFC 串、并联侧换流器间交换的有功功率； Q c 为并联侧的补偿无功。在 UPFC 稳态工作时，UPFC 既不会产生用功功率也不会吸收有功功率，即有： P c = P u = － P pq ，P pq 是串联侧换流器正常工作时的有功功率， P u 为并联侧工作时的有功功率。并联侧控制器注入节点 B1 的功率为 S u ： Su = I* u V B1 = P c + j Q c 的功率为 S q ： S q = － V B1 I * pq = － V B1 jV pqx + V pqy jV B1 V pqx － V B1 V pqy = － XL XL （ 8）两种控制器整体注入节点 B1 的功率为 S1 ：（ 4） S 1 = P 1 + j Q1 = S q + S u = － jV B1 V pqx － V B1 V pqy + XL （ 7）串联侧控制器等效注入电流源 I pq 注入节点 B1

基于统一建模语言和多色集合的并行设计过程研究

ＧａｉｑｏＸｎｉｎ，Ｌｏｇｉ，ＹａｉｎｉｎｂｎＺｎＬｊｕ
（ｔｔＫｅａｏａｏｙｆｒＭａｕａｔｒｇＳｓｅｎｉｅｒｇＸｉｎＪａｔｎｉｅｓｔ，Ｘｉｎ７０４，ＣｉａＳａｅｙＬｂｒｔｒｏｎｆｃｕｉｙｔｍｓＥｇｎｅｎ，ｉｏｇＵｎｖｒｉｙｎｉａｏ１０９ｈｎ）ａ
ቤተ መጻሕፍቲ ባይዱ
关键词：统一建模语言；活动图；色集合理论；多并行设计过程；建模与分析中图分类号：ＴＨ１２文献标识码：Ａ文章编号：０５ —８Ｘ（０６１—２５０２２３９７２０）１１９ —５ＣｏｕｒｎｔＤｅｉｎＰｒｃｓｓｄｏｉｉｄＭｏｅｉｇＬａｕｇｎｄｎｃｒｅｓｇｏｅｓＢａｅｎＵｎｆｅｄｌｎｎｇａｅａＰｏｙｈｒｍａｉｅｓｌｃｏｔｃＳｔ
高新勤，李宗斌，闫利军
（西安交通大学机械制造系统工程国家重点实验室，７０４，西安）１０９
摘要：在分析现有并行设计过程建模研究的基础上，出了一种基于统一建模语言（提ＵＭＬ和多色）集合理论的并行设计过程建模与分析方法，分析了并行设计活动的连接形式、ＵＭＬ活动图的基本
ｐｏｅｓａｅａａｙｅｕｎｉｔｅ．Ｔｈｒｐｓｄｍｅｈｄｉａｂｅｔｏｉｎｅｔｏｏｏ－ｒｃｓｒｎｌｚｄｑａｔａｉｌｔｖｙｅｐｏｏｅｔｏｓｎｏｊｃ—ｒｔｄｍｅｈｄｆｒｎｎｅ

基于统一信息模型的CDSS与EMR接口技术研究与实现

专题策划—临床决策支持Special Planning_______基于统一信息模型的C D S S与E M R接口技术研究与实现吕旭东1南山2封宏硕1王艺捷v段会龙m【摘要】临床决策支持系统（CDSS)的实施和应用具有重要的临床意义，也是医院电子病历系统（EM R)应用水平评价的重要内容。

由于CDSS和EMR接口开发的困难，CDSS的部署成本高、效率低，阻碍了CDSS的广泛应用。

本文在分析接口开发挑战的基础上，提出了一种基于统一信息模型的接口实现技术，并在临床案例中验证了方法的可行性。

【关键词】临床决策支持电子病历openEH R接口开发Doi:10.3969/j.issn.1673-7571.2021.03.002【中图分类号】R3I9:TP391 【文献标识码】AResearch and Implementation of Interfacing Techniques of CDSS and EMR Based on a Unified Information Model/LYU Xu-dong,NAN Shan,FENG Hong-shuo,et al.Abstract:The effective implementation and utilization of clinical decision support system (CDSS)has very important clinical value and is the critical component for evaluating a hospital's effective use of electronic medical record(EMR). Due to the difficulties of interfacing CDSS with EMR,the deployment cost of CDSS is high and the efficiency is low. Consequently,CDSS is currently hard to be implemented in hospitals.This paper analyzed the bottleneck of developing interface between CDSS and EMR.Then we proposed an interface developing approach based on a unified information model.This approach was further validated via clinical practice.Keywords:clinical decision support,electronic medical record,openEHR,interface developmentFund project:National Key R&D Plan Project-Construction of the Standardized Technology System for Disease Phenotype Data (No. 2016YFC0901703); National Key R&D Plan Project-Construction of the Clinical Imaging Big Data Platform of Coronary Artery and its Development and Utilization Technology System(No.2016Y FC1300303) Corresponding author：College of Biomedical Engineering&Instrument Science,Zhejiang University,Hangzhou 310027, Zhejiang Province,P.R.C.i引言临床决策支持系统（Clinical Decision Support System,CDSS)是一类运用计算机化的医学知识，结合病人信息进行推理，辅助医疗决策、提高医疗水平和服务质量的计算机系统[11。

基于Modelica_的卷包车间生产物流建模与仿真研究

第 22卷第 10期2023年 10月Vol.22 No.10Oct.2023软件导刊Software Guide基于Modelica的卷包车间生产物流建模与仿真研究单航1，周睿2，沈毅2，耿建1，张宝坤1，丁吉1，周凡利1（1.苏州同元软控信息技术有限公司，江苏苏州 215000；2.湖南中烟工业有限责任公司长沙卷烟厂，湖南长沙 410007）摘要：针对中烟工业企业卷包车间生产物流前期规划问题，基于Modelica语言对卷包车间生产设备和物流设备进行模型化表达和模块化封装，以逻辑关系类模型为核心，构建一套可重用、可扩展的适用于卷包车间生产物流的模型库。

同时以某卷烟厂卷包车间两条产线改造升级为例，搭建了包括卷接机、装卸盘机、包装机以及相关托盘、自动导向车在内的产线级系统模型，研究了自动导向车参数、托盘配比对生产的影响，并给出优化参数，用于指导产线改造，避免系统性资源浪费风险，为后续工厂级多领域建模探索出一条道路。

关键词：卷包车间；Modelica建模；生产物流；系统规划；仿真应用DOI：10.11907/rjdk.231608开放科学（资源服务）标识码（OSID）：中图分类号：TP391.9 文献标识码：A文章编号：1672-7800（2023）010-0019-07Research on Production Logistics Modeling and Simulation of CoiledPackaging Workshop Based on ModelicaSHAN Hang1， ZHOU Rui2， SHEN Yi2， GENG Jian1， ZHANG Baokun1， DING Ji1， ZHOU Fanli1（1.Suzhou Tongyuan Soft.&Ctrl. Tech. Co.， Ltd.，Suzhou 215000，China；2.Changsha Cigarette Factory， China Tobacco Hunan Industrial Corporation，Changsha 410007，China）Abstract：In response to the pre planning problem of production logistics in the rolling mill workshop of China Tobacco Industrial Enterpris⁃es，the production equipment and logistics equipment in the rolling mill workshop are modeled and modularized using Modelica language. With a logical relationship class model as the core， a reusable and scalable model library suitable for production logistics in the rolling mill workshop is constructed. At the same time， taking the renovation and upgrading of two production lines in a cigarette factory´s cigarette packag⁃ing workshop as an example， a production line level system model was built， including a coiling machine， a loading and unloading machine， a packaging machine， and related pallets and automatic guided vehicles. The influence of automatic guided vehicle parameters and tray ratio on production was studied， and optimization parameters were provided to guide the renovation of the production line， avoid the risk of systematic resource waste， and explore a path for subsequent factory level multi domain modeling.Key Words：roll-on package workshop； Modelica modeling； production logistics； system planning； simulation application0 引言在传统工厂规划中，物流规划一般是由设计院协同业主依靠经验进行统一规划，但物流规划方案是否科学合理尚缺乏有效验证方式，导致设计阶段的一些隐性问题难以暴露，如节拍瓶颈障碍、物流路径不通畅等［1］。

一种基于活动图模型的系统行为仿真方法

一种基于活动图模型的系统行为仿真方法专利名称：一种基于活动图模型的系统行为仿真方法技术领域：本发明涉及一种基于统一建模语言活动图模型的系统行为仿真方法，主要利用符号执行和具体执行相结合的技术来解决仿真用例的生成问题，进而实现对系统行为的仿真。

属于软件工程、模型驱动工程、系统仿真交叉技术领域。

背景技术：对模型反映的软件行为进行仿真是软件测试领域的一种重要方法。

软件测试和验证是保证软件正确性和提高软件可靠性的最基本和最重要的手段，也是工业界使用的主流技术。

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求，基于模型的软件测试逐渐得到重视。

基于模型的软件测试属于基于规约的软件测试范畴，其特点是:在产生测试用例和进行测试结果评价时，都是根据被测试应用程序的模型及其派生模型(一般称为测试模型)进行的。

软件模型是对软件行为和软件结构的抽象描述。

软件行为可以用系统输入序列、活动、条件、输出逻辑或者数据流进行描述。

基于模型的测试是自动化测试的一种，这种测试基于模型，一次性地将一个被测系统的大量测试用例作为整体自动生成出来。

模型是一种抽象，描述被测试系统的某方面的行为。

基于模型的测试方式:首先根据系统需求、功能规格说明对系统进行建模，然后根据模型自动生成测试用例，最后执行验证过程。

基于模型的测试能产生下列好处:缩短日程，降低成本，提高质量，得到用户行为模型，提高开发和测试的沟通，尽早发掘出规格说明和设计中的含混性因素，以及自动生成测试，自动运行测试，减少需求变更带来的测试套件的变更。

混合执行技术是符号执行和具体执行结合的技术。

符号执行指的是使用符号变量代替具体变量，不执行程序的前提下模拟程序执行来进行相关分析的技术，一般与约束满足问题求解方法一同使用。

具体执行就是指使用具体的变量值输入到程序中，驱动程序的正常执行。

而混合执行技术是一种对程序交替进行具体执行和符号执行的混合软件程序验证技术。

发明内容技术问题:统一建模语言已经成为建模语言的事实标准，现有的从统一建模语言活动图生成测试用例方法不能全自动地生成测试用例，在一定程度上需要人工的参与，因此对统一建模语言活动图的仿真亦只能半自动的进行。

统一建模语言课程试验

统一建模语言课程实验
实验目的:
学生通过课程实验，掌握将面向对象程序设计方法与UML思想相结合，对系统进行建模的过程。

并通过一个案例的实现来理解UML语言的建模思想，能设计UML用例图、顺序图、活动图、状态图、类图、组件图和部署图，并通过这些UML框图生成代码。

最后，根据生成的代码框架及UML模型来完善整个程序。

实验要求：
1.学习UML Workbook，按照设计步骤完成实验
2.运用Rational Rose进行建模，给出案例中所有的模型
3.给出案例详细的建模过程（包括图解和文档描述）
技术文档：
可行性研究报告
项目开发计划
数据要求说明书
需求说明书
概要设计说明书
数据库设计说明书
详细设计说明书
管理文档
团队成员角色及管理条例
会议记录
日程表
文档更新登记表
4.共分8组
自由结合，四人一组，每组一名负责人。

实验题目：
1.网上电子银行交易系统
2.网络安全与入侵检测系统
3.证券网站用户管理系统
4.网络在线购物系统
5.网上书店管理及交易系统
6.网上人才招聘系统
7.物流仓储管理系统
8.学生信息管理系统
实验提交与评分：
1.课堂讲解40%
2.书面文档和电子文档60%。

区域控制器移动授权的统一建模语言(UML)建模与验证

区域控制器移动授权的统一建模语言(UML)建模与验证王露;王长林【摘要】探讨了基于通信的列车控制(CBTC)系统中区域控制器(ZC)子系统不同运营场景下移动授权的生成过程.采用统一建模语言(UML),与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率.通过UML 建模直观展现系统的结构,检查系统完整性,并完成该系统模型的仿真验证.【期刊名称】《城市轨道交通研究》【年(卷),期】2014(017)007【总页数】4页(P40-43)【关键词】基于通信的列车控制;区域控制器;移动授权;统一建模语言建模;模型验证【作者】王露;王长林【作者单位】西南交通大学信息与科学技术学院,610031,成都;西南交通大学信息与科学技术学院,610031,成都【正文语种】中文【中图分类】U231.6First-author's addressSchool of Computer Science and Technology，Southwest Jiaotong University，610031，Chengdu，China基于通信的列车控制（CBTC）系统用于控制城市轨道交通列车的运行。

其区域控制器（ZC）子系统为每列车分配一个移动授权（MA），控制列车在管辖范围内安全行驶。

因此，MA的实现是ZC子系统的核心部分所在，也是ZC存在的根本目的［1］。

本文通过对ZC子系统移动授权生成进行统一建模语言（Unified Modeling Language，简为UML）建模，在模型逻辑完备性分析的基础上验证模型的正确性，进而从开发初期发现设计中可能存在的隐患和漏洞。

同时，模型的规范化减少了系统设计和代码实现之间的随意性［2-3］。

1.1 区域控制器系统结构ZC作为城市轨道交通列车防护必不可少的轨旁设备，在CBTC系统中需要与如图1所示的子系统进行交互。

其中，数据通信系统（DCS）通过以太网的接入为CBTC设备提供内外部通信功能；列车自动监视（ATS）系统提供操作和维护功能，为列车安排运行计划表，并且汇总提供有关CBTC设备、CBTC系统控制下的车辆和轨旁设备的信息；计算机联锁（CIL）子系统保证基本的列车进路设置功能，以及与轨旁设备（如站台屏蔽门、计轴设备、紧急制动按钮等）的接口；区域控制器从CIL和车载设备获得所有轨旁设备的安全输入信息及列车识别和位置接收信息，实现线路上所有列车的管理并向每列车发送移动授权。