公共文化服务平台

搜索到3574篇“ 基于UML“的相关文章

基于UML的铁路信号图纸校核系统研究: 2024年; 针对铁路信号系统存在的设备复杂度高、管理维护难等缺点,利用UML技术,依托现有的纸质版CAD图纸,将多元化的图纸进行数据化,通过车站数据库,构建铁路信号图纸校核系统,实现信号图纸的反向验证。介绍铁路信号图纸数据信息化的内容及原理;对铁路信号图纸数据库进行介绍;从系统结构、测试范围、功能验证等方面详细介绍图纸校核系统。该图纸校核系统可以在工程实施中提供施工图审查、校核,提升现场作业效率。; 黄程辉周荣宿世明苏琛吴阿龙; 关键词：铁路信号系统 UML

基于UML和ASP的艺术类考试成绩查询系统设计与实现: 2024年; 本文采用统一建模语言UML对考试成绩查询系统进行建模,设计了基于UML的艺术类考试成绩查询系统模型,利用ASP技术实现考试成绩查询系统,大大提高艺术类考试成绩管理工作的效率和质量。; 鲍建军; 关键词：UML 面向对象方法 ASP

基于UML与UPPAAL的高铁列控临时限速切换场景建模与验证: 2024年; 为提高高速铁路列控临时限速命令在临时限速服务器(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

基于UML状态图的PLC程序测试路径生成方法: 2024年; 为了提高可编程序控制器程序的测试效率,提出一种基于统一建模语言状态图的可编程序控制器程序测试路径生成方法。这一方法利用反蚁群算法生成测试路径,可以避免测试路径过多导致的爆炸问题。通过人工蚂蚁搜索未被遍历或信息素最小的顶点,得到测试路径,在满足测试路径充分性覆盖准则的同时,确保数量适中。通过案例试验,验证了方法的可行性和有效性,能够避免与其它文本重复。; 聂红红高伟哲; 关键词：统一建模语言状态图可编程序控制器

一种基于UML的高校学生常用业务建模分析与设计: 2024年; 随着全国各高校招生人数的增加,高校信息管理的有关业务变得复杂,传统业务流程模式下的高校信息管理暴露了信息传递慢,信息传递量大,工作步骤复杂,工作效率低,并且大部分学生面对业务问题感到迷茫,很难有人能一对一的帮忙解答。由于业务流程的复杂性和多样性。; 孙幸福闫梦茹曹军驰刘鐥博孙陆鹏王平; 关键词：高校信息管理信息传递 UML

基于UML-NuSMV的并发系统建模与验证: 2024年; 为解决直接建立系统NuSMV(符号模型检测器)模型的困难,提出一种从UML(统一建模语言)模型转换到NuSMV模型的方法,实现了UML与NuSMV结合的形式化验证.首先,使用UML中的视图对系统进行描述,建立系统的UML模型;然后,设计转换规则并给出转换算法,实现从UML模型到NuSMV模型的自动转换;最后,使用计算树逻辑对系统的属性进行描述,并通过NuSMV完成对系统的形式化验证.以一个双按键并发电梯系统为例,说明了基于UML-NuSMV的并发系统建模与验证过程.; 马占有郭昊李召恺李健祥; 关键词：统一建模语言并发系统

基于UML的教师进修管理系统分析与设计: 2024年; 本文借助统一建模语言(unified modeling language,UML)在系统研发环节的应用,分析和设计教师进修管理系统框架,简化操作流程,规范管理事务,营造学习氛围,让教师随时学习领域、行业、企业的前沿理论和实操案例,实现优质教学服务,提升教师进修管理工作的效率和服务水平。; 勾鹏; 关键词：系统设计

基于UML的系统模型的完整性检查方法: 本发明提供一种基于UML的系统模型的完整性检查方法，首先为每个约束提取出潜在违反结构事件类型，然后确定约束相对于其潜在违反结构事件类型的最佳上下文类型并基于最佳上下文类型重新定义优化的约束，得到等价替代约束，之后确定潜在...; 刘木强薄格

基于UML活动图和状态机图仿真过程的序列图自动生成方法: 本发明公开了一种基于UML活动图和状态机图仿真过程的序列图自动生成方法，包括以下步骤：S01、将接受数据分别进行分类、辨识，以确定仿真该数据为活动图和状态机图中的哪一类；S02、基于确定的通过仿真活动图和状态机图，转化为...; 刘玉生曹兴伦

一种基于UML模型的测试设计方法及相关产品: 本申请公开了一种基于UML模型的测试设计方法及相关产品。该方法包括：根据预先建立的UML模型中的用例图确定参与者的标识；根据参与者的标识、活动图、协作图和类图确定参与者所涉及的测试场景和对应的测试数据；根据类图、序列图和...; 梁潇成文牛晔李辉吕元旭

相关作者