硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

C/C++语言硬件程序设计 基于TMS320C5000系列DSP

本书全面介绍了使用C／C高级语言开发TMS320C5000系列DSP应用系统的方法，内容包括TMS320C5000开发平台、TMS320C5000系列硬件基础、C／C程序设计、DSP／BIOS程序设计、RTDX程序设计、Boot Loader程序设计和应用实例...

模式识别与人工智能 基于MATLAB

基于案例推理的智能决策技术

本书重点研究了将优化技术与人工智能结合起来用于决策问题求解方法——智能决策技术。

基于PDM的智能CAPP技术

本书内容为基于产品数据管理的计算机辅助工艺。

嵌入式Linux软硬件开发详解 基于S5PV210处理器

本书以用户非常熟悉，市面非常流行的S5PV210处理器为核心进行讲解，讲解内容从底层硬件到顶层软件，能够带领读者完成一个完整的嵌入式开发流程。市面上系统以S5PV210为核心的书籍几乎没有，而本书内容可以适用于市...

基于群体智能的无人机集群自主控制

基于智能体的煤矿事故智能预警模型与仿真研究

本文研究基于智能体的事故智能预警模型的构成要素及相互关系。主要内容包括：1.绪论；2.基于本体的煤矿事故预警知识库模型框架设计；3.事故预警时空模型设计与逻辑分析；4.事故预警本体构建；5.事故预警推理算法设计...

基于知识的软件智能化技术

国家九五重点图书:本书内容包括：知识表示、基于范例的推理、综合集成和信息基础的智能化等。

基于特征模型的智能自适应控制

空间飞行器设计专业是航天技术领域的一门主要学科，是一门多学科交叉综合和工程性很强的新型学科。