•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有21条符合陈海明的查询结果,以下是第1-10项 搜索用时 59 毫秒
1 [2] [3] 下一页 » 末  页»
1.
类型限定词可以精化标准类型,提高类型系统的表达能力。流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量。然而,类型转化会影响类型限定词推断的有效性。首先,展示了一种允许类型转化的程序语言和流不敏感的限定词推断系统;其次,提出了变量参与的限定词推断系统,引入了联合类… …   相似文献
2.
物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构(physical-model driven software archi… …   相似文献
谢开斌  陈海明  崔莉 《软件学报》2014,25(8):1659-1670
3.
XML模式推断问题的主要任务可以归约为从一个句子集合中推断出对应的确定型正则表达式。提出了一类在XML模式中大量出现的受限正则表达式,给出了该类正则表达式的推断算法。该算法首先根据给定的句子集合构造自动机,然后根据自动机和句子集合推断出对应的正则表达式。该算法的时间复杂度为max… …   相似文献
4.
  
在无线网络中,比特错误率(bit error rate,BER)的估计是许多上层协议的基础,对数据传输的性能具有重要的影响,目前已成为一个重要的研究课题.但是现有BER估计编码未考虑实际网络的BER分布特征,估计误差较大.在实测分析802.11无线网络的BER分布特征的基础上,提… …   相似文献
5.
  总被引:1,自引:0,他引:1
实现众多物理应用之间的互联是建立物联网的基本方法.然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一.针对该架构设计问题,提出了一种支持物理应用水平化互联的物理模型驱动的物联网软件体系结构(PMDA).PMDA由3个模型组成,分别是物理模型… …   相似文献
6.
  
信道错误和冲突是导致无线网络中分组丢失和错误的两类主要因素.有效识别分组丢失和错误的原因是实现高性能无线传感器网络协议的基础.然而传感器节点资源的有限性和无线通信环境的复杂性给该问题的研究带来挑战.如何提高分组丢失和错误原因识别方法的准确率,同时保持低的识别开销和易于在节点上实现… …   相似文献
7.
针对在优化无线传感器网络传输性能时,识别出网络是否受到干扰并区分网络内与网络间的干扰类型是首要解决的问题。设计并实现了一种能够识别传感器网络干扰并区分网内、网间干扰类型的机制。首先通过实验获得了传感器网络在常见干扰状态下的有关性能参数,并对这些参数进行了相关性分析,之后基于Log… …   相似文献
8.
  
802.11网络中节点的理性和自私性导致可变带宽信道分配的低公平性、低负载均衡性及低社会效率问题.基于非合作博弈理论将可变带宽信道分配问题建模成策略型博弈模型.首先,给出问题的纳什均衡分配策略,证明了纳什均衡点的存在;然后,针对纳什均衡策略社会效率低的问题,提出一种基于支付的激励… …   相似文献
9.
  
构建物联网设计与实现的统一方法是目前物联网研究领域亟待解决的问题之一.物联网体系结构是设计与实现物联网系统的首要基础.文中从功能角度将目前已经提出的物联网体系结构分为"后端集中式"和"前端分布式"两种类型,并以水平性、可扩展性、环境感知性、环境交互性和自适应性等为指标对这两类体系… …   相似文献
10.
  总被引:2,自引:0,他引:2
无线传感器网络(WSN)易受到与其共享信道的无线局域网(Wifi)干扰,造成通信可靠性及吞吐量下降.当具有不同优先级的多个WSN受到Wifi干扰时,如何按优先级分配信道,并兼顾整体通信可靠性及吞吐量是一个重要问题.针对该问题,作者提出了一种抗Wifi干扰的信道分配机制EasiCA… …   相似文献
1 [2] [3] 下一页 » 末  页»