检索结果-南通市图书馆

Efficient Algorithm based on Macro ForestTransducer for XPath Query over Stream

在线全文

学校读者我要写书评

暂无评论

计算机科学与技术汇刊（中英文版） 2016年第1期5卷 14-23页

作者： Jing Ao husheng liao Hongyu Gao Hang Su College of Computer Science Beijing University of Technology Beijing 100124 China School of Software Engineering Beijing University of Technology Beijing 100124 China

函数程序设计语言Lispkit Lisp的自编译实现

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机工程与设计 1989年第4期10卷 13-21页

作者：廖湖声北京计算机学院

本文介绍了函数程序设计语言Lispkit Lisp的一个自编译系统的实现。这个编译系统能够处理高阶函数,并且允许使用部分参数化方法进行程序设计。函数程序中的所有函数被编译成SECD机的指令序列以完成函数的求值。SECD机指令被变换成相应的... 详细信息

本文介绍了函数程序设计语言Lispkit Lisp的一个自编译系统的实现。这个编译系统能够处理高阶函数,并且允许使用部分参数化方法进行程序设计。函数程序中的所有函数被编译成SECD机的指令序列以完成函数的求值。SECD机指令被变换成相应的MC68000的目标代码。系统中采用预调整技术。实现了一种特殊的延迟求值方式:减轻了程序执行对内存空间的需求,并优化了程序的执行过程。

关键词：程序设计语言 LISP语言自编译语言

在线全文

学校读者我要写书评

暂无评论

面向对象程序设计语言的部分求值动作分析

计算机工程 2006年第9期32卷 72-74页

作者：高红雨廖湖声北京工业大学计算机学院北京100022

提出了一种面向对象程序设计语言的部分求值动作分析方法,利用带有绑定时间标注的源程序生成部分求值动作原语序列,作为各种部分求值实现策略的基础。这种方法使部分求值算法独立于具体的实现方法,从而降低了部分求值系统的实现难度。

关键词：部分求值动作分析面向对象

在线全文

学校读者我要写书评

暂无评论

基于规则推导的正规式相交判定算法

计算机科学与探索 2015年第1期9卷 43-50页

作者：刘嘉廖湖声北京工业大学计算机学院北京100124

正规式相交判定问题在扩展标记语言(extensible markup language,XML)类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于XML模式语言的特点,提出了一种基于规则推导的正规式相交... 详细信息

正规式相交判定问题在扩展标记语言(extensible markup language,XML)类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于XML模式语言的特点,提出了一种基于规则推导的正规式相交判定算法。该算法直接根据输入的正规式进行推导而无需进行任何转化计算。对于一般的正规式,尽管其仍然是指数级算法,但无需进行复杂的构造自动机的计算;而对于一些特殊的正规式,特别是在XML类型检查中广泛使用的One-Unambiguous正规式,该算法的时间复杂度降为多项式级。最后证明了该算法所使用的推导规则的正确性和完备性。

关键词： XML类型检查正规式相交判定推导规则

在线全文

学校读者我要写书评

暂无评论

Java语言程序例化中的扩展对象别名分析

高技术通讯 2008年第8期18卷 801-805页

作者：廖湖声李博韬高红雨北京工业大学计算机学院北京100022

为了提高 Java 语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对 Java 程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特... 详细信息

为了提高 Java 语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对 Java 程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特性,以及对象成员等复杂数据结构的绑定时间特性。这种多变异方式的例化策略可提高对象类及其成员函数的部分求值深度,已经用于 Java 程序部分求值器中绑定时间分析的实现。

关键词：程序例化部分求值别名分析绑定时间分析

在线全文

学校读者我要写书评

暂无评论

基于图卷积神经网络的多视角聚类

计算机工程与应用 2021年第5期57卷 115-122页

作者：李勇振廖湖声北京工业大学信息学部北京100124 北京建筑大学电气与信息工程学院北京100044

针对多视角数据间互补与一致特性难以刻画问题,提出一种基于图卷积神经网络的多视角聚类方法。通过对样本不同视角间相同邻接子图基于图卷积神经网络学习到的表达进行约束,有效挖掘了多视角数据间的一致特性。通过共享图卷积神经网络参... 详细信息

针对多视角数据间互补与一致特性难以刻画问题,提出一种基于图卷积神经网络的多视角聚类方法。通过对样本不同视角间相同邻接子图基于图卷积神经网络学习到的表达进行约束,有效挖掘了多视角数据间的一致特性。通过共享图卷积神经网络参数、学习不同视角完整邻接图嵌入表达并串接得到多视角表达,有效挖掘了多视角数据间的互补特性。对上述多视角表达增加相对熵约束,使得最终学习到的多视角表达得以提升并符合聚类特性。在五个数据集上均取得了最好的聚类效果,说明所提出的基于图卷积神经网络的聚类方法可以有效挖掘视角间互补与一致特性并提升聚类性能。

关键词：多视角聚类图卷积神经网络相对熵

基于列表的可扩展标记语言流数据查询处理方法

在线全文

学校读者我要写书评

暂无评论

计算机应用 2016年第3期36卷 665-669,686页

作者：何志学廖湖声北京工业大学计算机学院北京100124 北华航天工业学院计算机与遥感信息技术学院河北廊坊065000

针对半结构化可扩展标记语言(XML)流数据实时在线到达,顺序性一次访问及处理时效性高、缓存量小的需求,以及目前算法在大规模数据处理中查询表达式的能力有限、效率尚不能满足实际应用的现状,基于SAX解析,提出以列表及关系指针组合处理X... 详细信息

针对半结构化可扩展标记语言(XML)流数据实时在线到达,顺序性一次访问及处理时效性高、缓存量小的需求,以及目前算法在大规模数据处理中查询表达式的能力有限、效率尚不能满足实际应用的现状,基于SAX解析,提出以列表及关系指针组合处理XPath查询的QXSList方法。首先定义数据模型,给出算法实现的整体框架,然后分别针对两个不同的XPath查询片段重点考虑了谓词判断条件和通配符的处理方法;该方法通过层次值计算判断节点的结构关系,利用关系指针链接多个候选节点列表,获取查询查询结果;最后分析给出优化算法,进一步减少缓存管理。通过实验对该方法与QStream++方法及Monet DB和SAXON查询引擎的运行时间和内存占比进行分析,得出与同类算法相比,随着数据量级的增加,效率提升在30%以上,且运行过程中内存占比接近于常量。

关键词：流数据查询处理 XPath查询关系指针缓存管理

在线全文

学校读者我要写书评

暂无评论

一种适合于移动定位的路径搜索算法

计算机应用与软件 2008年第7期25卷 44-47页

作者：谭志强廖湖声北京工业大学计算机学院北京100022

随着3G时代的来临,在快速发展LBS业务中,一个重要功能是获得手机与手机之间或手机到地图上指定位置的最短路径。通过将路网划分成主干网与支路网,并且使用二级R*树来索引路网边,给出了一种获取手机周边道路与计算最短路径的算法。分析... 详细信息

随着3G时代的来临,在快速发展LBS业务中,一个重要功能是获得手机与手机之间或手机到地图上指定位置的最短路径。通过将路网划分成主干网与支路网,并且使用二级R*树来索引路网边,给出了一种获取手机周边道路与计算最短路径的算法。分析了该算法的复杂度,在适当划分主干网与支路网后,该算法可以缩小搜索空间,提高搜索性能。

关键词： LBS 最短路径路网移动定位

在线全文

学校读者我要写书评

暂无评论

面向Twig查询的XML类型推导

计算机研究与发展 2013年第S1期50卷 32-43页

作者：罗卿廖湖声杨红丽北京工业大学计算机学院北京100124

Twig查询是XML数据查询的核心操作.在复杂的XML数据处理中,Twig查询结果的类型信息可以用于优化后续的XML数据查询与处理.针对这种情况,分析了Twig查询的类型推导问题,提出了一种精确的XML类型推导方法,能够根据Twig查询中的结构约束和... 详细信息

Twig查询是XML数据查询的核心操作.在复杂的XML数据处理中,Twig查询结果的类型信息可以用于优化后续的XML数据查询与处理.针对这种情况,分析了Twig查询的类型推导问题,提出了一种精确的XML类型推导方法,能够根据Twig查询中的结构约束和输入数据的数据类型,推导出查询结果的精确类型,从而为作用于Twig查询结果的XML数据处理提供更加精确的XML类型信息,以支持更深入的静态类型检查和提供更多的类型相关的查询优化的机会.该方法包括XML模式图到XML类型树的转换、XML类型树上的Twig模式匹配、可共存类型节点判断和XML类型树的子类型化,以不同子类型化的XML类型树的形式为不同种类的Twig查询结果提供了精确的类型信息.实验说明了这种类型推导方法的有效性.

关键词： XML 类型推导 Twig查询 XML Schema