论文部分内容阅读
一类受限正则表达式的推断算法
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院大学
【发表日期】
：
2014年期
其他文献
该文提出了一种基于组件技术的分层式应用程序设计方案.利用该方案,我们实现了无锡市热电厂HN-2000-WF型热网数据采集与管理系统.该方案将应用程序划分为持久数据层、逻辑运
该文的研究内容是建立光线跟踪技术中的实时显示模型和真实感的光照理论模型并对提出的模型进行实验验证.在探讨了当前VR领域图形方面的重要思想和算法后,针对目前光线跟踪技
该文的主要目的是:通过对XMI(XML MetaData Interchange)标准化的研究和探索,把XMI广泛的应用于元数据交换领域,从而为开放信息交换提供了一个新的方法.该文的主要内容如下:
该论文提出一种新的软件数字水印算法,并在该算法的基础上设计一个数字水印追踪系统,该系统同时集成了电子商务功能.并在该系统中,首次提出利用移动代理到普通主机上搜索并分
该文首先对GPRS的系统体系结构、传输平面、信令平面、网络工作模式、分组逻辑信道应用等进行了阐述,对GPRS系统的移动性管理、MM上下文、MS的附着/分离、位置管理、PDP上下
韵律的研究是言语科学和语音合成研究的一个重要组成部分.过去,模型的建立不是采用规则,就是运用一些训练算法来实现.在韵律建模的研究中,始终存在着如下的缺陷:(1)、缺乏一
该文针对实际应用中各种不同的流媒体发布模式进行了分析,同时比较了已有的与各种发布模式相关的技术.基于分析和比较的结果,针对现有的分布式发布模式相关技术中的问题,作者
该文的研究内容是进行新的空间数据访问部件的逻辑设计.与常见的数据访问部件不同,新的访问部件将具有以下新特点(1)有选择地载入空间对象驻留于内存中,并对它们进行管理.(2)