检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

uml状态机模型形式化验证技术研究

计算机工程与设计 2012年第9期33卷 3460-3464页

作者：侯敏宋文鹏王泊涵王新冶中国航天科工集团第二研究院706所北京100854

系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对uml状态机模型进行动态语义验证的方法。对状态机模型进行... 详细信息

系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对uml状态机模型进行动态语义验证的方法。对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果。

关键词： uml状态机模型检查形式化验证符号模型检查器

在线全文

学校读者我要写书评

暂无评论

uml状态机到B形式化规约的转换

微电子学与计算机 2005年第8期22卷 80-84页

作者：肖健宇张德运董皓陈海诠西安交通大学电子与信息工程学院

文章研究在高可信软件工程中集成形式化方法。以软件设计的uml状态机模型为起点,将其转换为B形式化模型,然后在B工具环境中遵循B方法的精化原则和正确性验证方法,开发出可靠的实现模型。提出一套从uml状态机到B形式化规约的转换规则,涵... 详细信息

文章研究在高可信软件工程中集成形式化方法。以软件设计的uml状态机模型为起点,将其转换为B形式化模型,然后在B工具环境中遵循B方法的精化原则和正确性验证方法,开发出可靠的实现模型。提出一套从uml状态机到B形式化规约的转换规则,涵盖uml基本状态图、分层状态图和并发状态图。实例分析表明,这套转换规则行之有效。

关键词： uml状态机形式化方法 B方法高可信软件工程

uml状态机与框架技术在嵌入式系统中的应用

在线全文

学校读者我要写书评

暂无评论

软件导刊 2014年第5期13卷 49-50页

作者：楼伟刚上海交通大学上海200240

嵌入式系统中运用uml状态机和框架复用技术,在提高嵌入式系统开发效率、保证系统可靠性及系统可维护等方面有积极意义。相对于传统有限状态机,用uml状态机描述的嵌入式系统具有高度结构化、逻辑清晰、图形可视等特点。以基于Quantum Pla... 详细信息

嵌入式系统中运用uml状态机和框架复用技术,在提高嵌入式系统开发效率、保证系统可靠性及系统可维护等方面有积极意义。相对于传统有限状态机,用uml状态机描述的嵌入式系统具有高度结构化、逻辑清晰、图形可视等特点。以基于Quantum Platform框架在嵌入式系统的应用为例,介绍了一种基于uml状态机的图形化建模开发和代码自动生成方法。该方法基于Quantum Platform框架以及相关开发组件,具有快速开发、方便调试、多平台移植、支持底层8位/16位低端单片机等特点。

关键词：嵌入式开发 uml状态机图形化建模 Quantum Platform框架

基于uml与Qt状态机的联锁仿真试验记录分析方法研究

在线全文

学校读者我要写书评

暂无评论

基于UML与Qt状态机的联锁仿真试验记录分析方法研究

作者：王涵兰州交通大学

学位级别：硕士

联锁系统是保证列车运行安全的关键系统,各阶段联锁仿真试验流程是联锁系统安全性验证的必要环节。传统由电务段主导的联锁仿真试验过程中由于人为试验的不确定及不稳定因素导致的试验项漏测、错测等问题层出不穷。因此,保证电务段联锁... 详细信息

联锁系统是保证列车运行安全的关键系统,各阶段联锁仿真试验流程是联锁系统安全性验证的必要环节。传统由电务段主导的联锁仿真试验过程中由于人为试验的不确定及不稳定因素导致的试验项漏测、错测等问题层出不穷。因此,保证电务段联锁仿真试验的全面性和准确性,实现对联锁仿真试验过程的实时记录分析,以及对试验人员自行判断和标记测试项过程的监督成为亟需解决的问题。论文采用基于模型的方法构建以进路为单位的各阶段统一建模语言(Unified Modeling Language,uml)状态机模型,并利用符号模型验证器(New Symbolic Model Verifier,Nu SMV)语言对其需要满足的联锁逻辑关系进行形式化验证,进而将验证通过的uml状态机模型添加至Qt状态机框架下实现自动运行。通过实时输入的人工操作信息及站场设备状态变化信息,实现状态机模型中各状态的自动转换与正确测试项的及时标记,从而对联锁仿真试验过程进行记录分析。论文主要工作如下:(1)与传统的基于测试车站拓扑结构的建模方法不同,提出了一种面向电务段主导的联锁仿真试验测试项,且以进路为基础的uml状态机建模方法。该建模方法可适用于不同测试站场,具有良好的联锁模型的通用性及复用性,避免了联锁试验站场数据定制化等相关问题。(2)以某一标准站场为例,建立需满足联锁控制逻辑的各设备uml类图与状态机图等模型,并结合uml与Nu SMV模型在语义和结构等方面相对应的转换规则,对建立的进路各阶段状态机模型需满足的联锁逻辑关系进行严格的形式化验证,有效确保状态机转换关系的正确性,为后续状态机的有序运行奠定良好基础。(3)uml状态机模型联锁逻辑关系验证无误后,采用Qt状态机对模型中联锁逻辑关系进行定义,并对各状态的触发、事件及转换关系做详细分析和声明,并在实现状态机运行过程中,严格依据试验过程中输入的人工操作信息以及读取到的各设备状态前后变化,实现状态机各状态间的正确转换并标记相关测试项,保证了仿真试验过程中联锁逻辑关系记录分析的准确性,试验人员可通过与状态机匹配的测试项结果进行比对的方式,及时发现自身试验中的漏测项和错测项。(4)设计并开发了一种适用于不同测试站场的联锁仿真试验记录分析系统。该系统以建立的联锁模型为框架,以联锁表、试验检查表等规范资料作为输入信息,实现对不同测试站场的数据导入、试验表格生成及对联锁试验过程的结果判定、试验进度显示和试验测试报告生成等功能。试验人员可对测试项标记结果进行及时对比分析,适时调整自身试验进度,解决联锁仿真试验过程中可能存在的试验项目测试不全面、试验过程进行不彻底等问题,从而达到较好的联锁仿真试验效果,弥补了人为把控联锁试验质量的管理漏洞。

关键词：联锁测试仿真试验记录分析 uml状态机 Qt框架

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

嵌入式系统内的uml状态机和框架技术分析

数字技术与应用 2017年第2期35卷 179-179页

作者：王海珍内蒙古民族大学内蒙古通辽028000

将uml状态机以及框架技术应用到嵌入式系统当中,不仅可以提高系统的开发效率,同时还可以确保系统运行的可靠性。与传统的有限状态机相比,uml状态机描述出来的嵌入式系统体现出了图形可视、逻辑通顺以及结构清晰等特征。本文以Quantum Pl... 详细信息

将uml状态机以及框架技术应用到嵌入式系统当中,不仅可以提高系统的开发效率,同时还可以确保系统运行的可靠性。与传统的有限状态机相比,uml状态机描述出来的嵌入式系统体现出了图形可视、逻辑通顺以及结构清晰等特征。本文以Quantum Platform框架为例,展开了嵌入式系统的相关应用分析。

关键词：嵌入式系统 uml状态机框架技术

动态重组子网的Petri网飞机虚拟维修过程建模与仿真

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2021年第7期38卷 93-99页

作者：钱文高马红岩耿宏中国民航大学电子信息与自动化学院天津300300 中国民航大学基础实验中心天津300300

针对大型民用飞机虚拟维修仿真中部件繁多、维修行为关系复杂、模型庞大等问题,提出可动态重组子网的Petri网飞机虚拟维修过程建模方法。使用uml状态机建立维修实体状态迁移元模型,以规范维修实体的维修行为,并将其转化为Petri网子网模... 详细信息

针对大型民用飞机虚拟维修仿真中部件繁多、维修行为关系复杂、模型庞大等问题,提出可动态重组子网的Petri网飞机虚拟维修过程建模方法。使用uml状态机建立维修实体状态迁移元模型,以规范维修实体的维修行为,并将其转化为Petri网子网模型;依据部件间的联结关系构建双向邻接矩阵,约束各子网间的维修行为关系,进而建立可动态重组子网的虚拟维修过程模型。通过空客A320飞机交输活门作动筒组件的拆卸仿真实例验证了该模型的有效性。

关键词：飞机虚拟维修 uml状态机 Petri网动态重组子网过程模型

在线全文

学校读者我要写书评

暂无评论

飞机协同维修仿真的交互状态机模型

计算机工程与设计 2020年第1期41卷 297-300,F0003页

作者：董健康姜乃心耿宏中国民航大学电子信息与自动化学院

针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用uml状态机建立维修人员、操作对象的状态转移模型,基于操作对象间的约束关系、操作对象-维修场景-维修人员的关系建立行为交互模型,将行为交互模型与... 详细信息

针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用uml状态机建立维修人员、操作对象的状态转移模型,基于操作对象间的约束关系、操作对象-维修场景-维修人员的关系建立行为交互模型,将行为交互模型与状态转移模型融合,得到交互状态机模型,实现不同维修场景间的交互及状态变迁,给出模型的数学表达和图形化描述,使场景中实体对象的表达更加规范、统一,提高建模效率。以ADIRU排故为例,在分布式虚拟维修仿真平台上进行验证。

关键词：协同维修 uml状态机状态转移模型行为交互模型交互状态机模型

在线全文

学校读者我要写书评

暂无评论

基于动作类的虚拟拆装过程运动建模仿真

现代电子技术 2019年第6期42卷 149-153页

作者：王常乐王启峰中国民航大学电子信息与自动化学院天津300300

针对装备拆装过程存在的拆装对象动作繁多,缺乏对各种零部件拆装动作的统一,不便于仿真实现的问题,提出维修拆装动作类对拆装运动进行描述,结合uml拆装执行基本拆装动作次数的不同,结合面向对象的思想提出了拆装动作类的概念,对拆装过... 详细信息

针对装备拆装过程存在的拆装对象动作繁多,缺乏对各种零部件拆装动作的统一,不便于仿真实现的问题,提出维修拆装动作类对拆装运动进行描述,结合uml拆装执行基本拆装动作次数的不同,结合面向对象的思想提出了拆装动作类的概念,对拆装过程中具有相同动作次数的零部件做统一描述。利用uml建立拆装动作类的类图,结合状态机和拆装动作类建立拆装过程的运动模型。拆装仿真实例验证了动作类和拆装运动模型的可行性和实用性。

关键词：虚拟维修面向对象思想动作类运动建模 uml状态机实例验证

关于飞行模拟训练器电子仪表组件仿真模型研究

在线全文

学校读者我要写书评

暂无评论

电子测量技术 2020年第5期43卷 1-5页

作者：李会茹陈又军黄欢中国民航飞行学院模拟机训练中心广汉618307

在模拟机电子仪表仿真中,针对仪表参数众多,且显示复杂的问题(参数随飞行状态改变),提出基于uml状态机和动态数据库相结合的建模方法建立仪表模型。利用uml状态机规范化仪表显示模型中元素的表达,增强了模型的可移植性。运用动态数据库... 详细信息

在模拟机电子仪表仿真中,针对仪表参数众多,且显示复杂的问题(参数随飞行状态改变),提出基于uml状态机和动态数据库相结合的建模方法建立仪表模型。利用uml状态机规范化仪表显示模型中元素的表达,增强了模型的可移植性。运用动态数据库建立仪表的消息分层传递机制,将动态信息流分层,实现仿真仪表上信息流的层次化表达。最后,以A320下ECAM显示的液压系统为例,对液压页面显示功能进行验证,表明该模型建立的合理性和有效性。

关键词：电子仪表 uml状态机动态数据库 ECAM显示模拟仿真