云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(10771129)

国家自然科学基金(10771129): 作品数：68被引量：242H指数：10; 导出分析报告; 相关作者：王国俊惠小静李骏胡明娣王伟更多>>; 相关机构：陕西师范大学延安大学兰州理工大学华东师范大学更多>>; 相关期刊：《应用数学学报》《Science China(Information Sciences)》《数学学报（中文版）》《陕西师范大学学报（自然科学版）》更多>>; 相关主题：真度命题逻辑系统真度理论N发散度更多>>; 相关领域：理学自动化与计算机技术轻工技术与工程更多>>

基于真值的SBL_～公理化扩张系统的计量化被引量：13: 《中国科学：信息科学》2014年第7期900-911,共12页惠小静; 国家自然科学基金(批准号:10771129);陕西省高水平大学建设专项资金(批准号:2012SXTS07)资助项目; 本文首先在带有对合否定的△模糊逻辑系统SBL～中,运用△演绎定理和真值分布,论证了SBL～系统中有效推理的真值关系定理.其次以SBL～系统的公理化扩张Godel～为例,提出了△相似度、△距离,运用真值关系定理论证了△度量空间逻辑算子→,...; 关键词：模糊逻辑计量逻辑概率逻辑有效推理真值度量空间

n值S-MTL逻辑系统中命题的Borel概率真度理论被引量：2: 《计算机工程与应用》2014年第2期39-43,共5页李骏郑刚; 国家自然科学基金(No.10771129);兰州理工大学博士基金资助项目; 在n值S-MTL逻辑系统的统一框架下,通过视全体赋值之集为通常乘积拓扑空间,给出了命题的Borel概率真度定义。通过构造公式所诱导的阶梯函数给出了公式真度的积分表达式,进而利用命题的Borel概率真度在该逻辑系统中引入公式间的相似度及...; 关键词：计量逻辑学 Borel概率测度伪距离近似推理

命题逻辑系统SMTL中公式的积分真度理论被引量：14: 《电子学报》2013年第5期878-883,共6页李骏姚锦涛; 国家自然科学基金(No.10771129);兰州理工大学博士基金; 首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最...; 关键词：积分真度强左连续-t模强正则蕴涵算子 SMTL命题逻辑系统伪度量

具有振动系数AFDE的振动性: 《西南民族大学学报（自然科学版）》2013年第2期176-181,共6页秦宏立双瑞涛; 国家自然科学基金资助项目(10771129);陕西省教育厅自然科学基金资助项目(10BZ30); 讨论了一类具有振动系数的超前型泛函微分方程解的振动性,得到方程(1.1)式振动的"sharp"条件,从而改进了现有文献的相关结论,并通过例子验证所给结果的有效性.; 关键词：振动系数超前型泛函微分方程振动性

具定号系数多滞量AFDE的振动性被引量：1: 《吉首大学学报（自然科学版）》2012年第4期1-5,共5页秦宏立双瑞涛; 国家自然科学基金资助项目(10771129);陕西省教育厅自然科学基金资助项目(10BZ30); 讨论了一类具有定号系数多滞量的超前型泛函微分方程解的振动性,得到方程x′(t)=∑ni=1pi(t)x(t+τi)(t≥t0)振动的"sharp"条件,并通过实例验证了所给结果的有效性.; 关键词：定号系数超前型泛函微分方程振动性

一类一阶逻辑公式中的公理化真度理论及其应用被引量：33: 《中国科学：信息科学》2012年第5期648-662,共15页王国俊; 国家自然科学基金(批准号:10771129;11171200)资助项目; 设Φ是全体不含函数符号的一阶闭逻辑公式之集.本文基于有限模型和均匀概率的思想对非单调逻辑中的典型案例做了分析,通过概率计算给出了应当赋予文字的完全闭包及其合取的真度值.以此为基础,在Φ中建立了公理化的真度理论.证明了Φ中...; 关键词：谓词逻辑一阶逻辑公式函数符号真度可计算性 HORN子句

A Unified Integrated Method for Evaluating Goodness of Propositions in Several Propositional Logic Systems and Its Applications被引量：10: 《Chinese Journal of Electronics》2012年第2期195-201,共7页WANG Guojun; ＊Manuscript Received Dec. 2010; Accepted Nov. 2011. This work is supported by the National Natural Science Foundation of China （No.10771129, No.11171200）.; The aim of the present paper is to provide a unified integrated method for defining the concept of truth degree of propositions in diverse propositional logic systems including but not limited to the logic systems of ...; 关键词：Proposition Valuation S-S pair Truthdegree Almost tautology Similarity degree~ Pseudo-metric~ Logic metric spacer Root~ Approximate reasoning.

关于三值R_0命题逻辑系统的若干注记: 《模糊系统与数学》2011年第6期29-34,共6页惠小静; 国家自然科学基金资助项目(10771129);陕西省自然科学青年基金资助项目(2010JQ1005); 在三值R0命题逻辑系统中证明了随机真度的M P、HS和交推理规则;提出了随机开放度,指出随机开放度与随机发散度是从两个不同的角度刻画了理论的相容程度,并得出对同一个理论而言,二者取值相等的结论。; 关键词：随机真度随机逻辑度量空间随机发散度随机开放度

模糊推理三Ⅰ算法的还原性被引量：6: 《模糊系统与数学》2011年第5期7-12,共6页李骏邓富喜; 国家自然科学基金资助项目(10771129);兰州理工大学优秀青年基金资助项目;兰州理工大学博士基金资助项目; 模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三...; 关键词：三I算法还原性正则蕴涵算子 FMP(Fuzzy MODUS Ponens) FMT(Fuzzy MODUS Tollens)

Lukasiewicz三值逻辑度量空间中的反射变换: 《云南师范大学学报（自然科学版）》2011年第4期50-53,共4页程红梅王国俊; 国家自然科学基金资助项目(10771129); 在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是...; 关键词：Lukasiewicz三值逻辑度量空间反射变换 (准)对称逻辑公式 LINDENBAUM代数不动点

国家自然科学基金(10771129)