【摘 要】
:
时态图模式匹配研究可以帮助人们更好地了解数据对象之间的关系变化情况,例如,对象之间关系建立的先后顺序、多个对象之间关系的演化过程、多个对象之间关系的持续状态等等,其在网络异常检测、社交网络分析、蛋白质功能挖掘等方面都有重要的应用。然而,相较于静态图模式匹配研究,时态图模式匹配面临着诸多挑战:(1)计算难度更高,其至少和静态图模式匹配难度相当;(2)处理大规模数据图或者稠密查询模式时需要更多的计算资
论文部分内容阅读
时态图模式匹配研究可以帮助人们更好地了解数据对象之间的关系变化情况,例如,对象之间关系建立的先后顺序、多个对象之间关系的演化过程、多个对象之间关系的持续状态等等,其在网络异常检测、社交网络分析、蛋白质功能挖掘等方面都有重要的应用。然而,相较于静态图模式匹配研究,时态图模式匹配面临着诸多挑战:(1)计算难度更高,其至少和静态图模式匹配难度相当;(2)处理大规模数据图或者稠密查询模式时需要更多的计算资源。基于以上原因,现有的研究工作不能够全面而高效地解决时态图模式匹配问题。本文从时态数据的时序性、持续性和演化性出发,研究了时态图模式匹配问题。具体地,本文的主要研究内容如下。1.时序受限图模式匹配。时序受限图模式匹配问题除了要求匹配同查询模式图同构,还要求匹配的边上的时间满足指定的时序关系。从时态数据的时序性出发,本文给出了时态图上时序受限图模式匹配问题的形式化定义,根据定义的特点,设计了一个分两阶段执行的算法枚举时序匹配。算法的第一个阶段搜索查询模式图中边的候选匹配边并在索引中维护这些匹配,算法的第二个阶段在索引上采用逐边的方式直接枚举匹配。为了减小索引占据的空间和索引内不合格候选匹配的数目,本文精心设计了三个过滤器来最大限度地排除不合格的候选匹配。为了验证算法的表现,本文在真实的数据集上同已有的算法进行比较。实验结果表明,本文提出的算法能够在占用较少内存空间的情况下高效地枚举给定查询模式图的所有时序匹配。2.持续图模式匹配。持续图模式匹配问题要求查询模式图的匹配在时态图的多张快照上都出现。从时态数据的持续性出发,本文给出了时态图上持续图模式匹配问题的形式化定义,根据定义的特点,设计了一个分三阶段执行的算法枚举持续匹配。算法的第一阶段将查询模式图分解得到查询树,算法的第二阶段根据查询树查找查询模式图中顶点的候选匹配并在索引中维护这些匹配,算法的第三阶段在索引上采用逐条路径的方式直接枚举匹配。为了提高枚举匹配的效率和减少索引占用的空间,本文设计了启发式的匹配序生成方法和时间实例集合压缩方法。为了验证算法的表现,本文在真实的数据集上同已有的算法进行比较。实验结果表明,本文提出的算法能够在占用较少内存空间的情况下在大规模时态图上高效地枚举给定查询模式图的所有持续匹配。3.最大持续图模式匹配。持续图模式匹配问题要求查询模式图的一个匹配在时态图的多张快照上都出现且该匹配是所有匹配中最大的。从时态数据的持续性出发,本文首次给出了时态图上持续可达集、持续多跳邻居、持续连通集和持续三角形的形式化定义,并基于以上定义给出最大持续图模式匹配的定义。本文从多个角度分析了最大持续图模式匹配问题的计算复杂性。为了快速查找最大持续匹配,本文构建了辅助图并利用多种剪枝策略避免无效的递归调用。真实数据集上的实验结果表明,本文提出的算法能够极其高效地查找最大持续匹配。4.演化图模式匹配。演化图模式匹配问题要求查询模式图集合中的查询模式图在时态图中的匹配之间满足指定的时序约束。从时态数据的演化性出发,本文首次给出了时态图上演化图模式匹配问题的形式化定义,根据定义的特点,本文设计了一个分两阶段执行的算法枚举演化匹配。算法的第一阶段查找查询模式图中边的候选匹配并在索引中维护这些匹配,算法的第二阶段在索引上采用逐边的方式直接枚举匹配。为了改善查找候选边匹配和在索引上枚举匹配的效率,本文设计了自适应的查找方法、自适应的匹配序生成方法和并行优化方法。为了验证算法的表现,本文在真实的数据集上同已有的算法进行比较。实验结果表明,本文提出的算法能够在占用较少内存空间的情况下在大规模时态图上高效地枚举给定查询模式图的所有演化匹配。
其他文献
休克是一种死亡率极高的急性疾病,实时监测病人的血压、循环血容量与失血量三种血流动力学指标,提前发现休克症状并干预可有效降低休克的发病率与死亡率。基于光电容积脉搏波(Photoplethysmography,PPG)的非侵入式血流动力学监测技术,因承载信息丰富且部署方便,在休克监测方面具有巨大潜力。实现基于PPG的血流动力学监测的关键在于精准解析机体血流动力学参数的动态,并明晰PPG与目标参数间的耦
当今世界面临着土地资源危机、生态环境恶化、人口过度膨胀、能源持续短缺等严峻问题,引发人们对于未来建筑的全新思考。而寒地可移动建筑作为一种涉及新理念、新技术、新方法的建筑类型,能够利用其场地可变、功能可变的优势,应对各种社会、环境状况并解决应急、供给、储备、减灾等一系列问题,对于当下和未来的人类存续与环境发展有着深远的现实意义。本文将智能控制理论引入寒地可移动建筑之中,结合控制论、信息论、机械学、算
在高层建筑中,采用自重轻、承载能力高和耗能能力强的钢板-混凝土组合剪力墙可以进一步改善构件的抗震性能和延性,为兼顾高层建筑的承载能力和抗震性能提供有效途径。然而,目前对于此类组合剪力墙的抗震性能研究多采用定性分析,造成钢板和混凝土的抗震协作机理尚不明确,并且尚无基于受力机理研究的简化分析模型,严重制约了此类组合剪力墙的工程应用。基于此,本文针对多腔双钢板-混凝土组合剪力墙,采用试验分析、有限元模拟
国家建筑业“十四五”规划中提出,推进建筑产业现代化,发展高质量装配式建筑将成为建筑业转型升级的必然趋势。装配式配筋砌块砌体剪力墙(Prfabricated Reinforced Concrete Masonry Shear Wall,简称PCM剪力墙)结构作为新型的装配式建筑结构体系,具有建造速度快、质量易控制、能源消耗少的优势,并通过构件生产工业化,装配式吊装技术标准化,解决了传统体系中竖向钢筋
铝合金材料自然储量丰富,又兼具轻质高强、耐腐蚀性好、易于成型加工、美观环保等优点,作为一种理想的建筑材料,在空间网格结构领域的应用日益广泛。现已建成的铝合金单层网壳结构普遍采用Temcor板式节点,节点形式较为单一,国内外对节点性能的研究大多围绕这一节点形式开展,其他节点形式的研发和研究工作仍有待开展。节点在空间网格结构中有着连接离散杆件并传递荷载的重要作用,开展新型节点体系的研发和性能研究能够满
护理单元是医院中空间占比最大且患者停留时间最长的医疗空间。一方面,护理单元空间设计质量与患者生命健康以及医护人员福祉直接相关;另一方面,伴随着人民对医疗资源需求的激增以及大规模公共卫生事件的频繁爆发,护理单元的建设呈持续增长态势,并且具有建设效率和建设标准要求高等特点。模块化理论能有效提升设计质量与设计效率,并且护理单元空间本体具备转化成为模块系统的优势,因此模块化理论高度适用于护理单元空间设计。
当前,我国正全面推进智能交通系统(Intelligent Transportation System,ITS)的发展与应用,以减少城市道路交通事故,提高城市交通安全、效率和环保性能。作为ITS的重要组成部分,车联网通过建立车与车、人、路、网之间的通信,提升了车辆对道路行驶环境的感知与决策功能。然而,面向ITS的自动驾驶高级别用例对数据传输速率、可靠性、时延和移动性等通信性能指标要求很高,现有车联网
随着机器人技术的发展,移动机器人正逐步被部署到开放的人类社会环境中,如机场、酒店和医院。传统的机器人运动规划方法主要考虑移动机器人在静态或者稀疏行人场景中工作,没有考虑到行人行为对机器人运动造成的影响。但是,在稠密行人场景中,可行驶空间的减少以及稠密行人的动态行为对移动机器人运动的安全和任务执行的效率造成巨大挑战。移动机器人的运动规划系统的执行过程首先需要检测周围行人位置,然后基于检测的行人位置信
铁路是东北地区近代化的重要载体,而南满铁路作为东北重要的近代建筑遗产群落,在建筑技术方面有着独特性。在中、日、俄三国对东北铁路路权争夺的过程中,满铁逐步控制了整个东北铁路网。在纵向的时间发展顺序中,满铁建筑技术经历了3次更迭。在横向时间发展顺序中,满铁接续了大量其他铁路建筑,出现了建筑技术的转移和交融,不同时期、不同国家修建的建筑毗邻共存,建筑增改建频繁,更迭过程极为复杂,仅从建筑样式上难以区分。
大学生的精神健康问题已不容忽视,主要表现为脑疲劳、注意不集中、反应时间变长、头昏等,甚至会影响情绪和身体健康。大学生往往被理所当然地视为健康群体,从而少有针对大学生群体的专类恢复性环境。大学校园作为大学生日常生活和学习的必要性空间,也应承担健康环境的恢复效用。然而,寒地城市的大学校园在营造恢复性环境时面临着诸多挑战。寒地城市具有独特的气候属性,冬季严寒、可长达半年时间,且缺乏绿色植物景观,严重影响