SQL语言中具有全称量词的查询问题

以三个关系为例，应用离散数学的有关理论，把具有全称量词的查询问题转换成等价的存在量词的直询问题，并用SQL语言予以实现，

AFC动态数据仓库应用系统中的查询竞争问题研究

简要介绍传统数据仓库的基本技术特点以及动态数据仓库的概念,并对二者进行分析;对动态数据仓库中现有的各查询竞争问题解决方案进行分析和探讨,并结合具体应用需求,选用基于动态多级缓存的方法来缓解AFC动态数据仓库应用系统中的查询竞争问题,并对多级实时数据缓存方法实施过程中存在的短期某级缓存负载过大等问题进行探讨,并给出相应的解决方案。

基于Partial MAX-SAT求解法的RBAC授权查询方法

为保证系统的安全性并体现授权的有效性,结合部分最大可满足性问题(Partial MAX-SAT)的研究,提出一种基于Partial MAX-SAT求解法的授权查询方法。使用转换规则将静态授权逻辑和动态互斥角色约束转化为严格子句,采用子句更新算法将满足不同匹配的请求权限转化为松弛子句,并利用子句编码及递归算法寻求真值指派,以满足所有严格子句和尽可能多的松弛子句。实验结果表明,该方法搜索的角色组合能够保证系统的安全性,并满足最小权限分配要求,且最大、精确匹配请求的查询效率优于MAX-SAT求解法。

基于J2EE的税收应用系统问题管理平台的设计与实现

为加强应用系统的日常管理,进一步提升应用系统运维工作的科学化、规范化、专业化水平,降低系统管理风险,建设涵盖"一个平台、三级运维、四级管理"的应用系统问题管理平台是十分必要的,应用系统问题管理平台的设计与实现,加强了对问题处理全过程的监控,细化了业务部门与信息部门的工作职责,增强了各地市运维人员的运维权限,将大大缩短问题处理流程,提高问题解决效率。

无线传感器网络中一种能量高效的skyline查询算法

针对分布式无线传感器网络环境下的skyline查询问题,提出了KSkySenor算法,有效地从传感器网络中获取更有意义的skyline结果;KSkySenor算法对感知数据进行预处理计算每个元组的支配能力,按照支配能力与各维度值之和对其进行排序,设计了一个基于聚簇的结构用于收集所有传感器读数,提出了一个剪枝方法用于渐进的从传感器网中获取skyline结果集;实验中分别改变传感器网络规模大小、数据维度、支配属性个数k,对KSkySensor算法进行测试,实验结果表明KSkySenor算法与先前的skyline查询处理算法相比具有很高效率,减少了无线传感器网络中的数据传输量,延长了网络生命周期。

网上专家咨询系统的建设

国家科技图书文献中心网上专家咨询系统主要由知识库、问答库、问题库和提问库及相应的程序、支撑网络和软件构成。该系统具有问题查询、读者提问、专家列表。

“天眼”热带气旋信息系统建设和应用

“天眼”热带气旋信息系统的设计,采取了实时信息与历史信息并重,多种雨情气象信息辅助的方案,建立了面向问题组合查询模式,集成了多源数据和多种功能,系统能实时自动提供热带气旋生成、移动路径、强度变化和未来发展动向等警报预报信息。