【摘 要】
：
系统建模语言（systems modeling language，SysML）缺乏精确的形式化分析和验证手段，造成模型存在死锁、活锁等诸多问题，可以通过形式化验证方法来提高模型的正确性。然而，受制于传统
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
系统建模语言（systems modeling language，SysML）缺乏精确的形式化分析和验证手段，造成模型存在死锁、活锁等诸多问题，可以通过形式化验证方法来提高模型的正确性。然而，受制于传统的形式化方法需要复杂的公式推理，并且不易理解等方面局限性，大多数验证仅限专家使用并且很耗时。为了克服SysML模型中存在的问题，提出了一种针对SysML多层次活动图的分析验证框架。它可以根据已构建的模型，将多层次活动图分解转换为Spin的输入模型，并对相关子图进行重组和验证。实验表明，该方法可以有效识别多层
其他文献
目的探讨急性脑梗死患者溶栓治疗后尿酸水平变化与梗死体积及神经功能缺损的关系。方法 选取急性脑梗死患者59例,按梗死体积分为小体积梗死组（≤5 cm~3）,大体积梗死组（〉5 cm~3）;
<正>4月的济南,春风和煦。下午4点,舜耕中学的篮球场上正进行着一场热火朝天的篮球赛。你防守,他抢断,你来我往,好不热闹。场边除了呐喊助威的同学们,还有一个个贴有专属标签
以填充单质硫颗粒（S0）的生物膜反应器作为研究对象,研究了水力停留时间（HRT）变化对硫自养还原高氯酸盐（ClO4^-）和硝酸盐（NO3）性能的影响.研究结果表明,在进水NO3^--N和ClO4^-分别为20
利用HSR-2M高速式往复摩擦磨损试验机，研究湿态条件下，湿地弯刀表面粗糙度、往复速度和法向载荷等对旋耕机湿地弯刀摩擦因数和磨损量的影响，并通过磨痕形貌分析其磨损机制。试验
系统建模语言（Systems Modeling Language,SysML）是目前国际上系统工程领域最新的标准建模语言,它包括语义和表示法两部分,缺乏分析和验证的手段。为了弥补这一不足,研究了SysM
宋代赋役沉重,土地兼并和＂贱农而贵末＂的倾向,使大批农民从土地上游离出来投身到工商业中去。又加之宋代社会经济充分发展,城乡市场扩大,社会分工发达,交通便利,促使宋代社会人
在对乌马营地区输油管道结垢类型研究的基础上,研制了新型硫酸钡、锶、钙垢阻垢剂 ZBS—2,室内试验评价结果表明,该阻垢剂具有成本低、加量小、阻垢率高等特点,同时现场使用
<正>"合唱是音乐课程的重要学习内容,是青少年乐于参与、易于接受的最广泛音乐活动之一,是学校音乐教育的主要形式……校园合唱是学校音乐教育的基础,是反映学校音乐教育水平
妊垦期糖尿病(GDM)是指妊娠期发生首次发现的不同程度的糖耐量异常[1].
[目的]了解广西地区胆结石并感染病人胆汁中不同菌属致病菌与术后丙氨酸氨基转移酶恢复的关系，探讨术后护理方法，总结护理措施。[方法]回顾性分析2008年10月-2010年9月在我院住