【摘 要】
：
信息物理融合系统(CPS)连接物理世界和计算系统，由计算核心监控，是一种物理进程和计算进程紧密结合的系统。对CPS的研究目前还处于初步探索阶段，还没有完整的理论框架和技术
【机 构】
：
苏州大学计算机科学与技术学院,江苏苏州,215006
【出 处】
：
CWSN2011第5届中国传感器网络学术会议
论文部分内容阅读
信息物理融合系统(CPS)连接物理世界和计算系统，由计算核心监控，是一种物理进程和计算进程紧密结合的系统。对CPS的研究目前还处于初步探索阶段，还没有完整的理论框架和技术体系，关于CPS系统的正确性以及安全性的研究尤其空缺。针对这一问题，结合形式化方法和面向方面技术，初步提出一种可信的CPS设计框架，并阐述了该框架的主要设计过程及需要解决的关键问题。
其他文献
据陕西证监局披露,西安冰峰饮料日前已于2020年12月16日在华创证券签署上市协议,拟于深交所中小板挂牌上市,拟募集资金不低于4.6亿元,预计于今年5月31日递交IPO申请资料.
针对目前无线传感器网络实验床程序部署可靠性差和缺乏性能测量机制的问题，基于Micaz节点和TinyOS，提出了一种支持对实验对象进行快速部署和现场测量的实验床体系结构。该
大规模传感器网络中自发的时空波动行为极大影响了网络运行的整体平稳性，对全网的传输行为进行监测可获得网络运行性态的一手数据，可为后续网络评估和管控提供数据基础。嗅
一、电源电路结构原理与工作过程海信HDP机心是海信公司最新开发的大屏幕彩色电视机机心。在我国市场流行的典型机型主要有海信HDP2902D、HDP2906D、HDP2908、HDP2911、HDP29
传感网中间件是介于无线传感器网络和上层应用之间的系统软件，屏蔽底层的网络硬件差异性和分布式环境的复杂性，提供一个稳定的应用开发环境。随着传感网及其应用的发展，系统
新会计制度在2019年1月1日开始实施,对事业单位会计核算有着较大的影响,需要事业单位会计改变原有会计制度的工作模式,依据新会计制度的全新要求,拓宽会计核算的广度和深度,
会计工作是把控单位内部财务,确保单位能够可持续发展的重要岗位,会计工作时单位管控的重要部分,关系着单位内部财务安全.水利部门是服务性的公共单位,会计岗位是水利单位稳
随着现代钢铁企业的生产规模不断扩大,现在的对外签订合同也变得越来越多.这些合同需要从根本上做好规范性的研究,针对执行过程中存在的风险问题进行有效的合同审计和修订,加
心脏是人体的重要循环器官，心脏的健康与否对人体健康和寿命影响很大，每年全世界因心脏疾患死亡的人数达千万之众。因此，防止和避免各种影响心脏健康的因素，对延年益寿，提高健康水
纳税筹划工作是企业管理的重点内容,企业依据现行的税收政策和法律法规,在合理合法的基础上,使用财务手段对企业纳税方案进行调整,以达到节约税负的目的.由于企业在纳税筹划