您当前所在位置: 首页 > 学者
在线提示

恭喜!关注成功

在线提示

确认取消关注该学者?

邀请同行关闭

只需输入对方姓名和电子邮箱,就可以邀请你的同行加入中国科技论文在线。

真实姓名:

电子邮件:

尊敬的

我诚挚的邀请你加入中国科技论文在线,点击

链接,进入网站进行注册。

添加个性化留言

已为您找到该学者12条结果 成果回收站

上传时间

2009年07月21日

【期刊论文】程序变换的一种规范说明方法

刘宗田

计算机研究与发展,1998,35(1):87~90,-0001,():

-1年11月30日

摘要

文中给出了一种对程序变换进行分类的方法,提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言SMOPT。介绍了这一规范说明方法和SMOPT在反编译系统DECLER的AB变换器的设计与实现中的应用。所实现的AB变换器能完成基本的数据类型恢复,并能在使用中不断丰富其功能。

程序变换, 规范说明元语言, 抽象数据类型, 面向对象的知识库, 反编译系统

上传时间

2009年07月21日

【期刊论文】通用历史数据库管理系统GHDBS的设计与实现

刘宗田

计算机研究与发展,1994,34(4):281~286,-0001,():

-1年11月30日

摘要

在各类生产调度自动化系统中,,历史数据库是重要的组成部分。本文介绍了一种通用历史数据库管理系统GHDBS的设计与实现技术。该系统不仅可以很容易地嵌入应用系统,而且可以作为独立的系统,用于生产统计、市场行情统计等。

历史数据库, 生产调度自动化, SCADDA

合作学者

  • 刘宗田 邀请

    上海大学,上海

    尚未开通主页