廖湖声
1) 软件自动化方法,重点研究Java语言的部分求值技术与软件开发工具。2) 数据集成技术,重点研究数据集成与空间数据库系列软件开发与软件支撑环境。
个性化签名
- 姓名:廖湖声
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机软件
- 研究兴趣:1) 软件自动化方法,重点研究Java语言的部分求值技术与软件开发工具。2) 数据集成技术,重点研究数据集成与空间数据库系列软件开发与软件支撑环境。
廖湖声,男,1954年生,教授,博士生导师。北京工业大学计算机学院软件学科部主任,软件课程群责任教授,北京市重点建设学科“计算机软件与理论”学科带头人。主要从事计算机软件与理论的科研与教学工作;曾作为访问学者参加日本、美国、丹麦等国多所大学的研究工作,曾被评选为北京市高等学校青年学科带头人,入选北京市跨世纪人才工程。
主要研究方向:1) 软件自动化方法,包括部分求值技术及其应用、软件规格说明语言、领域专用语言、程序分析与程序变换技术、软件支撑环境与软件工具;重点研究Java语言的部分求值技术与软件开发工具。2) 数据集成技术,包括XQuery语言、空间数据集成技术、应用集成技术、空间数据库引擎、WebGIS数据系统与分布式软件开发技术,重点研究数据集成与空间数据库系列软件开发与软件支撑环境。
主持完成国家自然科学基金和863高技术计划子课题4项。主持完成省部级科研项目4项。在国内外学术刊物、重要学术会议上发表50余篇论文。正式出版教材、译著5本。 获得软件著作权3个。
-
主页访问
1747
-
关注数
0
-
成果阅读
426
-
成果数
7
廖湖声, 郑玉明
北京工业大学学报,2004,30(2):227~230,-0001,():
-1年11月30日
为了实现多数据源空间数据集成,提出一种多源空间数据库查询系统框架。基于多数据源的空间对象关系模型,针对多数据源空间数据查询的需求,面向采用空间数据和属性数据分别管理的数据源,提出了支持查询分解和查询结果筛选的数据查询算法,分析说明了适用于空间数据查询的优化方法,形成了一套支持多数据源空间数据库查询技术。
空间数据库查询, 空间数据集成, GSOL语言
-
51浏览
-
0点赞
-
0收藏
-
0分享
-
154下载
-
0评论
-
引用
廖湖声, 廖湖声+, 童兆丰, 王众
软件学报,2003,14(3):415~421,-0001,():
-1年11月30日
为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术。该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围。这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态。在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间。该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段。
绑定时间分析, 部分求值, 面向对象程序设计语言, Java 语言
-
51浏览
-
0点赞
-
0收藏
-
0分享
-
88下载
-
0评论
-
引用
廖湖声
计算机学报,2001,24(9):985~990,-0001,():
-1年11月30日
提出了一种基于程序流程图的部分求值方法,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化,能够在例化阶段进行程序基本块例化的同时,完成控制转移的优化,并生成既可用于编译时刻例化,又可用于运行时刻例化的滞留程序;基于这种方式的部分求值系统采用离线工作方式,利用了绑定时间分析,提高了滞留程序的效率;同时避免了例化阶段的代码复制与拼接,有效地简化了运行时刻例化系统的实现难度。
数据例化,, 部分求值,, 流程图,, 离线例化
-
96浏览
-
0点赞
-
0收藏
-
0分享
-
143下载
-
0评论
-
引用
廖湖声
计算机研究与发展,1997,34:163~165,-0001,():
-1年11月30日
VY系统为语法分析程序的生成提供了一个可视化编程工具。该系统采用图形编辑和填表方法来自动生成源程序的语法规格说明,进而实现语法分析程序的自动生成。
可视化,, 程序生成,, 语法分析
-
102浏览
-
0点赞
-
0收藏
-
0分享
-
179下载
-
0评论
-
引用
-
44浏览
-
0点赞
-
0收藏
-
0分享
-
113下载
-
0评论
-
引用
【期刊论文】Preliminary Arrangements of Arguments in Lazy Evaluation*
廖湖声, Liao HUSHENG, Masato TAKEICHI
New Generation Computing. 9(1991)135-147,-0001,():
-1年11月30日
This paper describes a new implementation technique railed preliminaO, arrangements of arguments for lazy functional languages. Unlike conventional lazy evaluatofs, the evaluator with preliminary arrangements partly processes every argumenl before calling functions. It works in a lazy way with less memory cells than conventional methods. The practical importance of this technique is demonstrated by some benchmark results.
Functional Language,, Lazy E, v, a, l, uation,, SECD Machine
-
47浏览
-
0点赞
-
0收藏
-
0分享
-
14下载
-
0评论
-
引用
廖湖声
计算机学报,1989,(12):892~899,-0001,():
-1年11月30日
本文提出应该根据函数调用形式来决定如何使用程序变换枝术,并且提出一个算法来实现对函数调用形式的静态分析及其相应的程序变换。
-
35浏览
-
0点赞
-
0收藏
-
0分享
-
52下载
-
0评论
-
引用