安全协议操作语义与验证 【工业技术】

安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...

专用词语跨域使用的语义嬗变研究 【语言文字】

在语言诸要素中，词汇的变化速度最快，词汇变化的核心是意义的变化。本书在继承前人研究成果的基础上，依据词汇语义学、认知语言学和语料库语言学中的相关理论和方法，对专用词语跨域使用的类型和条件、语义嬗变的...

外语学科中青年学者学术创新丛书 英汉“言者导向语”对比研究 事件语义视角 【语言文字】

多值逻辑博弈语义研究 【哲学宗教】

图书主要探讨多值逻辑的语义解释问题。多值逻辑在人们的现实生活中获淂广泛的应用，但一直未能寻找到一个让人们满意的、符合人们直觉的语义解释。特征函数语义、代数语义、可能世界语义从多值逻辑的数学性质...

语文词典语义类别释义的多维研究 【语言文字】

本书属于词典学的研究范畴，顺应当代语言系统观的趋势，基于语义类别视角，提出了词典释义的原型（范畴）观。同时，基于汉、英部分典范语文词典或汉、汉典范语文词典的释义的比较，通过定量—定性的分析，以名词、动......

智能科学技术著作丛书 鱼类行为语义模型与水质预警 【生物】

本书准确并有效地提取和量化鱼类行为语义，分析鱼类行为语义与水质变化之间的映射关系，以及建立鱼类在水质发生变化时的异常行为语义等，这些都是构建生物式水质检测系统的关键技术。书中从自动获取鱼类行为语义...

语言 逻辑与意义 论语言中数量表达的语义刻画 【语言文字】

本书的定位为语义学专著，旨在通过循序渐进，从面到点，由泛到专的方式为语义学方向的学生及研究人员提供内容丰富、表述可靠的专业知识，因此亦可作为语义学专业参考教材。本书具体包括三个部分：1.介绍语义学研究所...

双宾构式句法语义接口整合研究 【语言文字】

本书在深入研究认知语言学理论的基础上，充分参阅国内外相关研究成果，采用形式与意义相结合、描写与解释相结合、定量与定性相结合等研究方法，对汉语双宾构式的深层语义生成机制进行挖掘。同时采用科学的调查方...

语义指纹著者姓名消歧理论及应用 【文化科学教育体育】

本书介绍了一种新颖的姓名消歧方法，利用语义指纹技术实现著者姓名消歧。主要内容包括语义指纹姓名消歧的相关方法与理论、基于语义指纹的著者姓名消歧及基于语义指纹的专利发明人姓名消歧等。该方法不仅达到...

图书馆资源组织语义化理论及方法研究 【文化科学教育体育】

本书在借鉴国内外研究成果的前提下，提出了形式语义化与内容语义化交互的资源组织语义化的理论与技术方案，以实现资源组织语义化过程与语义元数据体系构建的同步进行。详细阐述了资源获取、资源解析、数据交换...