刘宗田
人工智能和软件工程
个性化签名
- 姓名:刘宗田
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机应用
- 研究兴趣:人工智能和软件工程
刘宗田,男,1946年6月,山东莒南人。1970年毕业于北京航空学院航空材料专业;1982年研究生毕业于北京航空航天大学计算机 软件专业,获硕士学位。1970-1980年在安徽泗县化肥厂任技术员、车间副主任。1982-2000年在合肥工业大学任讲师、副教授、研究员、博士生导师、微型计算机应用研究所所长、计算机学院副院长。2000年起任上海大学计算机学院教授、 博士生导师。1993年起享受国家政府特殊津贴。
刘宗田教授的研究领域是人工智能和软件工程,主要学术贡献是程序证明和程序变换、基于知识的高级语言反编译理论和 技术、软件度量学、软件质量管理、软件体系结构、多agent系统、数据挖掘、粗糙集合、概念格等。
完成国家自然科学基金项目“高级语言逆编译技术”,获1989年国家机械电子工业部科技进步二等奖,排名第二。主持完成国家七五攻关项目和863项目“基于知识的反编译系统”,获1998年安徽省科技进步二等奖,排名第一。主持完成国家机械工业发展基金项目“软件故障分析和软件质量评价”,获2003年安徽省高等学校优秀成果二等奖,排名第一。另外,主持完成国家自然科学基金项目2项、博士点基金项目1项、上海市科技攻关重点项目3项、上海市高等学校发展基金重点项目1项,正在主持国家自然科学基金项目项。
-
主页访问
2027
-
关注数
0
-
成果阅读
643
-
成果数
12
刘宗田, 邵昆, 孙志勇, 刘炜
电子学报,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评论
-
引用
刘宗田, 谢志鹏), 刘宗田)
计算机研究与发展,2002,25(5):490~496,-0001,():
-1年11月30日
概念格作为形式概念分析理论中的核心数据结构,已经在知识工程和软件工程等领域得到了广泛的应用。概念格的快速构造在其应用过程中具有重要的意义,研究人员已经提出了一系列构造概念格的算法,其中渐进式算法是很有前途的一类。该文通过对概念格渐进式构造过程的分析,识别出要解决的基本问题,提出了采用树结构对概念格节点进行组织,研究了基于这种树状组织的概念格快速渐进式算法,并给出了算法的伪码。概念格节点的树结构组织有利于识别出格节点的类型以及约束新生格节点的父节点和子节点的搜索范围,从而可以有效地减少算法的执行时间。实验结果表明,基于这种树状索引的渐进式构造算法的时间性能要明显优于著名的Godin 算法。
概念格, 渐进式算法, 索引树
-
60浏览
-
0点赞
-
0收藏
-
0分享
-
165下载
-
0评论
-
引用
刘宗田, 潘秋菱, 贾亮, 许庆, 袁兆山
计算机研究与发展,2001,29(11):1575~1577,-0001,():
-1年11月30日
软件过程已成为软件质量控制的有效方法,但在以往的工作中,由于理论和技术上的困难,未能充分发挥度量在软件过程质量控制中的作用。本文介绍了自主开发的基于UML的软件过程工程环境Softev.为软件开发者提供了定义、运行和监控过程的平台。同时,提出了在软件开发中进行度量的一组指标,并在Softev中予以实现,以客观的度量数据,更科学地评价软件产品(包括中间产品)和实施过程,指导软件开发的全过程
软件过程, 软件质量, UML, 度量
-
40浏览
-
0点赞
-
0收藏
-
0分享
-
111下载
-
0评论
-
引用
刘宗田
计算机研究与发展,2001,38(2):38~43,-0001,():
-1年11月30日
从理论和实验两方面对面向对象软件度量中内聚缺乏度本质与表现进行了较深入的分析,给出了内聚缺乏度的3种定义:α,β和γ,比较了它们的优点和缺点。理论与实验均表明,α内聚缺乏度(也就是C&K内聚缺乏度)和β内聚缺乏度均没有“度”的含义。而γ内聚缺乏度有较好的特性,但对于方法数特别少的类,稳定性差。还简要分析了基于α内聚缺乏度(C&K内聚缺乏度)派生出的两种内聚缺乏度定义, 即β'和γ'内聚缺乏度, 它们与β和γ内聚缺乏度有相同的性质。并指出,内聚缺乏度研究应当与序员心理学研究相结合。
软件度量, 内聚缺乏度, 面向对象设计
-
49浏览
-
0点赞
-
0收藏
-
0分享
-
189下载
-
0评论
-
引用
刘宗田, 李心科, 潘飚, 邢大红
计算机研究与发展,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, 度量指标
-
122浏览
-
0点赞
-
0收藏
-
0分享
-
199下载
-
0评论
-
引用
刘宗田, 谢志鹏①, 刘宗田②
计算机研究与发展,2000,37(12):1415~1421,-0001,():
-1年11月30日
作为数据挖掘核心任务之一的关联规则发现已经得到了广泛的研究。而由二元关系导出的概念格则是一种非常有用的形式化工具,它体现了概念内涵和外延的统一,反映了对象和特征间的联系以及概念间的泛化与例化关系,因此非常适于发现数据中潜在的概念。分析了概念格与关联规则提取之间的关系,根据需要对格结构进行了相应的修改,提出了相应的渐进式生成算法和基于概念格的关联规则提取算法,通过定理和性质对算法进行了说明并对关联规则进行缩减。最后对格结构的复杂性进行了讨论并给出了相应的实验结果。
概念格, 内涵缩减, 关联规则, 数据挖掘
-
54浏览
-
0点赞
-
0收藏
-
0分享
-
46下载
-
0评论
-
引用
刘宗田, 蔡智明
计算机研究与发展,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评论
-
引用
刘宗田
计算机研究与发展,2000,23(1):66~70,-0001,():
-1年11月30日
在粗糙集合理论中,近似空间与概念格之间存在着有趣的对应关系,利用概念格研究知识的约简和发现,更直观和有效。但已有的概念格模型是基于近似空间的等价类划分的。等价类划分过于苛刻,扩展的基于容差关系的近似空间具有更广泛的意义,但目前未见有相应的格模型被提出。该文提出了容差近似空间的一种格模型,称为广义概念格,给出了定义,描述了建立方法和由它产生规则的原则,讨论了空间复杂性问题,并且与其它相近方法做了比较。
粗糙集合, 概念格, 容差近似空间, 知识发现
-
34浏览
-
0点赞
-
0收藏
-
0分享
-
54下载
-
0评论
-
引用
刘宗田, 李力
计算机研究与发展,1992,(4):44~51,-0001,():
-1年11月30日
本文提出了一种用于8086C逆编译来统的数据类型恢复技术。该技术的核心是通过阅读经过符号执行解释汇编码所产生的中间文本,全面收集各个变量的应用信息,然后加以综合分析,产生较完整的符号表,以恢复变量的数据类型。文中对C语言的主要数据类型的恢复进行了详细的分析,总结出了20多条信息收集与类型综合的规则。
逆编译器,, 数据类型恢复,, 推理规则
-
39浏览
-
0点赞
-
0收藏
-
0分享
-
46下载
-
0评论
-
引用
刘宗田, 兰群
计算机研究与发展,1991,28(3):29~35,-0001,():
-1年11月30日
本文介绍由C子集程序变换为C语言程序的方法和技术,该变换已在68000C反编译系统的设计与实现中应用,且可用于程序结构化。
-
35浏览
-
0点赞
-
0收藏
-
0分享
-
33下载
-
0评论
-
引用