结构

结构证明论

《结构证明论》,作者:马明辉编著 出版社:科学出版社 ISBN:9787030616012。结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法, 通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等.《结构证明论》还介

李群与李代数Ⅲ:李群与李代数的结构 | 影印版

《李群与李代数Ⅲ:李群与李代数的结构 | 影印版》,作者:(俄罗斯)A. L. Onishchik E. B. Vinberg编著 出版社:科学出版社 ISBN:9787030235060。The book contains a comprehensive account of the structure andclassification of Lie groups and finite-d

压电薄膜的制备、结构与应用

《压电薄膜的制备、结构与应用》,作者:许小红,武海顺编著 出版社:科学出版社 ISBN:7030108078。本书系统地介绍了压电学的基本原理和压电薄膜的制备方法、形成过程、结构特征及其应用。

存储器IC的应用技巧 : UV-EPROM/EEPROM/SRAM/DRAM的结构与使用方法

《存储器IC的应用技巧 : UV-EPROM/EEPROM/SRAM/DRAM的结构与使用方法》,作者:(日)桑野雅彦著;王庆译 出版社:科学出版社 ISBN:7030165187。本书介绍了5种储存器IC的结构及使用方法,分别为:UV-EPROM、闪速存储器、EEPROM、SRAM和DRAM的结构和使用方法,同时还介绍了SRAM的两种特殊类型。

结构振动控制的理论、技术和方法

《结构振动控制的理论、技术和方法》,作者:滕军著 出版社:科学出版社 ISBN:9787030233653。本书系统总结了结构振动控制的主要技术,尤其是耗能减振、隔震结构和调谐质量阻尼动力吸振结构控制技术,对装置关键技术、优化理论和设计方法进行了归纳,介绍了作者针对具体工程问题的结构控制装置设计、参数优化和工程应用,以及实现控制装置在工程应用中的关键问题及其解决途径。

高分子结晶和结构

《高分子结晶和结构》,作者:莫志深等 出版社:科学出版社 ISBN:9787030517487。本书是一本全面系统阐述高分子结晶和结构的专著。全书除“概述”外共分16章,概述简要回顾高分子科学建立的艰苦历程;第1章重点介绍晶态聚合物定义和特征及熔融热力学;第2章简明介绍X射线衍射和几何晶体学的基础理论和概念,以及小分子、高分子晶体结构测定的步骤和方法;第3~5章分别介绍红外

高原湿地保护区生态结构特征及功能分区研究与实践

《高原湿地保护区生态结构特征及功能分区研究与实践》,作者:田昆,郭辉军,杨宇明等著;国家高原湿地研究中心,西南林学院[编] 出版社:科学出版社 ISBN:9787030257857。本书以云南高原湿地保护区生态结构特征与功能分区研究等为基础,提出了高原湿地自然保护区功能分区技术体系,对高原湿地自然保护区功能分区理论、技术和方法进行了论述。

石墨相C3N4的微纳结构调控及光催化环境净化应用

《石墨相C3N4的微纳结构调控及光催化环境净化应用》,作者:董帆,孙艳娟,张育新 著 出版社:科学出版社 ISBN:9787030564498。本书基于石墨相C3N4(g-C3N4)光催化的最新研究进展,系统介绍g-C3N4的基本性质、微纳结构调控方法、掺杂改性及作用机制、二元复合光催化剂的设计及性能增强机制和负载技术及空气净化应用。本书突出介绍增强g-C3N4光催化性能的原理及在空气污染治理中的

二维纳米复合氢氧化物结构、组装与功能

《二维纳米复合氢氧化物结构、组装与功能》,作者:段雪,陆军等编著 出版社:科学出版社 ISBN:9787030382641。本书着眼于此类材料的二维纳米结构与效应,首先介绍LDHs材料的结构和制备两个基本问题,然后系统阐述此类材料在催化/吸附、光学、电化学、磁学和防腐蚀等方面的功能与应用。