统一建模语言

摘要： 为了提高车辆基地运维效率和降低成本,在整体考虑车辆基地业务的基础上,建立了包含数据层、计划层、调度层和决策层的地铁车辆基地智能运维管理平台的逻辑架构;采用类图和时序图描述了车辆基地智能运维管理平台的软件架构,并在Windows上采用C#语言实现。目前,该平台已在成都地铁某线的车辆基地实施,实现了对车辆基地业务的智能化管理和精细化管理,提高了生产效率,降低了生产成本。

摘要： 为弥补电子商务课程教学体系设置单一化缺陷,提高电子商务人才质量,设计一种基于马尔科夫模型的电子商务课程远程教学方法。预处理语音信号,在马尔科夫模型双重随机流程前提下,运用段长分布下的马尔科夫族模型自动调节语音单元时间长度,计算语音识别相关概率,实现远程教学语音处理工作;将统一建模语言作为远程教学平台设计语言,利用ASP.NET开发技术,在浏览器/服务器体系下搭建平台架构,将平台划分成管理、教学、学生学习、名词术语查找和系统演示功能五个板块,包含网络结构、网络连接、网络协议、操作子系统等软硬件。以某高校电子商务专业学生为实例进行实验,结果表明,本文方法可以有效提高学生学习积极性与考核成绩,实现师生交互式教学目标,为电子商务领域输送高质量人才提供充分保障。

摘要： 针对综采工作面各系统进行数据对接过程中,需要频繁进行数据点表与语义对应,导致综采工作面系统互联和数据共享成本激增的问题,提出了一种基于过程控制统一对象模型(OPC UA)的智能化综采工作面信息模型。根据智能化综采工作面的物理组成、功能模块及各模块间的信息流要求,采用面向对象的方式给出了智能化综采工作面信息模型架构。在该架构的基础上,对综采工作面中物理对象及开采过程数据进行数字化和模型化描述,形成工作面级信息模型。详细介绍了信息模型中基础组件、监控组件集与功能组件集对象涉及的静态属性集和过程属性集的各类元素。采用OPC UA与统一建模语言(UML)联合建模方式对智能化综采工作面信息模型进行实例化:利用UML类图辅助进行信息模型结构的描述,然后转换为OPC UA信息模型XML描述文件,将信息模型结构数据和属性数据映射到OPC UA地址空间模型,启动OPC UA服务器。实际应用结果表明,综采工作面各系统可访问服务器地址空间,顺利获取智能化综采工作面信息模型的结构和对象数据语义,从而快速完成数据的采集、入库和更新。为验证信息模型的应用效果,在OPC UA服务器开发的基础上,开发了综采工作面信息管理与集成分析平台,现场应用试验表明,平台显示的监控数据与现场实际运行结果一致,后台数据均来源于地址空间信息模型,从而验证了信息模型结合OPC UA协议实现综采工作面信息互联互通的可行性。

摘要： 机场容量评估是一个多维度、多角度的综合过程。该文针对机场容量评估的需求,阐述了机场容量度量特征,从机场空侧和陆侧航站楼容量给出了评估需求。借鉴国际民航组织推荐的AIXM的理念,设计了面向机场容量评估的数据概念模型,包括机场空侧场面数据模型、机场空侧周边空域数据模型、机场服务数据模型和机场陆侧航站楼数据模型,能够更加方便地将数据组织到XML表达,为构建完整、可靠的机场容量评估提供数据环境指导。

摘要： 随着国家信息建设的高速发展,软件已经成为人们生活中必不可少的组成部分,软件开发能力作为信息管理与信息系统专业学生的最基本的应用型技能,是专业课程学习的重点。为满足应用型本科院校《软件开发与设计》课程的教学要求,在当前课程教学的基础上实践部分教学采用项目驱动教学法,应用统一建模语言(Unified Modeling Language,UML)贯穿课程,旨在建立和完善课程的教学方法和教学逻辑,探索建立以学生为核心的实践教学模式。

摘要： 文章系统介绍了国际地学信息管理与应用委员会(CGI)的主要数据标准:地球科学标记语言GeoSciML、地球资源标记语言EarthResourceML及地学专业术语Geoscience Terminology等.采用UML的包和类图方式简要介绍了GeoSciML、EarthResourceML的构成模式、建模方法和谱系图,以列表形式概览了支持多国语言语义的地学专业术语库.重点介绍基础数据包中的地质单元、构造、地貌要素和地质事件等核心要素,矿床数据包中与采矿等有关的活动要素,以及矿点数据包中的矿产资源、矿床类型、成矿模型等.并基于GeoSciML标准初步设计了一个地质数据模型,采用EarthResourceML标准设计了一个矿业权模型,验证地学数据模型之间通过动态关联可生成若干新要素的优势,为开展国际地学大数据转换等提供了技术参考.

摘要： 网络攻击模型是实施网络攻击的基本遵循依据,本文分析了经典网络攻击链模型存在的适用性不足、全面性欠缺、整体性不够三个主要问题,构建了更适合描述AP T攻击的网络攻击螺旋模型.该模型将网络攻击活动描述为侦察、武器化、渗透与破坏、横向移动、撤出以及评估与改进6个阶段,并设置为螺旋循环式结构,通过对攻击链模型的优化与重构,使模型层次更加分明,任务更加明确,功能更加完备.在此基础上,对模型中各阶段行动应当完成的攻击任务和采取的攻击方式进行了梳理,运用统一建模语言从静态和动态两个方面对网络攻击螺旋模型在APT攻击中的运用方式进行了形式化描述,梳理了该模型的运用原则和特性,对分析识别APT攻击行为并采取针对性防御措施阻断攻击链具有一定借鉴意义.

摘要： 基于B/S架构结合运用PHP和Apache等开发技术完成了总体架构及功能的设计,采用Mysql作为数据库,通过该评教系统完成对学生评教数据的收集与自动处理,有效提高了教学质量评价与监督过程的自动化、精细化、动态化水平.

摘要： 智能合约是区块链技术和分布式账本技术的重要应用模式.对智能合约生命周期进行规范表达,成为诠释智能合约运行机制、确保智能合约得以顺利实施的关键.提出一种基于统一建模语言的智能合约生命周期动态模型,将智能合约生命周期划分为合约创建、合约调用、合约维护、合约销毁四个阶段.在智能合约的三个本体层——数据层、信息层和本质层中,智能合约生命周期对应于信息层,其动态模型更加聚焦于智能合约生命周期中各个相关组件的动态运作,可有效阐释智能合约生命周期全过程,为理解智能合约执行过程和开展智能合约系统设计提供了理论和技术依据.

摘要： 飞行器静强度试验载荷处理程序规模逐渐扩大,导致开发、测试以及部署的压力日益增大。为实现松耦合、独立性强、可重用的飞行器静强度试验载荷处理系统,本文对飞行器静强度试验载荷处理系统相关理论和技术进行研究,通过统一建模语言系统进行需求分析,建立了功能模型、结构模型以及动态模型。系统从飞行器静强度试验载荷处理过程灵活多变的特点出发,提供了全面的载荷处理流程自定义解决方案,基本满足了飞行器静强度试验载荷处理的业务需要,对后续系统详细设计、系统实现与测试具有一定的指导作用。

摘要： 研究模型驱动仿真方法,使用统一建模语言UML和开发工具Rhapsody,设计与实现雷达仿真器.分析、建立雷达仿真器静态和动态模型,并对模型进行测试.展现基于模型驱动的建模、设计、验证的开发过程.对开发工具Rhapsody的配置和使用做出相关介绍.

摘要： 随着计算机技术的发展,机载软件在航空领域有着越来越广泛的应用,软件测试工作在型号软件研制过程中的地位越来越重要,测试用例设计是软件测试的关键技术.采用统一建模语言(UML)建模方法中的用例图、接口图及活动图,以飞行管理系统软件测试为例,对机载软件不同测试需求建立相应的测试模型,进一步建立测试需求追踪关系模型图,最后生成测试用例,使得测试用例设计达到最优化,取得较好的测试效果.创建测试模型的方法可以通用于其他机载软件测试.

摘要： 使用统一建模语言UML和开发工具Rhapsody,设计与实现雷达仿真器.建立雷达仿真器静态和动态模型,并对模型进行测试.展现基于模型驱动的UML建模、设计、验证的开发过程.对开发工具Rhapsody的配置和使用做出相关介绍.

摘要： 随着移动互联网的发展,移动应用的数量呈现井喷式的爆发,对移动应用的性能、故障和短板进行实时地、有效地监测与分析是保证移动应用正常运行的关键.统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析;但其过程描述中缺乏严格的语义.Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并有图形方法的直观性和逻辑方法的概括性.通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析.

摘要： 嵌入式训练是解决飞行员战术训练难题的有效手段,代表了训练技术的最新发展趋势.针对教练机嵌入式训练的需求,采用统一建模语言(UML)构建了教练机嵌入式训练系统的可视化概念模型,对系统进行用例建模、静态建模和动态建模,设计了系统的结构模型.应用实践表明,采用UML进行系统概念模型设计,为进一步设计教练机嵌入式训练系统提供了依据.

摘要： 在现代嵌入式系统中,性能的重要性日益凸显.传统的基于测量的性能分析方法在运行时对性能进行测试,往往在代码实现后才考虑实施.若此时发现的问题是体系结构或设计因素造成的,修复的代价将非常昂贵.本文提出了一种基于形式化模型的性能分析(FMPA)方法框架,希望在系统开发的早期,对系统设计模型进行性能分析,以便尽早发现并解决潜在的性能问题.FMPA具有统一对外接口(UML-MARTE)、基于多种形式化模型、并可对多种系统性能指标进行分析.方法适用于基于模型的开发过程,可为实时嵌入式系统的设计开发提供多项性能指标的参考.本文通过介绍利用实时模型检测技术分析响应时间与吞吐量、利用概率模型检测技术分析系统可靠性、以及FMPA方法的支撑工具FMPAer的总体设计方案,来说明FMPA方法框架的可行性.

摘要： 在现代嵌入式系统中,性能的重要性日益凸显.传统的基于测量的性能分析方法在运行时对性能进行测试,往往在代码实现后才考虑实施.若此时发现的问题是体系结构或设计因素造成的,修复的代价将非常昂贵.本文提出了一种基于形式化模型的性能分析(FMPA)方法框架,希望在系统开发的早期,对系统设计模型进行性能分析,以便尽早发现并解决潜在的性能问题.FMPA具有统一对外接口(UML-MARTE)、基于多种形式化模型、并可对多种系统性能指标进行分析.方法适用于基于模型的开发过程,可为实时嵌入式系统的设计开发提供多项性能指标的参考.本文通过介绍利用实时模型检测技术分析响应时间与吞吐量、利用概率模型检测技术分析系统可靠性、以及FMPA方法的支撑工具FMPAer的总体设计方案,来说明FMPA方法框架的可行性.

摘要： 在现代嵌入式系统中,性能的重要性日益凸显.传统的基于测量的性能分析方法在运行时对性能进行测试,往往在代码实现后才考虑实施.若此时发现的问题是体系结构或设计因素造成的,修复的代价将非常昂贵.本文提出了一种基于形式化模型的性能分析(FMPA)方法框架,希望在系统开发的早期,对系统设计模型进行性能分析,以便尽早发现并解决潜在的性能问题.FMPA具有统一对外接口(UML-MARTE)、基于多种形式化模型、并可对多种系统性能指标进行分析.方法适用于基于模型的开发过程,可为实时嵌入式系统的设计开发提供多项性能指标的参考.本文通过介绍利用实时模型检测技术分析响应时间与吞吐量、利用概率模型检测技术分析系统可靠性、以及FMPA方法的支撑工具FMPAer的总体设计方案,来说明FMPA方法框架的可行性.

摘要： 在现代嵌入式系统中,性能的重要性日益凸显.传统的基于测量的性能分析方法在运行时对性能进行测试,往往在代码实现后才考虑实施.若此时发现的问题是体系结构或设计因素造成的,修复的代价将非常昂贵.本文提出了一种基于形式化模型的性能分析(FMPA)方法框架,希望在系统开发的早期,对系统设计模型进行性能分析,以便尽早发现并解决潜在的性能问题.FMPA具有统一对外接口(UML-MARTE)、基于多种形式化模型、并可对多种系统性能指标进行分析.方法适用于基于模型的开发过程,可为实时嵌入式系统的设计开发提供多项性能指标的参考.本文通过介绍利用实时模型检测技术分析响应时间与吞吐量、利用概率模型检测技术分析系统可靠性、以及FMPA方法的支撑工具FMPAer的总体设计方案,来说明FMPA方法框架的可行性.

摘要： 在现代嵌入式系统中,性能的重要性日益凸显.传统的基于测量的性能分析方法在运行时对性能进行测试,往往在代码实现后才考虑实施.若此时发现的问题是体系结构或设计因素造成的,修复的代价将非常昂贵.本文提出了一种基于形式化模型的性能分析(FMPA)方法框架,希望在系统开发的早期,对系统设计模型进行性能分析,以便尽早发现并解决潜在的性能问题.FMPA具有统一对外接口(UML-MARTE)、基于多种形式化模型、并可对多种系统性能指标进行分析.方法适用于基于模型的开发过程,可为实时嵌入式系统的设计开发提供多项性能指标的参考.本文通过介绍利用实时模型检测技术分析响应时间与吞吐量、利用概率模型检测技术分析系统可靠性、以及FMPA方法的支撑工具FMPAer的总体设计方案,来说明FMPA方法框架的可行性.

摘要： 本发明涉及基于统一建模环境的建模方法，包括：在统一交互界面中通过软件配置选项配置工程建模软件，将其建模界面装载到统一交互界面的图形显示区中；根据建模需要，通过统一交互界面中的建模引擎调入接口调用统一建模引擎的建模函数库中的相应函数，以在图形显示区中的建模界面上进行建模；建模的同时通过统一建模引擎的建模过程记录器记录建模过程中的基本模型单元及其之间的关系从而形成中性模型文件；将建模的结果保存为结果文件，结果文件是由工程建模软件产生的建模结果文件，即所建的模型。其通过为不同的工程建模软件提供一个统一的建模环境，能避免因为工程建模软件不同而导致的重复建模，提高建模方法的通用性，降低人力成本。

摘要： 本公开了一种使用被扩展了的UML标注法建立XML应用的模型的方法和设备。本发明扩展了UML模型模板以便包括附加分栏，称为恒定属性分栏。所述恒定属性分栏允许XML元素的恒定属性在UML模型中明确地表示。所公开的UML模型由此可以使用附加的恒定属性分栏来区分XML元素和XML属性，以便表示贯穿对象的所有实例而保持恒定的属性。通过独立地建立XML元素的恒定属性和可变属性的模型，XML元素的UML建模更加清楚并且易读。本发明便于利用适当的软件工具自动生成XML模式和源代码。

摘要： 本发明涉及基于统一建模环境的建模方法，包括：在统一交互界面中通过软件配置选项配置工程建模软件，将其建模界面装载到统一交互界面的图形显示区中；根据建模需要，通过统一交互界面中的建模引擎调入接口调用统一建模引擎的建模函数库中的相应函数，以在图形显示区中的建模界面上进行建模；建模的同时通过统一建模引擎的建模过程记录器记录建模过程中的基本模型单元及其之间的关系从而形成中性模型文件；将建模的结果保存为结果文件，结果文件是由工程建模软件产生的建模结果文件，即所建的模型。其通过为不同的工程建模软件提供一个统一的建模环境，能避免因为工程建模软件不同而导致的重复建模，提高建模方法的通用性，降低人力成本。

摘要： 本发明是一种基于统一建模语言的电信领域建模工具及建模方法属于计算机系统软件和应用软件领域。基于统一建模语言四层元数据结构构造了元建模和建模两级建模机制，元建模建立了电信领域的领域元模型，建模建立了电信领域内一个具体应用的模型，并且通过定制功能将模型中一个具体的构件与一个具体的设备联系起来，通过模型对设备进行呈现，通过模型对设备进行控制和管理。元模型包含了领域知识，它约束建模行为，保证建模阶段建立的模型是遵循领域约束的。采用定制的方式来对设备进行呈现和管理，提高了解决问题的抽象层次，使得开发人员可以把关注点放在问题逻辑本身而不是底层实现的细节，提高了软件开发的效率和正确率，缩短了开发的周期。

摘要： 基于统一建模语言和遗传算法的传感网软件建模平台开发方法，结合智能体和遗传算法的思想，使用统一建模语言构建适合传感网软件开发的模型，再通过遗传算法优化所创建的模型，并构建基于此模型的建模平台。其中构建基于智能体的统一建模语言的模型，通过定义智能体的统一建模语言领域模型元模型，包括多个模型图：组活动图，组所拥有的智能体图，智能体属于的组图，组所拥有的角色图，组与组之间的关系图。其中运用遗传算法对模型进行优化，降低了模型中组中属性冗余，得到性能完善的模型。本发明构建了传感网软件建模平台，实现了可视化的建立传感网软件模型，降低传感网软件开发难度。

摘要： 本发明涉及一种基于多领域统一建模语言的电路仿真优化方法，其步骤如下：(1)绘制需要仿真的电路图；(2)将电路图转换成Modelica仿真用的标准mo文件；(3)采用直流分析方法将仿真用的标准mo文件转换成直流分析mo文件；(4)采用小数据短步长方法对直流分析mo文件进行仿真，进而取得各器件的初始值数据表；(5)在步骤(4)中获得的各器件初始数据表中选出各器件的直流初始值，每个器件取最后一个值作为直流初始值；(6)恢复步骤(2)中的标准mo文件，将由步骤(5)得到的器件直流初始值加载到仿真文件中作为器件的初始值，重新进行带有器件初始值的短时间、大数据量仿真，并取得最终结果。本发明能提高仿真系统的速度，可以广泛应用于电路仿真优化领域中。

摘要： 本发明的一种基于统一建模语言的电信领域建模工具及建模方法属于计算机系统软件和应用软件领域。基于统一建模语言四层元数据结构构造了元建模和建模两级建模机制，元建模建立了电信领域的领域元模型，建模建立了电信领域内一个具体应用的模型，并且通过定制功能将模型中一个具体的构件与一个具体的设备联系起来，通过模型对设备进行呈现，通过模型对设备进行控制和管理。元模型包含了领域知识，它约束建模行为，保证建模阶段建立的模型是遵循领域约束的。采用定制的方式来对设备进行呈现和管理，提高了解决问题的抽象层次，使得开发人员可以把关注点放在问题逻辑本身而不是底层实现的细节，提高了软件开发的效率和正确率，缩短了开发的周期。

摘要： 基于统一建模语言和遗传算法的传感网软件建模平台开发方法，结合智能体和遗传算法的思想，使用统一建模语言构建适合传感网软件开发的模型，再通过遗传算法优化所创建的模型，并构建基于此模型的建模平台。其中构建基于智能体的统一建模语言的模型，通过定义智能体的统一建模语言领域模型元模型，包括多个模型图：组活动图，组所拥有的智能体图，智能体属于的组图，组所拥有的角色图，组与组之间的关系图。其中运用遗传算法对模型进行优化，降低了模型中组中属性冗余，得到性能完善的模型。本发明构建了传感网软件建模平台，实现了可视化的建立传感网软件模型，降低传感网软件开发难度。

摘要： 本发明涉及一种基于多领域统一建模语言的电路仿真优化方法，其步骤如下：(1)绘制需要仿真的电路图；(2)将电路图转换成Modelica仿真用的标准mo文件；(3)采用直流分析方法将仿真用的标准mo文件转换成直流分析mo文件；(4)采用小数据短步长方法对直流分析mo文件进行仿真，进而取得各器件的初始值数据表；(5)在步骤(4)中获得的各器件初始数据表中选出各器件的直流初始值，每个器件取最后一个值作为直流初始值；(6)恢复步骤(2)中的标准mo文件，将由步骤(5)得到的器件直流初始值加载到仿真文件中作为器件的初始值，重新进行带有器件初始值的短时间、大数据量仿真，并取得最终结果。本发明能提高仿真系统的速度，可以广泛应用于电路仿真优化领域中。

摘要： 本发明涉及一种基于统一建模语言活动图自动生成测试用例的方法及系统，方法包括将统一建模语言活动图转换为包括结点集合、边集合的集合，所述统一建模语言活动图用于描述被测软件用例的操作规程；从所述结点集合中提取从开始结点到叶子结点的路径，得到路径集合；将所述集合中的边集合与所述路径集合作为测试用例。系统包括转换模块、提取模块及生成模块。上述方案通过将被测软件的操作规程用户UML活动图表示，并将UML活动图转换为集合，结合场景生成了测试用例，解决了现有技术无法结合场景生成测试用例的问题。