•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有21条符合陈海明的查询结果,以下是第1-10项 搜索用时 49 毫秒
1 [2] [3] 下一页 » 末  页»
1.
下载全文  总被引:50,自引:0,他引:50,下载次数:362
物联网因其巨大的应用前景而受到各国政府、学术界和工业界的广泛重视.介绍了物联网的概念、基本属性和特征,描述了物联网的体系构成、发展阶段及趋势.以传感器网络为例详细论述了物联网的关键技术,最后以环境监测为例,说明了物联网的典型应用.  相似文献
2.
下载全文  下载次数:15
针对在优化无线传感器网络传输性能时,识别出网络是否受到干扰并区分网络内与网络间的干扰类型是首要解决的问题。设计并实现了一种能够识别传感器网络干扰并区分网内、网间干扰类型的机制。首先通过实验获得了传感器网络在常见干扰状态下的有关性能参数,并对这些参数进行了相关性分析,之后基于Log… …   相似文献
3.
下载全文  总被引:3,自引:1,他引:2,下载次数:14
本文介绍一个基于三阶Bezier曲线的字形转换系统SOCS(stroketooutlineconvertionsystem).该系统作为汉字字形设计系统CCDS(Chinesecharacterdesignsystem)的后端,把CCDS产生的多笔划曲线轮廓字形数据加工成整字曲线… …   相似文献
董韫美  陈海明 《软件学报》1996,7(5):257-263
4.
下载全文  下载次数:9
静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算… …   相似文献
戴晓君  陈海明 《软件学报》2010,21(7):1481-1490
5.
下载全文  下载次数:6
上下文无关语言上递归函数(recursive functions on context-free languages,简称CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在讨论计算和… …   相似文献
陈海明 《软件学报》2004,15(9):1277-1291
6.
下载全文  下载次数:5
XML模式推断问题的主要任务可以归约为从一个句子集合中推断出对应的确定型正则表达式。提出了一类在XML模式中大量出现的受限正则表达式,给出了该类正则表达式的推断算法。该算法首先根据给定的句子集合构造自动机,然后根据自动机和句子集合推断出对应的正则表达式。该算法的时间复杂度为max… …   相似文献
7.
下载全文  下载次数:4
运算构造和检验系统FC(function constructor)是形式规约获取系统SAQ(specification acquisition)的一个子系统.在SAQ系统中,运算用于表示规约的语义.FC提供了对运算的交互式归纳定义方式和运算的施用,支持运算的联立递归定义.详细介绍… …   相似文献
陈海明 《软件学报》1998,9(10):755-759
8.
  下载次数:2
静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算… …   相似文献
9.
LFC is a functional language based on recursive functions defined in context-free languages.In this paper,a new pattern matching algorithm f… …   相似文献
10.
  总被引:9,自引:0,他引:9
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数,即定义在上下文无关语言上的递归函数为基础,以上下文无关语言为数据类型,在语言级支持规约获取。LFC语言已被用作形式… …   相似文献
1 [2] [3] 下一页 » 末  页»