摘要：针对点、线、面和体等简单空间对象提出新的否定规则,对9交模型进行了简化·利用简化后的9交模型仅需分析4组相交关系即可得出实际拓扑关系·在此基础上构建了拓扑关系推导表,可进一步分析复合空间对象之间的拓扑关系,并以线与体之间拓扑关系为例讨论了算法实现·与已有的算法相比,该算法能分析更为复杂的空间对象之间的拓扑关系·

摘要：双网格是一种基于离散几何的空间对象表示方法。与使用整数坐标系统的 Realm s不同 ,双网格使用了有限精度的有理数坐标系统。本文分析了 Realms和双网格这两种空间对象表示方法对空间拓扑性的影响以及各自的优缺点 ,讨论了基于双网格和主存技术实现空间管理子系统的方法。本文还介绍了空间管理子系统与Postgre SQL的集成技术 ,并设计和实现了基于双网格的空间分析 DBMS- SADBS 。该系统能够有效地管理空间数据和非空间数据 ,并具有

摘要：可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂直线上两个不相交可逆逻辑门单元的输出值与此二逻辑门单元分布到相同平行线的两条相邻垂直线上的输出值之间的关系;给出了分布在相同平行线上奇数和偶数个相邻的相同可逆逻辑门单元输出结果的性质.提出了一种可逆网络输出向量的表示方法和基于可逆门编码的可逆网络级联方法,以此生成给定范围内的可逆网络.通过变进制数的方法快速找到可逆网络输出向量所对应的序号,降低了搜索次数,减小了搜索空间,为进一步综合大规模可逆网络,提高可逆网络级联效率提供了支持.Benchmark例题验证表明,该方法构造的可逆网络控制门数更少,代价更小.

摘要：空间对象具有自相关、连续性、多尺度等特点,导致空间关联规则挖掘与传统的统计关联规则挖掘不同,不存在统计的“事务”,挖掘更加复杂。本文用基于空间相关的影响域来创建“空间事务”,以代替传统关联规则挖掘中的事务,建立了一种新的应用于挖掘空间多维数据的空间多维关联规则模型(Spatialmultidimensionalassociationrulesmodel,SMARM)。设计并实现了一种新的挖掘算法SMARBIA,用基于影响域、空间支持度等剪枝技巧,克服了空间多维关联规则挖掘过程中候选项目集庞大的困难。实验表明,该算法能有效地减少候选项目集而获得较好的性能。

摘要：针对专用片上网络(Network on Chip,NoC)全局通信事务管理和可靠性设计问题,提出片上网络监控器的概念,用于获取全局网络实时状态信息及执行路径分配算法,基于此提出一种动态路由机制DyRS-NM.该机制能检测和定位NoC中的拥塞和故障链路,并能区分瞬时和永久性链路故障,采用重传方式避免瞬时故障,通过重新路由计算绕开拥塞和永久性故障.设计实现了RTL级网络监控器和与之通信的容错路由器模块,并将MPEG4解码器应用映射至基于网络监控器的4×4Mesh结构NoC体系结构中,验证了系统性能以及面积功耗开销.相比静态XY路由和容错动态路由FADR,DyRS-NM机制在可接受的开销代价下获得了更优的性能.

摘要：在分布式系统中,云计算作为一种新的服务提供模式出现,其执行科学应用数据流时的优势和缺点得到越来越多的关注,其主要特点为拥有大量同质和并发的任务包,并构成了性能瓶颈的主要因素.在云数据流中调度大规模任务是已被证实的NP难问题.专注于解决优化云数据流中的调度过程,并受现实世界启发,从不同角度将优化目标分别划分为用户指标(完工时间和经济成本)和云系统指标(网络带宽、存储约束和系统公平度),并将该调度问题制定成为一个新的连续的合作博弈,设计出快速收敛的高效Muliti-Objective Game(MOG)调度算法,在优化用户指标的同时,实现系统指标的约束,并保证云资源的效率和公平度.通过综合实验,证实该方法与其他相关算法相比,在算法复杂度O(l?K?M)(明显改进数量级)、结果质量(一些情况下最佳)、系统级别公平性上具有明显的优越性.

摘要：不确定性处理是时空数据库面临的新问题。其研究的首要任务是对不确定时空对象进行建模,研究时空不确定性的表示和存储,进而设计离散模型实现数据库系统。提出了建立在灰集理论上的时空数据抽象模型,适合处理部分已知部分未知的不确定对象。首先给出了抽象数据类型的定义,包括建立在灰集理论上的基本数据类型,空间数据类型和时空数据类型;随后对不确定时空分析操作进行了简单的定性分析;最后给出不确定性时空查询的表达方式。

摘要：为了理解、优化和维护源程序,人们必须分析源程序。本文介绍了由作者研制的C程序分析工具的功能与特点,也讨论了实现的方法和策略。该分析工具可以分析C程序中几种常见的软件垃圾和各种对象的视图。

摘要：提出了基于免疫体系的安全数据库四层结构;身份认证层,存取控制层,约束安全层,适应性检测层。并给出了约束安全层和适应性检测层的子层结构。将约束安全层分为完整性约束、分级和推理约束、访问约束和应用语义约束四个子层,将适应性检测层分为数据库活动级、关系模式级、事务级和应用语义级四个子层。构造了一个多层多级的数据库安全体系,最后给出了具体实现方案。

摘要：时空标签轨迹在传统的时空轨迹数据基础之上融入了具有语义含义的标签信息,丰富了移动对象数据。针对该数据提出k近邻模式匹配查询,即在给定时间区间内匹配相应的模式且距离查询轨迹最近的k条轨迹。设计并实现标签R树(LR-Tree),即增加标签表并在R树每项中添加标签位图,及基于LR-Tree的k近邻模式匹配查询算法。通过真实数据和合成数据将LR-Tree与3DR-Tree、SETI及TB-Tree进行对比,实验表明LR-Tree具有更好的剪枝能力,从而验证了所提算法及索引的有效性。