【摘 要】
：
随着计算机与物理环境的交互日益密切,信息-物理融合系统（cyber-physical system,简称CPS）在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性分析
【机 构】
：
教育部可信软件国际合作联合实验室（华东师范大学）,可信软件国际联合研究中心（华东师范大学）,上海市高可信重点实验室（华东师范大学）
【基金项目】
：
国家自然科学基金(61472140,61170084);上海市自然科学基金(14ZR1412500)~~
论文部分内容阅读
随着计算机与物理环境的交互日益密切,信息-物理融合系统（cyber-physical system,简称CPS）在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性分析已引起人们的广泛关注.统计模型检测（statistical model checking,简称SMC）技术能够对CPS进行有效验证,并为系统的性能提供定量评估.然而,随着系统规模的日益扩大,如何提高统计模型检测技术验证CPS的效率,是目前所面临的主要困难之一.针对此问题,首先对现有SMC技术进行实验分析,总结各种S
其他文献
分析治病求本的经典含义及其源流,提出历代医家的思路有二:一是从认病求本的角度阐释治病求本;二是从机体自身着眼探求治病求本。文章借鉴历代医家的认识,吸收现代系统自组织
儿童注射性臀肌挛缩症是目前临床常见的医源性疾病[1],是由于患儿臀部反复肌注药物,引起臀大肌纤维化,发生挛缩而导致髋关节功能障碍.手术彻底切除臀部瘢痕变性组织,松解挛缩
目的探讨两阶段综合康复法对急性脑梗死患者心理功能的影响.方法将88例急性脑梗死患者随机分为两组,康复组45例,对照组43例.两组均接受相同的内科常规治疗,康复组同时给以两
国家＂十二五＂规划纲要明确提出加强农村基础设施建设和公共服务,把新农村发展和农村城镇化建设提升到一个新的高度。文章着重分析了城镇化过程中河南农民这一特殊群体所受影响
突发事件的不确定性、危害的严重性、时间的紧迫性以及采取营救措施的特殊性等特点,要求应急志愿服务临时性团队关注信任管理。目前应急志愿服务临时性团队的信任管理无论在
采用文献资料．理论分析、逻辑推理等方法，从家庭体育是我国城镇居民家庭生活消费的新市场、生活方式的新追求、子女教育的新课堂和情感交流的新平台等方面，阐明了家庭体育是我国
《女科经纶》为清代医家肖埙编撰，约成书于清·康熙二十三年（公元１６４８年），是一部中医妇产科理论专著。该书在编撰体例上颇具特色，现探讨如下。１广征博引，兼蓄各家学说《女科经纶》引
中西医结合治疗踝管综合征２８例李峰先（莱芜市中医院骨科２７１１００）关键词踝管综合征封闭熏洗中西医结合疗法踝管综合征是踝部胫后神经受到周围组织的病变卡压而引起的一种神经压迫或损伤性
近日，锐捷网络与北京农业职业学院、北京经济管理学校、北京工贸技师学院、广州天河职业中学、广东东莞长安高级职业中学和苏州托普信息职业技术学院等职业技术院校共同创建的
偶尔一次外出听课，在课间与学生交谈时，学生随口说的一句话，让我的心灵为之一震!当我向学生大赞其教师的用心良苦，精心设计精美的课件真不容易时，学生却向我透露：“我们上课几乎每