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

本书以西门子S7-200 型可编程控制器（PLC）为蓝本，书中介绍的130 个编程实例，均是从作者长年潜心研究、反复推敲的实例中精心挑选出来的，具有很强的实用价值。实例设计时尽量考虑短小精悍、突出重点，每个编程实例都给出了较为详细的编程说明，以便于理解。细心阅读定可体验出其中的编程技巧和精妙之处。

基于自相关法的语音基音周期估计-matlab实现

本科毕业设计，matlab-simulink的ESP硬件在环仿真，内容详尽，有益本科学生学习借鉴，吃水不忘打井人，请记住，作者叫薛春宇

应用背景与功能目前，中小学生的学习负担均较重。新知识多，作业量大。对于孩子来说，难免有一些消化不了的东西。在此情况下，如不能及时地把所欠缺的知识补起来，势必造成恶性循环，不理解的东西越压越多。家教可以有针对性地单独授课，学生学习的效果较好，越来越多的家长给孩子选择了请家教。为了找到合适的家教，出现了很多的家教中介，但信息的共享方面还是互联网更强，于是越来越多的家教网站产生了。必备知识注意：如果你是首次接触ASP.NET 2.0，那么请先阅读本书第3章关于ASP.NET 2.0新特性的内容，否则你可能会感觉像在云里雾里。学习过ASP.NET 2.0

MATLAB语言及其应用是高等学校信息科学、应用数学、统计学。计算机科学、电子、自动化、物理等与数据处理、数据分析相关的自然科学院系、专业的一门基础工具课。《MATLAB/SIMULINK实用教程》是针对MATLAB7.5编写的实用、简明教程，通过大量的实例，系统介绍了MATLAB715的使用技巧和编程方法。读者可在自己的MATLAB环境中完全准确地重现《MATLAB/SIMULINK实用教程》所提供的算例结果。举一反三，快速掌握要领，在最短的时间内掌握MATLAB语言的精髓，从模仿走向灵活应用。 　　本15以实用、新颖和易懂为原则，通过大量的实例，系统介绍了MATLAB的使用技巧和编程方法

【实例简介】中国国界shp，其中包括南沙群岛、台湾省份信息等 ，国界信息全，未删减。本人为GIS专业研究生，数据严谨。

【实例简介】qt3电子点菜系统源码，qt3电子点菜系统源码，qt3电子点菜系统源码。

通过对IEEE-30节点系统的仿真计算表明，本文建立的动态无功优化模型是简单有效的，具有良好的实用价值。同时，算例也表明免疫粒子群算法能够及时跳出局部最优得到全局最优解，而且收敛速度快，精度高，它保证了动态无功优化在每个时段基本都能收敛到全局最优解，提高了动态无功优化的收敛精度和速度。

本人毕业设计所选的canny算子matlab源代码，绝对可用，第一次上传，选最好的

在MATLAB/Simulink环境下，建立了SRD系统仿真仿真模型，包括SRD模型、变流器的模型和位置传感器的模型等。