贵州省教育厅自然科学研究项目(20090068)
- 作品数：14 被引量：15H指数：3
- 相关作者：曹发生黄飞丹王驹杨楠蒋运承更多>>
- 相关机构：毕节学院广西师范大学中山大学更多>>
- 发文基金：贵州省教育厅自然科学研究项目国家自然科学基金贵州省科学技术基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 基于矩阵模型表示的(线性)有限自动机的同步序列判定
- 2011年
- 在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.
- 杨楠曹发生邓培民
- 关键词：有限自动机矩阵模型
- 格值命题逻辑LP(X)中的语义归结方法被引量：3
- 2010年
- 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。
- 张家锋徐扬
- 关键词：格值逻辑格蕴涵代数
- 格值命题逻辑LP(X)中的语义归结方法
- 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。
- 张家锋徐扬
- 关键词：格值逻辑格蕴涵代数
- 文献传递
- 描述逻辑系统UEVN中概念的包含关系被引量：3
- 2010年
- 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件。
- 曹发生张维
- 关键词：描述逻辑
- Hamilton群的主同余被引量：2
- 2013年
- 研究了有限交换群和Hamilton群的主同余,利用同余的定义并构造它们的主同余公式,给出了它们的主同余刻画.
- 曹发生
- 关键词：同余
- 两类循环模糊自动机的弱等价性
- 2011年
- 定义循环模糊自动机和循环模糊有限状态自动机,并讨论了这两类循环模糊自动机的弱等价性。
- 黄飞丹
- 描述逻辑FL_0循环术语集的可满足性
- 2012年
- 循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术语集的可满足性的推理是多项式复杂的。
- 汪天友曹发生
- 关键词：描述逻辑互模拟
- 基于语义赋值的有穷集合上二元关系性质的判定算法
- 2010年
- 先将关系的几种性质形式化,再利用语义赋值给出关系性质的判定算法,证明了该算法的可靠性与完备性;分析该算法的复杂性,它们都是多项式复杂的。最后通过实例给出了该算法应用,并用VC程序语言得以实现。
- 曹发生罗青林
- 有单位元的环的主同余被引量：6
- 2010年
- 通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.
- 曹发生王驹蒋运承
- 循环自动机的等价性被引量：1
- 2011年
- 主要讨论了两个循环有限自动机的等价性与循环有限自动机的生成子之间的关系,在某些条件下给出了两个循环有限自动机等价的充分必要条件。
- 黄飞丹曹发生
- 关键词：等价
