主存高效的公交网络路径规划索引

在公交时间表下给定起始和目标站点,路径规划查询返回一组到达时间早和换乘次数少的帕雷托最优路径.现有的索引方法需要大量运行时内存.本文提出主存空间高效的索引方法(a-)PAINT.(a-)PAINT对每个站点v预计算一组标签,使得对于从站点s到站点d的查询可以通过匹配s和d相关的标签高效地生成查询结果的一条路径.PAINT对任意查询返回最优路径.a-PAINT只需要很小的预处理开销,但可能返回多一趟换乘的次优路径.用真实的公交时间表与模拟查询测试,PAINT具有合理的预处理开销.a-PAINT需要更少量的预处理开销,在大规模公交网络下准确率达90％.     

智能主体的信念认知时态子结构逻辑模型*

智能主体获取信念的途径主要有两种：一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BDI理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许多理论模型中,通常使用的是二值逻辑、经典模态逻辑或其变形系统,使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题。针对上述问题进行了相关研究,采用了认知时态子结构逻辑建模的方法,表达了智能主体获得“双省”信念的方式,针对其建立了相应的逻辑系统BSoET。     

分布式开放存取期刊爬虫的设计与实现

开放存取（open access,OA）期刊属于网络深层资源且分散在互联网中,传统的搜索引擎不能对其建立索引,不能满足用户获取OA期刊资源的需求,从而造成了开放资源的浪费。针对如何集中采集万维网上分散的开放存取期刊资源的问题,提出了一个面向OA期刊的分布式主题爬虫架构。该架构采用主从分布式设计,提出了基于用户预定义规则的OA期刊页面学术信息提取方法,由一个主控中心节点控制多个可动态增减的爬行节点,采用基于Chrome浏览器的插件机制来实现分布式爬行节点的可扩展性和部署的灵活性。     

基于时限的角色访问控制委托模型

访问权限的委托限制是一种重要的安全策略,它的基本思想是用户将自己所具有的部分或者全部权限转授给其他用户,让接受授权的用户代表发出授权的用户执行某些任务.基于角色的委托授权模型将角色作为委托的主体.目前为止它的两个基本模型RBDM0和RDM2000都没有有效地解决时限问题,事实上时限是授权的重要组成部分,本文在上述两个模型的基础上引入有效时间和角色激活的概念,描述了与之相对应的带时限的委托模型并给出了相应的委托判断规则.     

TempDB:时态数据管理系统

为了适应时态数据库发展需求,针对目前时态数据库技术实现则相对滞后现状,设计和实现了时态数据处理原型系统TempDB. TempDB采用中间件的架构实现,使用具有代表性的时态查询语言--ATSQL2,将时态操作语言转换成与之语义等价的、标准的SQL语言,然后在后台DBMS上执行,实现了基本的时态数据管理功能. TempDB总结应用了相关理论知识,同时也为时态数据库系统的产品化积累了经验.     

偏序时态XML索引TempPartialIndex

时态数据管理是常规数据管理的深化和扩展,具有理论研究的意义与实践应用的价值.时态数据索引是时态数据管理的重要技术支撑,是其中的一个研究热点.首先,提出了一种时态数据结构,通过数据节点间的偏序关系,可将常规的二维时间区间的处理转化为基于偏序的时态等价类上的一维的处理,该数据结构可以快速有效地处理时态操作;其次,在该新型时态数据结构基础上研究了时态XML索引TempPartialIndex,其基本特征是将时态数据结构整合到非时态的XML索引中,即,将其整合到语义层之中,通过时态过滤和语义过滤掉大量节点之后,再进行结构连接;另外,着重讨论了基于TempPartialIndex“一次一集合”及其时态变量查询和增量式的动态更新机制.同时,仿真结果表明：TempPartialIndex能够有效地支持时态XML的各类查询及更新操作,技术上具有可行性和有效性.     

基于Agent的SIDSS协同工作模型研究

计算机支持的协同工作系统（CSCW）体现并符合当今信息时代人们工作的群体性,交互性,分布性和协同性等特点,因而日益受到人们的重视并广泛地应用到实际当中,协同工作是机关事业单位工资系统重要特性之一,本文分析了工资智能决策支持系统（SIDSS)的协同问题,提出了一种基于Agent的协同决策支持系统的协同工作模型,讨论了SIDSS协同 实现,并对模型提出前后的性能进行了比较。     

数据库学科研究型教学探讨

本文探讨数据库课程研究型教学过程中的一些重要问题。首先是教学理念的转变,这是教改的指导思想;其次是研究型教学师资建设;另外就是教学与科研项目有机结合,通过研究型教学提供科研的底层支撑,通过科研项目为研究能力培养和创新人格塑造提供机会：最后是讨论创建研究型教学的硬件和软件环境。     

面向教育资源云存储系统的副本管理

根据教育领域中资源访问的聚集性等特征,以教育资源云存储系统架构为基础,设计了副本热度表征副本访问聚集性程度,实现了基于时空特征的副本相关数值计算;同时运用服务集概念和Hadoop分布式文件系统(HDFS)的存储机制提出了三方面的副本管理策略;最后在已开发的教育云存储系统ERS-cloud上进行了一系列实验,结果表明该策略能有效提升教育云存储系统应用效率.     

基于pay-as-you-go模式的Web服务发现

Web服务描述语言是基于模式优先(schema-first)的,Web服务发现方法需要花费较高的前期构建成本,目前的研究没有涉及如何在pay-as-you-go模式下发现Web服务这一问题.提出了一个基于数据空间技术的服务发现框架,支持pay-as-you-go模式下基于关键词匹配和基于相似度的Web服务发现.首先给出一个schema-later数据模型用于描述Web服务及其关系,并讨论了该模型的延迟计算和查询方法,该方法不必事先物化模型就可以提供查询服务;然后给出一个基于相似度的Web服务发现算法及其正确性证明,该算法将相似度看作是极松散结构模型的虚拟边(关系),在计算相似度之前,通过延迟计算得到需要进行比较的服务节点集及其信息,以便在pay-as-you-go模式下计算相似度;最后通过实验表明该方法是可行和有效的.