Querying Big Data: Bridging Theory and Practice

Big data introduces challenges to query answering, from theory to practice. A number of questions arise. What queries are ＂tractable＂ on big data？ How can we make big data ＂small＂ so that it is feasible to find exact query answers？When exact answers are beyond reach in practice, what approximation theory can help us strike a balance between the quality of approximate query answers and the costs of computing such answers？ To get sensible query answers in big data,what else do we necessarily do in addition to coping with the size of the data？ This position paper aims to provide an overview of recent advances in the study of querying big data. We propose approaches to tackling these challenging issues,and identify open problems for future research.     

非单调数据库及其信念维护系统的研究与实现

首先分析了当前数据库研究中闭世界假设的局限性，认为不完全信息处理与信息维护是研制智能系统的重要内容。然后提出了基于缺省理论与基于假设的真值维护系统（Ａｓｓｕｍｐｔｉｏｎ－ｂａｓｅｄＴｒｕｔｈＭａｉｎｔｅｎａｎｃｅＳｙｓｔｅｍ，ＡＴＭＳ）的非单调数据库，建立了相应的模型，并简要介绍了关于ＡＴＭＳ推广到一阶Ｈｏｒｎ子句的思想。最后给出了我们研制的非单调数据库系统的结构、原理及部分实现机制。     

从数据库到智能数据库

文章给出数据库的理论和技术发展动向。基于研制智能数据库关键在于描述不完全的知识及对错误的认识和修正,在演绎数据库研究基础上增加不完全知识表示及非单调推理功能,先后研制成功演绎数据库系统DDBS及非单调数据库系统NDBS。     

我国的电子政务标准化工作

1 标准化在电子政务建设中的作用 电子政务建设已成为我国信息化工作今后一个时期的重点。在这样一项横跨各部委办局、纵深至地方基层单位的庞大的系统工程中，通过统一技术要求、业务要求和管理要求等标准化手段，可以使整个工程在全国范围内有章可循、有法可依，从而规范和促进电子政务有序、高效和健康发展。     

面向互联网资源共享的虚拟计算环境专刊前言

面向互联网资源共享的虚拟计算环境是网络计算技术领域的重要研究课题.资源虚拟化是计算机技术的经典概念,旨在将纷繁复杂的底层实体抽象化,为上层提供相对简化的统一视图.进入网络计算时代,网络资源     

基于文档树的XML文件转换

随着互联网与XML技术的不断发展，实现XML文件与非结构化的文本文件之间的相互转换的要求日趋提高，针对该问题，文章提出了一种基于文档树的XML文件转换方法。该方法通过文档树的形式描述文本文件的结构与内容，在特定的映射规则下对文档树进行遍历以实现RTF文件为代表的文本文件与XML文件的相互转换，最后介绍了文档树的构造及相关算法.     

网络入侵检测系统中动态负载平衡策略的设计

随着互联网的广泛应用,网络信息量迅猛增长,网络攻击数量和方式大大增加,网络入侵检测系统需要部署多个感知器(Sensor)时网络监测和保护,通过增加Sensor,可以增强系统分析检测能力。然而,为了充分利用系统处理能力,需要动态分配处理节点任务,实现动态负载平衡。该文在分析网络入侵检测系统的基础上,提出负载值计算方法,结合通用负载平衡策略,提出了分布式入侵检测系统的动态负载平衡策略,实现了良好的动态负载平衡效果,提高了系统性能。     

基于角色的访问控制模型的扩充和实现机制研究

同传统的自由访问控制(DAC)和强制访问控制(MAC)相比，基于角色的访问控制(RBAC)代表了在灵活性和控制粒度上的一个重大进步．为了促进RBAC的研究和应用，美国国家技术与标准局提出了RBAC建议标准．然而，该标准仅支持一种约束，即职责分离约束．提出了一个经过扩展的I出AC标准——e-RBAC，增加了对广泛使用的势约束的直接支持．提出了一个面向对象的RBAC系统实现框架，该框架可部分起到API标准的作用．在此框架之下实现了一个通用的RBAC核心功能模块act-RBAC．     

激光线扫描测量系统中物像对应关系的建立

提出一种基于样本线建立物像对应关系的标定法。该方法采用三棱柱作为标定块,标定块在标定范围内运动,得到样本线上的点。样本点的像由三棱柱两个棱面上的光带中心线用最小二乘法拟合直线求取交点的方法计算,所得像点到拟合样本线的最大偏差小于 0.1 像素。样本线将标定空间划分为 4 个子域,每个子域用线性插值的方法建立各自的映射关系。在自行设计的激光线扫描测量系统中采用该标定法,实际测量标准平面与球面的误差小于±0.05mm。