贵州省教育厅自然科学研究项目(20090068)

作品数：14被引量：15H指数：3
导出分析报告
相关作者：曹发生黄飞丹王驹杨楠蒋运承更多>>
相关机构：毕节学院广西师范大学中山大学黔南民族师范学院更多>>
相关期刊：《四川师范大学学报（自然科学版）》《福州大学学报（自然科学版）》《模糊系统与数学》《黔南民族师范学院学报》更多>>
相关主题：同余描述逻辑有穷矩阵模型有限自动机更多>>
相关领域：理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Hamilton群的主同余被引量：2
《数学的实践与认识》2013年第15期255-258,共4页曹发生 
贵州省教育厅自然科学基金(黔教科20090068);贵州省科技厅基金(2010GZ43286)
研究了有限交换群和Hamilton群的主同余,利用同余的定义并构造它们的主同余公式,给出了它们的主同余刻画.
关键词：同余 主同余 主同余公式 Hamilton群 
描述逻辑FL_0循环术语集的可满足性
《计算机工程与应用》2012年第14期56-59,共4页汪天友 曹发生 
贵州省教育厅自然科学基金项目(No.黔教科20090068);贵州省重点支持学科(逻辑学)项目
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术...
关键词：描述逻辑 FL0 互模拟 
几乎有限表现模被引量：1
《纯粹数学与应用数学》2012年第2期213-218,237,共7页黄飞丹 
贵州省教育厅自然科学基金(20090068);贵州省教育厅自然科学基金(黔教科2010072);贵州省科学技术基金(2012GZ10526)
利用几乎有限表现模来刻划凝聚环和半遗传环.通过讨论几乎有限表现模和广义有限表现模之间的关系,得出了几个关于几乎有限表现模和凝聚环、半遗传环的等价条件,改进了已有的结论,把刻划凝聚环的模缩小到几乎有限表现模.
关键词：几乎有限表现模 广义有限表现模 凝聚环 半遗传环 
布尔格的主同余被引量：4
《四川师范大学学报（自然科学版）》2012年第2期236-239,共4页曹发生 
贵州省教育厅自然科学基金(黔教科20090068)资助项目
基于布尔格的次直积同构表示,引入布尔格的元的不可辨下标集的定义,给出布尔格的元的不可辨下标集的简单性质.应用布尔格的元的不可辨下标集给出布尔格的主同余的刻画,并给出有穷布尔格的主同余的基数与布尔格的元的不可辨下标集的基数...
关键词：主同余 布尔格 基数 
矩阵模型在有限自动机的限制直积上的应用
《黔南民族师范学院学报》2012年第2期109-111,共3页杨楠 郭德龙 罗泽龙 
贵州省教育厅自然科学基金(黔教科20090068)
本文主要利用矩阵模型对两个有限自动机的限制直积进行讨论,在此基础上对限制直积的状态映射矩阵和输出映射矩阵进行了研究,并给出了它们的一些性质.
关键词：有限自动机 矩阵模型 限制直积 状态映射矩阵 输出映射矩阵 
两类循环模糊自动机的弱等价性
《模糊系统与数学》2011年第6期140-145,共6页黄飞丹 
贵州省教育厅自然科学基金资助项目(黔教科20090068);贵州省教育厅自然科学基金资助项目(黔教科2010072);贵州省科技厅科研项目(2010GZ43286)
定义循环模糊自动机和循环模糊有限状态自动机,并讨论了这两类循环模糊自动机的弱等价性。
关键词：循环模糊自动机 循环模糊有限状态自动机 弱等价 
基于矩阵模型表示的(线性)有限自动机的同步序列判定
《数学的实践与认识》2011年第10期192-197,共6页杨楠 曹发生 邓培民 
贵州省重点支持学科(应用数学)基金(黔教高发[2009]303号);贵州省教育厅自然科学基金(黔教科20090068)
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.
关键词：有限自动机 矩阵模型 同步序列 
循环自动机的等价性被引量：1
《计算机工程与应用》2011年第7期34-35,88,共3页黄飞丹 曹发生 
贵州省教育厅自然科学基金资助项目(No.黔教科20090068);贵州省科技厅基金资助项目(No.2010GZ43286)
主要讨论了两个循环有限自动机的等价性与循环有限自动机的生成子之间的关系,在某些条件下给出了两个循环有限自动机等价的充分必要条件。
关键词：循环有限自动机 等价 极小有限自动机 
描述逻辑系统UEVN中概念的包含关系被引量：3
《计算机工程与应用》2010年第30期43-45,共3页曹发生 张维 
贵州省教育厅自然科学基金资助项目(黔教科20090068,20090047);贵州省科学技术基金资助项目(黔科合J字[2009]2068号)
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它...
关键词：描述逻辑 非标准推理 概念描述树 
格值命题逻辑LP(X)中的语义归结方法被引量：3
《辽宁工程技术大学学报（自然科学版）》2010年第5期767-770,共4页张家锋 徐扬 
国家自然科学基金资助项目(60875034);贵州省教育厅自然科学基金资助项目(黔教科20090068)
为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。
关键词：自动推理 语义归结方法 格值逻辑 格蕴涵代数 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部