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

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

One-Parameter Semigroups for Linear Evolution Equations = 线性发展方程的单参数半群 【外文】

相依误差下部分线性模型的统计推断 【数理化】

本书主要研究了四种相依误差下观察值为固定设计时部分线性模型的统计推断问题，将经验似然方法用于误差为相依序列的固定设计的部分线性模型的统计推断，误差序列选取在实际应用中较为普遍并且具有类型代表性的...

心力衰竭的集中参数模型研究 【医药卫生】

本书系统地介绍了作者近年来在心力衰竭对心血管系统血流动力学状态的影响方面的最新研究成果。第一章介绍了心血管系统的生理与病理基础知识、相关调节机制、心力衰竭相关的研究进展以及临床最新的心功能评...

你的时间去哪儿了 六维时间管理模型 【社会科学】

本书通过对时间管理的六大领域身、心、乐、家、业、财等方面进行详细讲解，帮助读者学会高效利用时间，在较短的时间里完成重要而紧迫的事情，砍掉浪费时间的行为，让读者理解时间的无形和力量，使用优先矩阵区分事物...

数学分析 第2册 【数理化】

本书讲述的是高等数学的基础内容--数学分析，其核心内容是微积分学，全书共分三册。本书为第二册，共分六章：定（Riemann）积分、反常积分、常数项级数、函数项级数、幂级数与Taylor级数、Fourier分析初步。本书是有作...

缺失数据的模型检验及其应用 【工业技术】

本书主要研究了关于缺失数据的拟合优度检验问题，缺失数据包括协变量缺失和响应变量缺失的情况。研究了变系数模型中系数函数，变系数模型，半参数模型，广义线性模型等不同类型的模型，在缺失数据的情况下的检验问题...

日本阳明学的实践精神 山田方谷的生涯与改革路径 【哲学宗教】

本书由有关山田方谷研究两本代表作（《山田方谷改革成功的钥匙》与《山田方谷的梦》合编而成。前者以研究山田方谷的财政改革思想为主；后者以研究山田方谷的生平事迹为主。山田方谷是19世纪日本著名的阳明学者...

政策和部门改革的战略环境评价 概念模型和操作指南 【环境安全】

本书介绍了世界银行在政策和部门改革领域进行战略环境评价试点项目的情况，包括项目取得的成果、影响战略环评效果的因素以及进行战略环境评价应注意的问题，引进此书，对于国内战略环境影响评价领域的研究有一定...

抽象空间中线性时标动力学方程的研究 【数理化】

本书主要考虑时标上的线性动力学方程，研究其解的结构及性质。全书分为5章，第1章介绍本书的研究背景并引出主题；第2章对于常系数线性矩阵时标动力学方程，得到了方程解的显式表达式及算法；第3章得到了交换Banach代...