检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

LDCQ下的误差限制问题

华中科技大学学报（自然科学版） 2003年第3期31卷 4-7页

作者：董毅 Edward.Chan 黄载禄华中科技大学电子与信息工程系香港城市大学计算机科学系

提出了位置相关连续查询 (LDCQ)中的误差限制的概念 ,误差可以是位置误差或者是时间误差 .因为移动对象和查询边界实际相交的位置和时刻事先难以确定 ,所以一般采用预测相交点作为参照点 .对选取合适的系统参数使之满足给定的误差限制... 详细信息

提出了位置相关连续查询 (LDCQ)中的误差限制的概念 ,误差可以是位置误差或者是时间误差 .因为移动对象和查询边界实际相交的位置和时刻事先难以确定 ,所以一般采用预测相交点作为参照点 .对选取合适的系统参数使之满足给定的误差限制进行了讨论 ,研究结果表明 ,可以选择预测相交时刻移动对象的位置和查询边界上预测相交点的实际位置到预测相交点的距离 ,或者选择它们之间的距离 ,使之满足给定的误差限制 .

关键词：位置相关连续查询误差限制偏差限

在线全文

学校读者我要写书评

暂无评论

LDCQ满足误差限制的偏差优化问题

华中科技大学学报（自然科学版） 2003年第3期31卷 8-10页

作者：董毅 Edward.Chan 黄载禄华中科技大学电子与信息工程系香港城市大学计算机科学系

提出了位置相关连续查询 (LDCQ)在满足误差限制的条件下进行偏差优化的问题 ,分别给出考虑了累积偏差和最大瞬时偏差时的信息费用的定义 .由于偏差优化的结果就是要使得信息费用的值为最小 ,再加上这些优化结果与移动对象的运动方式有... 详细信息

提出了位置相关连续查询 (LDCQ)在满足误差限制的条件下进行偏差优化的问题 ,分别给出考虑了累积偏差和最大瞬时偏差时的信息费用的定义 .由于偏差优化的结果就是要使得信息费用的值为最小 ,再加上这些优化结果与移动对象的运动方式有关 ,这样就产生了不同的优化结果 .对累积偏差信息费用下的立即线性更新策略。

关键词：位置相关连续查询误差限制偏差限优化

在线全文

学校读者我要写书评

暂无评论

时空众包数据管理技术研究综述

软件学报 2017年第1期28卷 35-58页

作者：童咏昕袁野成雨蓉陈雷王国仁软件开发环境国家重点实验室(北京航空航天大学) 北京100191 北京航空航天大学计算机学院北京100191 东北大学计算机科学与工程学院辽宁沈阳110004 香港科技大学计算机科学与工程学系

近年来,众包为传统数据管理提供了一种通过汇聚群体智慧求解问题的新模式,并成为当前数据库领域的研究热点之一.特别是随着移动互联网技术与共享经济模式的快速发展,众包技术已融入到各类具有时空数据的应用场景中,例如各类O2O(online-t... 详细信息

近年来,众包为传统数据管理提供了一种通过汇聚群体智慧求解问题的新模式,并成为当前数据库领域的研究热点之一.特别是随着移动互联网技术与共享经济模式的快速发展,众包技术已融入到各类具有时空数据的应用场景中,例如各类O2O(online-to-offline)应用、实时交通监控与动态物流管理等.简言之,这种应用众包技术处理时空数据的方式称为时空众包数据管理.对近期在时空众包数据管理方面的研究工作进行综述,首先阐述了时空众包的概念,解释了其与传统众包技术的关系,并介绍了各类典型的时空众包应用;随后描述了时空众包应用平台的工作流程及其任务特点;然后讨论了时空众包数据管理的3项核心研究问题和3类应用技术;最后,总结了时空众包数据管理技术的研究现状并展望了其未来潜在的研究方向,为相关研究人员提供了有价值的参考.

关键词：时空众包共享经济 O2O模式任务分配质量控制隐私保护

在线全文

学校读者我要写书评

暂无评论

有界模型检测同步多智体系统的时态认知逻辑

软件学报 2006年第12期17卷 2485-2498页

作者：骆翔宇苏开乐杨晋吉桂林电子科技大学计算机系中山大学计算机科学系广东广州510275 中山大学计算机科学系河南科技大学电子信息工程学院河南洛阳471003

提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系... 详细信息

提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKLn的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程.

关键词：模型检测有界模型检测多智体系统同步时态认知模型时态认知逻辑

在线全文

学校读者我要写书评

暂无评论

铌酸锂电光长周期波导光栅

电子科技大学学报 2009年第5期38卷 544-549页

作者：郑建成金伟刘晴香港城市大学电子工程学系

该文对用铌酸锂制作电光长周期波导光栅的研究进展进行了综述。讨论了用铌酸锂制作长周期光栅的难点,介绍了解决此难点所用的特殊铌酸锂波导的制作原理和方法,再重点论述了对铌酸锂电光长周期波导光栅的研究,包括包层模阶数、铌酸锂波... 详细信息

该文对用铌酸锂制作电光长周期波导光栅的研究进展进行了综述。讨论了用铌酸锂制作长周期光栅的难点,介绍了解决此难点所用的特殊铌酸锂波导的制作原理和方法,再重点论述了对铌酸锂电光长周期波导光栅的研究,包括包层模阶数、铌酸锂波导的结构参数对光栅性能的影响以及光栅的谐振波长的温度灵敏度。研究表明铌酸锂长周期波导光栅的强度和谐振波长可分别由电压和温度调控,使该器件能进一步开发成为新型高速动态光滤波器或调制器。目前在最佳样品中实现25dB光栅强度调控所需的驱动电压不超过49V,其谐振波长的温度灵敏度为-1.0nm/℃。

关键词：电光效应铌酸锂长周期光栅光波导光波导光栅光滤波器

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

无线传感器网络上的极值区域查询处理

软件学报 2010年第8期21卷 1920-1935页

作者：熊蜀光李建中陈雷王新兵哈尔滨工业大学计算机科学与技术学院黑龙江哈尔滨150001 香港科技大学计算机科学系上海交通大学电气工程学院上海200240

提出了无线传感器网络上的一种查询——极值区域查询(peak region query,简称PRQ),即用户指定查询区域的大小和形状,例如半径为R的圆形区域,然后需要查询传感器网络中的某个区域,使得区域内传感器节点数据的某种聚集值最大.定义了极值... 详细信息

提出了无线传感器网络上的一种查询——极值区域查询(peak region query,简称PRQ),即用户指定查询区域的大小和形状,例如半径为R的圆形区域,然后需要查询传感器网络中的某个区域,使得区域内传感器节点数据的某种聚集值最大.定义了极值区域查询的概念,并提出一种集中式算法以求解查询结果.由于传感器节点的能量有限,为了降低查询处理过程中的能耗,提出了分布式算法EXQ(an algorithm for extreme value query processing).与集中式算法相比,EXQ不但显著降低了能耗,而且使得每个传感器的能耗更加平均,从而延长了网络的使用寿命.EXQ的基本思想是,将整个网络划分为若干相互重叠的子区域,对每个子区域通过本地数据聚集得到一个本地结果,然后对这些结果再进行全局数据聚集从而得到查询结果.从理论和实验两方面分析和比较了集中式算法和EXQ的能耗和节点负载分布.

关键词：无线传感器网络查询处理能量有效极值分布式算法