刘宗田，学者主页-中国科技论文在线

刘宗田

人工智能和软件工程

个性化签名

TA的关注(0) 关注TA的(0)

留言板

暂无留言

主页成果学术会议学者精选辑更多功能敬请期待

姓名：刘宗田
目前身份：
担任导师情况：
学位：
学术头衔：

博士生导师
职称：-
学科领域：

计算机应用
研究兴趣：人工智能和软件工程

个人简介

　刘宗田，男，1946年6月，山东莒南人。1970年毕业于北京航空学院航空材料专业；1982年研究生毕业于北京航空航天大学计算机软件专业，获硕士学位。1970-1980年在安徽泗县化肥厂任技术员、车间副主任。1982-2000年在合肥工业大学任讲师、副教授、研究员、博士生导师、微型计算机应用研究所所长、计算机学院副院长。2000年起任上海大学计算机学院教授、博士生导师。1993年起享受国家政府特殊津贴。
　　刘宗田教授的研究领域是人工智能和软件工程，主要学术贡献是程序证明和程序变换、基于知识的高级语言反编译理论和技术、软件度量学、软件质量管理、软件体系结构、多agent系统、数据挖掘、粗糙集合、概念格等。
　　完成国家自然科学基金项目“高级语言逆编译技术”，获1989年国家机械电子工业部科技进步二等奖，排名第二。主持完成国家七五攻关项目和863项目“基于知识的反编译系统”，获1998年安徽省科技进步二等奖，排名第一。主持完成国家机械工业发展基金项目“软件故障分析和软件质量评价”，获2003年安徽省高等学校优秀成果二等奖，排名第一。另外，主持完成国家自然科学基金项目2项、博士点基金项目1项、上海市科技攻关重点项目3项、上海市高等学校发展基金重点项目1项，正在主持国家自然科学基金项目项。

主页访问

2027
关注数

0
成果阅读

650
成果数

12

TA的成果

上传时间

2009-07-21

【期刊论文】FKAOS:一种面向Agent需求工程方法

刘宗田，邵昆，孙志勇，刘炜

电子学报，2003，31（21A）：2171～2174，-0001，（）：

-1年11月30日

摘要

面向Agent需求工程重点研究软件系统的面向Agent的抽象组织形式。本文提出一种新的面向Agent需求工程方法——FKAOS方法。该方法作为较高抽象程度的以Agent为核心的软件系统描述方法能辅助用户和系统设计人员更好地分析和设计系统需求。FKAOS方法通过引入Fuzzy Z语言，扩展经典的KAOS方法，描述多Agent系统中的非确定需求问题。FKAOS方法中的描述视图引入了KAOS方法的目标和责任视图，并添加了一些新的专门描述面向Agent的需求问题的视图和表。本文重点介绍了FKAOS方法的基本元模型概念和相关的主要视图描述模型等内容，并通过一个实例演示了FKAOS方法的实际应用过程。

面向Agent需求工程， FKAOS方法， DESIRE环境， Fuzzy Z语言， KAOS方法， Agent

38浏览
0点赞
0收藏
0分享
115下载
0评论
引用

上传时间

2009-07-21

【期刊论文】概念格的快速渐进式构造算法

刘宗田，谢志鹏)，刘宗田)

计算机研究与发展，2002，25（5）：490～496，-0001，（）：

-1年11月30日

摘要

概念格作为形式概念分析理论中的核心数据结构，已经在知识工程和软件工程等领域得到了广泛的应用。概念格的快速构造在其应用过程中具有重要的意义，研究人员已经提出了一系列构造概念格的算法，其中渐进式算法是很有前途的一类。该文通过对概念格渐进式构造过程的分析，识别出要解决的基本问题，提出了采用树结构对概念格节点进行组织，研究了基于这种树状组织的概念格快速渐进式算法，并给出了算法的伪码。概念格节点的树结构组织有利于识别出格节点的类型以及约束新生格节点的父节点和子节点的搜索范围，从而可以有效地减少算法的执行时间。实验结果表明，基于这种树状索引的渐进式构造算法的时间性能要明显优于著名的Godin 算法。

概念格，渐进式算法，索引树

60浏览
0点赞
0收藏
0分享
165下载
0评论
引用

上传时间

2009-07-21

【期刊论文】软件过程技术及环境研究

刘宗田，潘秋菱，贾亮，许庆，袁兆山

计算机研究与发展，2001，29（11）：1575～1577，-0001，（）：

-1年11月30日

摘要

软件过程已成为软件质量控制的有效方法，但在以往的工作中，由于理论和技术上的困难，未能充分发挥度量在软件过程质量控制中的作用。本文介绍了自主开发的基于UML的软件过程工程环境Softev.为软件开发者提供了定义、运行和监控过程的平台。同时，提出了在软件开发中进行度量的一组指标，并在Softev中予以实现，以客观的度量数据，更科学地评价软件产品（包括中间产品）和实施过程，指导软件开发的全过程

软件过程，软件质量， UML，度量

42浏览
0点赞
0收藏
0分享
111下载
0评论
引用

上传时间

2009-07-21

【期刊论文】面向对象软件度量中的内聚缺乏度分析

刘宗田

计算机研究与发展，2001，38（2）：38～43，-0001，（）：

-1年11月30日

摘要

从理论和实验两方面对面向对象软件度量中内聚缺乏度本质与表现进行了较深入的分析，给出了内聚缺乏度的3种定义：α，β和γ，比较了它们的优点和缺点。理论与实验均表明，α内聚缺乏度（也就是C&K内聚缺乏度）和β内聚缺乏度均没有“度”的含义。而γ内聚缺乏度有较好的特性，但对于方法数特别少的类，稳定性差。还简要分析了基于α内聚缺乏度（C&K内聚缺乏度）派生出的两种内聚缺乏度定义, 即β'和γ'内聚缺乏度, 它们与β和γ内聚缺乏度有相同的性质。并指出，内聚缺乏度研究应当与序员心理学研究相结合。

软件度量，内聚缺乏度，面向对象设计

51浏览
0点赞
0收藏
0分享
189下载
0评论
引用

上传时间

2009-07-21

【期刊论文】一个面向对象软件度量工具的实现和度量实验研究

刘宗田，李心科，潘飚，邢大红

计算机研究与发展，2000，23（11）：1120～1125，-0001，（）：

-1年11月30日

摘要

介绍了面向对象软件C & K度量学理论与方法，结合C++语言的特征，分析了C & K度量指标存在的缺点，提出了改进方法。然后描述了作者开发的基于改进C & K度量学理论与方法的针对C++的软件度量工具SMTCPP，该工具使用LL（1）分析法对源程序进行语法分析，从而提取程序中有关类、类成员、成员函数、对象等信息，计算出类的方法数、方法最大复杂度、继承树深度、子类数目、耦合度、响应集、相对内聚缺乏度等指标，以指导软件开发过程。这些度量结果还可以存放在数据库中，以便为建立软件质量评价模型收集充足的数据。论文最后对采用SMTCPP所做的3个实用软件度量实验结果进行了分析，表明了SMTCPP的实用性。

软件度量，面向对象， C&， K，度量指标

124浏览
0点赞
0收藏
0分享
199下载
0评论
引用

上传时间

2009-07-21

【期刊论文】概念格与关联规则发现

刘宗田，谢志鹏①，刘宗田②

计算机研究与发展，2000，37（12）：1415～1421，-0001，（）：

-1年11月30日

摘要

作为数据挖掘核心任务之一的关联规则发现已经得到了广泛的研究。而由二元关系导出的概念格则是一种非常有用的形式化工具，它体现了概念内涵和外延的统一，反映了对象和特征间的联系以及概念间的泛化与例化关系，因此非常适于发现数据中潜在的概念。分析了概念格与关联规则提取之间的关系，根据需要对格结构进行了相应的修改，提出了相应的渐进式生成算法和基于概念格的关联规则提取算法，通过定理和性质对算法进行了说明并对关联规则进行缩减。最后对格结构的复杂性进行了讨论并给出了相应的实验结果。

概念格，内涵缩减，关联规则，数据挖掘

54浏览
0点赞
0收藏
0分享
46下载
0评论
引用

上传时间

2009-07-21

【期刊论文】构件复用的Web化支撑模型研究

刘宗田，蔡智明

计算机研究与发展，2000，28（3）：142～144，-0001，（）：

-1年11月30日

摘要

本文基于一种以网络、Δgetn及领域为基础的Web化构件复用支撑模型，简述了其采用的框架模板表示方法及对构件化软件的分层规范：构造了领域框架、构件的分布式描述类库，提出以多Agent的手段实现分布式的构件搜索、管理，描述了各Agent的主要逻辑及相互协同关系。原型实现中使用了ASP、Java、JDBC、SQL 等工具，并在实际开发中进行了应用试验。

Web，软构件， Agent， CASE

84浏览
0点赞
0收藏
0分享
48下载
0评论
引用

上传时间

2009-07-21

【期刊论文】容差近似空间的广义概念格模型研究

刘宗田

计算机研究与发展，2000，23（1）：66～70，-0001，（）：

-1年11月30日

摘要

在粗糙集合理论中，近似空间与概念格之间存在着有趣的对应关系，利用概念格研究知识的约简和发现，更直观和有效。但已有的概念格模型是基于近似空间的等价类划分的。等价类划分过于苛刻，扩展的基于容差关系的近似空间具有更广泛的意义，但目前未见有相应的格模型被提出。该文提出了容差近似空间的一种格模型，称为广义概念格，给出了定义，描述了建立方法和由它产生规则的原则，讨论了空间复杂性问题，并且与其它相近方法做了比较。

粗糙集合，概念格，容差近似空间，知识发现

34浏览
0点赞
0收藏
0分享
54下载
0评论
引用

上传时间

2009-07-21

【期刊论文】8086C逆编译数据类型恢复技术

刘宗田，李力

计算机研究与发展，1992，（4）：44～51，-0001，（）：

-1年11月30日

摘要

本文提出了一种用于8086C逆编译来统的数据类型恢复技术。该技术的核心是通过阅读经过符号执行解释汇编码所产生的中间文本，全面收集各个变量的应用信息，然后加以综合分析，产生较完整的符号表，以恢复变量的数据类型。文中对C语言的主要数据类型的恢复进行了详细的分析，总结出了20多条信息收集与类型综合的规则。

逆编译器,，数据类型恢复,，推理规则

39浏览
0点赞
0收藏
0分享
46下载
0评论
引用

上传时间

2009-07-21

【期刊论文】C子集程序到C语言程序的变换

刘宗田，兰群

计算机研究与发展，1991，28（3）：29～35，-0001，（）：

-1年11月30日

摘要

本文介绍由C子集程序变换为C语言程序的方法和技术，该变换已在68000C反编译系统的设计与实现中应用，且可用于程序结构化。

36浏览
0点赞
0收藏
0分享
33下载
0评论
引用

上传时间

2009-07-21

【期刊论文】一个面向对象软件度量工具的实现和度量实验研究

刘宗田，李心科，潘飚，邢大红

计算机研究与发展，2000，23（11）：1120～1125，-0001，（）：

-1年11月30日

摘要

软件度量，面向对象， C&， K，度量指标

124浏览
0点赞
0收藏
0分享
199下载
0评论
引用

上传时间

2009-07-21

【期刊论文】面向对象软件度量中的内聚缺乏度分析

刘宗田

计算机研究与发展，2001，38（2）：38～43，-0001，（）：

-1年11月30日

摘要

软件度量，内聚缺乏度，面向对象设计

51浏览
0点赞
0收藏
0分享
189下载
0评论
引用

上传时间

2009-07-21

【期刊论文】概念格的快速渐进式构造算法

刘宗田，谢志鹏)，刘宗田)

计算机研究与发展，2002，25（5）：490～496，-0001，（）：

-1年11月30日

摘要

概念格，渐进式算法，索引树

60浏览
0点赞
0收藏
0分享
165下载
0评论
引用

上传时间

2009-07-21

【期刊论文】FKAOS:一种面向Agent需求工程方法

刘宗田，邵昆，孙志勇，刘炜

电子学报，2003，31（21A）：2171～2174，-0001，（）：

-1年11月30日

摘要

面向Agent需求工程， FKAOS方法， DESIRE环境， Fuzzy Z语言， KAOS方法， Agent

38浏览
0点赞
0收藏
0分享
115下载
0评论
引用

上传时间

2009-07-21

【期刊论文】软件过程技术及环境研究

刘宗田，潘秋菱，贾亮，许庆，袁兆山

计算机研究与发展，2001，29（11）：1575～1577，-0001，（）：

-1年11月30日

摘要

软件过程，软件质量， UML，度量

42浏览
0点赞
0收藏
0分享
111下载
0评论
引用

上传时间

2009-07-21

【期刊论文】容差近似空间的广义概念格模型研究

刘宗田

计算机研究与发展，2000，23（1）：66～70，-0001，（）：

-1年11月30日

摘要

粗糙集合，概念格，容差近似空间，知识发现

34浏览
0点赞
0收藏
0分享
54下载
0评论
引用

上传时间

2009-07-21

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

刘宗田

计算机研究与发展，1994，34（4）：281～286，-0001，（）：

-1年11月30日

摘要

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

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

57浏览
0点赞
0收藏
0分享
51下载
0评论
引用

上传时间

2009-07-21

【期刊论文】构件复用的Web化支撑模型研究

刘宗田，蔡智明

计算机研究与发展，2000，28（3）：142～144，-0001，（）：

-1年11月30日

摘要

Web，软构件， Agent， CASE

84浏览
0点赞
0收藏
0分享
48下载
0评论
引用

上传时间

2009-07-21

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

刘宗田

计算机研究与发展，1998，35（1）：87～90，-0001，（）：

-1年11月30日

摘要

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

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

31浏览
0点赞
0收藏
0分享
48下载
0评论
引用

上传时间

2009-07-21

【期刊论文】概念格与关联规则发现

刘宗田，谢志鹏①，刘宗田②

计算机研究与发展，2000，37（12）：1415～1421，-0001，（）：

-1年11月30日

摘要

概念格，内涵缩减，关联规则，数据挖掘

54浏览
0点赞
0收藏
0分享
46下载
0评论
引用