【摘 要】
：
系统建模语言（ Systems Modeling Language,SysML）对复杂系统多视角建模时,容易造成多视图描述语义冲突、矛盾等不一致问题,可以通过形式化验证方法,来提高模型的一致性。然而,
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国防科工局“十二五”重大基础科研项目(c0420110005)
论文部分内容阅读
系统建模语言（ Systems Modeling Language,SysML）对复杂系统多视角建模时,容易造成多视图描述语义冲突、矛盾等不一致问题,可以通过形式化验证方法,来提高模型的一致性。然而,受制于传统的形式化检测方法不能做到完全自动化,并且需要繁杂的公式推理,导致多数验证方法仅限少数专家使用并且非常耗时。为了解决SysML时序图与活动图模型之间存在的一致性问题,提出一种自动转换验证框架。首先基于已构建的模型和转换规则,将时序图进行分解转换为活动图,然后分别映射为Spin的输入模型,并对模型的交互
其他文献
在平面几何课程的学习过程中，经常遇见“a=b＋c”型等式的证明，这种类型的题目常用的证明方法有“截长法”“补短法”“分段相等法”“移位法”和“面积法”等．下面分别举例说明。
研究攻角对深水炸弹入水后的散布特性影响，针对一种新型深水炸弹总体外形，通过试验分析了不同攻角下入水时的弹着点散布状态，试验结果表明：随着攻角的增加，落点散布有增大的趋势，随
党的十七大和十八大报告均指出要加强党的基层组织建设。师生联合党支部作为高校基层党支部建设的形式之一，可以在加强学生党员发展的教育管理，提升教师党员的引导力．拓宽师生联
钢管塔在大荷载输电线路中体现出了其良好性能和效益,但钢管的使用也存在钢管型材规格品种有限、价格高等缺点,同时钢管间连接的节点构造复杂,加工生产效率低,因此有必要研究
当代科学研究的第一位工作——读陶同新著《对象学——大爆炸与哲学的振兴》兼谈其前几部著作卢盟冯韧人类的世界正在发生划时代的变化。我们看到周围的高楼不断地平地而起，我
目的:合成非离子含碘造影剂的中间体5-氨基-2,4,6-三碘异酞酸.方法:以间苯二酸为原料,经硝化、还原与碘化,合成5-氨基-2,4,6-三碘异酞酸.结果:每步均经改进,总收率达50.2%,所
农垦是国有农业经济的骨干和代表,是推进中国特色新型农业现代化的重要力量。农垦与农村集体经济、农户家庭经济、农民合作经济等共同构成中国特色农业经济体系。这是我国以
基于水合物颗粒聚集动力学的群体平衡模型,重点考虑水合物颗粒在流动过程中的碰撞频率、聚集效率、破碎频率及破碎后子颗粒的粒径分布函数,建立了三维几何模型,利用FLUENT 14
从1991年教育法规部发动两次改革以来,日本的高校学术评价体系发生了巨大的变化。其中,最显著的变化是其评价体系从自我评价向第三方评价转换。在这一过程中,全国学位与大学
本文首先对客户关系管理及数字图书馆用户关系管理的涵义作了概述,主要论述了数字图书馆用户关系管理的特点、意义、及数字图书馆用户研究和关系管理的主要内容。并指出数字