陈庆燕
- 作品数：8 被引量：11H指数：2
- 供职机构：滨州学院计算机科学技术系更多>>
- 发文基金：国家自然科学基金贵州省省长专项基金项目更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 一个极小不可满足公式子集的构造
- 2011年
- 对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的。找到了一个能递归构造的极小不可满足公式的子类MAX+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例。
- 陈庆燕姚雷博
- 关键词：极小不可满足公式
- 研究性学习法在操作系统实验教学中的应用被引量：3
- 2008年
- 《操作系统》是计算机类专业的重要专业基础课和主干课程之一。在操作系统实验教学中运用研究性学习方法,学生通过"提出课题->素材准备->设计实验->点评设计->实施实验->结果评价->知识反馈"等环节自己归纳总结,变被动学习为主动学习,提高了实验操作能力、观察能力、逻辑思维能力以及分析综合能力。
- 王春梅陈庆燕
- 关键词：研究性学习法实验教学操作系统
- MAX～+（k）中公式改名的复杂性
- 对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。我们对极小不可满足公式集感兴趣主要基于两方面的原因：一是大多数的消解难例公式都是极小不可满足的；二是对于极小不可满足公式的深入理解，有助于我们构造新的难例公...
- 陈庆燕
- 关键词：改名极小不可满足公式
- 文献传递
- 一个极小不可满足公式子类改名的复杂性研究
- 2011年
- 改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用,对于一些具有对称结构的难例公式,可以通过改名来降低其证明的复杂性.研究了一个极小不可满足公式子类,给出了该子类的改名算法,并证明了对该子类中改名问题可以在多项式时间内判定.
- 陈庆燕
- 关键词：改名极小不可满足公式子类多项式时间
- Bordat概念格构造算法的改进被引量：8
- 2010年
- 作为一种重要的概念格构造算法,Bordat算法简洁、直观且易于并行化,但该算法本身的效率并不高。在深入研究格结构特性的基础上,给出了它的改进算法。首先对形式背景的属性集进行等价类划分,以减少参与计算的属性个数,并消除了在产生子节点集的过程中,对属性之间的多余比较,从而大大提高算法的效率,并通过实例和实验说明该算法的正确性和有效性。
- 陈庆燕
- 关键词：概念格等价类划分
- 概念格构造算法实验对比分析
- 2010年
- 概念格作为形式概念分析理论中的核心数据结构,已经在很多领域得到了广泛的应用,国内外的研究人员已经提出一系列的构造概念格的算法。本文给出了三种算法的构造思想及理论上最坏情况下的时间复杂度,并通过实验分析了各种算法当参数变化时它们的时间复杂度的变化趋势。
- 陈庆燕崔娟
- 关键词：概念格时间复杂度形式概念分析
- MAX+ (k)中公式改名的多项式时间可判定性(英文)
- 2005年
- MAX+ (k)是极小不可满足公式的一个子类。作者引入了MAX+ (k)中公式的一种递归构造方法, 基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX+ (k)中公式的改名问题在多项式时间内可以判定。
- 陈庆燕许道云
- 概念格构造算法分析
- 2010年
- 形式概念分析是一种有效的数据分析工具,已经得到了广泛的应用。概念格作为其核心数据结构目前已有各种构造算法。本文重点研究了Ganter和Nourine两种概念格构造算法,并通过实验分析在属性个数固定的情况下,当疏密度不同时,时间复杂度随对象数增加的变化情况。
- 陈庆燕崔娟
- 关键词：概念格时间复杂度疏密度
