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

常用的温度检测元件主要有热电偶、热电阻、热敏电阻等。热电偶主要是利用两种不同金属的热电效应，产生接触电势随温度变化而变化，从而达到测温的目的。测量准确，价格适中测温范围宽，线性度较好。但其输出电压受冷端温度影响，需要进行冷端温度补偿，使电路变得复杂，在本题中并非最佳方案。 热敏电阻由金属氧化物或半导体材料制成，灵敏度高、热惰性小、寿命长、价格便宜。但其测量的稳定性和复现性差，测量精度无法满足本题发挥部分0.2℃的要求。而且线性度差，需要进行查表线性拟合，大大浪费控制器的资源，因此不能选用。 热电阻是利用金属的电阻率随温度变化而变化的特性，将温度量转化成电阻量。其优点是准确度高，稳定性高，性

支持向量机的研究现状与进展，很好的综合论文

用matlab实现将一副图像分成n*n的小块

MATLAB源程序，关于图像处理的一些经典算法，很不错的资源，个人学习受益很大，本着取之于民用之于民的想法，故分享之。

xilinx FPGA的二维FFT实现，有完整的testbench代码，绝对是不容错过的优秀代码。经过matlab仿真对比，精度令人满意。

本程序是一套私服实时发布程序，私服业主可以匿名发布自己的私服，随着功能的完善，目前系统加入了私服推荐、家族、今日新开私服排序、即将开放私服排序、已经开放私服排序、友情连接管理、友情LOGO文字连接管理、防注入管理、数据库管理、后台配置设置、本站公告、发布等等功能。

本文系统的阐述了s变换的基本定义和相关定义式。详细比较了s变换和小波变换的区别。突出了s变换的优点。

【实例简介】因为cocos只能用TTF，所以自己作的思源黑体简中全套TTF格式。一共7个字体，已在COCOS中测试通过。亲测可用。懂的来。

GPS/北斗导航定位， RTK高精度定位数据传输协议。同之前版本比较，增加北斗导航电文。

根据多角度拍摄图像进行三维重构 能得出三维模型