期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
Jacobi-Sobolev Orthogonal Polynomialsand Spectral Methods for Elliptic Boundary Value Problems
1
作者 Xuhong Yu Zhongqing Wang Huiyuan Li 《Communications on Applied Mathematics and Computation》 2019年第2期283-308,共26页
Generalized Jacobi polynomials with indexes α,β∈ R are introduced and some basic properties are established. As examples of applications,the second- and fourth-order elliptic boundary value problems with Dirichlet ... Generalized Jacobi polynomials with indexes α,β∈ R are introduced and some basic properties are established. As examples of applications,the second- and fourth-order elliptic boundary value problems with Dirichlet or Robin boundary conditions are considered,and the generalized Jacobi spectral schemes are proposed. For the diagonalization of discrete systems,the Jacobi-Sobolev orthogonal basis functions are constructed,which allow the exact solutions and the approximate solutions to be represented in the forms of infinite and truncated Jacobi series. Error estimates are obtained and numerical results are provided to illustrate the effectiveness and the spectral accuracy. 展开更多
关键词 Generalized JACOBI POLYNOMIALS Spectral method - Jacobi-Sobolev ORTHOGONAL BASIS functions ELLIPTIC boundary value problems Error analysis
下载PDF
多值逻辑中的命题相关性与逻辑运算研究 被引量:5
2
作者 刘宏岚 高庆狮 杨炳儒 《北京科技大学学报》 EI CAS CSCD 北大核心 2007年第S2期172-177,共6页
命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命... 命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数. 展开更多
关键词 多值逻辑 逻辑运算 命题公式 真值函数
下载PDF
概率逻辑系统是与集合代数同态的布尔代数 被引量:1
3
作者 刘宏岚 郝卫东 《智能系统学报》 2011年第2期107-113,共7页
联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函数都不能完全适用于任意命题的运算,概率逻辑的联结词不能定义成真值函数.各种算子可以作为一种计算方法... 联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函数都不能完全适用于任意命题的运算,概率逻辑的联结词不能定义成真值函数.各种算子可以作为一种计算方法使用和研究,但不能代表一个逻辑系统研究系统的性质.概率逻辑系统是概率空间的逻辑表示,是与概率空间中的事件域(集合代数)同态的布尔代数.用事件域上的集合函数精确定义各种联结词,与经典二值逻辑相容,与事实相符,能够在经典逻辑框架内实现概率命题演算. 展开更多
关键词 概率逻辑 集合代数 布尔代数 同态 真值函数
下载PDF
模糊控制基本推理方法及其效果分析 被引量:14
4
作者 欧进萍 张吉礼 《哈尔滨建筑大学学报》 EI 2000年第2期1-7,共7页
模糊逻辑推理是模糊控制的基础,本文系统地分析了现有模糊控制基本推理方法的原理和特点,针对实时模糊控制过程,提出了作用模糊子集和相应的推理方法,比较分析了不同模糊推理方法的推理结果和控制仿真效果。
关键词 模糊控制 模糊逻辑推理 合成推理 作用模糊子集
下载PDF
一种基于Vague集的不确定多属性决策方法 被引量:2
5
作者 汪新凡 高兴 《湖南工业大学学报》 2007年第3期17-20,共4页
提出了一种基于Vague集的不确定多属性决策方法。首先通过定义单指标的Vague集真、假隶属函数计算每个方案的单指标Vague值,然后利用单指标Vague值加权计算得到每个方案的多指标综合Vague值,最后给出两个具有直观意义且计算简便的排序准... 提出了一种基于Vague集的不确定多属性决策方法。首先通过定义单指标的Vague集真、假隶属函数计算每个方案的单指标Vague值,然后利用单指标Vague值加权计算得到每个方案的多指标综合Vague值,最后给出两个具有直观意义且计算简便的排序准则,利用它们对方案进行排序并选出最优方案,实例分析表明了该方法的可行性和有效性。 展开更多
关键词 多属性决策 真/假隶属函数 VAGUE集 VAGUE值 排序
下载PDF
真值表在形式逻辑中的功能 被引量:2
6
作者 莫丽君 《辽宁工程技术大学学报(社会科学版)》 2004年第3期232-233,共2页
真值表是形式逻辑中广泛使用的一种逻辑方法,也是一种非常有用的工具。利用这一工具,可以判定一个命题表达式的真值情况;命题间的等值或矛盾关系;两个命题是否有条件关系;还可以应用它确定若干命题是否有一种共同情况存在以及寻找符合... 真值表是形式逻辑中广泛使用的一种逻辑方法,也是一种非常有用的工具。利用这一工具,可以判定一个命题表达式的真值情况;命题间的等值或矛盾关系;两个命题是否有条件关系;还可以应用它确定若干命题是否有一种共同情况存在以及寻找符合题设条件的情况和推理形式是否正确。这些结果都可以利用真值表这一工具一目了然地显示。 展开更多
关键词 真值表 形式逻辑 功能 命题表达式 矛盾关系 推理形式
下载PDF
布尔函数的代数攻击 被引量:1
7
作者 杨文峰 胡予濮 高军涛 《电子科技大学学报》 EI CAS CSCD 北大核心 2010年第6期831-834,共4页
基于代数攻击,提出了一种已知部分真值表还原整个布尔函数的方法。对于n元d次布尔函数,该方法的空间复杂度和数据复杂度均为O(N),计算复杂度为O(N3),其中N=1+Cn1+C n2++C nd。由复杂度可知,所求密码函数的代数次数越低,该方法的有效性... 基于代数攻击,提出了一种已知部分真值表还原整个布尔函数的方法。对于n元d次布尔函数,该方法的空间复杂度和数据复杂度均为O(N),计算复杂度为O(N3),其中N=1+Cn1+C n2++C nd。由复杂度可知,所求密码函数的代数次数越低,该方法的有效性越高。攻击方法表明密码设计中应该谨慎使用代数次数较低的布尔函数。 展开更多
关键词 代数方法 布尔函数 密码分析 密码学
下载PDF
“科学发展观”是“与时俱进”说的上位概念——由剖析教育本质论的经典表述谈起 被引量:1
8
作者 刘南平 《河北北方学院学报(社会科学版)》 2008年第6期57-59,共3页
用"科学发展观"审视中国关于教育本质论的经典表述——韩愈的"教以载道"论和"教育是社会上层建筑"论,不难发现其根本缺陷在于有悖"以人为本"和"人的全面发展"观。而这两种观点显现... 用"科学发展观"审视中国关于教育本质论的经典表述——韩愈的"教以载道"论和"教育是社会上层建筑"论,不难发现其根本缺陷在于有悖"以人为本"和"人的全面发展"观。而这两种观点显现了教育本质论之表述"与时俱进"的鲜明特征。剖析这一特征的思维基础,引出了"科学发展观"是"与时俱进"说上位概念的命题;"与时俱进"说惟有以马克主义的基本原理为指导,以最广大人民群众的实践为依据,才能永葆正确的航向而不被异化。 展开更多
关键词 科学发展观 “与时俱进”说 教育本质论 教以载道 教育是社会上层建筑
下载PDF
Vague集的运算规则 被引量:8
9
作者 李凡 卢安 饶勇 《计算机科学》 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集 隶属度 模糊性
全文增补中
作为联结关系“偶然”和“风马牛”的逻辑含义
10
作者 龚启荣 汪学明 《贵阳学院学报(社会科学版)》 2007年第2期22-26,共5页
作为逻辑联结关系的“偶然”是一种特殊的可能:同时也可能不的可能,即,可能不如此的可能,或者说是,有与之不相容的可能情况的可能。作为逻辑联结关系的“风马牛”是一种最彻底的、最特殊的偶然。A风马牛B,当且仅当,A偶然B且A偶然B。偶... 作为逻辑联结关系的“偶然”是一种特殊的可能:同时也可能不的可能,即,可能不如此的可能,或者说是,有与之不相容的可能情况的可能。作为逻辑联结关系的“风马牛”是一种最彻底的、最特殊的偶然。A风马牛B,当且仅当,A偶然B且A偶然B。偶然和风马牛都是2元的非纯真值联结关系。不是为正统数理逻辑所研究的纯真值联结词。 展开更多
关键词 可能不 必然 可能 偶然 风马牛 非纯真值联结关系 真值函数
下载PDF
英语中Euphemism语用功能和语义真值研究
11
作者 黄衡田 《邵阳学院学报(社会科学版)》 2006年第5期98-101,共4页
世界上每一个国家、每一个民族、每一种语言,都有自己独特的委婉语。随着社会、经济和语言的发展,委婉语的数目之多和用途之广,是很难用语言进行描述的。委婉语可以反映一个国家、一个民族的文明程度;可以调节人们的思想感情;可以平衡... 世界上每一个国家、每一个民族、每一种语言,都有自己独特的委婉语。随着社会、经济和语言的发展,委婉语的数目之多和用途之广,是很难用语言进行描述的。委婉语可以反映一个国家、一个民族的文明程度;可以调节人们的思想感情;可以平衡人们的心里状态;可以掩盖事实的真相。委婉语的运用如此广泛,迫使我们对它的语义真值进行深入中肯的分析和研究。 展开更多
关键词 英语 委婉语 语用功能 语义学 真值
下载PDF
敬畏历史、穿透历史、感悟历史——出入史坛50年之点滴感悟
12
作者 葛金芳 《中文论坛》 2018年第2期256-270,共15页
历史有真相吗?搞清真相有用吗?史学家的价值导向对研究工作之意义有影响吗?笔者结合毕生治史的深切体会对上述疑问层层推进,以敬畏历史的情怀、穿透历史的胆识、感悟历史的睿智,在理性审视历史与现实的隐秘联系中,叩问历史真相、探究史... 历史有真相吗?搞清真相有用吗?史学家的价值导向对研究工作之意义有影响吗?笔者结合毕生治史的深切体会对上述疑问层层推进,以敬畏历史的情怀、穿透历史的胆识、感悟历史的睿智,在理性审视历史与现实的隐秘联系中,叩问历史真相、探究史学功能、重构历史研究的价值导向,提出:思辨历史学仍可存在,但批判历史学应该登场!由此,进一步讨论历史著述和教学应该遵循的原则,由浅入深、由小到大步步深入历史底蕴。 展开更多
关键词 历史真相 史学功能 价值导向 教学原则 学史门径
下载PDF
论弗雷格的概念 被引量:4
13
作者 薛瑞 《重庆理工大学学报(社会科学)》 CAS 2013年第7期10-15,32,共7页
弗雷格将数学中的函数概念扩展到自然语言中并且称之为概念,从而在概念的基础上开启了他的逻辑主义事业。在数学中,函数有着严格的定义,但是,在自然语言中如何来理解弗雷格的函数呢?通过将数学中的函数与自然语言的概念进行比较,分析了... 弗雷格将数学中的函数概念扩展到自然语言中并且称之为概念,从而在概念的基础上开启了他的逻辑主义事业。在数学中,函数有着严格的定义,但是,在自然语言中如何来理解弗雷格的函数呢?通过将数学中的函数与自然语言的概念进行比较,分析了弗雷格概念的逻辑结构以及概念的前域和后域,并概述了弗雷格概念的哲学意义。 展开更多
关键词 函数 概念 不饱和性 真值
下载PDF
L*系统中的函数决定公式问题
14
作者 袁彦莉 李成允 张兴芳 《计算机工程与应用》 CSCD 北大核心 2010年第15期31-33,共3页
基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。
关键词 L*系统 真值函数 真度
下载PDF
论“丑”的审美价值功能 被引量:1
15
作者 刘丽辉 《云南师范大学学报(哲学社会科学版)》 2000年第4期43-45,共3页
审美 ,是艺术区别于其它社会意识形态的本质特性 ,故此 ,创作主体和审美主体的审美注意力往往只是聚焦于美的事物 ,而丑的“魔力”则常因美的光辉而显得暗淡无光。事实上 ,丑的审美价值功能却是不容忽视的。其理在于 :首先 ,美与丑是万... 审美 ,是艺术区别于其它社会意识形态的本质特性 ,故此 ,创作主体和审美主体的审美注意力往往只是聚焦于美的事物 ,而丑的“魔力”则常因美的光辉而显得暗淡无光。事实上 ,丑的审美价值功能却是不容忽视的。其理在于 :首先 ,美与丑是万事万物的矛盾统一体 ,失去了对方便失去了自我。艺术表现美 ,而丑是不可或缺的。其次 ,美和丑不仅是相辅相成的 ,而且还是互相包容、相互渗透的 ,丑中蕴涵着向美转化的因子。第三 ,真善美的获得 ,离不开丑的彰显、启示和映衬 ,丑具有多方面的审美价值功能。 展开更多
关键词 '丑' 审美价值功能 审美价值体现
下载PDF
Function synthesis algorithm based on RTD-based three-variable universal logic gates 被引量:1
16
作者 Mao-qun YAO Kai YANG +1 位作者 Ji-zhong SHEN Cong-yuan XU 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2017年第10期1654-1664,共11页
Compared with complementary metal–oxide semiconductor(CMOS), the resonant tunneling device(RTD) has better performances; it is the most promising candidate for next-generation integrated circuit devices. The universa... Compared with complementary metal–oxide semiconductor(CMOS), the resonant tunneling device(RTD) has better performances; it is the most promising candidate for next-generation integrated circuit devices. The universal logic gate is an important unit circuit because of its powerful logic function, but there are few function synthesis algorithms that can implement an n-variable logical function by RTD-based universal logic gates. In this paper, we propose a new concept, i.e., the truth value matrix. With it a novel disjunctive decomposition algorithm can be used to decompose an arbitrary n-variable logical function into three-variable subset functions. On this basis, a novel function synthesis algorithm is proposed, which can implement arbitrary n-variable logical functions by RTD-based universal threshold logic gates(UTLGs), RTD-based three-variable XOR gates(XOR3s), and RTD-based three-variable universal logic gate(ULG3s). When this proposed function synthesis algorithm is used to implement an n-variable logical function, if the function is a directly disjunctive decomposition one, the circuit structure will be very simple, and if the function is a non-directly disjunctive decomposition one, the circuit structure will be simpler than when using only UTLGs or ULG3s. The proposed function synthesis algorithm is straightforward to program, and with this algorithm it is convenient to implement an arbitrary n-variable logical function by RTD-based universal logic gates. 展开更多
关键词 Resonant tunneling device(RTD) Disjunctive decomposition algorithm Universal logic gate truth value matrix function synthesis algorithm
原文传递
三值逻辑系统的分析与比较
17
作者 赵鹏 姚从军 《毕节学院学报(综合版)》 2011年第6期32-40,共9页
对诸如未来偶然命题,二值逻辑解决不了,三值逻辑应运而生。如今,三值逻辑理论沿着不同路线已得到迅速发展,其应用范围也日益广泛。主要的三值逻辑系统有L3、B3、K3、R3、P3。它们都对二值逻辑的限制有所突破,都在某种意义上显示出"... 对诸如未来偶然命题,二值逻辑解决不了,三值逻辑应运而生。如今,三值逻辑理论沿着不同路线已得到迅速发展,其应用范围也日益广泛。主要的三值逻辑系统有L3、B3、K3、R3、P3。它们都对二值逻辑的限制有所突破,都在某种意义上显示出"亦此亦彼"的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,反映了各自产生的背景与目的。 展开更多
关键词 三值逻辑 逻辑系统 真值表 函项完备性
下载PDF
二型模糊集真值代数上重叠函数的扩展余蕴涵和分组函数的扩展蕴涵
18
作者 杨小庆 王学平 《模糊系统与数学》 北大核心 2024年第1期26-35,共10页
本文首先给出二型模糊集真值代数上重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的定义,讨论重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的封闭性,然后分别讨论它们与并∪,交∩,扩展并及扩展交的分配律,最后给出二型模糊集真值代数上重叠... 本文首先给出二型模糊集真值代数上重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的定义,讨论重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的封闭性,然后分别讨论它们与并∪,交∩,扩展并及扩展交的分配律,最后给出二型模糊集真值代数上重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的一些表示。 展开更多
关键词 模糊真值 重叠函数 分组函数 余蕴涵 蕴涵 分配律
原文传递
L*逻辑系统中的函数决定公式问题 被引量:3
19
作者 李成允 张兴芳 《山东大学学报(理学版)》 CAS CSCD 北大核心 2009年第12期91-96,共6页
给出了L*(或NM)逻辑系统中公式的真值函数特征和L*逻辑系统中公式的真度集特征。
关键词 L*逻辑系统 真值函数 真度
原文传递
弗雷格逻辑系统中的语句、真值和判断杠 被引量:2
20
作者 胡庭树 翟玉章 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2016年第6期35-42,共8页
弗雷格逻辑系统中的语句是指称真值的单独词项,但因此而指责他混淆了语句和单独词项的区别,却是一种误解。因为弗雷格的语句并非是具有判断功能的自然语句,而是对自然语句作了去判断力处理后形成的单独词项,而判断杠则是用于恢复语句的... 弗雷格逻辑系统中的语句是指称真值的单独词项,但因此而指责他混淆了语句和单独词项的区别,却是一种误解。因为弗雷格的语句并非是具有判断功能的自然语句,而是对自然语句作了去判断力处理后形成的单独词项,而判断杠则是用于恢复语句的判断力的设施。弗雷格独特的语句、真值和判断杠概念是与他的函数分析法相配套的,而在普遍采用谓词分析法的今天,这些概念已经不再需要,只有"真值"这个术语保留了下来,但语境已发生了变化。 展开更多
关键词 弗雷格 语句 真值 判断杠 函数分析法
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部