期刊文献+
共找到116篇文章
< 1 2 6 >
每页显示 20 50 100
CONFIGURATION FROM TRUTH VECTOR TO XOR FUNCTION
1
作者 洪晴华 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 1999年第11期1275-1278,共4页
Kamaugh maps are widely used in the logic synthesis. However, the number of the variable it can deal with is limited. In this paper, two kinds of function shrinking techniques are proposed, and a fast algorithm to con... Kamaugh maps are widely used in the logic synthesis. However, the number of the variable it can deal with is limited. In this paper, two kinds of function shrinking techniques are proposed, and a fast algorithm to configure a truth vector into a XOR function is realized. There is no variable number limitation for this algorithm. 展开更多
关键词 XOR function Kronecker product truth vector Reed-Muller function
在线阅读 下载PDF
Comparison of ground truth location of earthquake from InSAR and from ambient seismic noise: A case study of the 1998 Zhangbei earthquake 被引量:9
2
作者 Jun Xie Xiangfang Zeng +1 位作者 Weiwen Chen Zhongwen Zhan 《Earthquake Science》 CSCD 2011年第2期239-247,共9页
Because ambient seismic noise provides estimated Green’s function (EGF) between two sites with high accuracy, Rayleigh wave propagation along the path connecting the two sites is well resolved. Therefore, earthquak... Because ambient seismic noise provides estimated Green’s function (EGF) between two sites with high accuracy, Rayleigh wave propagation along the path connecting the two sites is well resolved. Therefore, earthquakes which are close to one seismic station can be well located with calibration extracting from EGF. We test two algorithms in locating the 1998 Zhangbei earthquake, one algorithm is waveform-based, and the other is traveltime-based. We first compute EGF between station ZHB (a station about 40 km away from the epicenter) and five IC/IRIS stations. With the waveform-based approach, we calculate 1D synthetic single-force Green’s functions between ZHB and other four stations, and obtain traveltime corrections by correlating synthetic Green’s functions with EGFs in period band of 10–30 s. Then we locate the earthquake by minimizing the differential travel times between observed earthquake waveform and the 1D synthetic earthquake waveforms computed with focal mechanism provided by Global CMT after traveltime correction from EGFs. This waveform-based approach yields a location which error is about 13 km away from the location observed with InSAR. With the traveltime-based approach, we begin with measuring group velocity from EGFs as well as group arrival time on observed earthquake waveforms, and then locate the earthquake by minimizing the difference between observed group arrival time and arrival time measured on EGFs. This traveltime-based approach yields accuracy of 3 km, Therefore it is feasible to achieve GT5 (ground truth location with accuracy 5 km) with ambient seismic noises. The less accuracy of the waveform-based approach was mainly caused by uncertainty of focal mechanism. 展开更多
关键词 ambient seismic noise estimated Green’s function ground truth location Rayleigh wave
在线阅读 下载PDF
基于函数依赖自动识别的真值发现算法
3
作者 高东钧 张志勇 靳正芬 《计算机工程与设计》 北大核心 2025年第8期2141-2148,共8页
为解决真值发现方法通过人为分析实体属性间的依赖关系效率较低、使用平均值进行可靠度初始化导致结果准确率较低的问题,提出了一种多源同构数据真值发现算法。识别实体属性间的函数依赖关系;利用识别出的函数依赖计算数据源的初始可靠... 为解决真值发现方法通过人为分析实体属性间的依赖关系效率较低、使用平均值进行可靠度初始化导致结果准确率较低的问题,提出了一种多源同构数据真值发现算法。识别实体属性间的函数依赖关系;利用识别出的函数依赖计算数据源的初始可靠度;将函数依赖对应的否定约束转换为算术约束,通过最小化目标函数计算数据源的可靠度并生成真值表。实验结果表明,该算法相较于现有方法获得了更高的准确率。 展开更多
关键词 真值发现 多源同构数据 实体关系 函数依赖 数据源可靠度 数据集成 数据质量
在线阅读 下载PDF
基于Vague集的多目标模糊决策方法 被引量:67
4
作者 李凡 卢安 蔡立晶 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2001年第7期1-3,共3页
指出了采用Vague集进行多目标模糊决策的现有计分函数的不足 ;根据Vague集的性质提出了一种新的计分函数 ;该计分函数和Vague集所具有的“投票模型”属性是完全一致的 ,并将其扩展到加权的形式 ,从而使该方法具有更好的通用性 ,所得结... 指出了采用Vague集进行多目标模糊决策的现有计分函数的不足 ;根据Vague集的性质提出了一种新的计分函数 ;该计分函数和Vague集所具有的“投票模型”属性是完全一致的 ,并将其扩展到加权的形式 ,从而使该方法具有更好的通用性 ,所得结果也更符合人的直觉 . 展开更多
关键词 模糊决策 VAGUE集 FUZZY集 真隶属函数 假隶属函数 计分函数 多目标决策
在线阅读 下载PDF
Gdel系统中由一个或两个原子生成的公式的真值函数的特征 被引量:5
5
作者 张安英 张兴芳 高芹 《模糊系统与数学》 CSCD 北大核心 2007年第3期54-59,共6页
在Gdel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。
关键词 Goedel系统 逻辑公式 真值函数
在线阅读 下载PDF
Vague集 被引量:34
6
作者 李凡 徐章艳 饶勇 《计算机科学》 CSCD 北大核心 2000年第9期12-14,28,共4页
In this paper,we first introduce vague set,then give the definition of intersection and unionbased on vague set with t-norm and t-conorm of the point value. Thus we gain some properties of inter-section and union of v... In this paper,we first introduce vague set,then give the definition of intersection and unionbased on vague set with t-norm and t-conorm of the point value. Thus we gain some properties of inter-section and union of vague set. 展开更多
关键词 VAGUE集 计算机 模糊控制 FUZZY集 隶属函数
在线阅读 下载PDF
命题逻辑推理的代数化证明 被引量:7
7
作者 王礼萍 张树功 《计算机工程与科学》 CSCD 2008年第10期78-81,84,共5页
本文尝试利用纯代数的方式,通过解多项式方程组对命题逻辑进行演算、推理。
关键词 真值函数 赋值 多项式 命题公式
在线阅读 下载PDF
命题逻辑中的程度化方法 被引量:67
8
作者 王国俊 宋建社 《电子学报》 EI CAS CSCD 北大核心 2006年第2期252-257,共6页
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最... 在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论. 展开更多
关键词 命题逻辑 诱导函数 真度 近似推理 相容度
在线阅读 下载PDF
多值逻辑中的命题相关性与逻辑运算研究 被引量:5
9
作者 刘宏岚 高庆狮 杨炳儒 《北京科技大学学报》 EI CAS CSCD 北大核心 2007年第S2期172-177,共6页
命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命... 命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数. 展开更多
关键词 多值逻辑 逻辑运算 命题公式 真值函数
在线阅读 下载PDF
Vague集的运算规则 被引量:8
10
作者 李凡 卢安 饶勇 《计算机科学》 CSCD 北大核心 2000年第9期15-17,共3页
Based on reft, rence Ill.first we give some new definitions of vague set ,then some operationrules and examples are presented.
关键词 VAGUE集 运算规则 FUZZY集 隶属度 模糊性
在线阅读 下载PDF
L*逻辑系统中的函数决定公式问题 被引量:3
11
作者 李成允 张兴芳 《山东大学学报(理学版)》 CAS CSCD 北大核心 2009年第12期91-96,共6页
给出了L*(或NM)逻辑系统中公式的真值函数特征和L*逻辑系统中公式的真度集特征。
关键词 L*逻辑系统 真值函数 真度
原文传递
L^*系统中由单个原子生成的公式的真值函数的特征 被引量:12
12
作者 任芳 《工程数学学报》 CSCD 北大核心 2005年第3期563-566,共4页
本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的... 本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的分类。 展开更多
关键词 L^*系统 逻辑公式 真值函数
在线阅读 下载PDF
命题逻辑系统L~*的有效集 被引量:2
13
作者 任芳 王国俊 《模糊系统与数学》 CSCD 北大核心 2006年第2期13-17,共5页
针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。
关键词 L^*系统 真值函数 有效集 MP规则
在线阅读 下载PDF
一种非真值函数性模糊逻辑 被引量:2
14
作者 吕建平 赵树芗 《微电子学与计算机》 CSCD 北大核心 2004年第10期90-92,共3页
Zadeh模糊逻辑因其不满足互补律(即排中律与矛盾律)而不是一个布尔代数。本文介绍了一种非真值函数性模糊逻辑,它遵守布尔代数的互补律,并且由于引用了条件隶属度,使其具有广泛的适应性。同时还证明了Zadeh模糊逻辑是它的一个特例。
关键词 模糊逻辑 布尔代数 非真值函数性
在线阅读 下载PDF
关于条件句的蕴涵理论 被引量:6
15
作者 霍书全 《安徽大学学报(哲学社会科学版)》 CSSCI 北大核心 2011年第3期37-43,共7页
为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出... 为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。 展开更多
关键词 条件句 蕴涵 真值函项 可能世界 条件概率 信念修正
在线阅读 下载PDF
论整体——整体是部分的非线性函数还是非函数? 被引量:3
16
作者 万小龙 周红艳 邓静荷 《自然辩证法研究》 CSSCI 北大核心 2017年第7期118-122,共5页
狭义函数相对论STRF认为:整体(holistic whole)属于全体(whole),全体仅由部分和关系组成,整体是其部分的非函数而不是非线性的函数。哲学逻辑角度,最简单的整体仅有两个要素:一个变元和一个非真值函数算符。它可被确定还原为非整体性的... 狭义函数相对论STRF认为:整体(holistic whole)属于全体(whole),全体仅由部分和关系组成,整体是其部分的非函数而不是非线性的函数。哲学逻辑角度,最简单的整体仅有两个要素:一个变元和一个非真值函数算符。它可被确定还原为非整体性的全体(non-holistic whole),它是由包含其他变元和一个真值函数联结词组成的真值函数。 展开更多
关键词 STRF 整体 部分 非真值函数
原文传递
Vague集的三维表示及相似度量 被引量:3
17
作者 蔡立晶 吕泽华 李凡 《计算机科学》 CSCD 北大核心 2003年第5期76-77,共2页
A new expression of vague sets is given. Based on the reference [3,4],we discuss the definition of intersec-tion and union and some properties of vague set again ,then similarity measure and examples are presented.
关键词 VAGUE集 三维表示 相似度量 模糊理论 模糊数学 隶属度
在线阅读 下载PDF
一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑 被引量:4
18
作者 万小龙 《华中科技大学学报(社会科学版)》 CSSCI 北大核心 2012年第3期33-39,共7页
狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有1... 狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。 展开更多
关键词 狭义一元算符 经典二元真值函数 K-1 K-2
在线阅读 下载PDF
真值函数与非真值函数的等值变换——一元算符逻辑理论五探 被引量:1
19
作者 万小龙 陈明益 冉奎 《山东科技大学学报(社会科学版)》 2012年第6期1-10,20,共11页
一元算符逻辑理论从一般方法论层面探寻非经典逻辑与经典逻辑的关系。作为其初步的狭义函数相对论(STRF)基于函数相对性而提出专门针对二真值命题逻辑系统中一元非真值函数联结词与二元真值函数联结词的变换关系,其核心就是对"非... 一元算符逻辑理论从一般方法论层面探寻非经典逻辑与经典逻辑的关系。作为其初步的狭义函数相对论(STRF)基于函数相对性而提出专门针对二真值命题逻辑系统中一元非真值函数联结词与二元真值函数联结词的变换关系,其核心就是对"非真值函数与真值函数的等值变换"原理的发现与严密的经典定义。它不断借用了量子力学中对"不确定"的确定性的认识,所揭示的非真值函数在句法与语义上的两大特征分别有助于模态逻辑中的等值代换难题、多值逻辑中的非二值性难题等哲学逻辑与逻辑哲学中的非经典性问题回归其经典本性。 展开更多
关键词 二真值 非真值函数 一元算符 狭义函数相对论(STRF)
在线阅读 下载PDF
论法院依职权调查取证 被引量:7
20
作者 罗飞云 《扬州大学学报(人文社会科学版)》 北大核心 2008年第3期35-39,共5页
在审理对象的形成和证据的提出层面实行辩论主义是我国民事司法改革的方向,但是在强调当事人自我责任的同时,也不应忽略法院的作用。如果过分限制法院依职权调查取证的权力,既不利于法院在诉讼中发现真实,也不利于充分保障当事人的程序... 在审理对象的形成和证据的提出层面实行辩论主义是我国民事司法改革的方向,但是在强调当事人自我责任的同时,也不应忽略法院的作用。如果过分限制法院依职权调查取证的权力,既不利于法院在诉讼中发现真实,也不利于充分保障当事人的程序权利与实体权利,可能造成诉讼能力薄弱者无法实现实体公正。从有利于发现真实、保护当事人合法权益、实现实体公正的角度考虑,有必要适当拓宽我国法院依职权调查取证的范围。 展开更多
关键词 辩论主义 发现真实 职权取证
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部