形式化建模验证SMV模型检验器.rar

本书是开关电源类的经典书籍，几乎所有搞电源的的人士都知道这书，但是现在书店基本不卖，是一本很好的书。

【实例简介】目前，世界各国都开始重视人工智能的发展。2017 年 6 月 29 日，首届世界智能大会在天津召开。中国工程院院士潘云鹤在大会主论坛作了题为“中国新一代人工智能”的主题演讲，报告中概括了世界各国在人工智能研究方面的战略：2016 年 5 月，美国白宫发表了《为人工智能的未来做好准备》；英国 2016 年 12月发布《人工智能：未来决策制定的机遇和影响》；法国在 2017 年 4 月制定了《国家人工智能战略》；德国在2017年5月颁布全国第一部自动驾驶的法律；在中国，据不完全统计，2017 年运营的人工智能公司接近 400 家，行业巨头百度、腾讯、阿里巴巴等都不断在人工智能领域发力。从数量、投资等角度来看，自然语言处理、机器人、计算机视觉成为了人工智能最为热门的三个产业方向。

QT实现基于freetype的TTF字体拆解，工程运行需要freetype库的DLL文件，所以压缩包中附带的debug文件夹需要在工程中设置一下。

【实例简介】2013北航应用数理统计第一次大作业-回归分析

代码模拟了信号分析中的抽取和插值过程，在求取均方误差的时候还有一点小瑕疵，仅供参考。

找了很久的偏最小二乘回归算法，包括《偏最小二乘回归的线性与非线性方法（王惠问 吴载斌 孟洁）》的PDF，《偏最小二乘回归方法及其应用》的pdf，《算法大全第30章--偏最小二乘回归》PDF ，一个比较好的博客《偏最小二乘法回归（Partial Least Squares Regression）（博客）》PDF。

【实例简介】述职报告工作总结PPT模板

QT实现的可动态添加、删除控件的小项目；当添加控件达占满widget时，自动添加滚动条效果，并提供了一个删除功能，删除你添加到widget里的控件。控件可以是任何的大小的QWidget.

用haar算法，在MATLAB中实现对图像库中图片的自动检测人脸以及人眼并标记，注释详细。

同步压缩小波变换（synsq_toolbox）matlab代码。由于源代码为.c文件，本人已经编译为.mat文件，可以直接使用。