国家自然科学基金(61005046)

作品数：13被引量：61H指数：5
导出分析报告
相关作者：周红军马丽娜王国俊刘烁赵清波更多>>
相关机构：陕西师范大学第四军医大学空军工程大学更多>>
相关期刊：《软件学报》《模式识别与人工智能》《山东大学学报（理学版）》《电子学报》更多>>
相关主题：概率真度BOREL命题逻辑R0-代数代数更多>>
相关领域：理学自动化与计算机技术建筑科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于n-值ukasiewicz命题逻辑的概率计量化推理系统被引量：5
《模式识别与人工智能》2013年第6期521-528,共8页周红军 
国家自然科学基金项目(No.61005046);教育部高等学校博士学科点专项科研基金项目(No.20100202120012)资助
通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个模态化的形式推理系统,构建其语构理论及语义理论,证明该系统关于概率真度函数的完备性定理,从而为概率...
关键词：Lukasiewicz命题逻辑 概率计量逻辑 Borel型概率真度 
Maximal contractions in Boolean algebras被引量：2
《Science China(Information Sciences)》2012年第9期2044-2055,共12页SHI HuiXian WANG GuoJun 
supported by National Natural Science Foundation of China (Grant Nos. 11171200,61005046,61103133);Fundamental Research Funds for the Central Universities (Grant No. GK201004006)
In the present paper, the concepts of deductive element and maximal contraction are introduced in Boolean algebras, and corresponding theories of consistency and maximal contractions are studied. An algorithm principl...
关键词：deductive element consistency maximal contraction minimal subtraction basic element CLAUSE 
■ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理被引量：18
《软件学报》2012年第9期2235-2247,共13页周红军 
国家自然科学基金(61005046);教育部高等学校博士学科点专项科研基金(20100202120012);陕西省自然科学基础研究计划(2010JQ8020)
通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真...
关键词：■ukasiewicz命题逻辑 Borel概率测度 概率真度 极限定理 
R_0-代数上的滤子拓扑空间被引量：11
《山东大学学报（理学版）》2012年第4期110-115,共6页周红军 
国家自然科学基金资助项目(61005046);教育部高等学校博士学科点专项科研基金资助项目(201000202120012);陕西省自然科学基础研究计划资助项目(2010JQ8020);中央高校基本科研业务费专项资金资助项目(GK200902048)
在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的...
关键词：R0-代数 MP滤子 滤子拓扑 
形式系统L＊中极大相容逻辑理论的拓扑刻画被引量：4
《电子学报》2011年第12期2895-2899,共5页周红军 
国家自然科学基金(No.61005046);教育部高等学校博士学科点专项科研基金(No.20100202120012);陕西省自然科学基础研究计划(No.2010JQ8020);中央高校基本科研业务费专项资金(No.GK200902048)
进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立...
关键词：形式系统L＊ 极大相容理论 Cantor空间 三值拓扑 
Borel型概率计量逻辑被引量：18
《中国科学：信息科学》2011年第11期1328-1342,共15页周红军 王国俊 
国家自然科学基金(批准号:61005046;10771129);陕西省自然科学基础研究计划(批准号:2010JQ8020);中央高校基本科研业务费专项资金(批准号:GK200902048)资助项目
视全体赋值之集为通常乘积拓扑空间,利用该空间上的Borel概率测度在二值命题逻辑中引入了公式的概率真度概念.该方法既克服了计量逻辑学要求赋值集上的概率测度必须为均匀概率测度的无穷可数乘积的局限,又弥补了概率逻辑学只讲局部而缺...
关键词：概率真度 有限分离性质 概率逻辑 计量逻辑 概率计量逻辑 
关于洛必达法则证明的几点补充被引量：1
《青海大学学报（自然科学版）》2011年第5期80-83,共4页马丽娜 刘烁 
国家自然科学基金青年科学基金资助项目(61005046);陕西师范大学重点教学改革研究项目(ZDXMZYJS051)
用洛必达法则求函数的极限是一种很重要的方法。同济大学数学系主编的《高等数学》第六版教材中给出了洛必达法则的简单证明,本文对洛必达法则的证明作了详细的补充,以便于学生自学。
关键词：洛必达法则 无穷小量 未定式 
Borel probabilistic and quantitative logic被引量：12
《Science China(Information Sciences)》2011年第9期1843-1854,共12页ZHOU HongJun WANG GuoJun 
supported by the National Natural Science Foundation of China (Grant No. 61005046);the Specialized Research Fund for the Doctoral Program of Higher Education of China (Grant No. 20100202120012);the Natural Science Basis Research Plan in Shaanxi Province of China (Grant No. 2010JQ8020);the Youth Science and Technology Program of Shaanxi Normal University(Grant No. 200901010)
The present paper introduces the notion of the probabilistic truth degree of a formula by means of Borel probability measures on the set of all valuations, endowed with the usual product topology, in classical two-val...
关键词：probabilistic truth degree finite separation property probability logic quantitative logic probabilistic and quantitative logic 
一类具有垂直传播的SIS捕食传染病模型的全局分析被引量：2
《西北大学学报（自然科学版）》2011年第4期582-586,共5页马丽娜 刘烁 李建全 赵清波 
国家自然科学基金青年科学基金资助项目(61005046);陕西省自然科学基础研究计划基金资助项目(2010JQ8020)
目的研究具有垂直传播的传染病在捕食系统两种群之间的传播规律。方法假设捕食系统中疾病只在捕食者种群中存在,建立了一类具有垂直传播的SIS捕食传染病模型,分析了平衡点的存在条件,运用Hurwitz判据、极限系统理论和LaSalle不变性原理...
关键词：垂直传播 传染病模型 平衡点 稳定性 
广义MP问题的α-三Ⅰ解的形式化理论被引量：2
《陕西师范大学学报（自然科学版）》2011年第2期13-16,22,共5页马丽娜 王国俊 
国家自然科学基金重点资助项目(10771129);国家自然科学基金青年资助项目(61005046);陕西省自然科学基础研究计划项目(2010JQ8020)
研究了二值命题逻辑中模糊推理的全蕴涵α-三Ⅰ算法的形式化问题.提出了(F(S),)中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α{0,1})公式构成(F(S),)中的反链;(2)当α=1时,全体极小α公式之...
关键词：广义MP问题 α-三Ⅰ算法 极小α公式 形式化α-三Ⅰ解 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部