无障碍环境设计 刺激五感的设计方法 【工业技术】

本书作者是无障碍设计的专家，曾规划设计了许多无障碍设计项目，撰写了多部无障碍设计专著，还亲身实地考察了丹麦的无障碍设计项目。本书作者精选了日本和丹麦的各种典型的建筑实例，其中既体现崭新的建筑设计思想...

基于语料库的中国理工科大学生英语口语教学与评估一体化研究 【语言文字】

本书基于英语口语教学、评估理论和语料库语言学的实证和研究，系统地收集不同学校、不同专业中国理工科大学生的日常小组讨论语料，采用计算机辅助人工标注的方式，初步建立中国大学生英语口语多模态语料库—理工...

列车驾驶界面人因设计理论及方法 【交通运输】

列车驾驶界面是乘务员与列车进行信息与能量交换的接口。本书针对列车人机界面的发展现状，系统总结归纳了列车驾驶人机界面设计所应遵循的基本理论，全面阐述了列车人机界面设计的基本理论和方法。全书结合作者...

饲料中微生物及其毒素的检测与风险评估 【农业科学】

本书既讲述了关系饲料安全和微生物的基本知识和技能，又详细介绍了微生物的特性，还介绍了饲料中微生物及其毒素的检测方法和管理手段。本书内容共分八章。第一章简要介绍了饲料安全、微生物基础知识以及饲料微...

基本养老保险制度分析与评估 基于养老金水平的视角 【经济】

目前有许多关于养老保险财务可持续性的研究，但鲜见从个人退休金保障水平角度的研究。为此，本书首次以退休金的社会平均替代率为视角，以制度设定的目标替代率为标准，以定性和定量分析为方法，研究了基本养老保险社...

压力容器分析设计方法 【工业技术】

本书主要介绍了压力容器的弹性分析设计方法和弹塑性分析设计方法。第一章介绍了弹性应力分析方法，包括应力分类、极限设计法和安定状态。第二章介绍应力分类应力结果的线性化，主要介绍了等效线性化法、应力线...

ANSYS APDL参数化有限元分析技术及其应用实例 【数理化】

APDL（参数化设计语言）是ANSYS的高级分析技术之一，也是ANSYS高级应用的基础，它提供一种逐行解释性的编程语言工具，可以很好地用于实现参数化的有限元分析、分析批处理、专用分析系统的二次开发以及设计优化等，是AN...

引滦入津隧洞30年安全鉴定与评估 【工业技术】

目前还没有针对水工隧洞安全鉴定和评估的统一的依据和标准。本书重点介绍了水工隧洞安全检测盒评估的基本内容、方法和现行判断依据，以引滦入津隧洞为工程依托，进行安全鉴定和评估，并针对围岩稳定、隧洞工程出...

法学方法与法学方法论 【其他书籍】

可信软件设计 开发健壮软件的工具、技术和方法 【工业技术】

本书介绍了一种可在早期解决软件质量问题，使软件质量管理目标变成防止在实施阶段发生bug而不是在实施阶段中或之后发现和解决bug,名为可信任软件设计（DFTS）的综合技术。这种技术可信之处在于能在一行代码都未...