违背

摘要： 人要做自己应该做的事,决不能违背自己的意志做事,哪怕是声色犬马的诱惑,哪怕是一人之下万人之上的权势。孟子说人有“大体”“小体”之分,做个堂堂正正的人,要“先立乎其大”。“立乎其大”就是要遵循内心的声音而存善养善,而不是让利欲这些“小体”占据心灵。

摘要： 言语交际包含听与说两个过程.说话人和听话人本都应该严格遵守语言交际的合作原则,使交际顺利进行.然而在实际交际过程中,违背合作原则的会话时有出现,不仅不会阻碍交际,反而赋予会话更多灵活的含义.本文通过搜集生活和影视作品中的典型交际案例,结合合作原则分析"违合"交际的正确语用含义和出现的必要性,既有助于语言学习者品味语言的无穷魅力,减少交际双方的语用失误,又能帮助他们正确理解更多外语学习语料,同时提高自身的实际言语交际能力.

摘要： 黄哲伦的代表作《蝴蝶君》刻画了两种不同文化的碰撞,而这恰恰体现在男主人公伽里玛与宋丽玲的交际互动中.从跨文化交际的视角来看,他们二人的互动实际上是交际预期被违背的过程.为了取得更好的交际效果,宋丽玲采取了适应互动的一系列策略.通过解读,作者的意图不在于刻画两种文化的差异,而是强调相互适应在交际过程中的重要性.

摘要： 黄哲伦的代表作《蝴蝶君》刻画了两种不同文化的碰撞,而这恰恰体现在男主人公伽里玛与宋丽玲的交际互动中。从跨文化交际的视角来看,他们二人的互动实际上是交际预期被违背的过程。为了取得更好的交际效果,宋丽玲采取了适应互动的一系列策略。通过解读,作者的意图不在于刻画两种文化的差异,而是强调相互适应在交际过程中的重要性。

摘要： “经过一个月的考虑,我做出了一个违背祖宗的决定,把祖传的秘方无偿捐献出去……”近日,一则集合了多名“神医”语录的视频在网络热传。视频中,约40名各路“神医”,纷纷称经深思熟虑后,违背祖训,将治病的“祖传秘方”贡献出来。据报道,“神医”之一的张文荣确实是一名中医。

摘要： 美国语言哲学家格莱斯在他的著作《逻辑与会话》一书中提出了"合作原则"理论.本文从格莱斯合作原则的含义和合作原则的准则入手,再结合《甄嬛传》中部分的对话,重点分析了数量准则的违背、质量准则的违背、关系准则的违背以及方式准则的违背.以期为人与人之间成功的交际提供一些指导.

摘要： 本发明公开了一种基于约束求解的原子集合序列化违背探测方法，属于软件测试技术领域。该方法包括如下步骤：首先动态收集并发程序原始执行轨迹，然后结合原子集合序列化违背的九种错误模式，建立原始执行轨迹中相关事件之间执行先后顺序的约束关系，将原子集合序列化违背的探测问题转化为约束求解问题，并利用Z3求解器进行约束求解，当约束有解时，该解对应的可执行交织中存在原子集合序列化违背错误，否则不存在。本发明扩大了原始执行轨迹中事件的交织空间，同时保证了由约束求解所生成的交织是可行的，由此降低了原子集合序列化违背探测的漏报率和误报率，提高了原子集合序列化违背探测能力。

摘要： 本发明提供一种基于约束求解的原子违背探测方法，利用并发程序的原始执行轨迹确定原子性区域，结合原子违背的各种错误模式，建立原始执行轨迹中事件之间执行先后顺序的约束关系，利用Z3求解器进行约束求解，将原子违背的探测问题转化为约束等式的求解问题。本方法属于运行时预测技术，可根据约束求解出隐藏在原始执行轨迹中没有暴露出的原子违背错误，具有更好的探测原子违背的能力；对原始程序轨迹和每个不可序列化的执行交织建立一组约束，将探测原子违背问题转化为约束的求解问题，能够提高原子违背探测的精度。

摘要： 本发明涉及一种用于检测设备构件(25)违背真实性的方法，该方法具有以下步骤：将认证询问从控制装置(22)发送至设备构件(25)的认证装置(21)；基于存储在认证装置(21)里的、用于设备构件(25)的识别码，借助于一个共同的单向函数，在认证装置(21)里计算出第一认证码；基于存储在控制装置(22)里的、用于设备构件(25)的识别码，借助于该共同的单向函数，在控制装置(22)里计算出第二认证码；将具有第一认证码的认证回答从认证装置(21)发送至控制装置(22)；并且在控制装置(22)里将第一认证码与第二认证码对比，用于检测设备构件(25)违背真实性。

摘要： 用来确认XML文档并实时报告模式违背情况的系统和方法。维护包含对应于XML文档非本地XML元素的节点的平行树。当XML文档发生变化时，相应于该变化的非本地XML元素就被做标记。按相应于非本地XML标记的XML模式来确认相应于已标记非本地XML元素的节点。然后，根据XML文档和平行树中的显示指示符，向用户报告与非本地XML标记中错误相对应的元素和节点。

摘要： 本申请公开了一种单变量原子违背缺陷的检测方法，该方法包括：将预设中断驱动型软件的源代码转换为中间表示形式LLVM IR，根据中间表示形式构建程序依赖图；根据程序依赖图以及预设IFDS框架构建得到爆炸超图，根据爆炸超图对主程序数据流分析确定每个全局变量串行可达的两次访问序，并对两次访问序的可行性进行分析得到第一分析结果；根据第一分析结果确定出至少一个共享全局变量，以及确定出每个共享全局变量对应的三次访问序，对三次访问序的可行性进行分析得到第二分析结果，根据第二分析结果确定原子违背缺陷并生成缺陷报告。本申请解决了现有技术中单变量原子性违背缺陷检测的准确性和效率较低的技术问题。

摘要： 本发明公开了一种基于约束求解的原子集合序列化违背探测方法，属于软件测试技术领域。该方法包括如下步骤：首先动态收集并发程序原始执行轨迹，然后结合原子集合序列化违背的九种错误模式，建立原始执行轨迹中相关事件之间执行先后顺序的约束关系，将原子集合序列化违背的探测问题转化为约束求解问题，并利用Z3求解器进行约束求解，当约束有解时，该解对应的可执行交织中存在原子集合序列化违背错误，否则不存在。本发明扩大了原始执行轨迹中事件的交织空间，同时保证了由约束求解所生成的交织是可行的，由此降低了原子集合序列化违背探测的漏报率和误报率，提高了原子集合序列化违背探测能力。

摘要： 本发明提供一种基于约束求解的原子违背探测方法，利用并发程序的原始执行轨迹确定原子性区域，结合原子违背的各种错误模式，建立原始执行轨迹中事件之间执行先后顺序的约束关系，利用Z3求解器进行约束求解，将原子违背的探测问题转化为约束等式的求解问题。本方法属于运行时预测技术，可根据约束求解出隐藏在原始执行轨迹中没有暴露出的原子违背错误，具有更好的探测原子违背的能力；对原始程序轨迹和每个不可序列化的执行交织建立一组约束，将探测原子违背问题转化为约束的求解问题，能够提高原子违背探测的精度。

摘要： 本发明涉及一种用于检测设备构件(25)违背真实性的方法，该方法具有以下步骤：将认证询问从控制装置(22)发送至设备构件(25)的认证装置(21)；基于存储在认证装置(21)里的、用于设备构件(25)的识别码，借助于一个共同的单向函数，在认证装置(21)里计算出第一认证码；基于存储在控制装置(22)里的、用于设备构件(25)的识别码，借助于该共同的单向函数，在控制装置(22)里计算出第二认证码；将具有第一认证码的认证回答从认证装置(21)发送至控制装置(22)；并且在控制装置(22)里将第一认证码与第二认证码对比，用于检测设备构件(25)违背真实性。

摘要： 用来确认可扩展标记语言(XML)文档并实时报告模式违背情况的系统和方法。维护包含对应于XML文档非本地XML元素的节点的平行树。当XML文档发生变化时，相应于该变化的非本地XML元素就被做标记。按相应于非本地XML标记的XML模式来确认相应于已标记非本地XML元素的节点。然后，根据XML文档和平行树中的显示指示符，向用户报告与非本地XML标记中错误相对应的元素和节点。

摘要： 本实用新型公开了一种长度测量中违背阿贝原则产生误差的平行尺补偿装置,由一个带导轨的底座,可运动的工作台、标准尺与标准尺配合的游标或读数对准器、补偿尺、与补偿尺相配合的游标或读数对准器构成,补偿尺与标准尺平行安置,当用单平行补偿尺时可以对长度测量中一维情况下违背阿贝原则时产生的误差进行补偿,当用双平行补偿尺时可以对长度测量中二维情况下违背阿贝原则时产生的误差进行补偿,可以提高测量精度或降低导轨精度。