3DR39-3d方位关系模型与反方位关系

3D方位关系的表示和分析技术在3D GIS、空间数据库、智能交通控制、3D游戏和智能机器人等领域具有重要作用。为弥补已有方法表示精度不高的不足,将定性距离关系和3DR39方向关系模型相结合,提出一种新的能处理和分析大量复杂方向和位置的关系模型,即3DR39-3d方位关系模型。基于3DR39-3d模型处理复杂的动态方位关系,探讨基于对象运动的动态方位关系和基于盒空间扩张的动态方向关系的特性和规律。为处理空间方位关系的反方位关系问题,给出3DR39-3d模型的基本方位空间元素的反关系。理论研究和比较分析表明,3DR39-3d模型能表示和分析更为丰富的复杂方位关系,增强空间数据库3D方位关系的表示和处理能力。     

一种用于常识空间信息处理的定性空间关系模型

在空间信息处理中,一些常识空间信息通常结合多方面空间关系,而且这些空间关系是动态变化的.为了有效地表示这些复杂的空间关系,并对其进行推理,提出了一种结合拓扑、方向和大小关系的空间信息处理模型TDSC (topology-direction-size calculus),并基于TDSC模型提出了处理动态空间关系变化的表示推理框架.首先,利用同对象多属性的方法建立了融合大小、拓扑和方向关系的完备至斥基本关系表示;然后提出了复合表生成算法和推理算法,使得原有模型的表示和推理结果可以直接在新模型中使用.同时提出处理动态空间关系的邻域划分图,给出了邻域划分图的自动生成算法,以及TDSC模型的邻域划分图.最后给出基于TDSC模型邻域划分图的表示和推理框架,并结合实例说明框架的正确性和有效性.     

空间网络间的空间关系的表示和推理

空间网络间的空间关系的表示和推理在空间数据库领域具有重要的意义.为了对复杂的空间网络间的空间关系进行定义和区分,首先提出了空间网络间的空间关系的谓词表示和交集模型表示方法,给出了空间网络间的空间关系模型的特征条件式和蕴涵条件式,进一步给出了空间网络间的空间关系的划分定理和推论;系统研究了空间网络间的空间关系的推理方法,针对空间网络间的空间关系推理特点,提出了推理相斥规则和推理蕴涵规则.研究成果为空间网络间的空间关系在空间数据库中的应用奠定了基础,极大地增强了空间数据库处理复杂对象的空间关系的能力.     

基于Vague 集的动态Vague 区域关系

模糊区域的不确定空间信息处理和空间关系表示是空间数据库、地理信息系统和计算机视觉等领域的研究热点和难点.为了有效地处理模糊区域内模糊点的未确定隶属信息和复杂的动态区域关系,引入vague 集的概念和理论对静态和动态vague 区域关系进行了系统研究.基于vague 集对vague 区域进行了形式化定义,对无核和含核vague 区域进行了划分;研究了3 种基vague 域空间关系及其动态变化关系;给出了含核vague 域的空间关系表和子区域组合的动态蕴涵关系;研究了含核vague 域动态转变关系,给出了动态关系邻接表和动态关系转变路径.进一步给出了实例模型,进行了实例分析.研究成果可以较好地处理vague 区域内的模糊点未确定的隶属信息和动态vague 区域空间关系表示和动态转化及动态关系预测等问题.     

可能性测度下的LTL模型检测并行化研究

分布式模型检测是一种缓解状态空间爆炸的有效途径,已有文献提出了定性的分布式模型验证算法,然而定量LTL验证算法并行化问题还未得到有效解决。对此,展开两个方面的工作:提出一种新的动态系统状态空间划分方法;在定性LTL分布式验证算法的基础上给出了定量模型检测并行化验证算法。首先,将系统模型转化为可能的Kripke结构并选取一个并发分量,依据状态之间的关系完成系统状态的分割,使得关系紧密的状态尽可能分布在同一个计算节点上;其次,调整划分结果以使得计算负载平衡;然后,将划分结果与其他并发分量的状态进行叉乘,以完成系统状态空间的划分;最后,将待检测性质用自动机表示,在两者的乘积上,利用扩展的基于嵌套DFS的分布式验证算法完成系统的定量验证。     

基于类别空间模型的文本分类系统的设计与实现

从理论和应用的角度对文本信息的分类方法进行研究,提出类别空间模型的概念,用于描述词语和类别之间的关系,并实现了基于类别空间模型的文本分类系统。通过实验表明,该系统有效地提高了文本分类的正确率。     

一种并行多路空间连接处理方法

空间连接查询是最耗时,最重要的空间查询、空间多路连接是涉及多个空间关系的连接查询,顺序空间连接查询的效率还是不能令人满意,研究利用并行机制提高空间连接查询效率成为有吸引力的方向,并行空间连接处理由三个阶段组成;任务创建,任务分配和任务并行执行,本文提出一种新的平面扫描方法用于多路并行处理的任务创建过程,随机提出基于花费估计的动态任务分配策略,给出了花费模型,并将其推到处理多路并行连接查询处理以实现负荷平衡。     

基于动态任务空间的协同学习管理模型与实现

在协同学习支撑环境以及协同学习系统中,学生和老师都需要一些协同和控制手段去协调共同的学习活动。为此,提出了一种新的协同学习环境下的协同学习管理模型。它通过对协同学习任务的分解和学习资源的合理化配置搭建共享的任务空间。文中分析了动态任务空间的组成元素,给出了动态任务空间模型的形式化定义,介绍了模型管理工具的设计与实现,总结了模型在协同学习系统中应用的特点。     

基于云的概念空间模型研究

从认知科学出发,讨论了G?rdenfors的概念空间理论,用云模型对概念空间进行了形式化研究。由于概念、属性中存在着大量的模糊性和不确定性,将云模型和G?rdenfors的概念空间模型结合起来,建立了一套基于云的概念空间模型。并进一步对概念、相似性等进行定义,形成了一套新的基于云的概念空间模型方法。通过一个昆虫分类实例来进行概念空间的建模实验。用静态和动态两种不同的方法来验证基于云模型的概念空间的有效性。     

空间决策支持系统的信息模型研究*

空间决策支持系统作为地理信息系统与决策支持系统的结合体,兼有两者优点,并在国家信息化的发展中扮演越来越重要的角色。其信息模型（即空间数据仓库的信息模型）的优劣直接影响到空间决策支持系统的成败。从支持一般决策过程的角度出发,提出了一种通用的空间决策支持系统信息模型,即实体—关系—问题模型,最后给出了基于实体—关系—问题模型的空间数据仓库构建方法。