江苏省自然科学基金(BK2006094)
- 作品数：10 被引量：24H指数：3
- 相关作者：徐宝文周晓宇杨彬陈林张卫丰更多>>
- 相关机构：东南大学南京邮电大学武汉大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于概念内涵最小生成子的伪内涵计算方法被引量：2
- 2008年
- 伪内涵是形式概念分析理论的一个重要概念,伪内涵问题的研究是当前研究的热点.传统的伪内涵计算方法为了获得形式背景中所有的伪内涵,需要搜索形式背景中所有的非内涵属性集,而属性的组合容易导致搜索空间爆炸.为此,本文从概念内涵生成子的角度,刻画伪内涵的特性,给出伪内涵判定的充要条件;在此基础上,提出计算伪内涵的GPI算法.GPI算法只需对概念内涵的最小生成子进行计算,便可获得形式背景中所有的伪内涵,有助于缩减算法的搜索空间,提高伪内涵计算效率.理论分析和实验结果表明,本文的算法是有效可行的.
- 杨彬徐宝文许蕾
- 关键词：形式概念分析
- 一种集成的字符集检测方法研究
- 2008年
- 有些文本缺少字符集信息,因而阻碍了字符信息的正确解析。为了获得字符集信息可以根据文本中字符信息的统计特征以及各种字符集之间的差异来识别出文本的字符集。集成的字符集检测方法通过综合应用编码模式检测方法、字符分布方法和双字符序列检测方法来检测字符集。它根据算法复杂度和每种算法的准确率来调度算法,使得在用一种方法不能确定字符集的情况下利用其它方法来检测出字符集实验结果表明:集成的字符检测技术具有较高的准确率。集成的字符检测方法在某些情况下通过适度增加一些时间来获得较高的精度。
- 张卫丰周国强张迎周
- 关键词：字符集
- 基于AST的克隆序列与克隆类识别被引量：3
- 2008年
- 为了减少代码冗余,改善程序结构,提出一种新的基于抽象语法的代码克隆识别方法,归纳出常见的代码克隆形式并给出相应的重构技术.用二叉树表示源程序的抽象语法(BAST),逐条判断各语句BAST子树的同构性,识别出相似的语句序列作为克隆序列;根据子树同构识别一元克隆类,然后通过克隆类的连接操作,逐步识别二元及任意元数的克隆类.实验分析了多个开源软件,识别出了其中的克隆序列以及克隆类,从中归纳出4种常见的代码克隆,其基本特征分别为:相同的程序点访问同类对象的不同属性、部分变量名不同、针对不同的数据类型实施相同的操作、修改克隆区域外定义的变量,并对这4种代码有效地实施了重构.
- 李亚军徐宝文周晓宇
- 关键词：代码克隆软件维护
- 基于程序依赖图的Aspect挖掘技术被引量：1
- 2008年
- 为了有效地识别遗产代码中因横切关注点而导致的零散代码或交织代码,提出了一种基于程序依赖图的A spect挖掘方法.根据横切关注点的本质特性,考察了横切关注点与核心关注点之间的依赖关系及其在依赖图上的表现形式,对于单个方法体,结合程序的语义信息,在程序依赖图中引入一个虚拟结点表征方法体的核心功能,所有影响核心功能的语句都与之建立依赖关系,然后对依赖图进行拓扑分析,先从虚拟结点开始分离出核心代码,再通过求解连通分量的方式挖掘方法体内横切代码.实例分析表明,该方法不仅能识别出方法体内的零散特性代码,而且还能有效地挖掘出交织特性的代码.
- 闵洪波徐宝文钱巨
- 关键词：ASPECT挖掘横切关注点程序依赖图软件维护
- TPython:一种扩充的Python语言被引量：1
- 2009年
- Python是一种流行的动态语言,但是由于完全的动态性影响了其执行效率和使用。因此,在Python基础上进行了静态化扩充,研制了TPython语言。该语言在注释中引入了可选的类型声明,并提供了包括类型检查在内的静态检查。相对于动态语言而言,TPython能够提高程序的可读性和可靠性,降低调试成本,相对于静态语言而言,TPython又具有语法简单,易于开发的优势。
- 余超周天琳周晓宇陈林徐宝文
- 关键词：PYTHON解释器动态语言
- 一种恢复状态模式的状态转换图的方法
- 2010年
- 现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息。针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图。给出了具体算法,通过实例分析验证了方法的可行性。
- 尹恒周晓宇
- 关键词：设计模式状态转换图
- 数据结构课程教学模式的研究被引量：1
- 2008年
- 数据结构是一门理论性和抽象性很强的专业核心课程。本文提出了一种从上至下，从抽象到具体的分层教学演化模式，符合学生思维的演化过程，从而降低了该课程的学习难度。通过实践证明该模式配合内容的设计有较好的教学效果。
- 周国强张卫丰
- 关键词：数据结构教学模式
- 一种基于类型约束的泛型Java程序重构方法被引量：2
- 2007年
- 泛化关系重构是一类非常重要的重构方法，能否实施这类重构取决于程序中的类型约束．本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束，会破坏程序类型正确性的问题，提出了一组泛型Java程序的类型约束规则，通过构造类型约束图分析了重构前后程序的类型约束，并给出了提炼接口和成员上移的自动化重构算法，可以在与程序代码规模成线性关系的时间内实施重构，并有效地保证程序的类型正确性．
- 陈林徐宝文周晓宇曹璟
- 关键词：软件维护
- 分布式概念格的属性约简研究被引量：10
- 2008年
- 概念格的属性约简是形式化概念分析理论的重要研究内容之一.传统的格属性约简方法主要是针对非分布式环境下单个形式背景的,而随着数据分布存储和处理的广泛应用,研究基于分布式环境下概念格的属性约简具有重要的意义.为此,提出属性的超集和确定集的概念,刻画了形式背景中不同类型属性的局部特征与全局特征,推导出属性约简的判定定理;在此基础上,给出计算分布式环境下概念格属性约简的ADSCL和DRCL算法.ADSCL算法用于计算属性的超集和最小确定集,这些约简信息将作为DRCL算法的输入,以计算得到全局形式背景的约简.理论分析和实验结果表明,该算法是有效可行的.
- 杨彬徐宝文
- 关键词：概念格分布式环境属性约简
- 一个设计模式自动识别技术研究框架被引量：4
- 2009年
- 在程序代码中自动识别设计模式可以为面向设计模式的软件理解、维护和重构等活动提供自动化支持。比较系统地分析了该领域十余年来的研究状况和存在的问题,提出了一套以准确和通用的设计模式识别技术为目标,以层次化识别特征的确定、基于静态分析技术的语义特征发掘与识别技术、基于语义特征和排除性约束的软件框架描述技术、基于描述逻辑的设计模式形式化技术等为内容的研究框架。介绍了各项技术的基本思想和主要内容,论述了其可行性。
- 周晓宇徐宝文
- 关键词：设计模式逆向工程
