自然语言信息处理的逻辑语义学研究 【工业技术】

逻辑语义学，就是依据现代逻辑的思想或采用现代逻辑的工具研究自然语言的句法生成尤其是语义组合规律的学科。在逻辑语义学看来，自然语言句法-语义结构都是通过规则的递归应用，由初始元组合生成出来的，其任务就...

能源工程技术丛书 煤中挥发分 另一种形式的石油馈赠 【工业技术】

能源是人类社会赖以生存和发展的重要物质基础。本书紧密围绕着煤中挥发分及其加工利用关键技术进展而展开。书中结合煤炭资源的清洁化利用的技术发展背景，最大限度地将煤中挥发分转化成液体燃料，既是实现煤清...

中文信息处理的探索与实践 第三届HNC与语言学研究学术研讨会论文集 【工业技术】

本书为第3届hnc与语言学研究学术研讨会论文集，共收集论文69篇。作者均为该领域的专家、学者。该论文集主要围绕中文信息处理的探索与实践这一论题，细分为理论和方法的思考与探索、词语和句子的研究与处理、句...

萧山自造 浙江萧山南沙地区当代乡土住宅的历史、形式与模式 【工业技术】

本书立足实地调查的137处样本和详细测绘访谈的20处样本，建立起了萧山南沙地区当代乡土住宅从微观样本到宏观语境的关联，总结了其生成的机制和模式。本研究将萧山南沙地区当代乡土住宅生成过程中涉及的诸多样...

数字集成电路设计验证 量化评估、激励生成、形式化验证 【工业技术】

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches 【工业技术】

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

百宝工具箱 西方古典建筑元素组合原理与形式逻辑理论 【工业技术】

本书是意大利建筑学本科学生主要教学参考丛书中的一本。作者以活泼清晰的笔触，将西方建筑史从材料、建造方法、世界著名建筑案例分析等角度层层解析，贯穿历史。流畅地展现了欧洲古典建筑的起源，传承，发展，变革，.....

工业关键系统的形式化方法 应用综述 【工业技术】

形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式...

世界室内装饰设计资料集 第12集 餐饮空间设计 局部空间设计 建筑局部俯瞰 特型室内设计 古典建筑形式 【工业技术】

17世纪初至现当代法国建筑观念与形式演变 【工业技术】

17世纪法国至20世纪法国建筑发展变迁的历程，是文艺复兴建筑和现代主义建筑之间流变的重要组成部分。我们曾以巴洛克、洛可可、新古典主义、新歌特建筑风格分阶段地认识这段历史，但这种较为单纯的阶段划分很难...