设计理论

时态数据库设计理论

《时态数据库设计理论》,作者:郝忠孝著 出版社:科学出版社 ISBN:9787030247049。本书共分七章,内容包括:时态数据库设计研究的概况、时态模块模式与时态模块、时态函数依赖和集细于关系、时态类型和它的封闭集处理、TFD的推导规则、时态类型处理中的细于关系矩阵、时态类型集的封闭集及其公共最大下界、有限导出时态类型集等。

双螺杆捏合机螺纹元件型线设计理论与方法

《双螺杆捏合机螺纹元件型线设计理论与方法》,作者:魏静,张光辉 编著 出版社:科学出版社 ISBN:9787030573056。本书首先介绍双螺杆捏合挤出设备的功能、分类,发展现状与趋势,以及螺纹元件设计过程中存在的关键技术难题;给出啮合型双螺杆螺纹元件端面型线设计理论与方法,为后续螺纹元件端面型线的演化设计及性能分析提供理论基础;然后介绍基于相对运动法、包络法以及基于泛函分析思想的啮合同向/异向

编译程序设计理论

《编译程序设计理论》,作者:P.M.刘易斯Ⅱ 出版社:科学出版社 ISBN:15031560。  本书较系统地介绍了编译系统设计中的基本理论和方法,是一本专业教材. 全书共分十五章,其中包括:有限状态自动机;下推机;上下文无关文法;翻译和属性翻译;自顶向下处理方法;自底向上处理方法;代码生成程序和代码优化等. 本书理论和实践并重,叙述严谨、

热障涂层低热导陶瓷材料的设计理论与方法

《热障涂层低热导陶瓷材料的设计理论与方法》,作者:潘伟等 著 出版社:科学出版社 ISBN:9787030556769。随着科学技术的发展,热障涂层材料及技术在航空航天、国防安全、能源等领域起着越来越重要的作用。热障涂层主要利用陶瓷材料的高熔点、抗氧化、低热导率等特点,为基体合金部件提供热防护与抗腐蚀功能,从而提升高温合金部件的工作温度及服役寿命。热障涂层材料需要具有优异的高温热物理与力学性能,其

山岭隧道性能化抗震设计理论与方法

《山岭隧道性能化抗震设计理论与方法》,作者:林志,闫磊,陈相 著 出版社:科学出版社 ISBN:9787030708533。本书系统介绍了作者十余年来在隧道工程抗震减震领域的相关研究成果。全书共8章,主要内容包括国内外隧道抗震设计理论研究现状、公路隧道震害调查分类与影响分析、隧道结构主流的抗震计算分析方法、隧道结构动力响应与破坏机理、基于性能的隧道抗震设防标准、隧道衬砌结构抗震性能水平与指标、典型

计算机辅助逻辑设计理论

《计算机辅助逻辑设计理论》,作者:刘明业 出版社:科学出版社 ISBN:15031627。本书是讨论计算机辅助逻辑设计的理论和算法。全书共六章分四部分。第一章讨论多维体运算及其在计算机中的实现,为全书的重要理论基础部分。 第二、三、四各章讨论组合逻辑综合,是针对PLA和其它集成电路芯片的逻辑化简及整机部件的组合逻辑综合。包括单输出和多输出函数的两级及多

大型星载可展开天线设计理论、 方法与应用

《大型星载可展开天线设计理论、 方法与应用》,作者:段宝岩,张逸群,杜敬利著 出版社:科学出版社 ISBN:9787030618351。《大型星载可展开天线设计理论、 方法与应用》主要针对大型星载可展开天线,特别是广泛应用的网状可展开天线和薄膜天线进行研究,是作者近些年对可展开天线研究工作的总结。《大型星载可展开天线设计理论、 方法与应用》共10章,包括空间服役环境分析、索桁组合结构形态分析与网面

搜索引擎广告的机制设计理论与实践 : 关键词拍卖

《搜索引擎广告的机制设计理论与实践 : 关键词拍卖》,作者:刘树林,戎文晋著 出版社:科学出版社 ISBN:9787030278548。本书共分四篇介绍关键词拍卖的发展背景、基本理论与前沿成果。第一篇介绍关键词拍卖的基础知识;第二篇分析了广告主作为竞买人在关键词拍卖中的策略性行为;第三篇是关键词拍卖的均衡分析;第四篇介绍关键词拍卖的机制设计。

基于数值模拟的设计理论与方法(英文版)

《基于数值模拟的设计理论与方法(英文版)》,作者:韩旭,刘杰 著 出版社:科学出版社 ISBN:9787030683632。This book systematically introduces readers to advanced design theory and methods, including precise modeling based on inverse techniques,