否定

摘要： 1概念剖析1?1定义反证法是从要证明结论的否定出发,以有关的定义、公理、定理为依据,结合命题的条件进行推理,直到推出矛盾,从而断定命题结论的否定不能成立,也就断定了命题成立.

摘要： 新时期小说,尽管流派演变,异彩纷呈,但它们大多与苦难形象结缘,书写苦难几乎成为这一时期小说创作的风尚。这种片面的形象特质,可概括为如下几点:伪自然形象——现实主义的异化物;反讽的形象——揭露矛盾的马前卒;向死的形象——刺向时弊的利剑。无论新时期小说苦难形象呈现何种特征,其实质都是辩证的否定,它是通过"审丑"来实现的。但新时期小说以多种苦难形象为审美对象,一味地"示丑",体现出了一种片面的深刻。这种深刻性,除了有反思批判等显性功效外,还在于苦难形象的隐性功效。新时期小说的苦难形象深藏破坏性及其在破坏中重建的渴望。

摘要： “看似”的隐性言者估测功用涉及到视觉化的揣测表述、主观化的情态评价与倾向化的否定预设。逆转的篇章衔接功能包括逆转性的语用倾向、对比性的表达模式、转折性的衔接功能。双向的演化途径体现为从趋势观感揣测到情态否定、篇章衔接到关联转折和对举表达到定型构式。“看似”与“貌似、疑似、好似、像似”的细微差异与独特功用体现为构词的理据侧重、相似的侧重差异与语篇逆转的强弱。总之,“看似”由于人际功能强化导致主观否定修正标记的成型,篇章功能强化导致逆转关联功能的定型。

摘要： 双重否定的定义、结构类型及其语义关系和表达条件,都具有很大的研究价值,国内也有很多学者对双重否定句进行过相关研究,并且取得了丰硕的研究成果。笔者选择了“不……不”格式、“没有(无)……不(没有)……”和“非……不可”的格式以及否定形式加反问语气等三种双重否定句的类型进行调查分析。对BCC语料库中搜集到的这三种特殊句式的双重否定句进行详细的分析研究,总结出了这三种双重否定句在语义、结构以及表达方面上的异同。

摘要： “用不着”和“不必”均具有否定功能,是否定范畴的重要成员。“用不着”和“不必”在表达否定必要性的情态意义时有很多细微差异,在共现成分的性质、否定范围、语体分布等方面均存在差异,“不必”强调“情理上的不需要”,语气直接;而“用不着”则强调“必要性的减弱”,语气相对委婉。

摘要： 文章对现代汉语心理动词进行了追补测试、宾语小句叙实性增强测试和否定提升、双重否定转化测试,以检验其叙实性特征。文章发现:1)现代汉语心理动词可以分为叙实动词、非叙实动词和正反叙实动词三类;2)正反叙实动词数量很少,其肯定式预设其宾语小句为真,否定式预设其宾语小句为假,这与主句主语对宾语小句的控制性和具体词义两个因素紧密相关;3)表概率判断和表主观情绪的心理动词允准其宾语小句插入"确实/真的"等增强叙实性的语词,表个体观点的心理动词不允准;4)否定提升和双重否定转化不能作为判别叙实动词、正反叙实动词和非叙实动词的充分必要标准,部分非叙实心理动词不能进行这两项操作。

摘要： 詹姆斯·乔伊斯的短篇小说集《都柏林人》以构思精巧、内蕴深刻而被奉为经典之作。接受美学理论家沃尔夫冈·伊瑟尔的召唤结构提出空白与否定是文本未定性的两个基本结构,是读者与文本双向对话的基本条件。《都柏林人》儿童篇运用了儿童叙事、复调和象征的叙事技巧生成文本的空白与否定,形成文本的审美空间,召唤读者在阅读活动中发挥主体性和创造性,积极参与到阐释和界定文本的具体化过程中,实现宏大主题的动态建构,再现都柏林瘫痪的社会现实和流亡者乔伊斯对爱尔兰民族命运深厚的人文关怀。

摘要： 美国19世纪浪漫主义作家埃德加·爱伦·坡的短篇小说《厄舍古屋的倒塌》是哥特小说的经典力作,内容充满恐怖气氛。他采用的象征主义和心理描写等独特的创作手法备受人们的关注,但是其恐怖效果是如何产生的认知理据却少有人问津。本文试图借助语料库工具Antconc为检索软件用文本世界理论通过“否定”这一前景化的语言形式来探讨这部小说恐怖氛围的认知建构,从而体会爱伦坡哥特式的写作风格。通过检索分析本文认为,否定词的大量使用与读者在这部小说中的恐怖情感体验之间有着密不可分的联系,也从侧面向读者展示了爱伦坡哥特式写作手法的特点。

摘要： 道可道,非常道;名可名,非常名。【译文】可以说出来的道,便不是长久不变的“道”;可以用文字表达的名,便不是长久不变的“名”。【简注】非:表示否定,译作“不”“不是”。天下皆知美之为美,斯恶已;皆知善之为善,斯不善已。【译文】天下人都知道美之所以为美,于是丑恶就呈现出来了;都知道善之所以为善,于是不善就呈现出来了。

摘要： 反证法是一种运用逆向思维解题的方法,当有些命题从正面直接证明(直接论证或反驳)比较困难时,我们可以尝试采用迂回、间接的思路,运用反证法来证明会更简捷.

摘要： 本文以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定-A之间的逻辑关系、弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律的差别;指出科斯塔弗协调逻辑不是真正意义上的弗协调逻辑，但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的，这正如非欧几何之与欧氏几何;受弗协调逻辑启发，最后建立了一个兼容经典否定、弗协调否定、构造性否定和变动否定的逻辑系统，在该系统内，既有遵守矛盾律而不遵守排中律的构造性否定算子，又有不遵守矛盾律而遵守排中律的弗协调否定算子，还有既不遵守矛盾律又不遵守排中律的辩证否定算子。

摘要： 本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理论,它的特征是:当一个语句为假时,它的否定的真值不确定;并构造相应的形式公理系统,证明该形式系统具有一致性,有效性和完全性.

摘要： 该文研究了约束演绎的面向对象数据库语言－ＣＤＯＬ程序中对否定问题的处理，即采用层迭化的程序对否定问题做出一定限制。层迭化的ＣＤＯＬ程序具有最小不动点语义。

摘要： 本发明公开了一种基于否定前后缀信息的否定句识别方法，本发明基于否定前后缀信息的否定句识别方法首先利用单词训练集训练辅助任务模型，用于获取带有否定前后缀的单词的信息；然后利用句子训练集训练主任务模型，用于否定句的识别，在主任务模型训练过程中，利用训练好的辅助任务模型得到句子中带有否定前后缀的单词的第一隐层特征表示，并将其插入至所在句子的第二隐层特征表示中更新整个句子的隐层特征表示，进行主任务模型的训练；最后利用训练好的主任务模型和辅助任务模型对目标句子进行识别。本发明将否定词识别建模为匹配模型，通过对句子中的带有否定前后缀的单词进行识别并更新句子的隐层特征表示，可以大幅提升否定句识别准确率。

摘要： 本发明公开了一种基于风阻双重否定型地理信息测绘仪器，包括底板、支撑架、浮力铰接型测绘锁死机构和双摆动下沉型风阻贯出机构，所述支撑架多组设于底板上壁，所述浮力铰接型测绘锁死机构设于支撑架远离底板的一端，所述浮力铰接型测绘锁死机构包括浮力承载机构和双铰接锁定机构，所述双摆动下沉型风阻贯出机构设于浮力铰接型测绘锁死机构上。本发明属于地理信息测绘技术领域，具体是指一种基于风阻双重否定型地理信息测绘仪器；本发明提供了一种能够提高测绘仪器水平位置调整效率，能够对水平结构受到的风阻进行有效克服的基于风阻双重否定型地理信息测绘仪器。

摘要： 本发明公开了一种基于否定前后缀信息的否定句识别方法，本发明基于否定前后缀信息的否定句识别方法首先利用单词训练集训练辅助任务模型，用于获取带有否定前后缀的单词的信息；然后利用句子训练集训练主任务模型，用于否定句的识别，在主任务模型训练过程中，利用训练好的辅助任务模型得到句子中带有否定前后缀的单词的第一隐层特征表示，并将其插入至所在句子的第二隐层特征表示中更新整个句子的隐层特征表示，进行主任务模型的训练；最后利用训练好的主任务模型和辅助任务模型对目标句子进行识别。本发明将否定词识别建模为匹配模型，通过对句子中的带有否定前后缀的单词进行识别并更新句子的隐层特征表示，可以大幅提升否定句识别准确率。

摘要： 本发明涉及数据处理领域，公开一种满足否定约束的数据质量修复的方法及电子设备，包括以下步骤，步骤1、基于否定约束集Σ为关系实例I构建索引，所述否定约束集Σ和所述关系实例I非空；步骤2、检测关系实例I和增量关系实例ΔI之间的元组对(s,t)，找出违反否定约束的元组对(s,t)，其中s∈I，t∈ΔI；步骤3、检测增量关系实例ΔI内部产生的元组对(s,t)，找出违反否定约束的元组对(s,t)，其中s∈ΔI，t∈ΔI；步骤4、根据步骤2和步骤3中检测出的违反否定约束的元组对(s,t)，修复增量关系实例ΔI得到增量修复实例ΔI'；步骤5、基于否定约束集Σ为关系实例I和增量修复实例ΔI'的并集更新步骤1所构建的索引。

摘要： 本发明公开了一种中文电子病历识别中否定域判定方法,其包括：对中文病历进行分句处理；利用规则集合对病历分句结果进行处理，删除与症状无关的分句结果；利用深度神经网络识别规则集无法判定的否定域；剩下与疾病症状相关的异常症状描述的病历语句，用于后续疾病表型获取。本发明具有原理简单、智能化程度高、精确性好、实用性强等优点。

摘要： 本发明在少样本学习的基础上，提出了一种输入扩展方式，将该提示输入模板应用于否定词识别方法中，实现了面向单词级别的否定词识别，不需要利用上下文信息，节省了资源；并且，本发明涉及的提示输入模板，一部分受输入内容的动态影响，根据输入的单词，去除其特定前后缀，利用了输入单词本身蕴含的词内信息，输入模板中的文本描述是同输入相关的，组成的提示模板句子更容易与输入单词语义接近，能更好地引出语言模型在预训练时学到的知识；同时预测选定的标签描述词是否应该存在于当前这个位置，使其组成更合理的句子，使语义通顺，进而依据此对输入的待测单词进行识别，提高了特定前后缀否定词的识别准确率。

摘要： 描述了用于无线通信的方法、系统和设备。一种用于第一设备处的无线通信的方法包括：从第二设备接收多播分组；对所接收的多播分组中的控制报头信息进行解码；确定与所接收的多播分组的有效载荷相关联的解码过程是不成功的；以及至少部分地基于该确定来发送否定确认(NACK)。方法还包括：取得发射机标识符列表。在一些情况下，发送NACK是至少部分地基于发射机标识符列表的。方法还包括：确定与多播分组相关联的发射机标识符；以及确定发射机标识符存在于发射机标识符列表中。

摘要： 本公开的各个方面一般涉及无线通信。在一些方面，用户装备(UE)可至少部分地基于使用候选波束集合接收的一个或多个参考信号的测量集合来传送测量报告；传送针对被调度用于该候选波束集合中的一个或多个波束的下行链路传输的否定确收；以及监视该候选波束集合中的一个或多个新波束以寻找该下行链路传输的重传。提供了众多其他方面。

摘要： 本公开的各个方面一般涉及无线通信。在一些方面，用户装备(UE)可传送指示针对候选波束集合的信道质量指示符集合的测量报告；确定经由该候选波束集合中的一个或多个波束未接收到来自基站的下行链路传输；以及经由该候选波束集合中的一个或多个新波束来传送针对该下行链路传输的否定确收。提供了众多其他方面。

摘要： 本发明公开了一种否定焦点的识别方法及系统，将待识别文本转换成词序列输入已经训练好的模型中，将词序列生成编码向量和特征向量，再基于给定的否定条件利用编码向量、特征向量及之前生成的所有否定焦点的起始标记和结束标记，计算生成下一个否定焦点的起始标记或结束标记；相比于现有的序列标注模型，对待识别文本中每个词进行标注，本发明生成标记为每个否定焦点的起始和结束，最终得到的是否定焦点范围，在计算下一个否定焦点时不需要根据词序列中每个词再计算，一定程度上减少了计算量，提高了计算效率，同时也能满足在单一否定条件下的否定焦点识别，计算量减少了，计算效率也提高了。