结构

结构证明论

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

跨界搜寻对组织双元能力的影响机理研究—基于创新能力结构视角

《跨界搜寻对组织双元能力的影响机理研究—基于创新能力结构视角》,作者:肖丁丁,朱桂龙著 出版社:科学出版社 ISBN:9787030562081。  为促进企业有效地搜寻、整合外部创新资源,实现不同层次技术能力的协同提升,《跨界搜寻对组织双元能力的影响机理研究—基于创新能力结构视角》围绕“跨界搜寻是否以及如何影响组织双元能力”这一核心问题,运用文献研究、理论推演与多案例研究方法,构建创新能力结构视

混凝土矩形贮液结构——隔震与减震

《混凝土矩形贮液结构——隔震与减震》,作者:程选生,景伟著 出版社:科学出版社 ISBN:9787030600172。《混凝土矩形贮液结构——隔震与减震》是作者与课题组相关人员继《混凝土矩形贮液结构——动力分析理论与数值仿真》后的又一部著作,是我们多年来在混凝土矩形贮液结构的隔震和减震方面研究成果的汇集和总结。  《混凝土矩形贮液结构——隔震与减震》共11章,分别为绪论、埋置式隔震混凝土

3E系统协调的驱动力:结构协同及能源政策引导

《3E系统协调的驱动力:结构协同及能源政策引导》,作者:汪小英等 出版社:科学出版社 ISBN:9787030509437。在应对全球资源耗竭与气候变化的挑战中,促进经济与能源、环境系统(简称3E系统)协调发展的驱动机制研究成为基本议题之一。本书发展双重结构拉动的能源经济学理论,作为探索能源与碳排放变化趋势和分析3E系统协调的必要基础,系统介绍了以结构协同为驱动力的3E系统协调模式的关联关系、动力

新型钢-混凝土组合剪力墙及筒体结构——试验、理论与技术

《新型钢-混凝土组合剪力墙及筒体结构——试验、理论与技术》,作者:曹万林著 出版社:科学出版社 ISBN:9787030563002。  本书结合高层建筑组合结构的抗震设计需求,考虑钢-混凝士组合剪力墙及筒体的构造特点,提出了不同抗侧力体系组合与钢和混凝土两种不同特性材料组合联合应用的多重组合剪力墙及筒体体系。首先在体系层次上,合理选择了各具优势的混凝士剪力墙、钢椅架、钢板剪力墙、密柱深梁钢构等不

煤的结构与反应性

《煤的结构与反应性》,作者:谢克昌著 出版社:科学出版社 ISBN:7030108051。本书内容包括煤的结构及其研究方法,煤在热解、气化、解聚液化、燃烧、溶胀、等离子体条件下的反应性和测试方法等。

机械结构有限单元法基础

《机械结构有限单元法基础》,作者:韩清凯[等]编著 出版社:科学出版社 ISBN:9787030368713。本书介绍了机械结构分析中的弹性力学基本概念和方法、机械结构强度准则、机械结构动力学基本原理;以平面三角形单元、梁单元为例,叙述了有限单元法的基本原理;对单元形函数的构造方法进行了讨论,对等参数单元的基本理论进行了说明,并对常用的三维实体单元、板单元和壳单元分别进行了介绍;最后对机械结构动力

有机功能材料微纳结构制备与应用

《有机功能材料微纳结构制备与应用》,作者:裴坚等编著 出版社:科学出版社 ISBN:9787030621894。《有机功能材料微纳结构制备与应用》重点阐述有机功能材料微纳结构的制备与应用。紧扣这一主题分以下几部分内容重点介绍:有机功能材料简介;有机功能材料各种分子间弱相互作用力;有机微纳结构制备方法;溶液法制备有机微纳结构的生长机理及结构调控;有机微纳结构功能化后修饰;有机微纳结构阵列化方

界面视角下的第二语言论元结构习得研究

《界面视角下的第二语言论元结构习得研究》,作者:高育松,王敏著 出版社:科学出版社 ISBN:9787030404633。本书从界面的视角出发,调查二语学习者对英语论元结构的习得,探讨语义、形态、语用等因素在习得过程中的作用。同时,吸收基于使用的语言学的一些理论观点与研究手段,尝试分析内在的语义、语用因素与外在的输入频率如何互动作用于学习者,以期较为系统地解释第二语言论元结构习得。