您的位置： 专家智库 > >

曹发生

作品数：33 被引量：43H指数：4
供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
发文基金：贵州省教育厅自然科学研究项目国家自然科学基金贵州省科学技术基金更多>>
相关领域：理学自动化与计算机技术哲学宗教更多>>

合作作者

文献类型

  • 31篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 21篇理学
  • 14篇自动化与计算...
  • 3篇哲学宗教

主题

  • 9篇描述逻辑
  • 8篇同余
  • 6篇逻辑系统
  • 4篇代数
  • 3篇有穷
  • 3篇自动机
  • 3篇逻辑
  • 2篇等价
  • 2篇信息系统
  • 2篇同态
  • 2篇矩阵
  • 2篇矩阵模
  • 2篇矩阵模型
  • 2篇LN
  • 2篇粗糙集
  • 1篇单位元
  • 1篇等价关系
  • 1篇等价性
  • 1篇对称性
  • 1篇对偶

机构

  • 30篇毕节学院
  • 13篇黔南民族师范...
  • 12篇广西师范大学
  • 5篇中山大学
  • 1篇贵阳学院
  • 1篇贵州民族大学
  • 1篇华南师范大学
  • 1篇西南交通大学
  • 1篇青岛理工大学
  • 1篇首都师范大学
  • 1篇中国科学院软...

作者

  • 33篇曹发生
  • 8篇余泉
  • 7篇张维
  • 6篇王驹
  • 4篇蒋运承
  • 3篇杨楠
  • 3篇张家锋
  • 2篇赵小香
  • 2篇聂登国
  • 2篇黄飞丹
  • 1篇高晓兵
  • 1篇罗青林
  • 1篇叶林
  • 1篇汪天友
  • 1篇邓培民
  • 1篇李佳
  • 1篇侯金宏

传媒

  • 13篇毕节学院学报...
  • 3篇计算机工程与...
  • 3篇黔南民族师范...
  • 2篇数学的实践与...
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇福州大学学报...
  • 1篇计算机工程与...
  • 1篇江西师范大学...
  • 1篇四川师范大学...
  • 1篇烟台大学学报...
  • 1篇山东大学学报...
  • 1篇西南大学学报...
  • 1篇逻辑学研究

年份

  • 1篇2020
  • 1篇2015
  • 1篇2014
  • 2篇2013
  • 3篇2012
  • 3篇2011
  • 12篇2010
  • 6篇2009
  • 3篇2008
  • 1篇2007
共 33 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
具有可定义主同余性质的代数类
2008年
给出了三种代数类具有可定义主同余性质的证明。
曹发生张维余泉
关键词：分配格
格理想的几个结论
2009年
讨论了格的理想,得到了一些主理想和素理想的几个结论.
余泉曹发生
关键词：主理想素理想
决策逻辑的图论模型
2014年
通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。
曹发生张家锋黄飞丹聂登国
关键词：决策逻辑粗糙集语义
描述逻辑系统UEVN中概念的包含算法
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,这篇文章研究的是描述逻辑系统UEVN中的一种重要的非标准...
曹发生
关键词：描述逻辑
文献传递
有单位元的环的主同余被引量：6
2010年
通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.
曹发生王驹蒋运承
基于矩阵模型表示的(线性)有限自动机的同步序列判定
2011年
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.
杨楠曹发生邓培民
关键词：有限自动机矩阵模型
开放世界信息更新的逻辑系统
2020年
信息系统的粗糙集理论是处理知识表示的一种有效方法.开放类的一个重要特性是其成员可能会增加,部分映射和非满映射为开放世界信息系统的信息表提供了工具.结合开放类和粗糙集逻辑,利用信息系统的粗糙集理论形式化开放世界模型,从而建立开放世界信息更新的逻辑系统.
曹发生
关键词：信息系统逻辑系统
归纳法在描述逻辑中的应用
2009年
归纳法在描述逻辑中关于定义、证明和算法三个方面都有应用,在这些应用中归纳法中的基始部分和归纳部分被着重注明。
曹发生余泉
关键词：归纳法描述逻辑
属性探索算法的一种改进方法
2009年
在介绍了形式概念分析中的伪内涵和属性探索算法之后,通过对属性探索算法进行研究,该算法的一种新改进方法被给出了。
赵小香张维曹发生
关键词：形式概念分析
循环ALCN-Tbox具有模型的条件被引量：16
2008年
分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.
曹发生余泉王驹蒋运承
关键词：NAMESYMBOL
全选 清除 导出
共4页<1234>
聚类工具0