期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
说谎者悖论中的T-模式
1
作者 赵震 《重庆理工大学学报(社会科学)》 CAS 2017年第3期20-24,共5页
T-模式是塔斯基提出的与真有关的一个重要模式,即"x是真的当且仅当p",其中p是一个句子,x是这个句子的名字。因其非常符合"真"这个词的直观而成为现代逻辑真理论的一条重要规则。说谎者悖论的产生都与T-模式或其等... T-模式是塔斯基提出的与真有关的一个重要模式,即"x是真的当且仅当p",其中p是一个句子,x是这个句子的名字。因其非常符合"真"这个词的直观而成为现代逻辑真理论的一条重要规则。说谎者悖论的产生都与T-模式或其等价式有关。所以研究说谎者悖论必须研究T-模式。T-模式包含两个关键词:"当且仅当"和"真"。文章讨论了这两个关键词在说谎者悖论及其解悖方案中的理解,以及与T-模式有关的另一条规则"(IP)规则"。 展开更多
关键词 说谎者悖论 t-模式 (IP)规则 真理论
下载PDF
陆相断陷盆地断-拗转换体系与地层超覆油藏“T-S”控藏模式——以济阳坳陷第三系为例 被引量:13
2
作者 宋国奇 《地质学报》 EI CAS CSCD 北大核心 2007年第9期1208-1214,共7页
根据盆地构造活动的阶段性及其在油气成藏中的共性,提出了陆相断陷盆地断-拗转换期与断-拗转换体系的基本概念,分析了该体系的构造、沉积特征及油气藏类型。认为以油源断裂和骨架砂体(不整合面)构成的陡坡带"T"型输导体系、... 根据盆地构造活动的阶段性及其在油气成藏中的共性,提出了陆相断陷盆地断-拗转换期与断-拗转换体系的基本概念,分析了该体系的构造、沉积特征及油气藏类型。认为以油源断裂和骨架砂体(不整合面)构成的陡坡带"T"型输导体系、缓坡带复式"T"输导体系和具"S"型的古地貌是控制地层超覆油气藏形成的关键。 展开更多
关键词 陆相断陷盆地 断-拗转换体系 t-S”控藏模式 济阳坳陷
下载PDF
塔斯基真理论是符合真理论吗?
3
作者 赵震 《逻辑学研究》 2024年第2期88-102,共15页
塔斯基真理论是符合真理论吗?这是一个很有争议的问题。符合论有两个主要特点:一、试图在内涵上寻找“真”的本质,二、预设实在论,“真”的本质在于与实在世界相符合。通过比较塔斯基真理论与符合论主要特点的关系指出,塔斯基真理论的... 塔斯基真理论是符合真理论吗?这是一个很有争议的问题。符合论有两个主要特点:一、试图在内涵上寻找“真”的本质,二、预设实在论,“真”的本质在于与实在世界相符合。通过比较塔斯基真理论与符合论主要特点的关系指出,塔斯基真理论的两个核心要素:“T-模式”与用“满足”定义的“真”概念,都没有表达与实在相符合的意思。T-模式表达的是真谓词是一个语义刻画词,而用“满足”定义“真”的递归步骤也只是在外延上寻找真句子的集合,并不是在内涵上寻找其本质。因此,塔斯基的语义真理论不是符合真理论。 展开更多
关键词 塔斯基 t-模式 满足 语义真理论 符合真理论
下载PDF
T-S-fuzzy-model-based quantized control for nonlinear networked control systems
4
作者 褚红燕 费树岷 +1 位作者 陈海霞 翟军勇 《Journal of Southeast University(English Edition)》 EI CAS 2010年第1期137-141,共5页
In order to overcome data-quantization, networked-induced delay, network packet dropouts and wrong sequences in the nonlinear networked control system, a novel nonlinear networked control system model is built by the ... In order to overcome data-quantization, networked-induced delay, network packet dropouts and wrong sequences in the nonlinear networked control system, a novel nonlinear networked control system model is built by the T-S fuzzy method. Two time-varying quantizers are added in the model. The key analysis steps in the method are to construct an improved interval-delay-dependent Lyapunov functional and to introduce the free-weighting matrix. By making use of the parallel distributed compensation technology and the convexity of the matrix function, the improved criteria of the stabilization and stability are obtained. Simulation experiments show that the parameters of the controllers and quantizers satisfying a certain performance can be obtained by solving a set of LMIs. The application of the nonlinear mass-spring system is provided to show that the proposed method is effective. 展开更多
关键词 t-S fuzzy model linear matrix inequalities(LMIs) quantizers
下载PDF
Guaranteed Cost Control for Uncertain Nonlinear Time-Delay Neutral Systems Based on T-S Fuzzy Model 被引量:1
5
作者 GUO Xi-jin YAN Jun-rong WU Zhong-qiang 《Journal of China University of Mining and Technology》 EI 2005年第3期241-246,共6页
The problem of guaranteed cost fuzzy controller is studied for a class of nonlinear time-delay neutral sys-tems with norm-bounded uncertainty based on T-S model. The sufficient conditions are first derived for the exi... The problem of guaranteed cost fuzzy controller is studied for a class of nonlinear time-delay neutral sys-tems with norm-bounded uncertainty based on T-S model. The sufficient conditions are first derived for the existenceof guaranteed cost fuzzy controllers. These sufficient conditions are equivalent to a kind of linear matrix inequalities.Furthermore, a convex optimization problem with LMI constraints is formulated to design the optimal guaranteedcost controller. 展开更多
关键词 t-S model UNCERTAINTIES neutral system guaranteed cost control linear matrix inequalities
下载PDF
塔斯基定理的一种推广 被引量:3
6
作者 熊明 《逻辑学研究》 2010年第1期73-88,共16页
当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征。本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛盾;在使用佐丹卡片... 当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征。本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛盾;在使用佐丹卡片悖论证明塔斯基定理时,在并且仅在有向图中含有高度不能被4整除的循环时,佐丹卡片悖论才会导致矛盾,这表明当T-模式拓展到有向图时,哥德尔关于"认识论悖论"应用于不完全性证明的思想能够被非平庸地类推于真之不可定义性的证明中。 展开更多
关键词 有向图 佐丹卡片悖论 说谎者悖论 塔斯基定理 t-模式
下载PDF
“真”的两种用法——兼论真理论悖论的消解 被引量:1
7
作者 赵震 《湖北大学学报(哲学社会科学版)》 CSSCI 北大核心 2019年第3期82-87,共6页
"真"这个词有谓词和算子两种用法,它们既有联系又有区别。"真"在概括中的用法是其谓词用法,而在T-模式中的用法是其算子用法。两种用法在一定条件下可以等价转换,但并非所有情况都可以。真理论悖论产生的根源就在... "真"这个词有谓词和算子两种用法,它们既有联系又有区别。"真"在概括中的用法是其谓词用法,而在T-模式中的用法是其算子用法。两种用法在一定条件下可以等价转换,但并非所有情况都可以。真理论悖论产生的根源就在于混淆了"真"的这两种用法。通过澄清T-模式中的"真"是其算子用法可以消解各种真理论悖论,同时不会丧失语言的表达力和(经典)逻辑的推理能力。 展开更多
关键词 t-模式 谓词 算子 真理论悖论
下载PDF
艾尔布朗语义下的真谓词
8
作者 熊明 《湖北大学学报(哲学社会科学版)》 CSSCI 北大核心 2014年第5期39-43,148,共5页
艾尔布朗语义是一种不同于塔斯基语义的一阶语言解释。本文对艾尔布朗语义下的真理论进行初步探讨,试图比较艾尔布朗语义下和塔斯基语义下真谓词的异同。相同之处比如在两种语义下都可使用说谎者悖论得到塔斯基定理。不同的地方有:亚布... 艾尔布朗语义是一种不同于塔斯基语义的一阶语言解释。本文对艾尔布朗语义下的真理论进行初步探讨,试图比较艾尔布朗语义下和塔斯基语义下真谓词的异同。相同之处比如在两种语义下都可使用说谎者悖论得到塔斯基定理。不同的地方有:亚布鲁悖论在塔斯基非标准模型中可以得到满足,但是在艾尔布朗语义中却是不可满足的。此外,语言分层的思想在塔斯基语义中一般情况下难以扩展到超穷阶段,而在艾尔布朗语义中类似具有累积效应的分层甚至在第二阶段就必须终止。 展开更多
关键词 艾尔布朗语义 塔斯基语义 t-模式 亚布鲁悖论 真谓词
下载PDF
英语中动句的S-结构语义强化生成模型假设
9
作者 仝毅然 《四川教育学院学报》 2010年第9期94-96,共3页
由中动词构成的句子称为中动句。过去对中动句生成的研究多集中在题元理论和格理论上。从语义影响句法的角度出发,中动句的形成是一个持续渐进的过程,而语义强化是推动句子结构一步步由深层结构到表层中动结构发展的主要动力,并据此提... 由中动词构成的句子称为中动句。过去对中动句生成的研究多集中在题元理论和格理论上。从语义影响句法的角度出发,中动句的形成是一个持续渐进的过程,而语义强化是推动句子结构一步步由深层结构到表层中动结构发展的主要动力,并据此提出中动结构生成的渐进模型。 展开更多
关键词 中动词 中动结构 S-结构 t-模式
下载PDF
FUZZY ROBUST H_∞ CONTROL OF UNCERTAIN NONLINEAR SYSTEM WITH TIME-DEALY 被引量:3
10
作者 刘亚 胡寿松 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2002年第2期123-126,共4页
This paper addresses the problem of the fuzzy H ∞state feedback control for a class of uncertain nonlinear systems with time delay. The Takagi Sugeno (T S) mo del with time delay and parameter uncertainties is ... This paper addresses the problem of the fuzzy H ∞state feedback control for a class of uncertain nonlinear systems with time delay. The Takagi Sugeno (T S) mo del with time delay and parameter uncertainties is adopted for modeling of nonlinear system. The systematic design procedure for the fuzzy robust controller based on linear matrix inequality (LMI) is given. Some sufficient conditions are derived for the existence of fuzzy H ∞ state feedback controllers such that the closed loop system is asymptotically stable and the effect of the disturbance input on controlled output is reduced to a prescribed level. An example is given to demonstrate the effectiveness of the proposed method. 展开更多
关键词 UNCERTAINTY time delay T S fuzzy model linear matrix inequality (LMI)
下载PDF
A Multilayer Recurrent Fuzzy Neural Network for Accurate Dynamic System Modeling 被引量:5
11
作者 柳贺 黄道 《Journal of Donghua University(English Edition)》 EI CAS 2008年第4期373-378,共6页
A multilayer recurrent fuzzy neural network(MRFNN)is proposed for accurate dynamic system modeling.The proposed MRFNN has six layers combined with T-S fuzzy model.The recurrent structures are formed by local feedback ... A multilayer recurrent fuzzy neural network(MRFNN)is proposed for accurate dynamic system modeling.The proposed MRFNN has six layers combined with T-S fuzzy model.The recurrent structures are formed by local feedback connections in the membership layer and the rule layer.With these feedbacks,the fuzzy sets are time-varying and the temporal problem of dynamic system can be solved well.The parameters of MRFNN are learned by chaotic search(CS)and least square estimation(LSE)simultaneously,where CS is for tuning the premise parameters and LSE is for updating the consequent coefficients accordingly.Results of simulations show the proposed approach is effective for dynamic system modeling with high accuracy. 展开更多
关键词 recurrent neural networks t-S fuzzy model chaotic search least square estimation MODELING
下载PDF
Diagnosis of Valve-Slap of Diesel Engine with EEMD-EMD-AGST Approach 被引量:3
12
作者 ZHENG Xu HAO Zhiyong 《Transactions of Tianjin University》 EI CAS 2012年第1期26-32,共7页
A hybrid of ensemble empirical mode decomposition and empirical mode decomposition (EEMD-EMD) is introduced to diagnose the valve-slap vibration signal,which is relative to the dominant combustion knock vibration sign... A hybrid of ensemble empirical mode decomposition and empirical mode decomposition (EEMD-EMD) is introduced to diagnose the valve-slap vibration signal,which is relative to the dominant combustion knock vibration signal given out by a diesel engine around the top dead center (TDC).The time-frequency representations of intrinsic mode functions (IMFs) decomposed by EEMD-EMD are obtained by adaptive generalized S transform (AGST).A type 493 diesel engine was used for the experiment,and the result indicates that the valve-slap of the diesel engine is serious,and the vibration frequencies are higher than the combustion knock.With EEMD-EMD-AGST approach,the valve-slap can be identified by the vibration analysis of the diesel engine. 展开更多
关键词 diesel engine vibration analysis combustion knock valve-slap ensemble empirical mode decomposi- tion empirical mode decomposition
下载PDF
Traffic Forecasting Model Based on Takagi-Sugeno Fuzzy Logical System
13
作者 王维工 李征 程美玲 《Journal of Donghua University(English Edition)》 EI CAS 2005年第1期129-132,共4页
The local multiple regression fuzzy(LMRF)model based on Takagi-Sugeno fuzzy logical system and its application in traffic forecasting is proposed. Besides its prediction accuracy is testified and the model is proved m... The local multiple regression fuzzy(LMRF)model based on Takagi-Sugeno fuzzy logical system and its application in traffic forecasting is proposed. Besides its prediction accuracy is testified and the model is proved much better than conventional forecasting methods. According to the regional traffic system, the model perfectly states the complex non-linear relation of the traffic and the local social economy. The model also efficiently deals with the system lack of enough data. 展开更多
关键词 t-S model traffic forecasting LMRF model.
下载PDF
真与悖论的逻辑分析:从目的论解释到定量描述 被引量:1
14
作者 赵艺 熊明 《世界哲学》 CSSCI 北大核心 2018年第2期152-159,共8页
根据克莱因观点,近代科学的兴起源于伽利略在研究目标上的一个新设定:对科学现象获得独立于目的论解释的定量描述。本文论证了同样精神的目标设定正发生在真理论领域。塔斯基、克里普克、弗里德曼和谢尔德的真理论以消除悖论为基本目的... 根据克莱因观点,近代科学的兴起源于伽利略在研究目标上的一个新设定:对科学现象获得独立于目的论解释的定量描述。本文论证了同样精神的目标设定正发生在真理论领域。塔斯基、克里普克、弗里德曼和谢尔德的真理论以消除悖论为基本目的是典型的目的论解释性理论,而古普塔和赫兹伯格的真理论则通过悖论的周期性特征把定量分析引入到悖论的研究之中。而对悖论的矛盾性刻画把定量描述引向深入。本文呈现了现代真理论的这一变革进程,预示了真理论的发展方向。 展开更多
关键词 悖论 定量描述 目的论解释 t-模式
原文传递
适应新农科需求的基础课“浸润组合式”教学实践 被引量:3
15
作者 饶震红 高玉霞 杜凤沛 《高等农业教育》 2021年第5期101-107,共7页
深入理解新农科建设对基础化学实验教学提出的新要求,分析面临未来农业发展的不确定性,国外一流涉农学校美国加州伯克利分校与荷兰瓦赫宁根大学现行对化学实验课程的教法,从中获得启示。基于国情,将农业情怀与能力素质教育结合,对化学... 深入理解新农科建设对基础化学实验教学提出的新要求,分析面临未来农业发展的不确定性,国外一流涉农学校美国加州伯克利分校与荷兰瓦赫宁根大学现行对化学实验课程的教法,从中获得启示。基于国情,将农业情怀与能力素质教育结合,对化学实验课程进行改革,探求农业院校的理科基础课如何在教学中浸润知农爱农为农的价值观,采用浸润——反思——拓展——创新相组合的"3T—浸润式"教学模式,提高基础课程的高阶性与挑战性,以满足培养农业引领人才的要求。 展开更多
关键词 新农科 基础化学实验 3t-浸润式教学模式 价值塑造
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部