回溯推理

摘要： “X到窒息”是一种极性程度补语表达构式,具有不可预期性,多见于网络新闻标题或视频标题中。构式中的可变换项“X”除了可以允许形容词进入外,部分具有程度义的动词、数词等也可以进入到其中充当成分。“X到窒息”的演变经历了从结果补语到程度补语的发展过程,其中回溯推理与隐喻机制起到重要推动作用。在语用功能方面,“X到窒息”具有主观性、凸显性、表义的简洁性和能产性。

摘要： 通过分析上海方言相关语料,对上海方言情态动词“高兴”的意义、用法进行描写和解释。结果表明:“高兴”可以作表意愿的动力情态词以及表承诺的道义情态词,有5种结构用法,在语义上具有主观性、可控性和否定性特征,在语用上表现出意外性。“高兴”情态用法由形容词发展而来,先出现动力情态用法,再出现道义情态的用法。

摘要： 以生物学史为依托,运用例证介绍回溯推理,展示回溯推理与演绎推理、归纳推理的逻辑关系.在教学中恰当地使用回溯推理这一方法,可以培养学生批判性思维、创造性思维、逆向思维等多维度的科学思维,实现核心素养的构建.

摘要： 国内学术界对翻译单位进行了持续多年的研究,看法不一。翻译单位可以理解成“译者在翻译中的注意力单位”。利用回溯推理的逻辑,从译文入手,回溯推理翻译单位。从译文全本的整体形态结构和衔接连贯方式,以及从译文片段的部分形态结构和衔接连贯方式入手,都可以对翻译单位进行有一定合理性的回溯推理。翻译单位很具动态性和灵活性,但这并不能贬低其研究价值。

摘要： 文章运用语用学和认知语言学原理考察近代汉语''只顾''的词汇化和语法化过程。''只顾''从动词短语发展为祈使语气副词,是词汇化兼语法化,是回溯推理导致的。''只顾''从动词短语发展为情状方式副词,是词汇化和隐含义规约化导致的。''只顾''从情状方式副词发展为关联副词,是语法化,是意象图式转换导致的。

摘要： 文章运用语用学和认知语言学原理考察近代汉语“只顾”的词汇化和语法化过程.“只顾”从动词短语发展为祈使语气副词,是词汇化兼语法化,是回溯推理导致的.“只顾”从动词短语发展为情状方式副词,是词汇化和隐含义规约化导致的.“只顾”从情状方式副词发展为关联副词,是语法化,是意象图式转换导致的.

摘要： 古典实用主义创始人皮尔士毕生哲学研究的重点是科学逻辑.他在演绎与归纳外发现了第三种推理方式,即假说推理或回溯推理,这是从已经观察到的事实回溯到原因或说明事实的定律.回溯推理是构想新理论的逻辑,不同于后来学人所说的最佳说明推理.最佳说明是一个误导性的概念.一个说明即一个理论,要么是真的,要么是假的.我们没有最后的真理论,但可以有适时最佳理论.只有相对于一组备选理论,我们才能说哪个是最佳.在一组备选理论中选出最佳理论的推理,是归纳与演绎的联合运用,是理论检验与评价的逻辑,并不是皮尔士所说的回溯.回溯就是科学发现的逻辑.逻辑作为形式化的算法,没有发现的逻辑.但逻辑作为理性的思考,存在着发现的逻辑.

摘要： "就知道XP"是现代汉语中的一种常见构式,其XP通常为名词、动词或形容词性成分.就整个构式所表达的语义而言,其具有贬责性,主要用来表达说话人对话语所指对象某种程度的不满、抱怨、责备、贬抑、嘲讽等.产生这一语义的动因,从内因上而言,"就"可以触发预设"某人对该做的事知道得少";从外因上而言,说话人的语用目的是希望话语所指对象做本应该做的事.这样,两者相互作用便产生出贬责构式义,而其中的机制就是回溯推理.

摘要： 本文利用回溯推理的方法,分析和防治实验室安全事故,回溯推理可以根据所观察到的事实,结合因果的一般性知识,运用充分条件假言推理的肯定后件式,推测其形成的原因,以实验室火灾爆炸事故为例进行实验室安全事故分析与防治.

摘要： 经典名称语义理论没有专门讨论个体如何确定名称指称，近期关于直觉在语义理论建构中作用的讨论凸显了这一问题。内尔森将皮尔斯指称思想概括为“指称即推理”，这种概括有其指号-名称思想背景，是一种对个体如何确定名称指称的简单概括。本文试图展示的是，可以从皮尔斯指号-名称思想中整理出一个解释个体如何确定名称指称的框架，基于这个框架，以语言约定解释名称“使用规则”的达成，以对指号-诠释思想的完善给出“信念选择”的条件，可以进一步解释一般个体确定名称指称的过程，将此过程概括为回溯推理。

摘要： 本申请公开了一种镜像回溯方法、镜像回溯系统及代理服务器，其中，该镜像回溯方法应用于代理服务器，该镜像回溯方法包括：接收实例所发送的镜像拉取请求，确定所述镜像拉取请求所指向的目标仓库及待拉取镜像；检测所述目标仓库中是否存在所述待拉取镜像；若所述目标仓库中不存在待拉取镜像，则向源仓库转发所述镜像拉取请求，以使得所述源仓库将所述待拉取镜像复制至目标仓库；从所述目标仓库中拉取所述待拉取镜像，并将所述待拉取镜像传输至所述实例。通过本申请方案，可在镜像复制失败时，通过镜像回溯的方式保障镜像部署的成功。

摘要： 本发明涉及基于字节码比对的影响性回溯分析方法以及回溯分析装置。该方法包括下述步骤：输入第一字节码和第二字节码；对所述输入的所述第一字节码和第二字节码进行抽取分析获得样第一字节码关键信息和第二字节码码关键信息；对所述第一字节码关键信息、所述第二字节码关键信息进行图谱分析以获得表示字节码的关联图谱的第一图谱分析结果和第二图谱分析结果；将所述第一图谱分析结果存储到字节码样本库，并且将存储在所述字节码样本库中的所述第一图谱分析结果与所述第二图谱分析结果进行比对获得比对结果；根据所述比对结果进行差异结果的影响性分析。

摘要： 一种能进行回溯处理的简单组合逻辑电路,供维特比译码器(Viterbi decoder)使用,以取代只读存储器,该电路包括一多路器,一移位器与一加法器,系根据目前状态的回溯信息产生回溯值,再将目前状态的状态值向右位移二位,并将移位值与回溯值相加,得到前次状态的状态值,其中回溯处理中所有残留值的每个状态转换有关的四维符号,是用二维符号以及其坐标差异来表示。

摘要： 本发明公开了一种可回溯的交互式白板系统及其回溯方法，其中回溯方法包括以下步骤：服务器获取并存储绘制端发送的回溯文件和回溯录音；回溯文件携带有白板绘制数据结构内容和序列号以及时间戳，回溯文件以文件流的形式上传至服务器；服务器生成回溯接口，服务器将回溯接口发送至绘制端；服务器获取回溯端的回溯请求，将回溯文件发送至回溯端，以供回溯端再现白板的绘制过程。本发明，通过服务器获取携带有白板绘制数据结构内容、序列号和时间戳的回溯文件，并将回溯文件在回溯端再现，实现了白板绘制过程的回溯，大大降低了交互过程中的带宽占用、流量消耗以及内存占用情况，同时回溯过程的清晰度不受视频清晰度限制，提高了用户的使用体验。

摘要： 本申请实施例提供一种回溯文件生成方法、回溯方法和设备，所述回溯文件生成方法包括：加载互联网页面；响应于用户对所述互联网页面中的对象的操作，生成与所述操作对应的用户行为数据；基于所述用户行为数据，生成回溯文件，其中，所述回溯文件包括所述用户行为数据的变化过程及与所述用户行为数据对应的互联网页面，所述方法能够直观地回溯用户当初在互联网页面上进行的操作过程，无需对数据进行二次加工处理，节约成本。

摘要： 本申请公开了一种用于回溯用户操作的监听方法、用户操作回溯方法和设备，该方法包括：在检测到与目标页面相关的监听对象发生目标事件的情况下，获取目标信息集合；将目标信息集合上传至服务端，以使回溯客户端从服务端拉取到目标信息集合之后，根据目标信息集合执行对应的模拟操作，其中，模拟操作用于基于目标信息集合模拟执行目标操作，目标操作为触发目标事件的操作。针对各种用户操作，无需该用户操作对应的操作效果必须对应有事件，也无需在回溯侧必须存在触发的事件派发实现的应用程序编程接口，回溯客户端只需通过监听客户端采集到的多种信息相结合并以此进行模拟的方式，实现还原用户此前操作行为对应的操作效果。

摘要： 本发明提供一种配电网故障可视化模拟回溯系统，包含：配电网模型构造模块，用于可视化的搭建与配电网对应的配电网模型；信息导入处理模块，连接所述配电网模型构造模块，用于可视化的导入配电网发生所述故障序列和录波文件；故障回溯模块，连接所述配电网模型构造模块和所述信息导入处理模块，根据所述故障序列和录波文件，判断配电网中的故障发生时刻和发生故障的电气设备，进行馈线自动化处理，并通过配电网模型动态再现故障发生时刻配电网馈线自动化全过程。本发明还包含一种配电网故障可视化模拟回溯方法。本发明可以模拟、回溯配电网故障，并进行可视化的展示。本发明效果可靠，可保障配电网安全运行。

摘要： 本申请公开了一种镜像回溯方法、镜像回溯系统及代理服务器，其中，该镜像回溯方法应用于代理服务器，该镜像回溯方法包括：接收实例所发送的镜像拉取请求，确定所述镜像拉取请求所指向的目标仓库及待拉取镜像；检测所述目标仓库中是否存在所述待拉取镜像；若所述目标仓库中不存在待拉取镜像，则向源仓库转发所述镜像拉取请求，以使得所述源仓库将所述待拉取镜像复制至目标仓库；从所述目标仓库中拉取所述待拉取镜像，并将所述待拉取镜像传输至所述实例。通过本申请方案，可在镜像复制失败时，通过镜像回溯的方式保障镜像部署的成功。

摘要： 本发明涉及基于字节码比对的影响性回溯分析方法以及回溯分析装置。该方法包括下述步骤：输入第一字节码和第二字节码；对所述输入的所述第一字节码和第二字节码进行抽取分析获得样第一字节码关键信息和第二字节码码关键信息；对所述第一字节码关键信息、所述第二字节码关键信息进行图谱分析以获得表示字节码的关联图谱的第一图谱分析结果和第二图谱分析结果；将所述第一图谱分析结果存储到字节码样本库，并且将存储在所述字节码样本库中的所述第一图谱分析结果与所述第二图谱分析结果进行比对获得比对结果；根据所述比对结果进行差异结果的影响性分析。

摘要： 本发明公开了一种维特比(Viterbi)译码器中的回溯译码方法，译码器中存储有不同时刻的加比选判决信息，该方法具体包括：所述译码器中的加比选判决信息存储到译码深度后，开始回溯；开始回溯后的每一时刻，向译码器中存储对应该时刻的加比选判决信息，并读取已存储的一个以上时刻的加比选判决信息，回溯一个以上节点；所述回溯到达译码深度时，对输入码字进行译码。本发明同时还公开了一种Viterbi译码器中的回溯译码装置和一种Viterbi译码器。应用本发明，可以在保证数据速率的情况下，提高译码器中的回溯速度，节省译码器中的存储资源。