形式化框架下置换和查找类算法的组装生成

本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...

基于子空间和流形学习的人脸识别算法研究

为了充分利用样本的类别信息，提出了一种改进的有监督保局投影人脸识别算法。利用先验类标签信息重新构造传统保局投影算法中的权重矩阵，基于改进后的保局投影算法得到变换矩阵；用线性鉴别的思想筛选出变换矩阵...

基于免疫进化的算法及应用研究

本书中人工免疫系统是继人工神经网络、进化计算之后新的计算智能研究方向，是生命科学和计算科学相交叉而形成的交叉学科研究热点，广泛应用于计算机安全、故障诊断、模式识别、数据挖掘、智能优化等领域。本书...

程序语言的奥妙 算法解读

在我们生活的世界中，各种各样形形色色的事物和现象，其中都必定包含着“科学”的成分。在这些成分中，有些是你所熟知的，有些是你未知的，有些是你还一知半解的。面对未知的世界，好奇的你是不是有很多疑惑、不解和.....

面向无人系统的动态进化算法及应用

本书针对无人系统所涉及的一系列动态优化问题，系统地给出了作者在动态进化算法领域的最新研究成果，主要包括三大部分：①介绍无人系统的发展现状，讲述了动态进化算法在无人系统研究的意义和挑战，并对动态进化算法...

青少年国际和全国信息学 计算机 奥林匹克竞赛指导 图论的算法与程序设计

《数据结构》算法实现及解析 配合严蔚敏、吴伟民编著的 《数据结构》 C语言版

本书是配合严蔚敏、吴伟民编著的《数据结构》（C语言版）一书的配套学习用书。

城轨列车智能驾驶的优化模型及算法

本书采用计算智能、系统辨识、专家系统、机器学习和系统仿真等理论和方法，研究如何提高列车驾驶系统的智能性、准时性、舒适性、停车精度，降低列车运行的能耗。我们还探索了列车运行时间的动态调整、智能驾驶...

大数运算：加密多精度算法的理论与实现

大数运算是加密和安全领域必不可少的一部分，要想实现它，既需要相应的数学理论知识，又需要一定的编程技巧。对于每一个初学者，要想掌握它，必定要花费大量时间查阅数学书本和C语言教程（也可能是别的语言）。本书......

从工程承包商到PPP合作伙伴 传统建筑工程承包商参与基础设施PPP项目的优势与挑战