概念变体及其形式化描写 【工业技术】

语义知识的表达策略及其形式化描写技术是语义资源建设的关键问题，直接影响到资源的质量与效率。迄今为止，国内外现有的词汇语义资源充分研究了概念间的宏观语义关系，形成了多种理论。为了进一步细化词汇语义知...

建筑形式与功能之间的茅盾 【工业技术】

本文的主旨为形式与功能的矛盾应当被视作建筑中的重要要素。作为一个长期未被理论化的建筑学上历史性的构成，一个未明晰的建筑实线下的历史哲学，形式和功能这对矛盾由来已久。“形式”指建筑的视觉外观（线条、...

建筑设计方略-形式的分析 原第2版 【工业技术】

本书是“国外高等院校建筑学专业教材”之一。书中第一部分在一个从几何学到象征主义很广的范围内讨论了建筑的性质和作用；第二部分通过引述和列举现代建筑大师——如阿尔托、迈耶和斯特林——的作品，论证了分...

建筑结构的奥秘 力的传递与形式 第2版 【工业技术】

本书在结构力学、结构设计与建筑物形态方面进行图示和说明，展现了结构对建筑的重要性，特别是结构对建筑物安全性和建筑美学方面的贡献，可以帮助读者了解到人类长久以来致力于使“力”和“美”相互完美结合的努...

自动控制理论 3 第5章 线性系统理论引论 4 线性系统的不变量及其规范形式 【工业技术】

随机微分方程及其在汇流计算中的应用 【工业技术】

本书借助于随机微分方程理论和随机系统的概念，对汇流过程中的各种不确定性因素进行了分析，并以Nash模型为基础，针对具有随机输入项、随机参数项和两者结合情况下对汇流过程进行数学描述和分析，建立了随机汇流模...

硬件设计验证 基于模拟与形式的方法 【工业技术】

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

西方最新语言学理论译介丛书 走近形式语用学 【工业技术】

本书是《西方最新语言学理论译介》丛书的一种，系统介绍了当前国际语言学界关于形式语用学的最新进展，内容包括语用推理的实用逻辑观念；言语行为理论的形式语用学；博弈语用学；量化、数量和形式潜伏语用分析条件句...

设计几何四书 几何思维与设计 【工业技术】

化工设备标准手册 第3卷 金属化工设备 形式、参数及技术条件 第1册 【工业技术】