不确定性结构系统的重要性分析理论与求解方法

本书详细介绍了不确定性结构系统的可靠性分析的理论方法及工程应用。主要针对相关变量的可靠性问题，从基于方差和矩独立两个方面探讨了可靠性分析的近似解析法和诸多高效的数字模拟求解方法的基本原理，适用范...

硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

遥感数据智能处理方法与程序设计

本书是作者经过十余年在人工智能理论与遥感信息理论学科交叉领域的实践，不断探索所取得的成果总结。主要内容包括空间变换与分割、贝叶斯网络、伪二维隐马尔可夫、神经网络、遗传算法、模糊算法、粗糙集、支...

园林设计CAD+SketchUp教程

AutoCAD和SketchUP是园林（景观）设计中重要的计算机辅助设计手段，本教程全书共分为AutoCAD和SketchUP两大部分，详尽介绍了辅助园林景观设计软件的基本功能、使用方法和绘图技巧，易于掌握。结合快捷命 令，内容由浅...

小学数学教学设计与案例分析

本书以教育部《基础教育课程改革纲要（试行）》的基本精神为指南，以高等院校小学教育专业培养目标和教学特点为依据，紧密围绕基础教育课程改革的实践需要，选用了大量生动鲜活的小学数学教学活动设计案例，用案例提.....

Photoshop设计与案例教程

本书针对应用型教育发展的特点，编写侧重应用和实践，理论与实训紧密结合，并辅之以自我训练，有很强的实践性。

线性控制系统的分析与设计

电路的计算机辅助分析与设计

本书共分七章

网页设计与配色实例分析

本书以实例的讲解形式，对网页的设计进行了归纳、总结与分析。

区域旅游交通系统分析与优化方法

随着旅游业的蓬勃发展，区域旅游交通系统在旅游业中的重要地位日益凸显。旅游交通系统作为区域旅游发展的重要基础设施，其空间布局与运营组织将直接影响到区域旅游服务水平与目的地吸引力。本书全面阐述区域旅...