硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
洪汉玉著2017 年出版200 页ISBN：9787118113440
本书内容主要涉及航天目标探测多谱图像复原的用途、基本原理、理论形成、新算法、平行计算方法及工程应用，重点介绍目标探测湍流退化复杂背景图像的相邻帧复原算法；基于频域共轭梯度法的交替迭代复原算法；基于...
常绿，徐礼超，刘永臣著2011 年出版169 页ISBN：9787564609573
本书将载荷时间历程通过统计分析，经压缩、简化和合成，得到装载机传动系统载荷谱。载荷谱具有典型性、代表性和真实性。测试装载机载荷谱，对测试数据进行数据处理，将载荷谱转化成虚拟样机中程序加载谱，构建装载机...
张晓龙著2018 年出版139 页ISBN：9787030579065
全书共分为五大部分，第一部分介绍了实时数据流和聚类方法的背景，包括实时数据流的特点、进行数据分析的技术以及研究现状。第二部分详细讲解了聚类方法中的简单聚类，包括基于衰减窗口与剪枝维度树的数据流聚类...
