基于模型的列车运行控制系统设计与验证方法 【交通运输】

本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进...

数值方法 第5版 【数理化】

俄罗斯历来注重数学理论的研究，并且具有鲜明的特色，在计算数学领域的研究也有许多独特之处。由H.C.巴赫瓦洛夫、热依德科夫、柯别里科夫所著的《数值方法（第5版俄罗斯数学教材选译）》是数值方法方面的经典教材，...

数字测图原理与方法 【天文地球】

本书共十一章，第一到第六章为测量学内容，包括测量基本知识、水准测量、角度和距离测量、测量误差基本知识和小区域控制测量；第七到第十一章为数字测图内容，包括地形图基本知识、数字地形图绘制基础、大比例尺数...

能源经济与环境系统建模 软计算方法及应用 【经济】

本书针对能源与环境（碳排放）系统的复杂性，充分利用软计算相关技术（GA,PSO,FCM等）在处理非均匀性、非线性、不精确性和不确定等方面的能力，主要研究了中国一次能源预测PSO—GA—EDE模型的建立、煤炭生产—环境污染...

现代企业合作中资源优化配置 基于逆优化方法的研究 【经济】

现代企业合作的实质是通过资源整合和资源优化配置实现企业之间优势互补，提升企业的竞争力。本书阐述了现代企业合作中资源配置的特点，资源配置与竞争力之间关系，一般资源优化配置的逆优化方法以及现代企业合作...

中国特色社会主义制度 【政治法律】

台湾媒体与社会学 【文化科学教育体育】

西班牙社会与文化 【其他书籍】

2015宁夏社会蓝皮书 【政治法律】

中国社会史经典精读 【其他书籍】