陈海明
- 作品数：38 被引量：1,078H指数：7
- 供职机构：中国科学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划中国科学院战略性先导科技专项更多>>
- 相关领域：自动化与计算机技术电子电信化学工程经济管理更多>>
- 基于综合链路质量评估的传感器网络重传机制研究被引量：5
- 2016年
- 为了提高环境监测传感网系统(WSNs)的性能,研究了传感网系统的数据传输战略;针对系统节点之间链路质量不稳定会造成丢包现象,采用重传机制提高数据传输可靠性会增加数据包的延迟和带来额外的能量开销的问题,提出了一种基于系统最低寿命的重传机制。首先,基于节点位置信息和链路相关性对节点进行分簇;其次,基于分簇节点丢包统计信息和接收信号强度指示(RSSI)综合评估链路质量;最后,根据综合评估获得的链路质量信息以及系统要求寿命和节点剩余时间,提出一种满足最低寿命要求的重传方法(Easi AR)。实际实验表明,Easi AR能够在保证系统最低寿命要求的前提下,提高数据传输的可靠性,并降低数据包的传输延迟。
- 杜文振陈海明李栋崔莉
- 关键词：环境监测链路质量分簇
- 一种无线传感器网络模拟器及其建立方法
- 本发明涉及无线传感器网络模拟器技术领域，公开了一种采用分层体系结构建立的大规模无线传感器网络模拟器及其建立方法。本发明中的无线传感器网络模拟器整体结构具有鲜明的层次性，因此具有较好的可扩展性和可修改性，模拟器中的事件和节...
- 陈海明黄长城崔莉
- 文献传递
- 802.11网络中基于博弈理论的可变带宽信道分配研究被引量：7
- 2013年
- 802.11网络中节点的理性和自私性导致可变带宽信道分配的低公平性、低负载均衡性及低社会效率问题.基于非合作博弈理论将可变带宽信道分配问题建模成策略型博弈模型.首先,给出问题的纳什均衡分配策略,证明了纳什均衡点的存在;然后,针对纳什均衡策略社会效率低的问题,提出一种基于支付的激励机制,使可变带宽信道分配过程收敛到占优决策均衡状态,从而系统整体吞吐量性能达到全局最优;并分析了上述两种策略的公平性和负载均衡问题;最后,给出达到纳什均衡和全局最优状态的可变带宽信道分配算法.仿真结果表明,纳什均衡策略能够获得好的公平性,而全局最优策略的负载均衡和社会效率性能要优于纳什均衡策略.
- 黄庭培陈海明张招亮崔莉
- 关键词：非合作博弈纳什均衡激励机制社会效率
- 面向服务的物联网软件体系结构设计与模型检测被引量：67
- 2016年
- 物联网软件体系结构用于定义物联网应用系统的构件模型和交互拓扑,是构建支持水平互联、异构集成、资源共享和动态维护的物联网应用系统的基础.面向服务的软件体系结构(Service Oriented Architecture,SOA)是目前构建各类物联网应用系统最常用的风格,国内外研究人员已经提出了多种面向服务以"物端"为中心的物联网软件体系结构参考模型.该文对这些参考模型进行了比较分析,指出了它们基于的软件构件类型、采用的设计原则及具有的结构属性的不同,说明了这些参考模型适用于指导不同规模和不同应用需求的物联网应用系统的构建,并且分析了基于软件体系结构的物联网应用系统的形式化建模与模型检测方法.最后,指出了未来为建立基于软件体系结构的物联网应用系统开发方法还需要开展的研究工作.
- 陈海明崔莉
- 关键词：物联网软件体系结构参考模型
- 一种传感器网络试验床无线环境模拟系统及其方法
- 本发明提供一种传感器网络试验床无线环境模拟系统和测试方法，该系统包括被测网络、无线环境模拟平台和监控平台，被测网络包括多种相互异构的节点，无线环境模拟平台采用软件定义无线电装置，监控平台控制各配置参数及运行和停止。本发明...
- 刘强赵泽崔莉李栋陈海明
- 物联网设备的检索方法
- 本发明提供一种物联网设备的检索方法，包括以下步骤：获取物联网设备信息；以所述物联网设备信息中的数据序列的特征作为输入，利用分类器获得物联网设备的分类描述，其中，所述分类器根据已知的设备的数据序列的特征作为输入，以该设备对...
- 李勐陈海明崔莉
- 物联网技术生态系统被引量：2
- 2014年
- 作为新一代信息技术的重要组成部分,物联网具有巨大的市场效益,是战略新兴产业和未来经济的增长点。正如当前互联网和移动互联网正在迅猛融合并渗透于社会生活的方方面面,未来物联网也将发展到与全社会的生产生活息息相关的程度。
- 崔莉黄希李栋王子健陈海明赵泽石海龙邱杰凡侯陈达李勐
- 关键词：物联网移动互联网社会生活新兴产业
- EasiARS:多模通信传感网的动态WiFi链路接入及自适应组网方法被引量：2
- 2015年
- 在使用WiFi接入上层服务的无线传感器网络应用中,由于WiFi链路的不稳定性,使用固定位置的网关难以适应长期稳定可靠接入的要求.提出一种基于ZigBee和WiFi双模通信节点的,适用于不稳定WiFi链路下的网络设备自适应接入及组网方法 EasiARS(adaptive roles switching),该方法包括实时低开销的WiFi覆盖环境探测和更新方法、节点自适应角色分配方法、网关和节点均为能量受限设备情况下的WiFi覆盖区内分簇和数据传输方法.EasiARS可以在外部WiFi网络环境动态变化的情况下进行传感网设备的快速部署,并根据WiFi链路的状态自适应地调整节点角色和传输策略,使数据稳定传输并均衡WiFi覆盖区内节点的能量消耗.实验验证表明,在WiFi链路状态变化下,使用EasiARS的传感网能够自适应地切换节点的工作角色,形成合适的网络拓扑结构,保证数据的稳定上传,与采用单个固定位置网关的方法比较,随着WiFi链路不同程度的变化,EasiARS的网络丢包率最多可降低90%;与采用多个备选网关的方法比较,使用EasiARS的网络生存期提高了67%,并减少了部署前期对WiFi链路质量测试和评估的工作负担.
- 彭康赵泽陈海明李栋石海龙崔莉
- 关键词：能量均衡
- PMDA:一种物理模型驱动的物联网软件体系结构被引量：11
- 2013年
- 实现众多物理应用之间的互联是建立物联网的基本方法.然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一.针对该架构设计问题,提出了一种支持物理应用水平化互联的物理模型驱动的物联网软件体系结构(PMDA).PMDA由3个模型组成,分别是物理模型、感执模型和应用模型.模型之间以及模型内的组件之间通过连接器进行连接与交互,模型或组件在交互时需要满足一定的约束条件.通过体系结构描述语言Wright对PMDA中的3个模型的组成以及模型之间的交互进行了形式化描述.通过一种形式化验证工具PAT验证了用Wright描述的PMDA可以保证水平化互联起来的物理应用的有效性,即不存在死锁、发散和中止这3个影响物理应用有效互联的性质.基于PAT的验证结果,通过数学归纳法证明了根据PMDA开发的物联网应用系统在交互时不存在死锁、发散和中止的情形.
- 谢开斌陈海明崔莉
- 关键词：物联网物理应用软件体系结构物理模型
- 物联网软件体系结构中的感执模型的求精被引量：5
- 2014年
- 物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构(physical-model driven software architecture,简称PMDA)研究的基础上,对PMDA中的感执模型SEM进行求精,求精后的感执模型称为R-SEM.R-SEM考虑了物联网的特有属性,将SEM的内部构件按照物理应用的感执工作流程分解为用通信顺序进程(communication sequential process,简称CSP)表达的子构件来说明构件端口的功能实现,并采用CSP中的导管运算符来说明子构件的端口与构件的端口之间的同步,通过CSP描述了子构件与子构件之间的交互.使用进程分析工具(process analysis toolkit,简称PAT)对R-SEM进行了验证.验证结果表明:R-SEM中子构件之间的交互、子构件的端口与构件的端口之间的同步保持了SEM所具有的保证物理应用之间有效互联的性质——不死锁、不中止和不发散.由于R-SEM精化了SEM的内部组成,且保持了SEM的有效互联性质,因此,R-SEM对最终将PMDA应用于物联网软件的开发具有实际的指导意义.
- 谢开斌陈海明崔莉
- 关键词：物联网通信顺序进程
