基于对象行为的时空拓扑模型

通过对时空对象的行为进行分析，提出了一种时空拓扑关系模型，并在此基础上提出了时空拓扑的分解和重构算法．该算法既可以跟踪对象本身的历史，同时也可以跟踪在不同的时间段(或时刻)的空间对象之间的关系．模型和算法对于时空拓扑的描述提供了一种可行的解决方案．     

一种改进的基于规则的时空拓扑一致性处理模型

通过对空产数据的拓扑一致性问题进行分析,提出了一种改进的基于规则的空间拓扑一致性维护模型,该模型通过定义拓扑规则和约束表达式进行拓扑一致性维护;作为进一步研究,采用版本化的技术将这种处理策略扩展到时空系统当中,以处理和维护时空系统中的时空拓扑一致性,这种基于规则的拓扑关系管理机制,有利于用户在局部检查拓扑关系以提高数据分析和处理的效率。     

房产地理特征的时空拓扑关系形式化描述

通过对房产特征分类的讨论,指出特征具有唯一的标识并且与其属性、操作、关系封装在一起。房产特征的时空演化可以归纳为房产空间标识的变化和房产证、产权人的变化,对于房屋特征只有当引起其空间结构改变时,其唯一标识,发生变化。对于房屋特征和产权证、产权人的时空演化有两类:(1)房产特征的空间状态发生变化,房产标识发生变化,如合并、拆除等等,其产权证也发生变化;(2)房产的空间状态不变,房产标识不变,其属性特征发生变化,如产权变更等,产权证发生变化。本文借助Petri网理论建立了一个房产特征的时空演化模型并探讨了房产特征时态拓扑关系描述的形式化模型,为房产历史的回溯、房产未来演化的预测等提供了理论和技术支持。     

基于二叉树的几何图形拓扑运算

该文提出了一种基于二叉树的几何图形拓扑处理算法,实现几何图形间的精确处理。并能有效解决大多数边界问题,同时可以按需求设定不同的精度。     

基于二叉树的几何图形拓扑运算

该文提出了一种基于二叉树的几何图形拓扑处理算法,实现几何图形间的精确处理。并能有效解决大多数边界问题,同时可以按需求设定不同的精度。     

基于星形模型的时空拓扑关联模式挖掘

为了简捷表达多维时空拓扑关联模式,针对时空数据库的事件,提出了一种基于事件的星形关联模型,该模型能够表示点线面以外的更多时空信息;针对这种模型提出了一种基于粒度计算的时空拓扑关联模式挖掘算法,该算法只需扫描一次时空数据库,避免了重复计算,有效地提高了挖掘效率。     

二维拓扑空间关系的最小集及其在时空数据模型中的实现

提出了二维拓扑空闯关系的一个描述框架并定义了二维拓扑空间关系的一个最小集。该最小集由6类不同的拓扑空间关系构成。该文证明了该拓扑空间关系集的完备性和互斥性,并给出了在时空数据模型STORM上的实现。     

海战场时空关系研究

时空关系是时空数据模型中体现时空语义的重要部分,在海战场时空数据模型整体框架中起着重要的作用。根据海战场数据特点对现有空间、时态关系表达方式进行了遴选分析并修改补充,建立了完整的海战场时空关系表达方式,着重论述了海战场时空拓扑关系的表达。在此基础上,分析了海战场时空关系的应用情景,提出了适于海战场时空关系的表达运算。     

基于时空连续性的运动对象最近邻居查询

时空数据库中的运动对象最近邻居查询是NN Queries中的新问题,基于TPR-TREE索引结构的TP NN Queries算法能较好地处理对象的时态特性,但会多次查询同一对象。本文利用运动对象的时空连续性对TP NN Queries算法进行改进,通过一次查询TPR-TREE索引获取所有候选NN对象与查询对象的距离变化曲线,进而得到NN对象集,减少了查询及时空运算的次数。本文最后给出了实验分析。     

基于IP城域网的MPLS VPN拓扑结构分析

传统DDN专网属于星型拓扑结构，缺点是逻辑拓扑难于调整、网络可扩展性和可维护性较差。为了解决这些问题．在ISP的城域网中，利用MPLS技术组建VPN，通过LDP邻居测试、路由跟踪测试等方法和理论分枷，证明了MPLS VPN的逻辑拓扑结构为全网状，解决了传统覆盖型VPN拓扑结构不易调整的问题。     

基于笛卡尔方法的多体系统Modelica表示

针对Modelica多体建模过程较为繁琐、创建模型不够直观的问题,在研究多体系统由物理模型到数学模型再到Modelica表示的完整映射过程的基础上,采用笛卡尔方法,以多体动力学建模软件InteDyna为建模前端,在多领域物理系统建模仿真工具MWorks中实现多体系统三维可视化建模与仿真.双摆实例表明该方法有效.     

笛卡尔乘积下的FCM聚类研究

针对于模糊c-均值（FCM）算法在初始聚类中心选取不佳的情况下容易产生聚类错误划分的情况,从FCM算法出发提出了一种基于笛卡尔乘积的FCM聚类算法（C-FCM）,并分析了加权指数m对聚类分析的影响。C-FCM将聚类提高到更高维的空间,有效地避免了FCM 对初值敏感及容易陷入局部极小的缺陷。客运专线列控（TCC）评估测试项目对C-FCM的检验结果表明,与传统FCM算法相比,C-FCM算法更准确,效果更佳,对解决邻站数据包的划分问题是可行、有效的。     

链路延迟网络拓扑合并方案的研究

网络拓扑合并是解决网络层析成像技术中大规模网络拓扑判定问题的重要研究方向。主要讨论采用对网络上的主机进行端到端测量的方法来获得网络的逻辑拓扑及链路属性,通过对基于延时的“三明治”网络测量方案进行改进,提出基于链路延迟属性的网络拓扑合并新方案。新方案具有测量不需要同步时钟、不需要重复测量和容易实施的特点,并通过实验进行了验证与分析。     

Computer construction and enumeration of all topologies and all hyperconnected topologies on finite sets

In [1] the present authors described an algorithm to construct and enumerate specific topologies on a finite set X _n of n points that is the strictly weaker topologies on X _n than a given topology each of which is not contained in any excluding point topology on X _n . In this paper we describe an algorithm to construct and enumerate all topologies and all hyperconnected topologies on X _n . The topologies on X _n which are weaker than a given topology on X _n will be constructed and enumerated. The algorithm is written in Fortran 77 and implemented on an Pentium 400 system.     

基于指尖力传感器的HIT 机器人灵巧手笛卡尔阻抗控制

介绍了基于5维指尖力／力矩传感器的HIT机器人灵巧手的笛卡尔阻抗控制．当手指与障碍物接触时，呈现出2阶机械阻抗特性．在阻抗控制算法中，不需直接计算加速度，从而避免了因大加速度误差给控制带来的不利因素．结合期望轨迹和实际位置及速度，产生一个参考轨迹，手指跟踪此参考轨迹即可自动获得期望阻抗特性．     

基于计算机网络对抗的僵尸网络研究与进展*

阐述僵尸网络的研究状况,给出其基本定义、结构和实现过程。通过Agobot实例分析,提出将僵尸网络纳入计算机网络对抗体系之中的观点。基于计算机网络对抗理论抽象出整个僵尸网络的概念模型,对模型中功能的实现进行探讨。指出僵尸网络研究中存在的问题与进一步研究的建议。     

基于动态创建局部Voronoi图的连续近邻查询

在充分认识到k阶Voronoi图在解决连续k个近邻查询优越性和现实不可行性的基础上,用分支限界的思想去界定预创建Voronoi图生成点范围的上界,提出了一种动态地创建局部Voronoi图的办法解决连续近邻查询问题。该方法只是在给定查询段上所有点的k个近邻范围上界内创建一个局部的k阶Voronoi图,这样大大降低了基于Voronoi图的连续k近邻查询的代价。     

基于时空特征的实时相关滤波目标跟踪

提出一种基于时空信息的相关滤波实时目标跟踪算法,以解决纹理改变、光照变化、旋转变形甚至遮挡情况下目标跟踪效率问题.此算法考虑到目标定位过程中,目标与其周围信息存在空域上的相关性,来构建目标空域滤波模型,并且该算法引入时间变量来在线更新得到时空域滤波模型,利用相邻帧信息相似性来降低遮挡对跟踪的影响.通过实验对比,验证了当目标受到非理想因素干扰时,所提算法具有健壮的鲁棒性和良好实时性.     

基于准反向变异的实数笛卡尔遗传编程算法

针对传统笛卡尔遗传编程(CGP)算法变异操作多样性的缺乏以及其使用的进化策略本身的局限性,提出了一种基于准反向变异的实数笛卡尔遗传编程算法(AD-RVCGP).首先,和传统CGP一样,AD-RVCGP在进化过程中采用1+λ的进化策略,即由一个父代个体只通过变异操作产生λ个子代个体;其次,该算法在进化过程中动态选择准反向...     

可分析集合、笛卡尔逻辑和命题的可推导性关系

本文在ZFC公理系统的基础上,首先提出可分析集合的概念且可表达为p={x|x∈p}。然后给出受囿变量的定义,引入笛卡尔逻辑以使逻辑的概念像算法的概念一样精确化而成为明确的数学对象,不仅足以适应代数和分析的要求,而且充分满足经典和非经典逻辑的需要,并探讨命题间的可推导性关系,包括:对立、排中、重言、归谬、反对、矛盾、存在、全称、独立、同一和不矛盾。进而,讨论一些逻辑运算和有关的逻辑问题,并进一步阐述可分析集合的几个基本关系和基本运算。