•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有21条符合陈海明的查询结果,以下是第1-10项 搜索用时 53 毫秒
1 [2] [3] 下一页 » 末  页»
1.
下载全文  总被引:50,自引:0,他引:50
物联网因其巨大的应用前景而受到各国政府、学术界和工业界的广泛重视.介绍了物联网的概念、基本属性和特征,描述了物联网的体系构成、发展阶段及趋势.以传感器网络为例详细论述了物联网的关键技术,最后以环境监测为例,说明了物联网的典型应用.  相似文献
2.
  总被引:9,自引:0,他引:9
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数,即定义在上下文无关语言上的递归函数为基础,以上下文无关语言为数据类型,在语言级支持规约获取。LFC语言已被用作形式… …   相似文献
3.
  总被引:5,自引:0,他引:5
介绍了上下文无关语言(CFL)的句子的一种分析树表示,它适用用于一类与以往不同的CFL的应用,即对分析树空间效率要求较高且不需标记分析树的应用,典型的就是把CFL的句子用作算法加工对象,这种表示比传统分析树不仅空间较小,而且进行结构匹配的快速快,还介绍了这种分析树表示的实现技术。… …   相似文献
4.
下载全文  总被引:3,自引:1,他引:2
本文介绍一个基于三阶Bezier曲线的字形转换系统SOCS(stroketooutlineconvertionsystem).该系统作为汉字字形设计系统CCDS(Chinesecharacterdesignsystem)的后端,把CCDS产生的多笔划曲线轮廓字形数据加工成整字曲线… …   相似文献
董韫美  陈海明 《软件学报》1996,7(5):257-263
5.
  总被引:2,自引:0,他引:2
无线传感器网络(WSN)易受到与其共享信道的无线局域网(Wifi)干扰,造成通信可靠性及吞吐量下降.当具有不同优先级的多个WSN受到Wifi干扰时,如何按优先级分配信道,并兼顾整体通信可靠性及吞吐量是一个重要问题.针对该问题,作者提出了一种抗Wifi干扰的信道分配机制EasiCA… …   相似文献
6.
  总被引:1,自引:0,他引:1
实现众多物理应用之间的互联是建立物联网的基本方法.然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一.针对该架构设计问题,提出了一种支持物理应用水平化互联的物理模型驱动的物联网软件体系结构(PMDA).PMDA由3个模型组成,分别是物理模型… …   相似文献
7.
下载全文  总被引:1,自引:0,他引:1
提出了一种节省能量的按需路由算法REAODV。该算法在选择路由时,将不可靠链路上进行可靠数据传输所消耗的总能量(包括重传所消耗的能量)作为选路指标,并且采用跨层优化功率控制技术分配链路上各节点发送功率,达到能量花费最小。通过仿真,将该算法与标准AODV进行了性能对比。  相似文献
8.
LFC is a functional language based on recursive functions defined in context-free languages.In this paper,a new pattern matching algorithm f… …   相似文献
9.
上下文无关语言上递归函数(recursive functions on context-free languages,简称CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在讨论计算和… …   相似文献
陈海明 《软件学报》2004,15(9):1277-1291
10.
运算构造和检验系统FC(function constructor)是形式规约获取系统SAQ(specification acquisition)的一个子系统.在SAQ系统中,运算用于表示规约的语义.FC提供了对运算的交互式归纳定义方式和运算的施用,支持运算的联立递归定义.详细介绍… …   相似文献
陈海明 《软件学报》1998,9(10):755-759
1 [2] [3] 下一页 » 末  页»