蕴涵

摘要： 本文以问题为导向,探讨了级差会话隐涵4个令人棘手的问题,分别是:级差会话隐涵是规约隐涵还是非规约隐涵?级差会话隐涵所隐涵的内容究竟是什么?不具有蕴涵关系的级差能产生级差会话隐涵吗? Horn级差中的词语出现在句子的不同位置能否产生相同的级差会话隐涵?针对上述问题,本文认为,级差会话隐涵是非规约隐涵;从内容看级差会话隐涵可分为确定的和不确定的两种,确定的级差会话隐涵为:K?ψ,不确定的级差会话隐涵为:?Kψ?;级差会话隐涵必须要求包含相关词语的语句具有直接的或间接的蕴涵关系(也可是弱蕴涵关系);Horn级差中的词语如出现在句子的不同位置有时会出现“Horn级差逆转现象”,产生不同的级差会话隐涵。

摘要： 近年来,为推动我国思想政治教育工作取得良好发展,国家出台了许多与思想政治教育相关的政策文件.但是,从现阶段的思想政治教育政策绩效来看,思想政治教育政策并未充分发挥其效能,从而导致我国整体的思想政治教育质量不佳,基于此,就需要政府部门工作人员全面了解和分析思想政治教育政策绩效的现实境遇和存在的问题,并探索相应的改进对策或提升路径,才能提高思想政治教育政策绩效.文章简述了思想政治教育政策绩效的内在蕴涵,并分析了思想政治教育政策绩效的现实境遇及存在的问题,最后,总结了几点提升思想政治教育政策绩效的路径.

摘要： 形式概念分析能够使用概念格和(属性)蕴涵来对知识进行可视化和表示.决策蕴涵是一种特殊的蕴涵,而决策蕴涵的研究就是在蕴涵中建立并研究一个/多个封闭的子系统(包括决策蕴涵子系统及相应的语义和语构子系统).为了进一步厘清蕴涵和决策蕴涵之间的关系,对由决策蕴涵子系统能不能得到整个蕴涵系统进行了研究.事实上,如果蕴涵可以由决策蕴涵推出,那么关于蕴涵和规范基的研究就可以转化为决策蕴涵和决策蕴涵规范基的研究.首先给出了蕴涵可以由决策蕴涵表示的充要条件;接着通过实例表明,存在一些蕴涵不可由决策蕴涵表示,因此进一步区分了直接表示和间接表示;最后通过研究决策背景中只有一个决策属性时不可被直接表示的蕴涵所具有的特点,给出了蕴涵不可由决策蕴涵直接表示的充要条件,并给出了不可被直接表示蕴涵的生成方法.这种研究为蕴涵和规范基的研究提供了一种新视角,同时也为形式概念分析更深入的理论研究工作奠定了基础.

摘要： 沈从文是一位密切瞩目民族生活方式和民族生命精神的文学大师.其散文力求以"文化还乡"的精神诉求,通过都市与湘西、现代与过去的鲜明对照,去摧毁"庸俗腐败、小气自私的市侩人生观",重建"一种优美、健康、自然而又不悖乎人性的人生形式",重铸一种建立于人性之美和生命神性基础之上的民族价值观念.这种"人生形式"和民族价值观念体现着朴实纯真的生活形式、剽悍雄强的生命伟力、重义轻利的道德品格和积极进取的奋斗精神.其不是个体主义者抽象的自我精神追求,而是根植于宽广深厚的民族忧患意识当中,表现出对中华民族生存与发展的强烈关注与深切隐忧,彰显着作者对民族生命形式的深刻探索和民族价值观念的终极追求.

摘要： 沈从文是一位密切瞩目民族生活方式和民族生命精神的文学大师。其散文力求以“文化还乡”的精神诉求,通过都市与湘西、现代与过去的鲜明对照,去摧毁“庸俗腐败、小气自私的市侩人生观”,重建“一种优美、健康、自然而又不悖乎人性的人生形式”,重铸一种建立于人性之美和生命神性基础之上的民族价值观念。这种“人生形式”和民族价值观念体现着朴实纯真的生活形式、剽悍雄强的生命伟力、重义轻利的道德品格和积极进取的奋斗精神。其不是个体主义者抽象的自我精神追求,而是根植于宽广深厚的民族忧患意识当中,表现出对中华民族生存与发展的强烈关注与深切隐忧,彰显着作者对民族生命形式的深刻探索和民族价值观念的终极追求。

摘要： 自1970年起,预设一直是语言学界激烈讨论的话题,其研究方向主要有语义和语用两种.前者是从命题的真值条件研究预设,而语用预设主要研究其在语言使用中的种种情况.蕴涵则是逻辑学上的一个术语.目前,语义蕴涵的研究也成为热点之一.本文从语义学角度探讨二者之间的联系与区别,分析表明可以通过否定测试法来区分二者,为在言语交际中正确区分预设和蕴含具有重要意义.

摘要： 利用蕴涵运算给出了模糊理想度的新概念,它能够刻画格上的一个模糊子集满足模糊理想条件的程度.通过研究模糊理想度的性质以及与水平集的关系,给出了模糊理想度的几种等价刻画.最后讨论了模糊子集簇交的模糊理想度、模糊直积的模糊理想度,以及一个模糊子集在同态映射下像与原像的模糊理想度.

摘要： 统一模是t-模和t-余模的一种重要推广,左(右)半统一模是统一模的非交换和非结合推广.本文研究由左(右)半统一模诱导的蕴涵,证明右(左)合取并且严格左(右)合取的左(右)无穷并分配左(右)半统一模诱导的蕴涵是右无穷交分配蕴涵,并给出这类蕴涵满足交换原则的条件。

摘要： 本文研究完备格上由蕴涵和余蕴涵生成的左、右半统一模.证明:当蕴涵(余蕴涵)满足左NP原则时,由它导们诱的运算是左半统一模,当蕴涵(余蕴涵)满足右NP原则时,由它们诱导的运算是右半统一模并说明由蕴涵(余蕴涵)生成的左(右)半统一模的N-对偶是由余蕴涵(蕴涵)生成的左(右)半统一模.

摘要： 本文提出了关系数据库的多值依赖有关的基本概念及其算法,并对多值依赖的蕴涵和化简问题进行阐述.

摘要： 本发明公开了一种基于忆阻器非实质蕴涵的编、译码电路的操作方法，其利用非实质蕴涵“非‑与”式特点结合编码和译码逻辑表达式，通过几步非实质蕴涵操作，从而可在输出单元上检测到编码或译码结果。本发明是纯忆阻实现方式，不再借助MOS管，电路整体结构更加简单，功耗更低，体积更小；并且忆阻器具有良好的非易失性，能将存储和运算相结合，有望突破传统冯.诺依曼体系架构的瓶颈。同时由于非实质蕴涵能够级联操作，从而可将该编码和译码逻辑功能扩展至交叉阵列中，使得大规模编码和译码操作成为可能，实际生产过程中的操作效率大幅度提升，提高了操作的灵活性，同时所需的芯片体积相较于传统结构要小很多。

摘要： 本发明公开了一种基于泛蕴涵模型的短期电力负荷预测方法及系统。该方法是以当前负荷L(t)、当前平均负荷L_(t)、下一时刻平均负荷L_(t+1)为基本输入量，经步骤1：预处理、步骤2：泛化、步骤3：基于泛蕴涵模型的推理预测和步骤4：逆泛化，求得下一时刻的负荷预测y(t+1)，通过时间窗口移动，下一时刻负荷预测y(t+1)作为当前负荷L(t+1)，同时基于历史数据L_(t+1)和L_(t+2)预测出t+2时刻负荷y(t+2)，……，如此进行下去，以完成一天24小时的短期电力负荷预测。本方法及系统在预测过程中考虑了基本输入量之间的天然耦合关系，具有类人和柔性化特点。

摘要： 本发明公开了基于答案蕴涵与依存关系的主观题自适应阅卷方法，包括以下步骤：1）进行题目分析；2）进行标准答案分析；3）进行学生答案分析；4）判断学生答案的中心词是否为动词；5）学生答案中心词为非动词的评卷；6）学生答案中心词为动词的评卷。首先通过依存关系确定疑问词在主观题题目中的句子成分及其与中心词所构成的依存关系；然后根据疑问词的句子成分确定标准答案与学生答案的核心语义；最后采用基于答案蕴涵、依存关系与词语相似度的方法，自适应学生答案对各种成分的省略，实现同一标准答案的不同回答方式的自适应评卷，进一步提高主观题评卷系统的准确率与实用性。因此，本发明在该领域具有广阔的应用前景。

摘要： 本发明公开了一种基于集成学习和词句综合信息的文本蕴涵识别方法，涉及语言文字处理领域。目前的中文文本蕴涵识别系统主要基于词汇特征、句法特征、知识库、人工定义的规则等，然而词汇、句法信息作为独立特征训练出的模型对数据的拟合度过低，规则、知识库覆盖范围有限。本发明提出加入综合词汇和句法信息的特征来训练分类器，并利用集成学习技术，有效提高文本蕴涵识别的准确性。其包括如下步骤：数据预处理；一致性转化；特征提取；集成学习训练；投票决策分类。本发明适用于各领域句子间蕴涵关系的识别。

摘要： 本发明公开了一种基于蕴涵规则的数据质量自动检测方法，该方法首先需选择检测对象，定义或修改检测对象及其之间的蕴涵规则，并将规则存储到规则库中；然后从规则库中读取与检测对象有关的、且尚未读取过的、且元组变量列表相同的规则，将它们存入清空的规则临时表中，然后计算检测关系中违背规则临时表中规则的元组，并将这些元组放入一个集合中；如果规则库中已不存在与检测对象有关的、且尚未读取过的规则，则输出违背规则库中与检测对象有关的规则的所有元组，提供给用户修复。该方法通用性强，且检测速度快，形式简洁，使用与维护方便，独立性和灵活性强，不依赖于数据库管理系统，适用于检测任何关系型数据库或结构化文件。

摘要： 本发明公开了一种基于泛蕴涵模型的短期电力负荷预测方法及系统。该方法是以当前负荷L(t)、当前平均负荷L_(t)、下一时刻平均负荷L_(t+1)为基本输入量，经步骤1：预处理、步骤2：泛化、步骤3：基于泛蕴涵模型的推理预测和步骤4：逆泛化，求得下一时刻的负荷预测y(t+1)，通过时间窗口移动，下一时刻负荷预测y(t+1)作为当前负荷L(t+1)，同时基于历史数据L_(t+1)和L_(t+2)预测出t+2时刻负荷y(t+2)，……，如此进行下去，以完成一天24小时的短期电力负荷预测。本方法及系统在预测过程中考虑了基本输入量之间的天然耦合关系，具有类人和柔性化特点。

摘要： 本发明公开了一种基于忆阻非实质蕴涵的编码和译码交叉阵列电路，其利用非实质蕴涵“非‑与”式特点结合编码和译码逻辑表达式，通过几步非实质蕴涵操作，从而可在输出单元上检测到编码或译码结果。本发明是纯忆阻实现方式，不再借助MOS管，电路整体结构更加简单，功耗更低，体积更小；并且忆阻器具有良好的非易失性，能将存储和运算相结合，有望突破传统冯.诺依曼体系架构的瓶颈。同时由于非实质蕴涵能够级联操作，从而可将该编码和译码逻辑功能扩展至交叉阵列中，使得大规模编码和译码操作成为可能，实际生产过程中的操作效率大幅度提升，提高了操作的灵活性，同时所需的芯片体积相较于传统结构要小很多。

摘要： 本发明公开了基于答案蕴涵与依存关系的主观题自适应阅卷方法，包括以下步骤：1）进行题目分析；2）进行标准答案分析；3）进行学生答案分析；4）判断学生答案的中心词是否为动词；5）学生答案中心词为非动词的评卷；6）学生答案中心词为动词的评卷。首先通过依存关系确定疑问词在主观题题目中的句子成分及其与中心词所构成的依存关系；然后根据疑问词的句子成分确定标准答案与学生答案的核心语义；最后采用基于答案蕴涵、依存关系与词语相似度的方法，自适应学生答案对各种成分的省略，实现同一标准答案的不同回答方式的自适应评卷，进一步提高主观题评卷系统的准确率与实用性。因此，本发明在该领域具有广阔的应用前景。

摘要： 本发明公开了一种基于集成学习和词句综合信息的文本蕴涵识别方法，涉及语言文字处理领域。目前的中文文本蕴涵识别系统主要基于词汇特征、句法特征、知识库、人工定义的规则等，然而词汇、句法信息作为独立特征训练出的模型对数据的拟合度过低，规则、知识库覆盖范围有限。本发明提出加入综合词汇和句法信息的特征来训练分类器，并利用集成学习技术，有效提高文本蕴涵识别的准确性。其包括如下步骤：数据预处理；一致性转化；特征提取；集成学习训练；投票决策分类。本发明适用于各领域句子间蕴涵关系的识别。

摘要： 本发明公开了一种基于蕴涵规则的数据质量自动检测方法，该方法首先需选择检测对象，定义或修改检测对象及其之间的蕴涵规则，并将规则存储到规则库中；然后从规则库中读取与检测对象有关的、尚未读取过的、元组变量列表相同的规则，将它们存入清空的规则临时表中，然后计算检测关系中违背规则临时表中规则的元组，并将这些元组放入一个集合中；如果规则库中已不存在与检测对象有关的、尚未读取过的规则，则输出违背规则库中与检测对象有关的规则的所有元组，提供给用户修复。该方法通用性强，且检测速度快，形式简洁，使用与维护方便，独立性和灵活性强，不依赖于数据库管理系统，适用于检测任何关系型数据库或结构化文件。