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

QPSK通过Rayleigh信道多径衰落的Matlab仿真。

1000W逆变器的原理图和PCB图，根据这个PCB图制成电路板可以直接使用。亲测有效。

高考志愿填报综合参考系统是一个CS模式管理系统,主要包括两大方面,一方面是开发和维护后台数据库,另一方面是前台应用程序的开发．对于前者要求建立起数据一致性和完整性强.数据安全性好的库。而对于后者则要求应用程序功能完备,易使用等特点。具体的来说，我们用微软的 SQL SERVER 2000来作为后台的数据库, SQL SERVER 2000是一个为前台服务的后台开发工具,他提供了多种面向对象的开发工具.特别的是,数据库开发人员能够轻松的进行数据库建立工作。高考志愿填报综合参考系统为用户提供大量的高考信息，包括高校信息，专业信息等等,方便用户快捷查询，测试，找到适合自己的专业。

主要是基于卡尔曼滤波的基本入门的处理，为新手入门简单介绍下

在其中的windows文件夹中

一个apk兼容所有的车载canbus协议，不用把每种车型的车载协议分开搞成多个apk，不管是否为空调、倒车、影音、模式切换等的数据帧，只需要根据数据头，譬如0x21或者0xED等不同的数据帧来进行协议解析。详情介绍请看相关博客http://blog.csdn.net/Visrul/article/details/79434318

pytroch官网提供的预训练模型：resnet18：resnet18-5c106cde.pth和resnet：resnet101-5d3b4d8f.pth（两个文件打包在一起）

此网站是特别适合初学PHP人员入门使用，含前后台，增删改查，配接mysql数据库，有建库建表sql脚本。希望能对希望入门Web开发的你有所帮助。

ABAQUS教程. ABAQUS是一套功能强大的工程模拟的有限元软件，其解决问题的范围从相对简单的线性分析到许多复杂的非线性问题。达索并购ABAQUS后,将SIMULIA作为其分析产品的新品牌。用ABAQUS做的两个切削模拟，分别模拟了二维切削和三维铣削过程，文件类型为inp文件。

python配合Opencv库 实现的车牌识别定位及分割代码：1、将采集到的彩色车牌图像转换成灰度图2、灰度化的图像利用高斯平滑处理后，再对其进行中直滤波3、使用Sobel算子对图像进行边缘检测4、对二值化的图像进行腐蚀，膨胀，开运算，闭运算的形态学组合变换5、对形态学变换后的图像进行轮廓查找，根据车牌的长宽比提取车牌可作为Python,opencv及车牌识别技术的学习用。