国家自然科学基金(60663001)

作品数：24被引量：68H指数：5
导出分析报告
相关作者：蒋运承王驹曹发生余泉邓培民更多>>
相关机构：广西师范大学毕节学院黔南民族师范学院中山大学更多>>
相关期刊：《福州大学学报（自然科学版）》《计算机学报》《计算机技术与发展》《计算机工程与设计》更多>>
相关主题：描述逻辑语义不动点语义有限自动机同余更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向语义Web的Expressive格值描述逻辑(英文)被引量：4
《电子科技大学学报》2012年第3期322-335,共14页蒋运承 谭红艳 
Supported by the National Natural Science Foundation of China under Grant(60663001);the Natural Science Foundation of GuangdongProvince of China under Grant(10151063101000031)~~
提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑...
关键词：可信度格 描述逻辑 模糊描述逻辑 模糊逻辑 语义WEB 
描述逻辑系统εLN中概念最小公共包含推理研究被引量：2
《计算机工程与科学》2012年第2期139-145,共7页张维 曹发生 余泉 王驹 
国家自然科学基金资助项目(60663001);中国科学院计算机科学国家重点实验室开放课题基金资助项目(SYSKF0904);贵州省教育厅自然科学基金资助项目(黔教科20090047);贵州省科学技术基金资助项目(黔科合J字[2009]2068)
描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能...
关键词：描述逻辑 描述树 同态 最小公共包含 
模态描述逻辑MALC模型的几个代数性质被引量：1
《计算机工程与科学》2010年第10期135-138,共4页余泉 张维 王驹 
国家自然科学基金资助项目(60663001);贵州省科技厅科学技术基金资助项目(黔科合J字[2009]2068号);贵州省教育厅自然科学基金资助项目(黔教科2008090);黔南民族师范学院2008年度院级重点资助项目(2008z01)
本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性。
关键词：MALC 有界态射 不变性 互模拟 
描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5
《计算机研究与发展》2010年第6期1053-1059,共7页张维 侯金宏 曹发生 王驹 蒋运承 
国家自然科学基金项目(60663001);中国科学院计算机科学国家重点实验室开放课题基金项目(SYSKF0904);广西自然科学基金项目(桂科自0991100);贵州省科学技术基金项目(黔科合J字[2009]2068号);贵州省教育厅自然科学基金项目(黔教科2008090)
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念...
关键词：描述逻辑 非标准推理 概念描述树 最小公共包含 算法 
半分配同余簇主同余的研究被引量：1
《福州大学学报（自然科学版）》2010年第3期309-311,共3页曹发生 王驹 
国家自然科学基金资助项目(60663001);贵州省教育厅自然科学基金资助项目(20090068);毕节学院重点资助项目(20092015)
分配同余簇是半分配同余簇的真子类,给出了半分配同余簇上的一个重要的相仿于分配同余簇上的结论.
关键词：有穷基 主同余 半分配同余簇 
有单位元的环的主同余被引量：6
《江西师范大学学报（自然科学版）》2010年第2期192-194,214,共4页曹发生 王驹 蒋运承 
国家自然科学基金(60663001);贵州省教育厅自然科学基金(黔教科20090068)资助项目
通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.
关键词：主同余 主同余公式 环 
MALC的公式在其模型间互模拟下的不变性
《计算机技术与发展》2010年第1期132-134,共3页余泉 王驹 
国家自然科学基金(60663001);贵州省自然科学基金(黔教科2008090);贵州省科技厅科学基金项目(黔科合J字[2009]2068号);黔南民族师范学院2008年度院级重点项目(2008z01)
文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而研究各种模态描述逻辑系统的模型构造,模型之间互模拟、同构...
关键词：互模拟 合式公式 不变性 
格L的元与主同余的关系被引量：7
《西南大学学报（自然科学版）》2009年第12期87-91,共5页曹发生 王驹 蒋运承 
国家自然科学基金资助项目(60663001);毕节学院院级重点资助项目(20092015)
先分析主同余公式,通过构造出具体的主同余公式得到格L的元与它的主同余的关系;然后利用主同余的定义给出了分配格的主同余的一个判定条件.
关键词：格 主同余 主同余公式 
弱可逆线性有限自动机的一种分解被引量：2
《计算机研究与发展》2009年第6期1043-1051,共9页姚兴华 邓培民 易忠 蒋运承 
国家自然科学基金项目(60663001);广西壮族自治区自然科学基金项目(0832103)~~
讨论有限自动机的分解有助于分析弱可逆有限自动机的结构和求解弱逆.首先证明了弱同构的弱可逆有限自动机具有相似的分解形式;接着考虑了一类特殊的弱可逆线性有限自动机的分解,从状态输出权的角度刻画了该分解存在的一个充分条件;然后...
关键词：有限自动机 弱可逆 分解 延迟 线性 输出权 
一类线性有限自动机的线性τ-弱逆
《广西师范大学学报（自然科学版）》2009年第3期22-25,共4页郭崇泉 邓培民 易忠 
国家自然科学基金资助项目(60663001);广西自然科学基金资助项目(0832103)
戴宗铎等人在域F上的一元多项式环F[z]与域F上的形式幂级数环F[[z]]之间,定义了一种乘法"*",使得F[[z]]作成一个F[z]-模,利用此模研究了线性有限自动机。在此讨论了一类线性有限自动机的线性τ-弱逆,给出了这类线性有限自动机一定τ-弱...
关键词：F[z]-模 线性τ-弱逆 z-变换对 自由响应模 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部