您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. Model Checking-Edmund M. Clarke-模型检查PDF

  2. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductiv
  3. 所属分类:其它

    • 发布日期:2009-06-23
    • 文件大小:10mb
    • 提供者:orzorz
  1. 利用折半查找整数m在数组中的位置。

  2. 由N个有序整数组成的数列已放在一维数组中,给定程序MODI1.C中函数fun的功能是:利用折半查找整数m在数组中的位置。若找到,返回其下标值;反之,返回-1。 折半查找的基本算法是:每次查找前先确定数组中待查的范围:low和high(lowhigh,查找结束。 请改正程序中的错误,使它能得出正确结果。 注意:不要改动main函数,不得增行或删行,也不得更改程序的结构!
  3. 所属分类:C/C++

    • 发布日期:2011-07-11
    • 文件大小:628byte
    • 提供者:chuxiedong
  1. 根据形参m的值(2<m<9)

  2. 给定程序MODI1.C中函数fun的功能是:根据形参m的值(2<m<9),在m行m列的二维数组中存放如下所示规律的数据,由main函数输出。 例如,若输入2 , 则输出1 2 2 4 若输入4, 则输出:1 2 3 4 2 4 6 8 3 6 9 12 4 8 12 16 请改正程序函数中的错误,使它得出正确的结果。 注意:不要改动main函数,不得增行或删行,也不得更改程序的结构。
  3. 所属分类:C++

    • 发布日期:2011-08-04
    • 文件大小:530byte
    • 提供者:chuxiedong
  1. N个人中一次叫第M个人出队

  2. #define NULL 0 #define LEN sizeof(linkqueue) #include "stdio.h" void clear() { //clrscr(); //gotoxy(16,5); //textcolor(0); } void good_bye() { clear(); printf("\n\n\n\t\t\t程序结束,再见!"); getchar(); } typedef struct node { int data; struct node *next; }
  3. 所属分类:C/C++

    • 发布日期:2011-10-23
    • 文件大小:2kb
    • 提供者:zb18789266670
  1. C# .net 输入两个数值m和n 输出m、n之间的乘法表

  2. 1)新建一个控制台项目,在菜单的“文件”->“新建项目”,选择控制台应用程序。 2)熟悉Visual Studio平台,学会基本编辑界面的使用,例如“解决方案资源管理器”,必须要了解不同后缀名的文件的作用,例如.cs、.csproj等等 3)熟悉Program.cs文件的结构,特别的,在以下代码中: namespace ConsoleApplication1 { class Program { static void Main(string[] args) { } } } 必须知道,什么
  3. 所属分类:.Net

    • 发布日期:2013-06-02
    • 文件大小:24kb
    • 提供者:u010241224
  1. matlab m序列二相信号的无线电高度表仿真,射频级

  2. 运行main DSFH即可 main DSFH m为主程序 预先已经设置好了地面参数与飞行轨迹 直接运行即可 文件夹中的al mat文件夹存储的是真实高度 载入后的heigh min中数据即为真实高度 可以与测量高度对比 s 10M RF100M fh 15 type e mat和s DS 8191 4 3GHz type e mat为预存储的发射波形文件 请勿删除 如果需要载入其他地面模型和飞行轨迹 请改变主程序main DSFH m的16行至19行 load land mat load R
  3. 所属分类:其它

    • 发布日期:2014-08-19
    • 文件大小:30mb
    • 提供者:qq_19727691
  1. 调制格式识别project代码:main.m

  2. 通信原理课程的project:调制格式识别。用MATLAB来做的,共4个代码。main.m用来调用函数生成已调信号,调用函数进行调制识别,输出识别结果。
  3. 所属分类:电信

    • 发布日期:2015-07-19
    • 文件大小:754byte
    • 提供者:bencjl
  1. Easy Main Menu 1.0f

  2. Easy Main Menu is your one stop solution for all the things you want to have in a menu : - Start Game * New Game * Save/Load Game - Options * Game Options * Graphics Options * Control Changing Options - Login System - Pause Menu - Loading Screen wit
  3. 所属分类:Unity3D

    • 发布日期:2018-10-09
    • 文件大小:16mb
    • 提供者:qq_41191951
  1. 基于复杂网络的脑电信号分析 main.m

  2. 基于复杂网络的脑电信号分析 将时间序列中值的范围粗粒化为Q分位数,......,,并且令M是从时间序列X∈T到网络g∈G的映射,其中,是一组节点N和边A。具体来说,一旦识别出Q分位数,M就将每个分位数分配到相应网络中的节点。当x(t)与x(t+k)分别属于分位数和时,连接节点和的加权弧记为,其中t = 1,2,......,T,时间差k = 1,..., < T。 此类资源为用matlab实现此类效果的主函数main.m文件
  3. 所属分类:算法与数据结构

    • 发布日期:2019-05-10
    • 文件大小:4kb
    • 提供者:cxj57
  1. 炸开图像代码源码(main.m)

  2. matlab炸开图像代码源码,是个M文件,电脑安装有matlab的同学可以直接打开使用
  3. 所属分类:其它

    • 发布日期:2019-07-29
    • 文件大小:1kb
    • 提供者:qq_43215245
  1. 一个GUI设计实例基本上常用的控件都用上了-main.m

  2. 一个GUI设计实例基本上常用的控件都用上了-main.m 这是一个对图像进行边界提取的例子,里面包含了常用的gui控件和变量,值的传递情况,打开一个新文件,保存一 个做好的文件等。新手可以参考里面的程序代码的写法,因为我也是刚学会的,这也是我第一个。我学的时候遇到的问 题就是一个控件下面的具体代码不知道如何些,而书上面往往因为这问题太简单而不提及,让我很是郁闷。         另外求助下:就是我在打开文件或保存文件的时候,打开对话框以后如果正常打开或保存就没问题,但是如果选择 取消的话就会出
  3. 所属分类:其它

    • 发布日期:2019-08-12
    • 文件大小:16kb
    • 提供者:weixin_39840387
  1. 基于matlab的FFT算法实现实序列线性卷积方法二-main.m

  2. 基于matlab的FFT算法实现实序列线性卷积方法二-main.m 基本思想上一贴已经说过只要按照程序运行即可 分块执行,特别要说明的是该倒序算法比较经典 方法很是独特,注意体会 附件中 第一个为倒序算法,第二个是DIT-FFT算法,第三个是输入给定序列也可以不要,直接键盘输到COMMEND WINDOW    有选择性的 第四个是逆傅里叶变换,第五个是主函数吧。 由于刚刚一口气做的没来得及规范程序,看着可能很凌乱 但可以实现
  3. 所属分类:其它

    • 发布日期:2019-08-13
    • 文件大小:765byte
    • 提供者:weixin_39840515
  1. 使用偏微分方程PDE进行图像去噪的matlab代码集合-main.m

  2. 使用偏微分方程PDE进行图像去噪的matlab代码集合-main.m 希望对大家有帮助
  3. 所属分类:其它

  1. lms自适应算法-main.m

  2. lms自适应算法-main.m LMS算法       全称 Least mean square 算法。中文是最小均方算法。   感知器和自适应线性元件在历史上几乎是同时提出的,并且两者在对权值的调整的算法非常相似。它们都是基于纠错学习规则的学习算法。感知器算法存在如下问题:不能推广到一般的前向网络中;函数不是线性可分时,得不出任何结果。而由美国斯坦福大学的Widrow和Hoff在研究自适应理论时提出的LMS算法,由于其容易实现而很快得到了广泛应用,成为自适应滤波的标准算法。       这是
  3. 所属分类:其它

    • 发布日期:2019-08-13
    • 文件大小:644byte
    • 提供者:weixin_39841882
  1. MATLAB小游戏扫雷-main.m

  2. MATLAB小游戏扫雷-main.m 本帖最后由 wuyou136 于 2016-2-19 13:15 编辑 这是用来练习GUI编写的小游戏,规则应该不用介绍了,大家应该都很熟悉,给需要学习GUI的人分享一下源代码。游戏第一次点击时绝对不会触雷,并且当点开一块周围没有雷的地方时,与它相邻的周围不含雷的块会自动展开。 游戏设置了3个难度选项,分别是: easy: 9*9 medium: 16*16 hard: 22*22 游戏胜利判定: 当用右键把所有雷标记出来时,判定游戏胜利; 运行: 直接解
  3. 所属分类:其它

    • 发布日期:2019-08-13
    • 文件大小:12kb
    • 提供者:weixin_39840387
  1. matlab解决桌球射击方位角-main.m

  2. matlab解决桌球射击方位角-main.m matlab解决桌球射击方位角: 利用MatLab解决桌球射击方位角问题:        有2个球置于矩形板之上,一个用来做射击球,另一个则是作为目标图,现在考虑的问题是,如何设置射击球的方向,从而撞击目标球,使之进入矩形板的四个角点。可以利用矩形边的反弹,忽略摩擦。 这个问题其实就是桌球射击的理想化的简化版。由于没有摩擦,所以碰撞之后,目标球的行进方向将沿着射击球球心到目标球的球心的射线方向,并且由于没有摩擦,将不需要考虑速度这个概念。简化起见,
  3. 所属分类:其它

  1. 折半查找main.cpp

  2. 折半插入排序(Binary Insertion Sort)是对插入排序算法的一种改进,所谓排序算法过程,就是不断的依次将元素插入前面已排好序的序列中。 排序思想:有一组数据待排序,排序区间为Array[0]~Array[n-1]。将数据分为有序数据和无序数据,第一次排序时默认Array[0]为有序数据,Array[1]~Array[n-1]为无序数据。有序数据分区的第一个元素位置为low,最后一个元素的位置为high。 遍历无序区间的所有元素,每次取无序区间的第一个元素Array[i]
  3. 所属分类:C/C++

    • 发布日期:2020-06-17
    • 文件大小:981byte
    • 提供者:qq_43461262
  1. 最优化-线性规划单纯形法-大M法和两阶段法程序实现.rar

  2. 线性规划单纯形法-大M法和两阶段法程序实现(MATLAB)。程序有详细的注释。通俗易懂。 程序共有三个函数:main函数、twophase.m函数、MySimplex_method.m函数。 其中twophase.m函数是利用两阶段单纯形法。MySimplex_method.m函数是利用大M法单纯形法求解。 MySimplex_method.m函数既包含大M法,也包含单纯形法。twophase.m的单纯形法求解是通过调用MySimplex_method.m函数实现的。
  3. 所属分类:互联网

    • 发布日期:2020-06-14
    • 文件大小:4kb
    • 提供者:qq_36934996
  1. main.m.txt

  2. MATLAB车牌自动识别主函数,设计GUI来帮助实现车牌识别认证。包括图像的灰度化处理,二值化,边缘检测等处理,还有自动匹配数字模板,来实现车牌的自动识别。
  3. 所属分类:电信

    • 发布日期:2020-07-09
    • 文件大小:6kb
    • 提供者:elegantfly7
  1. test_SNR.m

  2. 对采样数据进行SNR分析,通过工程项目验证,可以使用。将此文件作为主main函数就可以,调用或者添加均可
  3. 所属分类:互联网

    • 发布日期:2020-07-05
    • 文件大小:1kb
    • 提供者:m0_37713895
« 12 3 4 5 6 7 8 9 10 ... 50 »