检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

塔斯基关于类演算语言的真句子定义

塔斯基关于类演算语言的真句子定义

作者：琚凤魁四川大学

学位级别：硕士

本文的主要内容是:首先把塔斯基定义类演算语言真句子的过程系统化,并对其中的一些问题进行探讨;然后,证明这个真句子定义具有恰当性所要求的性质;最后,针对类演算语言,在不同的真句子定义方法之间进行一些比较。塔斯基认为,令人满意... 详细信息

本文的主要内容是:首先把塔斯基定义类演算语言真句子的过程系统化,并对其中的一些问题进行探讨;然后,证明这个真句子定义具有恰当性所要求的性质;最后,针对类演算语言,在不同的真句子定义方法之间进行一些比较。塔斯基认为,令人满意的真句子定义应该满足两个条件:(1)形式上正确:(2)实质上适当。所谓形式上正确,即遵守一般的定义规则;实质上适当,即所有(T)形等值式是该定义的逻辑后承。塔斯基发现,在一个语言内部定义该语言的“真”必然导致该语言具有语义封闭性,而对日常语言的分析已经表明,在任意一个具有语义封闭性的语言中都可以成功地构造出语义悖论,因此,形式语言的真句子定义只能在其元语言中得到。这就是著名的语言分层思想。塔斯基严格地构造出了类演算语言,然后又构造出了类演算语言的元语言,并且在元语言中定义出类演算语言的语句函项、自由变元、语句、运算、后承等重要概念。通过分析语句的结构,塔斯基发现很难直接定义出类演算语言的真概念,而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法:先采用递归方法针对语句函项定义出满足概念,然后把语句作为语句函项的特殊形式,借助于满足概念最终可以得到类演算语言的真概念定义。塔斯基得到的真概念定义是:x是类演算语言的任一语句,x为真当且仅当每一个类的无穷序列都满足x。这个定义完全满足形式正确性条件和实质适当性条件,并且由此得到的真句子类Tr是一个一致的和完全的演绎系统,这些性质使我们相信,它是一个恰当的真概念定义。现在要定义类演算语言的真句子,一般要引进解释概念。在解释概念的基

关键词：塔斯基类演算定义语句函项语句满足真

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

祈使句和逻辑(英文)

逻辑学研究 2010年第2期3卷 26-52页

作者：琚凤魁北京大学哲学系阿姆斯特丹大学逻辑语言与计算研究所

本文基于更新框架定义了一种动态的祈使句语义,并在此基础之上讨论了关于祈使句的逻辑。这个语义对于祈使句的一致性问题和Ross悖论提供了一种直接的解决方案。我们的工作在祈使句和祈使力结构之间的对应之上展开。首先,根据处理祈使句... 详细信息

本文基于更新框架定义了一种动态的祈使句语义,并在此基础之上讨论了关于祈使句的逻辑。这个语义对于祈使句的一致性问题和Ross悖论提供了一种直接的解决方案。我们的工作在祈使句和祈使力结构之间的对应之上展开。首先,根据处理祈使句相容性的不同方式,我们给出了几种不同的祈使句一致性定义。然后,祈使句的意义被处理为祈使力机构上的依赖相容性的更新函项。最后,祈使句之间的蕴涵关系被归约为祈使力结构之间的某种关系。基于不同的相容性定义,我们给出了几种不同的蕴涵关系。

关键词：祈使句逻辑一致性问题相容性定义语义更新结构

在线全文

学校读者我要写书评

暂无评论

逻辑、语言和哲学讲习班与研讨会综述

逻辑学研究 2011年第4期4卷 115-121页

作者：琚凤魁王彦晶北京师范大学哲学系北京大学哲学系

2011年6月13-18日,清华大学人文学院哲学系举办了逻辑、语言和哲学讲习班与研讨会。本次活动的主旨是：对逻辑学、自然语言和哲学的交叉研究领域中的一些课题进行深入的介绍,交流最新的研究成果,展示逻辑学在跨学科研究领域中的重要作... 详细信息

2011年6月13-18日,清华大学人文学院哲学系举办了逻辑、语言和哲学讲习班与研讨会。本次活动的主旨是：对逻辑学、自然语言和哲学的交叉研究领域中的一些课题进行深入的介绍,交流最新的研究成果,展示逻辑学在跨学科研究领域中的重要作用。本次活动分为两个部分：为期五天的讲习班与为期一天的研讨会。活动的参加者有：阿姆斯特丹大学与斯坦福大学的范丙申（Johan vanBenthem）教授,阿姆斯特丹大学的斯托科霍夫（Martin Stokhof）教授,哥德堡大学与斯德哥尔摩大学的威斯特斯达（Dag Westerstahl）教授,

关键词：自然语言哲学系逻辑学讲习班研讨会综述清华大学阿姆斯特丹跨学科研究

在线全文

学校读者我要写书评

暂无评论

布尔模态的公理化(英文)

逻辑学研究 2015年第1期8卷 23-36页

作者：琚凤魁胡祥梅北京师范大学哲学与社会学学院浙江师范大学附属义乌实验学校

布尔模态(即模态生成算子补、交、并)涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方... 详细信息

布尔模态(即模态生成算子补、交、并)涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有这两个不足之处。

关键词：完全性生成算子公理化复制方法 modalities modality universal intersection union axiom

液压泵和滚动轴承多种样本量的改进多任务故障诊断

在线全文

学校读者我要写书评

暂无评论

振动与冲击 2024年第4期43卷 270-278页

作者：郑直曾魁魁何玉灵李克王志军华北理工大学机械工程学院河北唐山063210 华北电力大学电机健康维护与故障预防河北省重点实验室河北保定071000

基于充足样本的多个设备元件导致多任务学习网络规模庞大,轻微和严重的跨元件零样本问题难度大。在多种样本量(充足样本和零样本)下,针对基于充足故障样本的多元件诊断网络规模过于庞大问题,引入MicroNet方法对多任务学习网络进行轻量... 详细信息

基于充足样本的多个设备元件导致多任务学习网络规模庞大,轻微和严重的跨元件零样本问题难度大。在多种样本量(充足样本和零样本)下,针对基于充足故障样本的多元件诊断网络规模过于庞大问题,引入MicroNet方法对多任务学习网络进行轻量化处理,然后利用热重启余弦退火算法优化上述网络,提出一种多任务轻量化学习网络模型,改善多任务学习网络的准确率和效率。针对更高难度的跨元件零样本问题,引入元学习方法进一步改进上述MT-MN-CA,进而提出一种改进多任务轻量化学习网络模型,解决轻微和严重的跨元件零样本问题。通过实测液压泵和滚动轴承故障验证所提两个网络模型的有效性和优越性,试验结果表明所提网络具有很高的实时性和准确率。

关键词：多任务学习轻量化元学习零样本故障诊断

在线全文

学校读者我要写书评

暂无评论

临床护理路径在轻度烧伤患者护理中的应用

中国城乡企业卫生 2024年第6期39卷 164-167页

作者：弋凤霞李永魁西安惠安医院烧伤科陕西西安710302

目的探讨临床护理路径在轻度烧伤患者护理中的应用,为烧伤患者的护理提供参考。方法选择2021年1月—2022年2月西安惠安医院收治的210例轻度烧伤患者为本次研究对象,以随机数字表法分为观察组和对照组每组105例。对照组给予常规护理,观... 详细信息

目的探讨临床护理路径在轻度烧伤患者护理中的应用,为烧伤患者的护理提供参考。方法选择2021年1月—2022年2月西安惠安医院收治的210例轻度烧伤患者为本次研究对象,以随机数字表法分为观察组和对照组每组105例。对照组给予常规护理,观察组在对照组基础上给予临床护理路径。比较两组患者临床指标、疼痛情况、不良情绪及生活质量评分,数据均应用SPSS 20.0软件进行分析。结果观察组住院时间以及医疗费用均低于对照组,差异均有统计学意义(P<0.05)。护理后,观察组和对照组VAS评分较护理前均降低,且护理后10、20、30 d观察组VAS评分低于对照组,差异均有统计学意义(P<0.05)。观察组和对照组HAMA、HAMD较护理前均降低,且观察组低于对照组,差异均有统计学意义(P<0.05)。观察组社会及生理功能、情感及生理职能、精神及总体健康、躯体疼痛、活力评分高于对照组,差异均有统计学意义(P<0.05)。结论与常规护理方式相比,联合应用临床护理路径可减少轻度烧伤患者的疼痛感与不良情绪,提高生活质量,值得推广应用。

关键词：临床护理路径常规护理轻度烧伤疼痛情况负面情绪生活质量

在线全文

学校读者我要写书评

暂无评论

历史虚无主义的表征、根源及防范化解研究

新疆师范大学学报(哲学社会科学版) 2024年

作者：赵军魁甘肃政法大学马克思主义学院甘肃政法大学思想政治教育研究中心

历史虚无主义以误导性的历史观和价值取向对历史理解和民族文化自信构成消解和威胁。文本坚持历史唯物主义和大历史观，深入探讨历史虚无主义的表征、起源及其对社会文化构成的危害，并提出相应的防范化解策略。要通过加强历史教育与研... 详细信息

历史虚无主义以误导性的历史观和价值取向对历史理解和民族文化自信构成消解和威胁。文本坚持历史唯物主义和大历史观，深入探讨历史虚无主义的表征、起源及其对社会文化构成的危害，并提出相应的防范化解策略。要通过加强历史教育与研究、坚持文化传承与创新、抓好媒体监管与引导、重视国际交流与合作等途径有效防范化解历史虚无主义，以正确的理论和舆论引领社会思潮，增强全国各族人民共同思想政治基础，增强道路自信、理论自信、制度自信和文化自信。

关键词：历史虚无主义表现形态根源与危害应对策略

基于SBERT-Attention-LDA与ML-LSTM特征融合的烟草问句意图识别方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

农业机械学报 2024年第5期55卷 273-281页

作者：朱波黎魁邱兰黎博昆明理工大学机电工程学院昆明650504 武汉工程大学机电工程学院武汉430205

针对烟草领域中问句意图识别存在的特征稀疏、术语繁多和捕捉文本内部的语义关联困难等问题,提出了一种基于SBERT-Attention-LDA(Sentence-bidirectional encoder representational from transformers-Attention mechanism-Latent dirichlet allocation)与ML-LSTM(Multi layers-Long short term memory)特征融合的问句意图识别方法。该方法首先基于SBERT预训练模型和Attention机制对烟草问句进行动态编码,转换为富含语义信息的特征向量,同时利用LDA模型建模出问句的主题向量,捕捉问句中的主题信息;然后通过更改后的模型级特征融合方法ML-LSTM获得具有更为完整、准确问句语义的联合特征表示;再使用3通道的卷积神经网络(Convolutional neural network,CNN)提取问句混合语义表示中隐藏特征,输入到全连接层和Softmax函数中实现对问句意图的分类。基于烟草行业权威网站上获取的数据集开展了实验验证,实验结果表明,所提方法相比其他几种深度学习结合注意力机制的方法精确率、召回率和F1值上有显著提升,与BERT和ERNIE(Enhanced representation through knowledge integration and embedding)-CNN模型相比提升明显,F1值分别提升2.07、2.88个百分点。

关键词：烟草问句分类自然语言处理特征融合自注意力机制

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

特纳综合征患儿生育力保护策略研究进展

临床医学研究与实践 2024年第12期9卷 183-186页

作者：魁艳凤谭冬冬广州市妇女儿童医疗中心柳州医院小儿内分泌科广西柳州545616

特纳综合征(TS)是由于一条X染色体完全或者部分缺失所致,是唯一的出生后能存活的单倍体综合征,也是人类染色体变异患者中最常见的类型之一。主要临床特点是女性性腺发育及卵巢功能异常、生育力低下、身材矮小伴或不伴其他相关异常体征... 详细信息

特纳综合征(TS)是由于一条X染色体完全或者部分缺失所致,是唯一的出生后能存活的单倍体综合征,也是人类染色体变异患者中最常见的类型之一。主要临床特点是女性性腺发育及卵巢功能异常、生育力低下、身材矮小伴或不伴其他相关异常体征。目前TS患儿的生育力保护越来越受到医学界关注,实施生育力保护是保留生育能力和解决不孕问题的重要环节,本文主要围绕TS患儿生育力保护策略,即药物治疗、卵巢组织冻存及移植、卵母细胞冻存3方面进行阐述。

关键词：特纳综合征生育力保护药物治疗卵母细胞冻存