范畴类型逻辑及其在汉语反身代词回指照应中的应用 【语言文字】

范畴类型逻辑是当代自然语言逻辑中的一个重要分支，其使用逻辑学中的方法，甚至数学中的方法为自然语言问题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻...

国际贸易理论与实务 【经济】

本书紧扣当前国际贸易的实践，从理论和实务两个方面深入系统的介绍了国际贸易的各个方面，包括国际贸易概述、国际贸易政策与理论依据、关税措施、非关税措施、鼓励出口和出口管制措施、关贸总协定与世界贸易组...

核磁共振谱学 在有机化学中的应用 【数理化】

本书深入系统地论述了NMR谱学的几乎全部内容，作者主要参阅了近几年来国外这方面的诸多文献，对氢谱、碳谱、二维谱、蛋白和核酸的NMR分析等问题作了深入的阐述。在1H NMR中，对氢谱涉及到的自旋-自旋耦合、核间...

嵌入式系统在智能电器和能源管理中的应用 【工业技术】

当前社会对节能减排的呼声越来越高，国家电网也正在接纳新型清洁能源以及私有发电设备的并网，物联网正逐渐兴起，本书在这样的背景下，针对越来越复杂的能源管理需求，提出将能源管理引入用电端，通过嵌入式系统使电.....

政治哲学视野中的自治理论研究 【政治法律】

本书是在政治哲学的视野下系统深入地探讨自治的基本理论问题。主要表现在两方面：一是把散见在众多政治思想家著作当中的有关自治的理论、观点归纳起来，融合进“自治理论”的框架之中，形成一个自治理论体系。二...

国际贸易理论与实务 【经济】

本教材主要是本科院校非国际经济与贸易专业和专科高职高专院校财经类相关专业的教学用书。本书分为上下两篇，共17章。上篇国际贸易理论，主要介绍国际贸易理论与政策措施；下篇国际贸易实务，主要介绍商品进出口业...

复杂系统可靠性分析 在轨道交通供电系统中的应用 【交通运输】

本书针对复杂大规模系统的可靠性分析评估问题，在介绍了该问题的研究背景、工程意义、发展趋势的基础上，综合介绍了各类型适用于复杂系统的可靠性分析评估方法、模型建立、指标定义、求解方法等，包括：基于动态故...

国际贸易理论与实务 【经济】

本书在编写体系上充分考虑高等职业教育教学的特点，遵循理论够用的原则，围绕进出口贸易流程这条主线对各环节所需的理论知识和职业技能进行阐述。在内容安排上，结合国际贸易理论和国际贸易实务两门课程的需要，删...

PH模型在城轨交通车站中的应用 【交通运输】

构建了城市轨道交通车站的售检并联排队系统、自动扶梯混联排队系统和通道楼梯设施混联排队系统。在排队模型建立中，采用QBD过程建立了候车系统的PH/PH[0,C1]/1/C批量服务排队模型、售检票设施的PH/PH/C1/C并...

Applications of symmetry methods to partial differential equations Volume 168 = 对称方法在偏微分方程中的应用 【外文】