UML状态机

作品数：18被引量：79H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张德运肖健宇董皓陈海诠林东更多>>
相关机构：中国民航大学西安交通大学中国科学技术大学国防大学更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《软件导刊》《数字技术与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划天津市科技攻关计划霍英东青年教师基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带有并发行为的UML状态机图的形式语义
《计算机技术与发展》2024年第5期87-94,共8页陈华豪 蒋建民 谢嘉成 陈卓然 唐国富 
科技部重点研发计划(2022YFB3305104);国家自然科学基金(61772004);成都信息工程大学人才科研基金(KYTZ202009)。
在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、C...
关键词：统一建模语言 状态机图 形式化模型 并发行为 可达性 死锁 
动态重组子网的Petri网飞机虚拟维修过程建模与仿真被引量：3
《计算机应用与软件》2021年第7期93-99,共7页钱文高 马红岩 耿宏 
天津市科技攻关计划重点项目(06YFGZGX00700);中国民用航空局科技项目(MY0517413);中国民航大学实验技术创新基金项目(2018CXJJ11)。
针对大型民用飞机虚拟维修仿真中部件繁多、维修行为关系复杂、模型庞大等问题,提出可动态重组子网的Petri网飞机虚拟维修过程建模方法。使用UML状态机建立维修实体状态迁移元模型,以规范维修实体的维修行为,并将其转化为Petri网子网模...
关键词：飞机虚拟维修 UML状态机 PETRI网 动态重组子网 过程模型 
关于飞行模拟训练器电子仪表组件仿真模型研究被引量：5
《电子测量技术》2020年第5期1-5,共5页李会茹 陈又军 黄欢 
民航局重大专项(MHRD20130108);四川省科技厅项目(2018GZYZF0068);学院飞行仿真研究中心项目(JG2018-07)资助。
在模拟机电子仪表仿真中,针对仪表参数众多,且显示复杂的问题(参数随飞行状态改变),提出基于UML状态机和动态数据库相结合的建模方法建立仪表模型。利用UML状态机规范化仪表显示模型中元素的表达,增强了模型的可移植性。运用动态数据库...
关键词：电子仪表 UML状态机 动态数据库 ECAM显示 模拟仿真 
UML状态机图的建模分析
《科学与信息化》2020年第4期26-26,28,共2页商鹏 
状态机图是统一建模语言UML中的动态模型图,用来描述一个实体基于事件反应的动态行为.要研究某个实体或对象的单独的行为及状态变化,可以使用状态机模型图来表示.本文对状态机图进行了介绍,并通过实例进行状态机图的建模分析.
关键词：状态机 单个对象 建模 
飞机协同维修仿真的交互状态机模型被引量：1
《计算机工程与设计》2020年第1期297-300,F0003,共5页董健康 姜乃心 耿宏 
中美绿色航线合作基金项目(GH21661279)
针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用UML状态机建立维修人员、操作对象的状态转移模型,基于操作对象间的约束关系、操作对象-维修场景-维修人员的关系建立行为交互模型,将行为交互模型与...
关键词：协同维修 UML状态机 状态转移模型 行为交互模型 交互状态机模型 
基于动作类的虚拟拆装过程运动建模仿真被引量：4
《现代电子技术》2019年第6期149-153,共5页王常乐 王启峰 
国家自然科学基金重点项目(60832011);天津市科技攻关计划重点项目(06YFGZGX00700)~~
针对装备拆装过程存在的拆装对象动作繁多,缺乏对各种零部件拆装动作的统一,不便于仿真实现的问题,提出维修拆装动作类对拆装运动进行描述,结合UML拆装执行基本拆装动作次数的不同,结合面向对象的思想提出了拆装动作类的概念,对拆装过...
关键词：虚拟维修 面向对象思想 动作类 运动建模 UML状态机 实例验证 
嵌入式系统内的UML状态机和框架技术分析
《数字技术与应用》2017年第2期179-179,共1页王海珍 
将UML状态机以及框架技术应用到嵌入式系统当中,不仅可以提高系统的开发效率,同时还可以确保系统运行的可靠性。与传统的有限状态机相比,UML状态机描述出来的嵌入式系统体现出了图形可视、逻辑通顺以及结构清晰等特征。本文以Quantum Pl...
关键词：嵌入式系统 UML状态机 框架技术 
层次化UML状态机在拆装过程仿真中的应用被引量：9
《图学学报》2014年第3期481-485,共5页陈静杰 李会茹 曾学锋 
国家自然科学基金重点资助项目(60832011);天津市科技攻关计划重点资助项目(06YFGZGX00700);中央高校基本科研业务费专项资助项目(ZXH2012B001)
针对目前飞机维修培训中拆装流程复杂,系统模型繁多的问题,采用层次化分析法和UML状态机相结合的建模方法,建立飞机组件的拆装过程模型。运用UML状态机建立拆卸组件的状态、迁移和约束模型,规范拆卸零部件模型的统一性表达,提高建模的...
关键词：维修培训 层次化分析 状态机 拆装模型 
UML状态机与框架技术在嵌入式系统中的应用被引量：1
《软件导刊》2014年第5期49-50,共2页楼伟刚 
嵌入式系统中运用UML状态机和框架复用技术,在提高嵌入式系统开发效率、保证系统可靠性及系统可维护等方面有积极意义。相对于传统有限状态机,用UML状态机描述的嵌入式系统具有高度结构化、逻辑清晰、图形可视等特点。以基于Quantum Pla...
关键词：嵌入式开发 UML状态机 图形化建模 QUANTUM Platform框架 
从行为树转换到UML状态机来验证系统需求被引量：4
《计算机工程与设计》2013年第10期3710-3716,共7页解方 段富 
山西科技攻关基金项目(2008032208)
定义了从行为树到统一建模语言状态机的转换。行为树是一种图形化建模方法,它能够抓取和形式化自然语言描写的需求的系统的动态行为,但是在软件开发过程中,人们更广泛的使用UML状态机。把这两种方法结合到一起提供了一种从自然语言需求...
关键词：需求验证 行为树 模型转换 统一建模语言 状态机 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部