期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到91篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
命题逻辑中的程度化方法 被引量：67
1
作者 王国俊 宋建社 《电子学报》 EI CAS CSCD 北大核心 2006年第2期252-257,共6页
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最... 在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论. 展开更多
关键词 命题逻辑 诱导函数 真度 近似推理 相容度
在线阅读 下载PDF
概率逻辑学基本定理的推广 被引量：41
2
作者 王国俊 惠小静 《电子学报》 EI CAS CSCD 北大核心 2007年第7期1333-1340,共8页
通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计... 通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计量逻辑学,得出了带参数■的有限逻辑理论相容度概念,是δ-相容度的推广. 展开更多
关键词 不可靠度 生成状态集 生成概率 自然合并概率 计量逻辑学 p-相容度
在线阅读 下载PDF
经典命题逻辑的概率语义及其应用 被引量：10
3
作者 张家录 陈雪刚 赵晓东 《计算机学报》 EI CSCD 北大核心 2014年第8期1775-1785,共11页
文中将经典命题逻辑的赋值域由二值({0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于1.引入了命题公式的概率真度、不确定度、Λ-概率真度、... 文中将经典命题逻辑的赋值域由二值({0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于1.引入了命题公式的概率真度、不确定度、Λ-概率真度、Λ-不确定度等概念,并说明了Λ-概率真度是已有的二值命题逻辑各种真度概念的推广,通过讨论Λ-概率真度的性质,表明Λ-概率真度在全体公式集F(S)上满足Kolmogorov公理.证明在形式推演的一个有效推理中,结论的Λ-不确定度不超过各前提的Λ-不确定度与其必要度的乘积之和.利用公式的Λ-不确定度引进公式间的Λ-相似度和Λ-伪距离,证明了在一定条件下所建立的Λ-伪距离空间没有孤立点且通常的逻辑运算关于Λ-伪距离是连续的.在Λ-伪距离空间中,提出了F(S)上的两种不同近似推理模式,并通过实际应用例子说明所提出的近似推理模式是有效的. 展开更多
关键词 概率语义 ∧-概率真度 ∧-不确定度 ∧-伪距离 概率逻辑 近似推理
在线阅读 下载PDF
不同氮源对异养小球藻生物量和油脂积累的影响 被引量：16
4
作者 朱义平 宋东辉 杨国兰 《水生生物学报》 CAS CSCD 北大核心 2012年第6期1027-1034,共8页
小球藻因其快速生长和易培养等特性可用于制备生物能源。与传统的光自养相比,异养小球藻可获得更多的生物量和更高的油脂含量。低成本的马铃薯淀粉水解液可作为小球藻的理想碳源,在氮饥饿条件下可诱导产生更多的油脂。为了探讨不同氮源... 小球藻因其快速生长和易培养等特性可用于制备生物能源。与传统的光自养相比,异养小球藻可获得更多的生物量和更高的油脂含量。低成本的马铃薯淀粉水解液可作为小球藻的理想碳源,在氮饥饿条件下可诱导产生更多的油脂。为了探讨不同氮源对异养小球藻生物量和油脂积累的影响,并筛选出异养条件下的最适氮源,实验研究了不同浓度无机氮源NaNO3以及有机氮源丙氨酸和酪氨酸对异养小球藻生物量和油脂积累的影响。以马铃薯淀粉水解液为唯一碳源,在SE培养基中分别添加不同氮源培养小球藻。设定的NaNO3和丙氨酸浓度均为1.5 mmol/L、3.0 mmol/L、6.0 mmol/L,酪氨酸浓度为0.75 mmol/L、1.5 mmol/L和3.0mmol/L。所有小球藻培养实验均为暗培养并持续10 d时间。实验过程测定的指标为:小球藻的细胞数目、比生长速率、叶绿素含量、中性脂含量和总脂含量。实验结果表明:(1)在异养条件下以硝酸盐为无机氮源时,氮源促进叶绿素积累从而促进小球藻的生长,减少硝态氮可以使小球藻快速进入稳定期积累油脂。在NaNO3中氮含量为1.5 mmol/L时,生物量和油脂含量分别为2.65 g/L和51.21%,总油脂含量为1.36 g/L。(2)在不添加其他氮源的异养培养基中,丙氨酸可促进小球藻的生物量增加,在稳定期仍促进单位细胞的叶绿素含量,但总油脂含量普遍偏低。(3)酪氨酸可抑制小球藻生物量增加,使细胞膨大从而促进单位细胞内叶绿素和油脂合成,油脂含量高达38.78%—47.02%。这些结果表明小球藻可通过诱导氨基酸转运系统适应氮源的变化,其中酪氨酸所在的第三个转运系统在葡萄糖诱导条件下可促进油脂的合成。 展开更多
关键词 小球藻 异养 氮源 丙氨酸 酪氨酸
在线阅读 下载PDF
变异函数在云南大红山铁矿床中的应用 被引量：11
5
作者 黎应书 秦德先 +2 位作者 蔡燕 叶家冕 杨学善 《中国矿业》 北大核心 2005年第5期52-55,共4页
变异函数是地质统计学的核心内容和基本工具, 它能够较好地研究一个矿床的区域化变量的基本特征, 特别是能够通过变量的随机性来反映变量的结构性。本文在对变异函数的原理的价绍和对大红山铁矿地质特征的研究后, 计算了大红山铁矿床的... 变异函数是地质统计学的核心内容和基本工具, 它能够较好地研究一个矿床的区域化变量的基本特征, 特别是能够通过变量的随机性来反映变量的结构性。本文在对变异函数的原理的价绍和对大红山铁矿地质特征的研究后, 计算了大红山铁矿床的变异函数, 并且对计算结果进行了分析。 展开更多
关键词 应用 变异函数 铁矿 云南大红山
在线阅读 下载PDF
命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集 被引量：11
6
作者 王国俊 王伟 宋建社 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第2期1-5,共5页
从结构上清楚地描述了极大和谐理论的构造,证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑,证明了所得拓扑空间与Cantor三分集同胚.作为应用,给出了命题... 从结构上清楚地描述了极大和谐理论的构造,证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑,证明了所得拓扑空间与Cantor三分集同胚.作为应用,给出了命题逻辑系统完备性的一个简单证明. 展开更多
关键词 数理逻辑 极大和谐理论 紧Hausdorff标准拓扑 Cantor三分集 完备性
在线阅读 下载PDF
扩展时段时序逻辑的模型、一致性和推理 被引量：7
7
作者 林闯 曲扬 李雅娟 《计算机学报》 EI CSCD 北大核心 2002年第12期1338-1347,共10页
给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验 .在模型的基础上提出了一种时序关系推理算法 ,这种推理算法基于 TPN模型的性质及基本不等式规则 ,可由一组已知的扩展时段时序... 给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验 .在模型的基础上提出了一种时序关系推理算法 ,这种推理算法基于 TPN模型的性质及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 .这种推理算法的优势在于利用了 TNP模型的分析技术 ,减小了推理的时间复杂度 ,比单纯利用不等式规则的推理更直观 ,也更简单 ,是一种有效的方法 .最后 ,对扩展时段时序逻辑的 TPN模型进行了扩充 ,增强了其模型和分析的能力 . 展开更多
关键词 扩展时段 时序逻辑 模型 一致性 推理 PETRI网
在线阅读 下载PDF
正则蕴涵算子所对应的逻辑伪度量空间 被引量：21
8
作者 李璧镜 王国俊 《电子学报》 EI CAS CSCD 北大核心 2010年第3期497-502,共6页
本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系... 本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系统,都有个共同的性质,即系统中所有的逻辑运算都是连续的,从而就为在此类逻辑系统中建立统一形式的近似推理提供了可行的框架. 展开更多
关键词 正则蕴含算子 可测的 积分真度 逻辑伪度量空间 算子的连续性
在线阅读 下载PDF
命题逻辑系统SMTL中公式的积分真度理论 被引量：14
9
作者 李骏 姚锦涛 《电子学报》 EI CAS CSCD 北大核心 2013年第5期878-883,共6页
首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最... 首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能. 展开更多
关键词 积分真度 强左连续-t模 强正则蕴涵算子 SMTL命题逻辑系统 伪度量
在线阅读 下载PDF
二值命题逻辑公式的语构程度化方法 被引量：17
10
作者 张东晓 李立峰 《电子学报》 EI CAS CSCD 北大核心 2008年第2期325-330,共6页
本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距... 本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系. 展开更多
关键词 二值命题逻辑 真度理论 语构真度 τ-相容理论
在线阅读 下载PDF
n值S-MTL命题逻辑系统中公式真度的统一理论 被引量：15
11
作者 李骏 邓富喜 《电子学报》 EI CAS CSCD 北大核心 2011年第8期1864-1868,共5页
给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了... 给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能. 展开更多
关键词 真度 强正则蕴涵算子 n值S-MTL命题逻辑系统 伪距离
在线阅读 下载PDF
RM分解图及其应用 被引量：4
12
作者 王林 周期 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 2003年第6期636-641,共6页
针对与-异或逻辑代数系统中电路设计与化简的要求,提出了一种全新的图形表示方法——RM分解图,讨论了利用RM分解图将任意开关函数变为RM对称函数等方面的应用.并在此基础上提出了一系列基于RM分解图的图形方法,用来指导超大规模集成电... 针对与-异或逻辑代数系统中电路设计与化简的要求,提出了一种全新的图形表示方法——RM分解图,讨论了利用RM分解图将任意开关函数变为RM对称函数等方面的应用.并在此基础上提出了一系列基于RM分解图的图形方法,用来指导超大规模集成电路中基于通用逻辑门的单元电路的设计与化简,设计出的电路具有易于检测、连线数少等优点. 展开更多
关键词 RM分解图 异或逻辑 时称函数 通用逻辑门 超大规模集成电路
在线阅读 下载PDF
格L的元与主同余的关系 被引量：7
13
作者 曹发生 王驹 蒋运承 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第12期87-91,共5页
先分析主同余公式,通过构造出具体的主同余公式得到格L的元与它的主同余的关系;然后利用主同余的定义给出了分配格的主同余的一个判定条件.
关键词 格 主同余 主同余公式
在线阅读 下载PDF
n值Lkasiewicz命题逻辑中命题的α-真度理论 被引量：12
14
作者 李骏 王国俊 《计算机工程与应用》 CSCD 北大核心 2006年第31期16-18,232,共4页
基于均匀概率空间的无穷乘积,在n值Lukasiewicz逻辑系统中引入命题的α-真度理论,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能。
关键词 α-真度 真度 相似度 伪距离
在线阅读 下载PDF
计量逻辑学中的线性逻辑公式 被引量：7
15
作者 王庆平 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第2期1-5,共5页
基于密码学中的线性布尔函数概念,在经典逻辑度量空间中提出了线性逻辑公式的概念,给出了n元线性逻辑公式的构造方法.研究了反射变换下线性逻辑公式的性质,证明了所有线性逻辑公式的真度等于1/2,并研究了一类代数次数等于k的布尔函数所... 基于密码学中的线性布尔函数概念,在经典逻辑度量空间中提出了线性逻辑公式的概念,给出了n元线性逻辑公式的构造方法.研究了反射变换下线性逻辑公式的性质,证明了所有线性逻辑公式的真度等于1/2,并研究了一类代数次数等于k的布尔函数所对应的逻辑公式的性质,证明了该类公式的真度等于1/2k. 展开更多
关键词 布尔函数 线性逻辑公式 真度 反射变换 不动点
在线阅读 下载PDF
Lukasiewicz命题逻辑中命题的Choquet积分真度理论 被引量：10
16
作者 周红军 折延宏 《电子学报》 EI CAS CSCD 北大核心 2013年第12期2327-2333,共7页
将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真... 将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真度函数就具有良好性质,由此可诱导出命题集上的一个伪距离,进而可建立逻辑度量空间并展开程度化推理,特别是证明了当赋值空间上的不确定性测度取为Borel概率测度时Choquet积分真度函数就退化为概率计量逻辑中的Borel概率真度函数.本文是已有命题逻辑概率计量化工作的继续与深入,为表示逻辑命题间不确定性的非线性关系提供了一种推理框架. 展开更多
关键词 Lukasiewicz命题逻辑 概率计量逻辑 Choquet积分真度
在线阅读 下载PDF
基于支持度理论的广义MP问题的形式化解 被引量：7
17
作者 李骏 王国俊 《电子学报》 EI CAS CSCD 北大核心 2008年第11期2190-2194,共5页
在n值R0命题逻辑系统Ln*中,基于命题的真度概念提出了命题之间的支持度,并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制,并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法... 在n值R0命题逻辑系统Ln*中,基于命题的真度概念提出了命题之间的支持度,并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制,并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础.本文的方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示. 展开更多
关键词 广义MP问题 集体广义MP问题 真度 支持度
在线阅读 下载PDF
基于正则蕴涵算子的三I算法的性质 被引量：5
18
作者 于鹏 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第2期14-17,共4页
基于正则蕴涵算子分析了三I算法的连续性与逼近性问题,指出在模糊连续输入的条件下,RL、RG、RΠ型三I算法均具有连续性与逼近性,并指出了R0型三I算法具有连续性与逼近性的条件是x∈X,A*(x)∧A(x)>1/2成立.
关键词 模糊推理 正则蕴涵算子 三Ⅰ算法 连续性 逼近性
在线阅读 下载PDF
布尔逻辑和与逻辑积运算及可靠性分析应用 被引量：2
19
作者 金星 洪延姬 +1 位作者 文明 李俊美 《弹箭与制导学报》 CSCD 北大核心 2003年第1期69-72,共4页
在可靠性、可用性,可维修性和安全性分析计算中,涉及大量的布尔逻辑和与逻辑积运算,文中提出了布尔逻辑和与逻辑积运算的一种计算机计算新方法,采用动态数组技术节省了内存空间,并且采用Fortra90和C++语言编程实现,可用于大型布尔逻辑... 在可靠性、可用性,可维修性和安全性分析计算中,涉及大量的布尔逻辑和与逻辑积运算,文中提出了布尔逻辑和与逻辑积运算的一种计算机计算新方法,采用动态数组技术节省了内存空间,并且采用Fortra90和C++语言编程实现,可用于大型布尔逻辑运算的快速实现,以及系统可靠性计算分析。 展开更多
关键词 逻辑积 可靠性分析 布尔逻辑运算 逻辑和
在线阅读 下载PDF
广义MP问题的三I真度解 被引量：4
20
作者 于鹏 刘凤雏 王三五 《计算机工程与应用》 CSCD 北大核心 2009年第12期47-49,共3页
基于真度理论讨论了三I推理机制在真度理论下的意义,求出了真度理论下的广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了广义MP问题的α-三I真度解。
关键词 公式真度 二值逻辑 广义MP问题 三I算法 α-三I真度解
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部