优化已在最近的通信设计和网络系统中广泛使用。这项工作的主要障碍在于实际产生的许多优化问题的不凸性系统。为了解决此问题，我们注意到在通信和网络系统中遇到的大多数非凸问题都表现出单调性或隐藏的单调性结构。系统地使用单调性将大大减轻获得问题的全局最优解。本文提供了有关单调优化的简洁易懂的介绍，包括配方技巧和求解算法。通过几个应用示例，我们将说明建模技术和各种场景下单调优化的算法细节。用这种有前途的技术，现在可以解决许多以前困难的问题高效解决。有了这个专着，我们希望激发新的扩大单调应用范围的研究活动通信和网络系统的优化。

大数据系统-构建可扩展实时数据系统构建原理与最佳实践，英文版（非MEAP版本）

This paper studies the memory coherence problem in designing and implementing a shared virtual memory on loosely-coupled multiprocessors. Two classes of algorithms for solving the problem are presented. A prototype shared virtual memory on an Apollo ring has been implemented based on these algorithms. Both theoretical and practical results show that the memory coherence problem can indeed be solved efficiently on a loosely-coupled multiprocessor.

锂离子电池电化学建模资源

Big Data Principles and best practices of scalable realtime data systems.pdf

基于推测度传播的同步CDMA多用户检测器，程宏，谢俗子，本文提出了基于可信度传播算法应用于同步CDMA系统的检测器以抑制不同用户之间的多址干扰（MAI）。仿真分析表明基于该算法的差错概��

MMS是一个针对航海系统的Matlab仿真包，包括舰船模型、水下设备模型和漂浮建筑物模型，同时还包括GNC模块。提供一些关于GNC的基本库和系统例子，库模块包括：包括一些运动学和动力学函数和时域内的GNC应用仿真的Matlab文件；包括设备模型，操纵模型和动力学仿真的Matlab文件；包括一些用户可编辑的设备仿真和控制Matlab文件；包括用于海洋设备和控制系统的动态仿真Simulink工具包。Simulink库中包括设备模型、自动驾驶、DP控制模型、滤波、导航系统和执行机构模型等。如果要使用MSS GNC工具包，请参考下面网址：www.marinecontrol.org.

Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers

第三代MISRA C规范，汽车工业软件可靠性联会 软件规范 第三版(The Motor Industry Software Reliability Association)

国外高性能AC电机模型分析与控制文档，介绍了电机理论的公式推导分析以及同步电机模型,矢量控制，直接转矩控制，无传感器控制等。