物联网(Internet of Things,IoT)是一种通过各种接入技术将海量电子设备与互联网进行互联的大规模虚拟网络,包括RFID、传感器以及执行器的电子设备通过互联网互联互通,将异构信息汇聚后共同完成某项特定的任务。为了解决物联网规模化运...物联网(Internet of Things,IoT)是一种通过各种接入技术将海量电子设备与互联网进行互联的大规模虚拟网络,包括RFID、传感器以及执行器的电子设备通过互联网互联互通,将异构信息汇聚后共同完成某项特定的任务。为了解决物联网规模化运用中的关键技术,首先探讨了物联网与这些网络的区别,给出了物联网的定义、特征以及参考架构。同时,创新性地提出了区域服务器的概念,并通过本体论知识表达等方法的运用解决了物联网中的"信息孤岛"难题。智能信息处理是物联网的核心内容之一,而物联网的知识表达与情景感知等相关技术是物联网智能信息处理的核心内容。据此,着重分析研究了智能信息处理的信息空间定义、信息量化方法以及信息处理各阶段的主要问题及相应的解决办法。展开更多
针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC(zone controller)系统模型.首先,分析了ZC系统...针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC(zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE(safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.展开更多
文摘物联网(Internet of Things,IoT)是一种通过各种接入技术将海量电子设备与互联网进行互联的大规模虚拟网络,包括RFID、传感器以及执行器的电子设备通过互联网互联互通,将异构信息汇聚后共同完成某项特定的任务。为了解决物联网规模化运用中的关键技术,首先探讨了物联网与这些网络的区别,给出了物联网的定义、特征以及参考架构。同时,创新性地提出了区域服务器的概念,并通过本体论知识表达等方法的运用解决了物联网中的"信息孤岛"难题。智能信息处理是物联网的核心内容之一,而物联网的知识表达与情景感知等相关技术是物联网智能信息处理的核心内容。据此,着重分析研究了智能信息处理的信息空间定义、信息量化方法以及信息处理各阶段的主要问题及相应的解决办法。
文摘针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC(zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE(safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.
