数字集成电路设计验证 量化评估、激励生成、形式化验证 【工业技术】

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

不确定内生经济增长与财政政策研究 【经济】

本书应用连续时间随机分析方法，对不确定内生经济增长与财政政策之间的关系进行了研究，探讨了不确定内生经济增长条件下的最优财政政策结构。...

程序设计方法及在线实践指导 学习指导与习题解析 【工业技术】

本书是《程序设计方法及在线实践指导》这本主教材的配套教材。第1～9章的内容分为学习指导、思考题解析、练习题解析和补充例题，首先通过学习指导引导学生更好学习和理解主教材中介绍的编程思想和方法，同时对主...

边坡稳定性分析与滑坡防治 【天文地球】

本书分别介绍了边坡工程的概况，系统论述了边坡变形与破坏、影响边坡稳定性的主要因素、边坡岩体结构分析、边坡稳定性的理论计算、边坡设计计算图法、确定人工边坡角的经验类比法、滑坡的防治、边坡稳定性监...

高速电路PCB设计方法与技巧 【工业技术】

电子元器件飞速发展，数字电路广泛应用，使电子整机向小型化、轻量化、高速度、高可靠、多功能迅速发展。各类电子设备和计算机的运行速度越来越快，促使高速电路在电子设备中的应用日益广泛。 印制电路板的基材...

统计技术与测量不确定度的评定及应用 【经济】

本书介绍与计量工作相关的统计技术基础知识，有常用的统计方法、测量误差与数据处理知识、测量不确定度的评定、表示方法及其应用技术。

岩土结构稳定性理论与滑坡预测预报 【天文地球】

本书建立了两个二阶微分方程组成的方程组，用来预测滑坡发生的时间，据此可以提前对滑坡体采取防治措施，避免滑坡的发生。书中采用不少实例对所建立的方程组进行了验证，显示了该方程组的实用性。...

隧道稳定性评价与塌方预警 【交通运输】

本书结合江西武吉高速公路隧道的建设，以及课题研究成果，得到隧道变形稳定性标准，将动态增量反分析成功应用于实际隧道施工中，并根据连拱隧道施工工艺及受力体系的分析研究，得到连拱隧道围岩压力分布模式和转换体...

个人信用评估与声誉机制研究 【其他书籍】

成效导向的方案规划与评估 【社会科学】