【摘 要】
：
为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真与验证工具UPPAAL中时间自动机模型的组成图
【机 构】
：
杭州电子科技大学复杂系统建模与仿真教育部重点实验室
【基金项目】
：
武器装备预研基金项目(9140A15040214DZ04221);国防基础科研计划基金项目(JCKY2013415C001);国防技术基础科研计划基金项目(JSZL2014415B002)
论文部分内容阅读
为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真与验证工具UPPAAL中时间自动机模型的组成图形元素进行深入分析后,对现有的时序图到时间自动机模型的转换算法进行改进并提出更加完善的算法,对转换后的时间自动机布局算法进行相关研究,实现从时序图模型到时间自动机模型的自动转换与布局。在实际领域的实验结果表明,改进后的算法能够对系统功能需求进行正确有效的可视化验证和仿真,提高了系统模型设计效率。
其他文献
随着科学技术的日新月异,尤其是计算机技术、微电子技术、现代控制理论的发展,交流电机(指电动机,以后本文中“电机”皆指“电动机”)的驱动及其控制技术都得到了迅猛发展,使
赵宋王朝承袭五代而立,深忧于前朝武将凭恃长枪大剑争夺天下导致天下纷扰的局面,毅然采用了以文治国的策略,前后代形成了巨大的反差。宋朝发展了隋唐以来的科举制度,拓宽了读
中医药文化是中华文化的瑰宝和结晶，本文笔者从中医药文化在中国、西医类职业院校医学教育中要继续大力开展中医药文化普及教育并弘扬中医药文化等方面，探讨了西医类职业院校的
高精度异形喷丝板是开发异形纤维这一差别化纤维品种的基本出发点,本文对异形纤维喷丝板的设计、加工及其应用进行了系统研究。首先结合麻花钻结构、钻削机理以及纠偏理论,对
目的:分析壮医经筋疗法结合整脊手法治疗骶髂关节错位的临床疗效。方法:自2017年1月至2018年5月收治的骶髂关节错位患者60例,根据患者入院顺序分为治疗组和对照组,各30例。治
在分析电气火灾原因的基础上,对电气火灾隐患进行了分类,并提出了整改建议。
目前对于时序图度量的研究没有考虑到面向对象软件的多态性特点，度量不够准确。本文结合面向对象多态性的特点和UML（Unified modeling language）类图、时序图，运用图论的方法构建
<正>全球公认的认证考试为主要信息安全市场提供更便利的测试服务北京2013年2月20日电/美通社/--全球最大的信息安全专业机构及CISSP测试管理机构(ISC)2今日宣布,在中华人民
一个国家要保持经济增长,关键在于是否有足够的技术支持,而技术支持的核心就是技术创新与技术转移问题。如何将国内外先进技术成果融入自己的产业体系,提高自身的技术创新能
<正>围产期是指奶牛临产前的3周(围产前期)和产后2～3周(围产后期)的这段时间,奶牛在此期间要经历干奶、分娩、泌乳3个不同生理阶段[1],因此围产期奶牛饲养管理的好坏,直接关系