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

含有轨迹生成器、捷联惯导仿真、组合导航、误差分析、航位推算等多个功能。

最优化大作业，爬坡算法解决最优化问题，以及外点罚函数饭和内点罚函数法

从webrtc抠出来的代码实现无需噪音样本的降噪.具体使用请查看我的博客

LabVIEW XControl控件

【实例简介】

用于TDOA定位的CHAN算法，包括2维定位和3维定位的详细算法，以及对算法的验证程序，正确可直接运行。

这是一个非常完整的qpsk调制解调用fpga实现的工程，在工程中已经能够正常使用，使用的quartus ii 开发，使用Verilog语言，文件中还包含了各种滤波器的系数文件，还有matlab仿真文件，整个工程包含从串并变换，相位映射，到成型滤波，中通滤波，cic滤波，调制，再到解调过成的下变频，匹配滤波，载波提取，位定时，判决，整个完整的过程,

基于matlab语音信号分析的低通高通滤波源程序！里面包含有WAV语音文件，及输出wav文件，解压后直接运行主程序main.M文件按回车键即可。

这个是我从其他网站找了好久才找到的模拟电表的电能表软件，它支持自动与终端通信的功能，用的是07规约，希望对大家有帮助。

一、智能安防系统1.要求如下： .运行UCOS3实时操作系统[可选] .火焰传感器、温湿度传感器、可燃气体传感器正常工作 .RFID读写卡正常工作 .蓝牙4.0正常工作 .红外接收头正常工作 2.实现过程 手机蓝牙操作 .能够修改开发板的RTC时间 .发送特定的命令，能够查询当前安防状态（是否有火焰、可燃气体是否超标、温湿度状态） .发送特定的命令，能够修改安防系统默认card id，并将card id信息保存到flash当中 当RFID进行识别的时候 .安防系统默认有card id，如果当前识别的卡为陌生卡，则进行蜂鸣器长鸣报警，并熄灭所有Led；