具有时空约束的强制访问控制模型

传统的访问控制通过逻辑的方法来防止未授权的信息访问,忽略了物理位置的作用,从而容易遭受地址欺骗类攻击. 将位置信息引入访问控制可以提供更好的安全性. 在强制访问控制中客体的安全属性与时间密切相关,访问控制模型中应反映客体的安全属性随时间的变化. 以经典的Bell-Lapadula 模型为基础,提出一个具有时空约束的强制访问控制模型,综合考虑时间和空间约束,在增加访问控制模型灵活性的基础上提高访问控制模型的安全性.     

MapX4.0中存在的问题及查询性能研究

针对组件式GIS应用系统中普遍关注的空间、属性信息交互查询功能的实现问题展开研究.对比分析了空间信息和属性信息等几种不同查询方式的实现过程；探讨了应用地理信息系统二次开发组件MapX构建系统时，提高查询效率的不同方法.同时，指出了在系统开发实践中采用MapX40进行属性信息查询时存在的问题，并给出了具体的解决方案.     

多源空间数据库查询技术

为了实现多数据源空间数据集成,提出一种多源空间数据库查询系统框架.基于多数据源的空间对象关系模型,针对多数据源空间数据查询的需求,面向采用空间数据和属性数据分别管理的数据源,提出了支持查询分解和查询结果筛选的数据查询算法,分析说明了适用于空间数据查询的优化方法,形成了一套支持多数据源空间数据库查询技术.     

R-树和四叉树的空间索引结构:RQOP_树

针对现有的基于R-树和四叉树的空间索引结构中存在的问题,通过建立数据矩形间的序关系对数据空间进行分割,提出了一种新的空间数据索引结构:RQOP树.在此结构中,节点的构造是按照空间数据的分布来进行的而不是像其它基于R-树和四叉树的空间索引结构只是对数据空间进行均匀划分而得到,使树的高度尽可能低,同时使兄弟节点间的交叠相对较小.在区域查询算法中引入了查询窗口包含节点MBR的判断加快了查询的速度.给出了RQOP树的生成、节点插入和区域查询算法,并给出了相应算法的可行性和正确性定理及时间复杂度分析.实验表明:新索引结构的查询速度明显加快.     

一种连续最近邻查询的优化方法

连续最近邻查询是空间数据库中最重要的查询之一,在地理信息系统和位置定位服务等领域有重要应用.给定一个空间数据集P和查询线段q,连续最近邻查询返回结果＜R,T＞,其中T是一个间隔,R是这个间隔中所有点的最近邻.已有的连续最近邻查询算法无法实现I/O的优化,为此,提出一种优化的连续最近邻查询方法,该方法具有较高的I/O效率,不仅在减少磁盘访问数量方面进行优化,同时也提高CPU的性能.     

空间信息搜索引擎研究

在借鉴现有4种在线空间信息搜索策略的基础上，提出了一种遵循空间信息网络服务规范、基于空间信息网络服务集成的动态空间信息搜索引擎系统设计方案．介绍了在国产优选WebGIS平台软件——地网GeoBeans的基础上开发成功的阶段性研究成果——图自通，该系统的研制成功表明了本提出的动态空间信息搜索引擎设计方案具有可行性．     

H Base 下时态信息索引策略研究

针对海量非结构化时态信息存储与快速检索的需求,提出使用Hadoop 平台下的分布式、非结构化数据库HBase对海量时态数据进行存储,构造以时态集合为时态存储单元的时态数据存储模型;设计了多级分布式哈希索引表算法（ tDHT）,实现对时态列族的时态属性值的高效、快速的检索。通过将时态属性值向二维空间映射,实现时态数据向空间对象的转化,采用对空间数据的处理方法对时态数据区域进行划分,生成多级时态数据子区域,利用分布式哈希表思想设计HBase存储的多级索引表目录。实验结果表明,该索引策略具有较高的性能,可以在一定程度上加快对HBase中时态信息的检索速度。     

基于GIS的双峰寺水库移民管理信息系统的设计与实现

根据双峰寺水库移民所涉及的工作内容和需处理的各种数据,在分析了系统目标的基础上,确定了基于GIS的双峰寺水库移民管理信息系统的总体框架,数据库包括属性数据库和空间数据库,功能模块包括赔偿标准查询、资产信息查询、农副业查询、综合查询、辅助信息查询、三维显示分析、进度管理和合同管理等模块.     

空间数据建库研究

采用空间数据库的基本理论,结合北京市国土资源与房屋管理信息系统中建库的实例,研究了空间数据 建库的数据性质,空间数据建库的原则、标准和步骤;探讨了空间数据库的组织管理;分析了空间数据建库数据 的无缝集成、元数据的组织、空间数据库增量备份和增量更新等关键技术。结果表明:空间数据建库还存在空间 数据的组织模式、空间数据的安全性、空间数据的快速更新等问题,还需要进行大力研究。     

区间时序逻辑的模型检查

为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质,定义了一套转换规则．利用这些规则,可以构造一个chop-自动机,该自动机接受的语言恰是所有满足这个区间时序逻辑公式的模型的集合．同时,定义了一套转换规则把一个chop-自动机转换为一个标注有限状态自动机,使得它们接受相同的原子命题序列集．这样,区间时序逻辑的模型检查问题就等价地转换成了很容易解决的两个标注有限状态自动机的语言包含问题．     

时空相关测速方法理论模型研究

相关测速声呐与多普勒测速声呐相比有很多优点.相关声呐与常规测深仪相似,用单波束垂直向海底发射,回波比多普勒声呐的回波强,而且波束可以很宽,相同大小的发射换能器,可以使用低频发射.早期的声相关计程仪,多采用时间或空间相关法,用常规的相关解算装置确定速度.为提高测速精度,提出了基于声传播机理构造海底回波的理论时空相关函数的方法,该方法通过采集的回波数据构造数据相关函数,利用最大似然等方法估计未知参数.为测出舰船相对于地的绝对速度,较详细地推导了海底回波的时空相关理论函数,从而可利用最大似然方法估计船速.     

Realization of R-tree for GIS on hybrid clustering algorithm

The characteristic of geographic information system（GfS） spatial data operation is that query is much more frequent than insertion and deletion, and a new hybrid spatial clustering method used to build R-tree for GIS spatial data was proposed in this paper. According to the aggregation of clustering method, R-tree was used to construct rules and specialty of spatial data. HCR-tree was the R-tree built with HCR algorithm. To test the efficiency of HCR algorithm, it was applied not only to the data organization of static R-tree but also to the nodes splitting of dynamic R-tree. The results show that R-tree with HCR has some advantages such as higher searching efficiency, less disk accesses and so on.     

城市空间数据库建设中数据模型的研究

城市空间数据库是构建与城市空间分布相关的信息管理系统的基础,本文数据库的数据建模思想以对象-关系数据模型为基础实现了数据自我描述的完整性,使数据库的建设独立于特定软件与应用系统,以提高空间数据的共享性能。     

一种空时联合优化的MIMO雷达波形设计方法

针对多输入多输出(MIMO)雷达波形设计中空域合成信号的时域特性较差的情况,提出了一种空时联合优化的MIMO雷达波形设计方法．该方法在波形设计中对波形的空域功率分布以及空域合成信号的自相关特性进行了联合考虑．基于空域信号的自相关旁瓣电平以及各阵元信号间的相关性,对集中式MIMO雷达的正交波形设计与具有特定方向图的波形设计建立了统一的优化模型,并采用序列二次规划方法与加权迭代方法求解．仿真结果表明,文中所设计的波形不仅能够很好地逼近期望方向图,而且空域合成信号具有较好的自相关特性．     

基于ATSQL2时间点与时间段时态操作扩充

以时态数据操作语言ATSQL2为基础,对其时间点与时间段查询运算操作存在的不足进行扩充。增加时间运算操作函数,完成不同时态逻辑时间段运算,不同时间粒度之间的转换和时间比较逻辑判断操作。结果表明,扩充后的时间运算操作,丰富了原有ATSQL2的查询操作语义,简化了复杂时态数据操作语句的书写,使时态查询操作更加高效、简便。     

适合稀少空间特征的同位模式挖掘算法

空间同位模式挖掘是空间数据挖掘的一个重要方向.现有的同位模式挖掘着重研究每个空间特征的平等参与,而这在具有稀少特征的空间数据中会遗漏一些很有价值的模式.首先提出了一种新的称为maxPR的度量方法,每个确定的同位规则都与具有高的maxPR值的同位模式相关.其次,阐述了maxPR的弱单调性,并利用maxPR的弱单调性提出了一种适合稀少空间特征的同位模式挖掘的有效算法.     

A Real-time Data Model Based on Temporal Data

Real-time database systems contain not only transaction timing constraints, but also data timing constraints. This paper discusses the temporal characteristics of data in real-time databases and offers a definition of absolute and relative temporal consistency. In real-time database systems, it is often the case that the policies of transaction schedules only consider the deadline of real-time transactions, making it insufficient to ensure temporal correctness of transactions A policy is given by considering both the deadlines of transactions and the “data deadline” to schedule real-time transactions. A real-time relational data model and a real-time relational algebra based on the characteristics of temporal data are also proposed. In this model, the temporal data has not only corresponding values, but also validity intervals corresponding to the data values. At the same time, this model is able to keep historical data values. When validity interval of a relation is [NOW, NOW], real-time relational algebra will transform to traditional relational algebra.     

不确定对象的反向最近邻查询研究

确定对象在空间数据库研究中受到人们的重视,不确定对象的反向最近邻研究成为研究热点。文中给出不确定对象反向最近邻查询的形式化表示,将其称为可能反向最近邻查询,即为检索所有可能成为给定不确定对象的反向最近邻的可能性大于给定阈值的不确定性对象。提出基于各种剪枝规则的算法,解决多维不确定对象的可能反向最近邻查询问题。     

基于数据仓库的水利工程信息管理系统设计

针对我国当前业务型的水利信息管理系统难以获取隐含信息的问题,提出基于数据仓库技术和OLAP技术设计开发水利工程信息管理系统的解决方案。系统使用Java作为开发语言,后台数据库采用SQL Server 2005系统,使用SQL Server中的数据仓库工具建立数据仓库。根据需求分析,系统确定获取渠道、科室和资金3个主题的隐含信息,并采用查询效率较高的星型模型作为概念模型,通过事实表设计和维度表设计来完成3个主题设计的具体实现。     

一种静态环境下的空间索引结构

R树作为目前最流行的动态空间数据索引结构,被广泛应用于原型研究和商用空间数据库系统中.R树的变体很多,但大多数应用于动态环境下,对于静态空间数据环境(指不更新或更新少的空间数据),R树及其变体虽然适用,但效率不高.本文在已有空间数据索引结构的基础上,根据静态空间数据的特点,提出一种新的适用于该环境的空间索引结构,该方法可减少I/O访问次数,提高空间查询效率.