检索结果-维普期刊中文期刊服务平台

基于UML状态机与B方法的高可信嵌入式软件开发被引量：6: 1; 作者肖健宇张德运 +1 位作者陈海诠董皓《计算机工程》 EI CAS CSCD 北大核心 2006年第8期64-66,共3页; 提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模... 展开更多; 关键词 B方法形式化方法 uml状态机嵌入式软件高可信软件工程; 在线阅读下载PDF 职称材料

基于改进蚁群算法UML状态机图的测试用例生成被引量：4: 2; 作者任洪丽张伟李文瑞《计算机工程与设计》 CSCD 北大核心 2010年第17期3835-3837,3928,共4页; 为了减少测试工作量,防止测试用例数目过多而导致爆炸,提出了使用改进的蚁群算法直接从UML状态机图中生成测试用例的方法。利用UML状态图是对系统可能的生命历程进行建模,由于状态图具有直观性,所以简化了生成测试用例过程,从而减少了... 展开更多; 关键词软件测试测试用例 uml状态机图蚁群算法有向图; 在线阅读下载PDF 职称材料

UML状态机模型形式化验证技术研究被引量：3: 3; 作者侯敏宋文鹏 +1 位作者王泊涵王新冶《计算机工程与设计》 CSCD 北大核心 2012年第9期3460-3464,共5页; 系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法。对状态机模型进行... 展开更多; 关键词 uml状态机模型检查形式化验证符号模型检查器; 在线阅读下载PDF 职称材料

基于UML实时状态图的定量分析被引量：6: 4; 作者沙静蒋昌俊《系统仿真学报》 EI CAS CSCD 北大核心 2008年第8期1957-1960,共4页; 在实时系统的开发过程中,时间上的约束在系统早期的定量分析中起着非常重要的作用。UML作为一种图形化、面向对象的建模语言,其中的实时特性描述文件UML Profile for Schedulability,Performance and Time适用于对实时系统的刻画。在给... 展开更多; 关键词定量分析实时uml状态机随机PETRI网 GSM模块; 在线阅读下载PDF 职称材料

飞机协同维修仿真的交互状态机模型被引量：1: 5; 作者董健康姜乃心耿宏《计算机工程与设计》北大核心 2020年第1期297-300,F0003,共5页; 针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用UML状态机建立维修人员、操作对象的状态转移模型,基于操作对象间的约束关系、操作对象-维修场景-维修人员的关系建立行为交互模型,将行为交互模型与... 展开更多; 关键词协同维修 uml状态机状态转移模型行为交互模型交互状态机模型; 在线阅读下载PDF 职称材料

关于飞行模拟训练器电子仪表组件仿真模型研究被引量：5: 6; 作者李会茹陈又军黄欢《电子测量技术》 2020年第5期1-5,共5页; 在模拟机电子仪表仿真中,针对仪表参数众多,且显示复杂的问题(参数随飞行状态改变),提出基于UML状态机和动态数据库相结合的建模方法建立仪表模型。利用UML状态机规范化仪表显示模型中元素的表达,增强了模型的可移植性。运用动态数据库... 展开更多; 关键词电子仪表 uml状态机动态数据库 ECAM显示模拟仿真; 在线阅读下载PDF 职称材料

基于动作类的虚拟拆装过程运动建模仿真被引量：4: 7; 作者王常乐王启峰《现代电子技术》北大核心 2019年第6期149-153,共5页; 针对装备拆装过程存在的拆装对象动作繁多,缺乏对各种零部件拆装动作的统一,不便于仿真实现的问题,提出维修拆装动作类对拆装运动进行描述,结合UML拆装执行基本拆装动作次数的不同,结合面向对象的思想提出了拆装动作类的概念,对拆装过... 展开更多; 关键词虚拟维修面向对象思想动作类运动建模 uml状态机实例验证; 在线阅读下载PDF 职称材料

动态重组子网的Petri网飞机虚拟维修过程建模与仿真被引量：3: 8; 作者钱文高马红岩耿宏《计算机应用与软件》北大核心 2021年第7期93-99,共7页; 针对大型民用飞机虚拟维修仿真中部件繁多、维修行为关系复杂、模型庞大等问题,提出可动态重组子网的Petri网飞机虚拟维修过程建模方法。使用UML状态机建立维修实体状态迁移元模型,以规范维修实体的维修行为,并将其转化为Petri网子网模... 展开更多; 关键词飞机虚拟维修 uml状态机 PETRI网动态重组子网过程模型; 在线阅读下载PDF 职称材料

题名基于UML状态机与B方法的高可信嵌入式软件开发被引量：6: 1; 作者肖健宇张德运陈海诠董皓; 机构湖南涉外经济学院计算机系西安交通大学电子与信息工程学院; 出处《计算机工程》 EI CAS CSCD 北大核心 2006年第8期64-66,共3页; 基金国家"863"计划基金资助项目(863-301-05-03); 文摘提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高高可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。; 关键词 B方法形式化方法 uml状态机嵌入式软件高可信软件工程; Keywords Bmethod Formal method uml state machine Embedded software High-confidence software engineering; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于改进蚁群算法UML状态机图的测试用例生成被引量：4: 2; 作者任洪丽张伟李文瑞; 机构江南大学信息学院; 出处《计算机工程与设计》 CSCD 北大核心 2010年第17期3835-3837,3928,共4页; 文摘为了减少测试工作量,防止测试用例数目过多而导致爆炸,提出了使用改进的蚁群算法直接从UML状态机图中生成测试用例的方法。利用UML状态图是对系统可能的生命历程进行建模,由于状态图具有直观性,所以简化了生成测试用例过程,从而减少了测试的工作量。通过构造人工蚁群以及动态更新信息素矩阵,让蚂蚁选择还没有搜索或边信息素最小的顶点,确保了测试用例的数量既满足测试需求,又不会过多。通过编写算法及模拟仿真,对该算法的可行性和有效性做了验证和仿真分析。; 关键词软件测试测试用例 uml状态机图蚁群算法有向图; Keywords software testing test cases uml state machine diagrams improved ant colony optimization directed graph; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名UML状态机模型形式化验证技术研究被引量：3: 3; 作者侯敏宋文鹏王泊涵王新冶; 机构中国航天科工集团第二研究院; 出处《计算机工程与设计》 CSCD 北大核心 2012年第9期3460-3464,共5页; 文摘系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法。对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果。; 关键词 uml状态机模型检查形式化验证符号模型检查器; Keywords uml StateMachine model check formal verification symbolic model verifier（SMV）; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于UML实时状态图的定量分析被引量：6: 4; 作者沙静蒋昌俊; 机构同济大学电信学院; 出处《系统仿真学报》 EI CAS CSCD 北大核心 2008年第8期1957-1960,共4页; 基金网格层次模型及其理论(60125205); 文摘在实时系统的开发过程中,时间上的约束在系统早期的定量分析中起着非常重要的作用。UML作为一种图形化、面向对象的建模语言,其中的实时特性描述文件UML Profile for Schedulability,Performance and Time适用于对实时系统的刻画。在给定系统的实时状态图基础上,用相对应的随机Petri网模型进行定量分析,得到实时系统最终的分析结果,对系统开发有重要的指导意义。; 关键词定量分析实时uml状态机随机PETRI网 GSM模块; Keywords quantitative analysis real-time uml State machine stochastic Petri nets GSM module; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名飞机协同维修仿真的交互状态机模型被引量：1: 5; 作者董健康姜乃心耿宏; 机构中国民航大学电子信息与自动化学院; 出处《计算机工程与设计》北大核心 2020年第1期297-300,F0003,共5页; 基金中美绿色航线合作基金项目(GH21661279); 文摘针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用UML状态机建立维修人员、操作对象的状态转移模型,基于操作对象间的约束关系、操作对象-维修场景-维修人员的关系建立行为交互模型,将行为交互模型与状态转移模型融合,得到交互状态机模型,实现不同维修场景间的交互及状态变迁,给出模型的数学表达和图形化描述,使场景中实体对象的表达更加规范、统一,提高建模效率。以ADIRU排故为例,在分布式虚拟维修仿真平台上进行验证。; 关键词协同维修 uml状态机状态转移模型行为交互模型交互状态机模型; Keywords collaborative maintenance uml state machine state transition model behavioral interaction model interactive state machine model; 分类号 TP319.9 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名关于飞行模拟训练器电子仪表组件仿真模型研究被引量：5: 6; 作者李会茹陈又军黄欢; 机构中国民航飞行学院模拟机训练中心; 出处《电子测量技术》 2020年第5期1-5,共5页; 基金民航局重大专项(MHRD20130108) 四川省科技厅项目(2018GZYZF0068) 学院飞行仿真研究中心项目(JG2018-07)资助。; 文摘在模拟机电子仪表仿真中,针对仪表参数众多,且显示复杂的问题(参数随飞行状态改变),提出基于UML状态机和动态数据库相结合的建模方法建立仪表模型。利用UML状态机规范化仪表显示模型中元素的表达,增强了模型的可移植性。运用动态数据库建立仪表的消息分层传递机制,将动态信息流分层,实现仿真仪表上信息流的层次化表达。最后,以A320下ECAM显示的液压系统为例,对液压页面显示功能进行验证,表明该模型建立的合理性和有效性。; 关键词电子仪表 uml状态机动态数据库 ECAM显示模拟仿真; Keywords electronic instrument uml state dynamic database ECAM display simulation; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于动作类的虚拟拆装过程运动建模仿真被引量：4: 7; 作者王常乐王启峰; 机构中国民航大学电子信息与自动化学院; 出处《现代电子技术》北大核心 2019年第6期149-153,共5页; 基金国家自然科学基金重点项目(60832011) 天津市科技攻关计划重点项目(06YFGZGX00700)~~; 文摘针对装备拆装过程存在的拆装对象动作繁多,缺乏对各种零部件拆装动作的统一,不便于仿真实现的问题,提出维修拆装动作类对拆装运动进行描述,结合UML拆装执行基本拆装动作次数的不同,结合面向对象的思想提出了拆装动作类的概念,对拆装过程中具有相同动作次数的零部件做统一描述。利用UML建立拆装动作类的类图,结合状态机和拆装动作类建立拆装过程的运动模型。拆装仿真实例验证了动作类和拆装运动模型的可行性和实用性。; 关键词虚拟维修面向对象思想动作类运动建模 uml状态机实例验证; Keywords virtual maintenance object-oriented idea action class motion modeling uml state machine example verification; 分类号 TN915.5-34 [电子电信—通信与信息系统] TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名动态重组子网的Petri网飞机虚拟维修过程建模与仿真被引量：3: 8; 作者钱文高马红岩耿宏; 机构中国民航大学电子信息与自动化学院中国民航大学基础实验中心; 出处《计算机应用与软件》北大核心 2021年第7期93-99,共7页; 基金天津市科技攻关计划重点项目(06YFGZGX00700) 中国民用航空局科技项目(MY0517413) 中国民航大学实验技术创新基金项目(2018CXJJ11)。; 文摘针对大型民用飞机虚拟维修仿真中部件繁多、维修行为关系复杂、模型庞大等问题,提出可动态重组子网的Petri网飞机虚拟维修过程建模方法。使用UML状态机建立维修实体状态迁移元模型,以规范维修实体的维修行为,并将其转化为Petri网子网模型;依据部件间的联结关系构建双向邻接矩阵,约束各子网间的维修行为关系,进而建立可动态重组子网的虚拟维修过程模型。通过空客A320飞机交输活门作动筒组件的拆卸仿真实例验证了该模型的有效性。; 关键词飞机虚拟维修 uml状态机 PETRI网动态重组子网过程模型; Keywords Aircraft virtual maintenance uml state machine Petri net Dynamic reconfigurable subnet Process model; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于UML状态机与B方法的高可信嵌入式软件开发	肖健宇张德运陈海诠董皓	《计算机工程》 EI CAS CSCD 北大核心	2006	6	在线阅读下载PDF 职称材料
2	基于改进蚁群算法UML状态机图的测试用例生成	任洪丽张伟李文瑞	《计算机工程与设计》 CSCD 北大核心	2010	4	在线阅读下载PDF 职称材料
3	UML状态机模型形式化验证技术研究	侯敏宋文鹏王泊涵王新冶	《计算机工程与设计》 CSCD 北大核心	2012	3	在线阅读下载PDF 职称材料
4	基于UML实时状态图的定量分析	沙静蒋昌俊	《系统仿真学报》 EI CAS CSCD 北大核心	2008	6	在线阅读下载PDF 职称材料
5	飞机协同维修仿真的交互状态机模型	董健康姜乃心耿宏	《计算机工程与设计》北大核心	2020	1	在线阅读下载PDF 职称材料
6	关于飞行模拟训练器电子仪表组件仿真模型研究	李会茹陈又军黄欢	《电子测量技术》	2020	5	在线阅读下载PDF 职称材料
7	基于动作类的虚拟拆装过程运动建模仿真	王常乐王启峰	《现代电子技术》北大核心	2019	4	在线阅读下载PDF 职称材料
8	动态重组子网的Petri网飞机虚拟维修过程建模与仿真	钱文高马红岩耿宏	《计算机应用与软件》北大核心	2021	3	在线阅读下载PDF 职称材料