期刊文献+
共找到114篇文章
< 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
现实主义与伦理
2
作者 王紫薇 王守仁 《广东外语外贸大学学报》 2024年第5期24-39,共16页
认识他者并与之建立和谐伦理关系是人类自古以来的真切愿望。本文通过分析亚里士多德与努斯鲍姆对道德与伦理间联系的不同认识指出知觉是辨析二者内在关系的关键,强调对他者的真实知觉是展开正确道德实践,恢复道德与伦理辩证共生关系的... 认识他者并与之建立和谐伦理关系是人类自古以来的真切愿望。本文通过分析亚里士多德与努斯鲍姆对道德与伦理间联系的不同认识指出知觉是辨析二者内在关系的关键,强调对他者的真实知觉是展开正确道德实践,恢复道德与伦理辩证共生关系的根本,并在梅洛-庞蒂对知觉作为先验性存在的论述以及威廉斯对文学创造性实践本质的认知指导下从知觉维度揭示现实主体间性的伦理本质,探寻文学教诲功能的具体内涵。结合对现实主义文学真实书写特征的分析,本文指出现实主义文学能客观反映现实关系变化,展现被遮蔽的真实他者,具有其他文学形式不可比拟的积极教诲价值,其中战后现实主义文学基于对现实建构本质的认识,追求真实的同时,运用有限并不断变化的文本形式强调他者他异性,揭示现实蕴含的丰富伦理潜能。凭借“思真即辨善”的伦理书写原则,现实主义文学对人们把捉现实关系变化、探寻正义与善的可能具有指导意义。 展开更多
关键词 知觉 伦理 道德 教诲功能 现实主义文学 真实
下载PDF
话语标记“实话说”的语义特征、语用功能及演变
3
作者 陈柳蓓 《世界华文教学》 2024年第1期285-300,共16页
在现代汉语中,“实话说”属于示诚类话语标记。“实话说”具有叙实传信的语义特征。“实话说”在句中主要起人际互动和建构语篇的语用功能。“实话说”的形成经历了从实义短语到虚义短语再到话语标记的过程,主观化和交互主观化及类比化... 在现代汉语中,“实话说”属于示诚类话语标记。“实话说”具有叙实传信的语义特征。“实话说”在句中主要起人际互动和建构语篇的语用功能。“实话说”的形成经历了从实义短语到虚义短语再到话语标记的过程,主观化和交互主观化及类比化是其标记化的动因。 展开更多
关键词 实话说 话语标记 语义特征 语用功能 演变
下载PDF
Comparison of ground truth location of earthquake from InSAR and from ambient seismic noise: A case study of the 1998 Zhangbei earthquake 被引量:8
4
作者 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
基于Vague集的多目标模糊决策方法 被引量:67
5
作者 李凡 卢安 蔡立晶 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2001年第7期1-3,共3页
指出了采用Vague集进行多目标模糊决策的现有计分函数的不足 ;根据Vague集的性质提出了一种新的计分函数 ;该计分函数和Vague集所具有的“投票模型”属性是完全一致的 ,并将其扩展到加权的形式 ,从而使该方法具有更好的通用性 ,所得结... 指出了采用Vague集进行多目标模糊决策的现有计分函数的不足 ;根据Vague集的性质提出了一种新的计分函数 ;该计分函数和Vague集所具有的“投票模型”属性是完全一致的 ,并将其扩展到加权的形式 ,从而使该方法具有更好的通用性 ,所得结果也更符合人的直觉 . 展开更多
关键词 模糊决策 VAGUE集 FUZZY集 真隶属函数 假隶属函数 计分函数 多目标决策
下载PDF
Gdel系统中由一个或两个原子生成的公式的真值函数的特征 被引量:5
6
作者 张安英 张兴芳 高芹 《模糊系统与数学》 CSCD 北大核心 2007年第3期54-59,共6页
在Gdel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。
关键词 Goedel系统 逻辑公式 真值函数
下载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
L^*系统中由单个原子生成的公式的真值函数的特征 被引量:12
10
作者 任芳 《工程数学学报》 CSCD 北大核心 2005年第3期563-566,共4页
本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的... 本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的分类。 展开更多
关键词 L^*系统 逻辑公式 真值函数
下载PDF
命题逻辑系统L~*的有效集 被引量:2
11
作者 任芳 王国俊 《模糊系统与数学》 CSCD 北大核心 2006年第2期13-17,共5页
针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。
关键词 L^*系统 真值函数 有效集 MP规则
下载PDF
一种非真值函数性模糊逻辑 被引量:2
12
作者 吕建平 赵树芗 《微电子学与计算机》 CSCD 北大核心 2004年第10期90-92,共3页
Zadeh模糊逻辑因其不满足互补律(即排中律与矛盾律)而不是一个布尔代数。本文介绍了一种非真值函数性模糊逻辑,它遵守布尔代数的互补律,并且由于引用了条件隶属度,使其具有广泛的适应性。同时还证明了Zadeh模糊逻辑是它的一个特例。
关键词 模糊逻辑 布尔代数 非真值函数性
下载PDF
关于条件句的蕴涵理论 被引量:6
13
作者 霍书全 《安徽大学学报(哲学社会科学版)》 CSSCI 北大核心 2011年第3期37-43,共7页
为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出... 为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。 展开更多
关键词 条件句 蕴涵 真值函项 可能世界 条件概率 信念修正
下载PDF
Vague集的三维表示及相似度量 被引量:3
14
作者 蔡立晶 吕泽华 李凡 《计算机科学》 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
一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑 被引量:3
15
作者 万小龙 《华中科技大学学报(社会科学版)》 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
论法院依职权调查取证 被引量:7
16
作者 罗飞云 《扬州大学学报(人文社会科学版)》 北大核心 2008年第3期35-39,共5页
在审理对象的形成和证据的提出层面实行辩论主义是我国民事司法改革的方向,但是在强调当事人自我责任的同时,也不应忽略法院的作用。如果过分限制法院依职权调查取证的权力,既不利于法院在诉讼中发现真实,也不利于充分保障当事人的程序... 在审理对象的形成和证据的提出层面实行辩论主义是我国民事司法改革的方向,但是在强调当事人自我责任的同时,也不应忽略法院的作用。如果过分限制法院依职权调查取证的权力,既不利于法院在诉讼中发现真实,也不利于充分保障当事人的程序权利与实体权利,可能造成诉讼能力薄弱者无法实现实体公正。从有利于发现真实、保护当事人合法权益、实现实体公正的角度考虑,有必要适当拓宽我国法院依职权调查取证的范围。 展开更多
关键词 辩论主义 发现真实 职权取证
下载PDF
连续值命题逻辑系统中公式的概率真度 被引量:14
17
作者 左卫兵 毋红军 《河南教育学院学报(自然科学版)》 2007年第1期23-25,共3页
取赋值格为[0,1],引入赋值密度函数,定义了命题公式的概率真度,并讨论几种赋值密度函数的形态,得到一些概率真度推理规则.
关键词 赋值密度函数 概率真度 推理规则
下载PDF
覆盖Vague集 被引量:1
18
作者 汤建国 佘堃 祝峰 《计算机科学》 CSCD 北大核心 2012年第1期256-260,298,共6页
覆盖粗糙集和Vague集都是处理不确定性问题的数学工具,它们分别是粗糙集和模糊集的扩展。已有的覆盖粗糙集模型在求上、下近似时,可能将一些实际上并非肯定属于给定集合的元素纳入到下近似中,而一些可能属于给定集合的元素却没有纳入到... 覆盖粗糙集和Vague集都是处理不确定性问题的数学工具,它们分别是粗糙集和模糊集的扩展。已有的覆盖粗糙集模型在求上、下近似时,可能将一些实际上并非肯定属于给定集合的元素纳入到下近似中,而一些可能属于给定集合的元素却没有纳入到上近似中,这就会改变一些元素与给定集合的关系。通过深入分析论域中的元素与其相关覆盖元之间的关系,建立了覆盖Vague集。该覆盖Vague集能够从一种新的角度反映出论域中各元素与给定集合之间的从属程度。进一步研究了覆盖Vague集与覆盖粗糙集中一些重要概念之间的关系。最后讨论了当覆盖退化为划分时覆盖Vague集的特性。 展开更多
关键词 覆盖Vague集 粗糙集 真隶属函数 假隶属函数 基数和
下载PDF
论客观真实与法律真实在审判实践中的地位和作用 被引量:3
19
作者 邹学荣 《西南师范大学学报(人文社会科学版)》 CSSCI 北大核心 2003年第1期53-56,共4页
客观真实与法律真实在审判实践中的地位和作用是法学界长期研究的一个重要课题。然而 ,把法律真实和客观真实的任一方面作为案件审理的惟一依据都是失之偏颇的。因为 ,客观真实是源、是本质、是决定因素 ,法律真实是流、是现象、是被决... 客观真实与法律真实在审判实践中的地位和作用是法学界长期研究的一个重要课题。然而 ,把法律真实和客观真实的任一方面作为案件审理的惟一依据都是失之偏颇的。因为 ,客观真实是源、是本质、是决定因素 ,法律真实是流、是现象、是被决定因素 ;客观真实是法官追寻的终极目标 ,而法律真实是法官追寻终极目标的桥梁。就此而言 ,在审判实践中我们既要反对只重视法律真实的证据化倾向 。 展开更多
关键词 客观真实 法律真实 审判实践 地位 作用
下载PDF
概率逻辑系统是与集合代数同态的布尔代数 被引量:1
20
作者 刘宏岚 郝卫东 《智能系统学报》 2011年第2期107-113,共7页
联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函数都不能完全适用于任意命题的运算,概率逻辑的联结词不能定义成真值函数.各种算子可以作为一种计算方法... 联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函数都不能完全适用于任意命题的运算,概率逻辑的联结词不能定义成真值函数.各种算子可以作为一种计算方法使用和研究,但不能代表一个逻辑系统研究系统的性质.概率逻辑系统是概率空间的逻辑表示,是与概率空间中的事件域(集合代数)同态的布尔代数.用事件域上的集合函数精确定义各种联结词,与经典二值逻辑相容,与事实相符,能够在经典逻辑框架内实现概率命题演算. 展开更多
关键词 概率逻辑 集合代数 布尔代数 同态 真值函数
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部