【摘 要】
：
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范；然后,基于建模语言M
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
航空科学基金资助项目（20128052064）,中央高校基本科研业务费专项资金资助项目（NZ2013306）,国家重点基础研究发展计划项目（2014CB744903）
论文部分内容阅读
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范；然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZ-MARTE,该规范弥补了MARTE规范在形式化描述方面的不足,同时为了方便描述混成系统中连续动态行为属性,给出对混成系统中连续变量的描述转换规则,增强了MARTE对混成系统的描述能力；最后,给出OZ-MARTE规范到混成ZIA规范的转换方法,因此针对混成ZIA规范的验证技术同样适用于对MART
其他文献
高层管理人员在选择EMBA项目时会非常注重朋友的推荐和介绍，因此口碑传播和口碑营销在国内的EMBA学位项目营销中起着非常重要的作用，本文分析了口碑营销的作用．并如何在EMBA项目
【正】电视编导这个词,是指直接参与电视编辑业务和导演业务两者合一创作的电视工作人员。也是人们把两者组合起来的习惯称呼。随着电视纪录片的不断发展,纷繁众多的各类题材
目的观察脊髓损伤模型大鼠脊髓中AQP-4及MCP-1的变化，探讨电针及磁刺激治疗脊髓损伤的作用机制。方法SD大鼠50只，随机分为正常组、模型组、电针组、磁刺激组和联合治疗组，用重物
在嵌入式音频流媒体播放系统中,音频流媒体服务器作为核心部分发挥着至关重要的作用。结合局域网音频流媒体播放系统实时性要求高和终端缓存资源很有限的特点,提出在服务器端
设计一种应用于5．8GHz有源RFID（Radio Frequency Identification）标签超宽带天线。该天线在覆铜介质基板上通过酸蚀制得，介质基板尺寸为30．0nil3×30．0mm×1．5mm，材料是相对
为了获得更加理想的网络安全态势估计效果,提出一种基于组合方法的网络安全态势估计模型。首先收集网络安全态势样本,进行预处理得到学习样本,然后将训练样本集输入到BP神经
播音主持对一个电视节目的重要性不言而喻。播音主持语言不同于日常交际语言,它具有一定的规范性要求,主持人的语言或严肃庄重或诙谐幽默,都直接对节目风格的定位产生影响。
今天是爸爸的生日,妈妈买了一个蛋糕。蛋糕是蓝色的,上面有一抹一抹的金色,看起来像星空,非常漂亮。因为我的肚子很饿,就想先吃饭再吃蛋糕。我一边吃饭,一边听到爸爸妈妈在说
本文从“服务——学习”理论的角度出发,建立对策应用试验项目——“平安建设”学警志愿服务德育实践项目,阐述“服务——学习”理论下志愿服务给公安大学生带来的改变和对公
这天,我和妈妈坐地铁来到杭州市民文化广场看灯光秀。刚出地铁站,我就看到了白白的积雪。一个叔叔对我们说,今天雪太厚,灯光秀取消了,可我还是想上去看看广场到底是什么样。