已为您找到该学者12条结果 成果回收站
刘宗田
计算机研究与发展,1998,35(1):87~90,-0001,():
-1年11月30日
文中给出了一种对程序变换进行分类的方法,提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言SMOPT。介绍了这一规范说明方法和SMOPT在反编译系统DECLER的AB变换器的设计与实现中的应用。所实现的AB变换器能完成基本的数据类型恢复,并能在使用中不断丰富其功能。
程序变换, 规范说明元语言, 抽象数据类型, 面向对象的知识库, 反编译系统
-
31浏览
-
0点赞
-
0收藏
-
0分享
-
48下载
-
0
-
引用
刘宗田
计算机研究与发展,1994,34(4):281~286,-0001,():
-1年11月30日
在各类生产调度自动化系统中,,历史数据库是重要的组成部分。本文介绍了一种通用历史数据库管理系统GHDBS的设计与实现技术。该系统不仅可以很容易地嵌入应用系统,而且可以作为独立的系统,用于生产统计、市场行情统计等。
历史数据库, 生产调度自动化, SCADDA
-
57浏览
-
0点赞
-
0收藏
-
0分享
-
51下载
-
0
-
引用