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

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

经济学中的优化方法

经济与金融高级教程:本书详细介绍了线性规划理论、非线性规划理论、变分法、最优控制理论和动态规划理论等研究和处理经济学问题的重要数学工具。 ...

最优化技术在电厂热力工程中的应用

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

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

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

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

程序语言的奥妙 算法解读

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

优化方法在运输管理中的应用

本书对线性规划中的图表作业法、标号法等作了详尽的介绍。

产业结构：上海的抉择和优化

这本文集，汇集了近些年来上海财经大学产业经济研究中心所完成的一部分研究成果，主要是有关上海产业结构调整优化的研究报告和相关文章。 ...

基础教育研究的理论与实践 上 优化教育结构

基础教育研究的理论与实践 下 优化教育结构