【摘 要】
：
随着信息物理融合系统（Cyber-Physical Systems,CPS）应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用
【基金项目】
：
国家自然科学基金（No.60973149）, 博士点基金（No.20100092110022）, 中科院计算机科学国家重点实验室开放基金基金（No.SYSKF1110）
论文部分内容阅读
随着信息物理融合系统（Cyber-Physical Systems,CPS）应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模型转换为形式化模型,进而进行形式化验证.本文采用的形式化验证方法为dL（Differential Dynamic Log-ic）,其操作模型为hybrid program.将HybridUML模型转换为hybrid program时,基于语义一致性的原则定义转
其他文献
在“重庆试验区”进行农村土地流转制度改革,首先需要在相关立法上有所创新。可考虑由重庆市人民代表大会常务委员会,通过地方立法的形式制定《重庆市农村土地承包经营权流转
以辽宁省为例进行实证研究,将线性与非线性回归分析模型进行对比分析。结果表明,非线性回归分析模型的分析计算结果更为科学、合理。
笔者居住的小区附近有一个菜场．门前的台阶与广场的地砖颜色相同，落差只有5公分，菜场开业后几乎每天都有人被这个不高的台阶绊倒。鉴于台阶的不安全性。菜场就在台阶旁边竖起了
基于组织架构、人力资源、资金支持、质量保障、企业文化、机制体制等6个方面从企业生命周期的角度对企业品牌生命周期的影响进行分析,探索规律性的认识。
通过对A医院近五年来引进的副高职称以上医师人才进行调研,了解医院在引进人才方面的现状及遇到的问题,进而从管理机制的角度对如何＂人尽其才＂进行探讨。
神经网络独特的结构和强大的信息处理能力为大坝安全监控提供了有力的技术支持。针对传统神经网络存在的网络学习速度慢,容易陷入局部最优以及网络结构参数经验取值的缺陷,建
本文通过模拟初级视皮层神经元感受野在视觉信息处理中的功能,提出了一种基于图像导数框架和非负稀疏编码思想的颜色恒常性计算模型,以实现对色偏图像的颜色矫正.从解决工程问题的角度,本文提出的基于生理机制的计算模型在处理效果上可与目前最好的颜色恒常性算法相媲美;从计算神经科学的角度,本文模型支持了大脑初级视皮层在视觉颜色恒常性中扮演重要角色的观点.
安全多方信息比较协议是一个由两方向多方进行推广的问题，可以在不泄漏各个参与方信息的情况下比较出多方信息是否全部相等以及得到具有相等信息的参与方的数目．该问题的研究目
纳米技术的应用给目前抗生素在畜牧业上的大量使用,产生细菌耐药性及畜产品药物残留影响带来了福音,这些问题可因纳米技术的应用而得到改善,并能使已禁用的抗生素重新得到使
各相关组织间的知识流动形成了知识链。知识链往往由多个不同类型的组织构成,各组织间存在着各种类型的冲突。本文依据知识链所具有的特征以及所依靠的环境来界定知识链组织