广东省自然科学基金(020146)

作品数：11被引量：57H指数：5
导出分析报告
相关作者：刘富春邱道文彭世国徐志庭马东魁更多>>
相关机构：广东工业大学中山大学清华大学华南理工大学更多>>
相关期刊：《应用数学》《工程数学学报》《计算机工程与应用》更多>>
相关主题：自动机理论粗糙集非经典逻辑刻画模糊自动机更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于量子逻辑的自动机理论的一些注记被引量：6
《中国科学（E辑）》2007年第6期723-737,共15页邱道文 
国家自然科学基金(批准号:90303024;60573006);教育部高等学校博士学科点专项科研基金(批准号:20050558015);广东省自然科学基金(批准号:020146;031541)
主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件,所以详细讨论了该条件,并证明了正交模格中相对合...
关键词：量子计算 量子逻辑 正交模格 自动机 
变精度集对粗糙集模型中的属性约简被引量：4
《计算机工程与应用》2006年第5期8-10,18,共4页刘富春 
广东省自然科学基金资助项目(编号:020146;031541);广东工业大学青年基金资助项目(编号:042027)
属性约简是粗糙集理论的核心内容之一。论文是继续文献[8]的工作,在变精度集对粗糙集模型的基础上,定义了变精度的重要性算子和变精度的近似约简等概念,并由此给出了一种属性约简的启发式算法。算法既能保证属性约简的准确性,又能增加...
关键词：变精度集对粗糙集 属性约简 集对分析方法 重要性算子 
归结与调解方法的有效性和完备性——基于扩充模糊逻辑
《计算机工程与应用》2006年第2期73-75,175,共4页刘富春 
广东省自然科学基金资助项目(编号:020146;031541);广东工业大学青年基金项目(编号:042027)
模糊集与模糊逻辑是处理大量存在的不确定性与模糊性信息的重要数学工具,在近似推理等领域有着广泛的应用。该文将王家兵等人提出的真值取在[0,1]区间上的带有相似性关系的模糊逻辑,扩充到很一般的与滋可比的有余完全分配格值逻辑中,将...
关键词：模糊逻辑 近似推理 归结方法 调解方法 
模糊粗糙集的相似度量和相似性方向被引量：4
《计算机工程与应用》2005年第35期35-37,66,共4页刘富春 
广东省自然科学基金项目(编号:020146;031541)资助;广东工业大学科研基金资助
粗糙集理论是一种新的处理模糊和不确定性知识的软计算工具,在人工智能及认知科学等众多领域已经得到了广泛的应用。相似度量的研究是模糊集理论与粗糙集理论的热点问题之一。文章提出了一种更精确、更合理的相似度量方法,讨论了它的一...
关键词：粗糙集 模糊粗糙集 相似度量 相似性方向 
基于集对分析的变精度粗糙集模型被引量：12
《计算机工程与应用》2005年第10期74-76,222,共4页刘富春 
广东省自然科学基金项目(编号:020146;031541);广东工业大学青年基金
粗糙集理论是一种新的处理模糊和不确定性知识的数学工具,在人工智能及数据挖掘等众多领域已经得到了广泛的应用。对于不完备信息系统目前也有多种扩充方法,如基于容差关系的扩充、基于相似关系的扩充等等。该文是在集对粗糙集模型的基...
关键词：不完备信息系统 相对分类错误率 集对分析方法 变精度粗糙集 
适用于程序规范说明的Institution范畴的完备性研究
《计算机工程与应用》2005年第7期64-66,共3页刘富春 
广东省自然基金(编号:020146;031541);广东工业大学青年基金
Institution作为一般框架下的逻辑系统,在数据库理论、程序设计语言、模块化技术和人工智能等方面有着重要的应用。论文主要研究了Institution范畴的完备性,它直观上表明如果基调类可分解,那么它们对应的Institution也可分解。这为大规...
关键词：程序设计语言 程序规范说明 模型论 范畴论 
时滞Liénard型方程的周期解被引量：11
《工程数学学报》2004年第3期463-466,共4页彭世国 
广东省自然科学基金资助项目(020146).
利用重合度理论讨论一类时滞Lienard型方程的周期解的存在性,得到了简便的判别条件。
关键词：时滞Liénard方程 周期解 延拓定理 
基于完备剩余格值逻辑的自动机理论——Ⅱ.可逆性及同态被引量：10
《中国科学（E辑）》2003年第4期340-349,共10页邱道文 
国家杰出青年科学基金(批准号:69725004);国家基础研究重点资助项目(1998030509);广东省自然科学基金(批准号:020146);中山大学青年基金(35100-1131127)
揭示了基于完备剩余格值逻辑的自动机(称l值自动机)与真值格(剩余格)之间的一些等价关系。特别是建立了l值自动机的可恢复性(retrievability)的各种等价刻画。最后澄清了l自动机之间的同态关系与连续映射和开映射之间的相互联系。因此,...
关键词：自动机理论 完备剩余格值逻辑 可逆性 同态 可恢复性 连续映射 开映射 模糊自动机理论 
一类二阶椭圆型微分方程振动性的判定被引量：1
《应用数学》2003年第1期42-48,共7页徐志庭 马东魁 贾保国 
广东省自然科学基金 (No .0 2 0 146)资助项目
利用积分平均和完全平方技巧 ,给出了一类二阶椭圆型微分方程所有解在Rn的一个外区域Ω上均振动的新的充分条件 .
关键词：振动 二阶椭圆型微分方程 积分平均 
基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画被引量：18
《中国科学（E辑）》2003年第2期137-146,共10页邱道文 
国家杰出青年科学基金资助项目(批准号:69725004);国家基础研究重点资助项目(1998030509);国家自然科学基金资助项目(批准号:69823001);广东省自然科学基金资助项目(批准号:020146)
建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机, successor和source算子的基本性质及它们相互的等价关系,并由此推出这两类算子是模...
关键词：完备剩余格值逻辑 自动机理论 非经典逻辑 模糊自动机 L双模糊拓扑 Source算子 Successor算子 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部