期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5,705篇文章
< 1 2 … 250 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于UML的订单式指挥控制系统建模
1
作者 张欣月 吕卫民 +1 位作者 韦定江 阳东升 《指挥与控制学报》 北大核心 2025年第4期493-503,共11页
提出了一种基于统一建模语言的订单式指挥控制系统的建模方法,旨在提高军事指挥控制系统的效率和精确性。通过将作战任务以订单形式分配,实现了资源的高效利用和快速响应。概述了ODC2S的基本概念,介绍了UML在系统建模中的应用,包括需求... 提出了一种基于统一建模语言的订单式指挥控制系统的建模方法,旨在提高军事指挥控制系统的效率和精确性。通过将作战任务以订单形式分配,实现了资源的高效利用和快速响应。概述了ODC2S的基本概念,介绍了UML在系统建模中的应用,包括需求分析、系统结构、行为建模等。构建了ODC2S的类图、用例图、状态图、活动图和时间序列图,展示了系统的静态结构和动态行为。通过这些模型,分析了系统的关键特性,如并行处理、决策逻辑和异常处理机制。引入了反UUV作战的实例分析,通过构建应对体系展示了ODC2S如何进行统一指挥控制,增强了模型的实用性验证。 展开更多
关键词 订单式指挥控制系统 uml建模 系统动态分析 资源优化
在线阅读 下载PDF
基于UML语义模型的沉浸式虚拟现实数字媒体资产数据管理方式的研究与实践 被引量：1
2
作者 贾中原 朱光华 +1 位作者 刘琦 苏翼飞 《广播与电视技术》 2025年第5期47-51,共5页
随着虚拟现实技术的快速发展,沉浸式虚拟现实应用日益增多,其所依赖的数字媒体资产也呈现出数量大、种类多、关联复杂等特点。本文分析了沉浸式虚拟现实数字媒体资产的特点,指出四级编目的局限性,并提出了基于UML语义模型的新型数据管... 随着虚拟现实技术的快速发展,沉浸式虚拟现实应用日益增多,其所依赖的数字媒体资产也呈现出数量大、种类多、关联复杂等特点。本文分析了沉浸式虚拟现实数字媒体资产的特点,指出四级编目的局限性,并提出了基于UML语义模型的新型数据管理方式。通过使用UML类图、状态图和活动图分别描述资产的类型与关联、生命周期和管理流程,并结合语义Web技术,实现对沉浸式虚拟现实数字媒体资产的有效管理。 展开更多
关键词 沉浸式虚拟现实 数字媒体资产 数据管理 四级编目 uml语义模型
在线阅读 下载PDF
基于UML模型的用户界面自动生成
3
作者 董泽华 蒋建民 +2 位作者 李朝江 何清 马国栋 《计算机工程与设计》 北大核心 2025年第4期1208-1218,共11页
为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法... 为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法。为保证系统需求与用户界面之间的一致性,满足高可信软件的要求,提出一致性分析与检测方法。不同于传统低代码开发平台的拖、拉、拽操作方式,只需要建立软件系统领域概念模型和用例模型,即可全自动生成用户界面。以实例验证了该方法的可行性。 展开更多
关键词 uml模型 用户界面 形式化方法 低代码开发平台 模型驱动工程 一致性 高可信软件
在线阅读 下载PDF
“双一流”和“新工科”建设背景下基于“SC-DoPBL”的UML贯穿式案例教学
4
作者 孙莹 陈志 《计算机教育》 2025年第4期219-223,共5页
基于“双一流”和“新工科”建设的背景,针对UML课程传统教学过程中学生应用能力不及预期的问题,提出基于“SC-DoPBL”的UML贯穿式案例教学思路,从教学目标、教学内容、实践教学和课程评价几方面介绍教学实践,最后说明教学效果。
关键词 双一流 新工科 SC-DoPBL uml课程 贯穿式案例教学 软件工程
在线阅读 下载PDF
Web应用中UML到Event-B的系统性转换方法
5
作者 智玉华 邹盛荣 +1 位作者 刘晓莹 耿雪 《软件导刊》 2025年第8期112-120,共9页
在面向对象的软件开发过程中,UML被广泛应用于建模,但因其语义的不精确性使得模型难以进行形式化验证。同时,Event-B作为一种基于数学逻辑的形式化方法,尽管精确但难以理解。为了充分发挥两种方法的优势,提出一种将UML与Event-B形式化... 在面向对象的软件开发过程中,UML被广泛应用于建模,但因其语义的不精确性使得模型难以进行形式化验证。同时,Event-B作为一种基于数学逻辑的形式化方法,尽管精确但难以理解。为了充分发挥两种方法的优势,提出一种将UML与Event-B形式化方法相结合的解决方案,针对中型Web应用系统,提出了用例图、类图、顺序图、组件图和部署图5种UML图到Event-B的转换方法。通过将其应用于实际Web应用系统,并利用Rodin平台的证明器解除模型中的证明义务,验证了这一转换方法的可行性和有效性。该方法的应用,不仅提高了UML的精确性和系统的可靠性,减少了故障风险,还增强了形式化方法的可理解性,有助于其推广和应用。 展开更多
关键词 统一建模语言 形式化方法 EVENT-B WEB应用
在线阅读 下载PDF
基于UML的消防救援初战指挥程序研究
6
作者 冀卓 王佩 胡杰 《中国应急救援》 2025年第5期36-41,共6页
消防救援初战指挥是决定灭火救援行动成败的关键环节,但现有指挥程序存在职责不清、信息交互混乱等问题。本文针对初战指挥程序标准化需求,提出基于统一建模语言(UML)的指挥程序分析方法,构建功能模型、活动模型和时序模型,以规范指挥... 消防救援初战指挥是决定灭火救援行动成败的关键环节,但现有指挥程序存在职责不清、信息交互混乱等问题。本文针对初战指挥程序标准化需求,提出基于统一建模语言(UML)的指挥程序分析方法,构建功能模型、活动模型和时序模型,以规范指挥流程与信息交互。功能模型明确指挥者与侦察组、灭火救援组等对象的职责分工;活动模型划分“受领任务→途中指挥→灾情侦察→行动实施”等7项核心活动的逻辑序与并行性;时序模型揭示指挥者与灭火救援编组的信息交互时序。通过建筑火灾案例验证表明,模型可支持指挥员动态调整灭火救援方案,解决传统经验化指挥中信息流向模糊、时序混乱的痛点。研究成果为消防救援初战指挥提供结构化程序框架,有助于降低指挥失误导致的伤亡风险。 展开更多
关键词 消防救援 初战指挥 统一建模语言 指挥程序
在线阅读 下载PDF
基于UML的雷达软件系统安全性可靠性建模研究
7
作者 张永鹏 《火控雷达技术》 2025年第3期80-84,99,共6页
本文利用UML在建模方面的优势,通过对典型雷达系统软件功能建立用例图、静态类图、状态图、顺序图和活动图等系统模型,并根据雷达软件系统的特点开展安全性可靠性建模分析,获取安全性可靠性分析指导约束和准则,进行雷达软件系统的安全... 本文利用UML在建模方面的优势,通过对典型雷达系统软件功能建立用例图、静态类图、状态图、顺序图和活动图等系统模型,并根据雷达软件系统的特点开展安全性可靠性建模分析,获取安全性可靠性分析指导约束和准则,进行雷达软件系统的安全性可靠性建模,结果表明基于此方法在雷达软件系统设计过程中更加清晰、直观,对后续软件系统的高质量开发具有显著提升效果。 展开更多
关键词 uml 安全性 可靠性 质量
在线阅读 下载PDF
基于UML&SystemC的GPU命令处理器单元事务级建模
8
作者 庞建豪 张少锋 +1 位作者 郑沛洲 张智瑞 《山西电子技术》 2025年第2期91-94,共4页
命令处理器单元是连接图形处理应用和处理内核的桥梁,负责OpenGL命令的接收、调度和预处理,并实现部分OpenGL函数的功能。为了在软件和RTL设计之前对命令处理单元的体系结构和功能算法进行预先验证和优化,使用统一建模语言(Unified Mode... 命令处理器单元是连接图形处理应用和处理内核的桥梁,负责OpenGL命令的接收、调度和预处理,并实现部分OpenGL函数的功能。为了在软件和RTL设计之前对命令处理单元的体系结构和功能算法进行预先验证和优化,使用统一建模语言(Unified Modeling Language,UML)和SystemC硬件建模语言对GPU命令处理器单元进行事务级建模(Transaction-Level Modeling,TLM)。通过构建类图、结构图、行为图等UML视图模型对GPU命令处理单元的静态结构和动态行为进行分析。 展开更多
关键词 OpenGL命令 uml 事务级建模 SYSTEMC 命令处理单元
在线阅读 下载PDF
UML顺序图的鲁棒性分析 被引量：1
9
作者 张强 蒋建民 李建清 《郑州大学学报（理学版）》 CAS 北大核心 2024年第2期66-72,共7页
鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language,UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出... 鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language,UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出了基于统一结构的描述顺序图的方法和鲁棒性的形式定义,随后讨论顺序图在组合与精化条件下的保存问题。最后,在原型工具支持下进行实例研究。实验结果表明,设计阶段的顺序图能保持分析阶段顺序图的鲁棒性,从而可以给予从事面向对象的开发人员相关帮助及支持。 展开更多
关键词 uml 顺序图 鲁棒性 精化
在线阅读 下载PDF
基于UMCS树的UML类图的混合相似性度量 被引量：1
10
作者 袁中臣 马宗民 《计算机应用》 CSCD 北大核心 2024年第3期883-889,共7页
软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含... 软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含语义和结构信息。目前,UML类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于UML类图的非形式化特征,将UML类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。 展开更多
关键词 uml类图 模型转换 混合相似性 最大公共子图树 语义匹配 结构匹配
在线阅读 下载PDF
UML模型在信息系统需求分析中的应用 被引量：3
11
作者 胡振章 张治坤 《现代计算机》 2024年第12期62-66,78,共6页
系统需求分析是软件信息系统开发活动的起始环节,使用UML模型进行软件需求分析是目前面向对象的需求分析方法的一种重要方法,根据不同软件系统的需求描述,选取适当的UML分析模型从不同的角度对需求中的功能点进行描述,可以使系统用户、... 系统需求分析是软件信息系统开发活动的起始环节,使用UML模型进行软件需求分析是目前面向对象的需求分析方法的一种重要方法,根据不同软件系统的需求描述,选取适当的UML分析模型从不同的角度对需求中的功能点进行描述,可以使系统用户、需求分析人员以及未来的设计开发人员能通过多个角度观察目标系统的应用场景、业务流程、系统对象的状态变化;从抽象的维度了解目标系统的功能、系统对象之间的关系、业务规则和约束。通过一个用于车辆管理的信息化系统的需求分析过程,分别探讨了用例图、活动图(业务流程图)、状态转换图三种UML模型的适用场景和使用方法,以及在实践工作中的注意事项。为相似的信息化系统的需求分析实践提供一种可供参考的操作方法。 展开更多
关键词 uml 需求分析 用例图 活动图 状态图
在线阅读 下载PDF
UML类图的一致性分析 被引量：2
12
作者 谢嘉成 蒋建民 +1 位作者 陈华豪 唐国富 《软件导刊》 2024年第2期40-47,共8页
在面向对象开发过程中,UML类图作为表达系统静态结构的最主要方式,蕴含着大量结构信息,使得软件开发阶段各种层次类图之间的一致性难以得到保证。为保证UML类图的一致性,通常将形式化方法与UML类图结合起来对类图精化过程进行分析验证... 在面向对象开发过程中,UML类图作为表达系统静态结构的最主要方式,蕴含着大量结构信息,使得软件开发阶段各种层次类图之间的一致性难以得到保证。为保证UML类图的一致性,通常将形式化方法与UML类图结合起来对类图精化过程进行分析验证。然而在形式化过程中往往存在UML类图模型信息丢失或增加的问题。引入形式化模型统一结构不会丢失或增加信息,为此首先将UML类图描述为统一结构,给出精化函数的定义;其次给出验证精化函数有效性的算法;最后在开发的原型工具上进行实例验证。对精化过程的验证实验结果表明,该方法可以帮助设计人员及时发现并处理类图中存在的不一致现象。 展开更多
关键词 uml 类图 一致性 精化 形式化
在线阅读 下载PDF
基于UML与UPPAAL的高铁列控临时限速切换场景建模与验证
13
作者 周翔 《山东交通学院学报》 CAS 2024年第3期31-38,共8页
为提高高速铁路列控临时限速命令在临时限速服务器(temporary speed restriction server, TSRS)与无线闭塞中心(radio block center, RBC)跨界重叠区域信息传递过程的时效性和安全性,建立TSRS切换与RBC切换跨界重叠区域限速流程的数学模... 为提高高速铁路列控临时限速命令在临时限速服务器(temporary speed restriction server, TSRS)与无线闭塞中心(radio block center, RBC)跨界重叠区域信息传递过程的时效性和安全性,建立TSRS切换与RBC切换跨界重叠区域限速流程的数学模型,根据中国列车运行控制系统(Chinese train control system, CTCS)CTCS-2/CTCS-3高铁列控系统间临时限速命令交互的特点,采用统一建模语言(unified modeling language, UML)与时间自动机模型理论相结合的方法,采用形式化验证工具UPPAAL寻找临时限速命令在跨界重叠区域信息传递的不足和漏洞。研究结果表明:列控临时限速是高铁安全运行的重要组成部分,其与高铁列控高铁调度集中(centralized traffic control, CTC)、RBC、列控中心(train control center, TCC)等相关子系统有频繁的信息交互,不同子系统间信息传递过程不同,Timer(时间控制器)、Resend(重发控制器)、TSRS和RBC时间自动机数学模型验证结果为TSRS切换与RBC切换信息在跨界重叠区域的传递时间小于3 s,且时间自动机模型信息通道无锁死情况,大大提高高铁列车运行的时效性和安全性。 展开更多
关键词 临时限速 时间自动机 uml UPPAAL 高铁列控
在线阅读 下载PDF
基于UML和ASP的艺术类考试成绩查询系统设计与实现
14
作者 鲍建军 《科学技术创新》 2024年第12期96-99,共4页
本文采用统一建模语言UML对考试成绩查询系统进行建模,设计了基于UML的艺术类考试成绩查询系统模型,利用ASP技术实现考试成绩查询系统,大大提高艺术类考试成绩管理工作的效率和质量。
关键词 uml 面向对象方法 ASP 数据库 建模
在线阅读 下载PDF
基于UML的铁路信号图纸校核系统研究
15
作者 黄程辉 周荣 +2 位作者 宿世明 苏琛 吴阿龙 《铁路通信信号工程技术》 2024年第4期15-20,共6页
针对铁路信号系统存在的设备复杂度高、管理维护难等缺点,利用UML技术,依托现有的纸质版CAD图纸,将多元化的图纸进行数据化,通过车站数据库,构建铁路信号图纸校核系统,实现信号图纸的反向验证。介绍铁路信号图纸数据信息化的内容及原理... 针对铁路信号系统存在的设备复杂度高、管理维护难等缺点,利用UML技术,依托现有的纸质版CAD图纸,将多元化的图纸进行数据化,通过车站数据库,构建铁路信号图纸校核系统,实现信号图纸的反向验证。介绍铁路信号图纸数据信息化的内容及原理;对铁路信号图纸数据库进行介绍;从系统结构、测试范围、功能验证等方面详细介绍图纸校核系统。该图纸校核系统可以在工程实施中提供施工图审查、校核,提升现场作业效率。 展开更多
关键词 铁路信号系统 数据化 图纸校核 uml
在线阅读 下载PDF
一种UML模型跨图一致性检查系统设计与实现 被引量：1
16
作者 袁薇 孙康健 +1 位作者 张雪 吕韬 《信息技术与信息化》 2024年第10期35-39,共5页
统一建模语言是获取系统需求、进行系统设计的重要手段,使用多种UML模型图对同一软件进行描述和表达时,多个模型图中的对象命名、逻辑关系可能出现不一致的情况。现有可视化UML建模工具大多只在某一种模型图内部进行正确性检查,或依赖... 统一建模语言是获取系统需求、进行系统设计的重要手段,使用多种UML模型图对同一软件进行描述和表达时,多个模型图中的对象命名、逻辑关系可能出现不一致的情况。现有可视化UML建模工具大多只在某一种模型图内部进行正确性检查,或依赖于人工进行跨图的一致性检查。随着软件系统规模的不断增大和逻辑复杂性的增高,仅依赖于人工难免存在疏漏。对此,设计并实现了一种基于规则的UML模型跨图一致性检查系统。用户上传的模型文件被解析后,采用所提出的7条规则,通过OCL描述对上述组件进行模型分析和跨图一致性检查。其中,模型分析包括词法分析、逻辑结构分析等,一致性检查规则包括类图、状态图、顺序图的相关规则。通过实现与验证,所设计的系统能有效地检测类图、顺序图等图中的不一致问题。 展开更多
关键词 uml 可视化建模 模型解析 一致性检查 对象约束语言
在线阅读 下载PDF
一种基于UML的高校学生常用业务建模分析与设计
17
作者 孙幸福 闫梦茹 +3 位作者 曹军驰 刘鐥博 孙陆鹏 王平 《中国科技信息》 2024年第15期65-68,共4页
随着全国各高校招生人数的增加,高校信息管理的有关业务变得复杂,传统业务流程模式下的高校信息管理暴露了信息传递慢,信息传递量大,工作步骤复杂,工作效率低,并且大部分学生面对业务问题感到迷茫,很难有人能一对一的帮忙解答。由于业... 随着全国各高校招生人数的增加,高校信息管理的有关业务变得复杂,传统业务流程模式下的高校信息管理暴露了信息传递慢,信息传递量大,工作步骤复杂,工作效率低,并且大部分学生面对业务问题感到迷茫,很难有人能一对一的帮忙解答。由于业务流程的复杂性和多样性。 展开更多
关键词 高校信息管理 信息传递 业务建模 uml 业务流程 工作步骤 工作效率 传递量
在线阅读 下载PDF
带有并发行为的UML状态机图的形式语义
18
作者 陈华豪 蒋建民 +2 位作者 谢嘉成 陈卓然 唐国富 《计算机技术与发展》 2024年第5期87-94,共8页
在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、C... 在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、CHAM化学抽象机等作为状态机图的形式语义,但这些语义都是行为语义,并没有从结构上直接形成体现真并发的形式语义。该文提出一种新的模型——统一结构模型作为带有并发行为的UML状态机图的形式语义,该模型不会增加或减少状态机图的任何信息。基于统一结构模型首先定义了状态机图的格局(全局状态),用于表现状态机图的执行过程,并且给出了UML状态机图的格局的转换规则,说明格局如何在状态机图中执行,在此基础上给出了状态机图的可达性算法,然后还对状态机图的死锁等性质进行了介绍,最后开发出一个原型工具,实现了状态机图的可达性分析,并用实例说明了该方法的应用。 展开更多
关键词 统一建模语言 状态机图 形式化模型 并发行为 可达性 死锁
在线阅读 下载PDF
基于UML的数控系统人机界面开发研究
19
作者 杨小辉 《中国宽带》 2024年第3期130-132,共3页
本文应用UML技术对界面进行设计,重新创建了数控系统人机界面框架以及布局界面元素,并通过仿真检测证明能够满足数控系统用户需求、交互关系以及结构要求,而且系统内部各个模块的交互可实现数值输入、画面定义以及字符显示功能。期望用... 本文应用UML技术对界面进行设计,重新创建了数控系统人机界面框架以及布局界面元素,并通过仿真检测证明能够满足数控系统用户需求、交互关系以及结构要求,而且系统内部各个模块的交互可实现数值输入、画面定义以及字符显示功能。期望用户在使用数控系统人机界面过程中,感受数控系统的人机交互的功能性转变。 展开更多
关键词 uml 数控系统 人机界面开发
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 250 下一页 到第 页
使用帮助 返回顶部