形式验证法（论文）

相 关 资 源

• 数组排序算法,这个程序的头文件中包含四种排序方法：泡沫排序法（bubble）免费下载

  资源简介：数组排序算法,这个程序的头文件中包含四种排序方法：泡沫排序法（bubble），插入排序法（insertion），快速排序法（quick）和选择排序法（selection）。头文件中还使用了模板技术，以便可以同时实现几种类型的排序算法

  标签： bubble 排序 数组 排序算法

  上传时间： 2015-01-05

  上传用户：Thuan

• 台湾人对聚类算法的一个介绍。分群法（clustering）是一種最普遍將資料分類成群的方法免费下载

  资源简介：台湾人对聚类算法的一个介绍。分群法（clustering）是一種最普遍將資料分類成群的方法，其主要的目的乃在於找出資料中較相似的幾個群組。

  标签： clustering 分 聚类算法

  上传时间： 2013-12-16

  上传用户：lxm

• 采用总变分法（TV）进行图像修复的matlab源代码。包括热扩散修复和多尺度方法。免费下载

  资源简介：采用总变分法（TV）进行图像修复的matlab源代码。包括热扩散修复和多尺度方法。

  标签： matlab 分 图像 源代码

  上传时间： 2015-05-06

  上传用户：xlcky

• 使用matlab编辑的层次分析法（ahp）源代码免费下载

  资源简介：使用matlab编辑的层次分析法（ahp）源代码

  标签： matlab ahp 编辑 层次分析法

  上传时间： 2013-12-26

  上传用户：baiom

• 这个程序的头文件中包含四种排序方法：泡沫排序法（bubble）免费下载

  资源简介：这个程序的头文件中包含四种排序方法：泡沫排序法（bubble），插入排序法（insertion），快速排序法（quick）和选择排序法（selection）。头文件中还使用了模板技术，以便可以同时实现几种类型的排序算法。

  标签： bubble 排序 程序 头文件

  上传时间： 2013-12-23

  上传用户：jhksyghr

• 数学建模的层次分析法（AHP）的MATLAB程序免费下载

  资源简介：数学建模的层次分析法（AHP）的MATLAB程序

  标签： MATLAB AHP 数学建模 层次分析法

  上传时间： 2015-05-31

  上传用户：moshushi0009

• 利用奇异值法（SVD）对载入数据进行主成分分析免费下载

  资源简介：利用奇异值法（SVD）对载入数据进行主成分分析，源代码

  标签： SVD 数据 主成分分析

  上传时间： 2013-12-09

  上传用户：yuzsu

• mp3毕业设计（论文）开题报告 课题名称：车载数字音频接口设计 指导老师：蒋伟荣 学生：江学焕 班级：T283-4 学号：13 专业：电子信息科学免费下载

  资源简介：mp3毕业设计（论文）开题报告 课题名称：车载数字音频接口设计 指导老师：蒋伟荣 学生：江学焕 班级：T283-4 学号：13 专业：电子信息科学与技术（电子信息工程） 时间：2006年3月1日

  标签： mp3 283 毕业设计 报告

  上传时间： 2015-09-16

  上传用户：妄想演绎师

• 网络分析法（ANP）的一个实现免费下载

  资源简介：网络分析法（ANP）的一个实现，主要针对王莲芬老师的内部依存的递阶层次结构的4维超矩阵进行处理，详细内容见内部说明。

  标签： ANP 网络 分析法

  上传时间： 2013-12-23

  上传用户：xfbs821

• 层次分析法（AHP）的VB实现免费下载

  资源简介：层次分析法（AHP）的VB实现

  标签： AHP 层次分析法

  上传时间： 2013-12-19

  上传用户：l254587896

• 层次分析法（AHP） 美国运筹学家A.L.Saaty于本世纪70年代提出的层次分析法（Analytical Hierar-chy Process免费下载

  资源简介：层次分析法（AHP） 美国运筹学家A.L.Saaty于本世纪70年代提出的层次分析法（Analytical Hierar-chy Process，简称AHP方法)，是一种定性与定量相结合的决策分析方法。它是一种将决策者对复杂系统的决策思维过程模型化、数量化的过程。

  标签： Analytical Hierar-chy Process Saaty

  上传时间： 2013-12-19

  上传用户：hfmm633

• 数 据 结 构 与 算 法（C++）的 配套源代码。免费下载

  资源简介：数 据 结 构 与 算 法（C++）的 配套源代码。

  标签： 源代码

  上传时间： 2016-03-02

  上传用户：yph853211

• 分布式网络爬虫的设计与实现 、毕业设计（论文）使用的原始资料（数据）及设计免费下载

  资源简介：分布式网络爬虫的设计与实现 、毕业设计（论文）使用的原始资料（数据）及设计

  标签： 分布式 网络爬虫 毕业设计 数据

  上传时间： 2014-11-18

  上传用户：sjyy1001

• 求解TSP问题的动态邻域粒子群优化算法 （论文）免费下载

  资源简介：求解TSP问题的动态邻域粒子群优化算法 （论文）

  标签： TSP 动态 优化算法 粒子群

  上传时间： 2016-06-24

  上传用户：金宜

• 中北大学毕业设计（论文）的参考格式2006免费下载

  资源简介：中北大学毕业设计（论文）的参考格式2006

  标签： 2006 大学 毕业设计 论文

  上传时间： 2016-07-01

  上传用户：tonyshao

• 基于JAVA的在线考试系统（论文） 功能比较详尽免费下载

  资源简介：基于JAVA的在线考试系统（论文） 功能比较详尽，大家可以参考。

  标签： JAVA 比较 论文

  上传时间： 2013-12-11

  上传用户：aeiouetla

• 递归下降分析法 （1）E->TG （2）G->+TG|—TG （3）G->ε （4）T->FS （5）S->*FS|/FS （6）S->ε （7）F-免费下载

  资源简介：递归下降分析法 （1）E->TG （2）G->+TG|—TG （3）G->ε （4）T->FS （5）S->*FS|/FS （6）S->ε （7）F->(E) （8）F->i

  标签： gt FS TG 递归

  上传时间： 2016-07-22

  上传用户：cxl274287265

• LL(1)预测分析法 （1）判别文法是否为LL(1)文法。 （2）构造出分析表 （3）进行句子分析免费下载

  资源简介：LL(1)预测分析法 （1）判别文法是否为LL(1)文法。 （2）构造出分析表 （3）进行句子分析

  标签： LL 分 预测分析 判别

  上传时间： 2016-08-07

  上传用户：xfbs821

• 排序 得分排行 選擇、插入、氣泡排序 Shell 排序法 - 改良的插入排序 Shaker 排序法 - 改良的氣泡排序 Heap 排序法 - 改良的選擇排序 快速排序法（一） 快速排序法免费下载

  资源简介：排序 得分排行 選擇、插入、氣泡排序 Shell 排序法 - 改良的插入排序 Shaker 排序法 - 改良的氣泡排序 Heap 排序法 - 改良的選擇排序 快速排序法（一） 快速排序法（二） 快速排序法（三） 合併排序法 基數排序法

  标签： 排序 Shaker Shell Heap

  上传时间： 2016-11-17

  上传用户：123456wh

• 西安理工大学 自动化与信息工程 学院 2004 届学生毕业设计（论文）保存情况一览表免费下载

  资源简介：西安理工大学 自动化与信息工程 学院 2004 届学生毕业设计（论文）保存情况一览表

  标签： 2004 理工 大学 信息工程

  上传时间： 2014-09-10

  上传用户：yan2267246

• PLC的开发与应用（论文） 本论文是依托PLC实验系统设计与开发这个课题展开研究讨论的。该课题的主 要任务是设计一套适合教学实验、简单易用、功能齐全的PLC实验装置。该系统是以西门子S7一200免费下载

  资源简介：PLC的开发与应用（论文） 本论文是依托PLC实验系统设计与开发这个课题展开研究讨论的。该课题的主 要任务是设计一套适合教学实验、简单易用、功能齐全的PLC实验装置。该系统是以西门子S7一200为核心开发的，解决了科研和教学中实验器材短缺的问题，具有非...

  标签： PLC 200 论文 实验

  上传时间： 2013-12-19

  上传用户：xsnjzljj

• 大学C语言程序设计课程设计（论文）《推箱子》免费下载

  资源简介：大学C语言程序设计课程设计（论文）《推箱子》

  标签： 大学 C语言 程序设计 论文

  上传时间： 2017-02-09

  上传用户：BOBOniu

• //在单片机系统中常用的滤波算法 （1）程序判断法（2）中值滤波法 （3）算术平均滤波法 （4）加权平均滤波法（5）滑动平均滤波法 （6）低通滤波法（7）中位值平均滤波免费下载

  资源简介：//在单片机系统中常用的滤波算法 （1）程序判断法（2）中值滤波法 （3）算术平均滤波法 （4）加权平均滤波法（5）滑动平均滤波法 （6）低通滤波法（7）中位值平均滤波

  标签： 滤波 单片机系统 中值滤波 加权

  上传时间： 2014-01-13

  上传用户：luke5347

• 主成分分析法（PCA）思想和计算过程。PCA是特征提取的重要方法免费下载

  资源简介：主成分分析法（PCA）思想和计算过程。PCA是特征提取的重要方法

  标签： PCA 主成分分析 计算 特征提取

  上传时间： 2017-04-14

  上传用户：坏坏的华仔

• 特征矩阵的联合对角化法（JADE）免费下载

  资源简介：特征矩阵的联合对角化法（JADE），独立分量分析（ICA）的一种方法，用matlab编写

  标签： JADE 特征 矩阵 联合对角化

  上传时间： 2017-06-03

  上传用户：z1191176801

• 关于2009届毕业设计（论文）结束工作的通知免费下载

  资源简介：关于2009届毕业设计（论文）结束工作的通知

  标签： 2009 毕业设计 论文

  上传时间： 2014-01-22

  上传用户：haohaoxuexi

• 列主元消元法解线性方程组（已通过验证） LU分解法解线性方程组（已通过验证）： 雅可比迭代法（已通过P54例一和习题一的验证）高斯---赛得尔迭代法 拉哥朗日插值公式（乘幂法免费下载

  资源简介：列主元消元法解线性方程组（已通过验证） LU分解法解线性方程组（已通过验证）： 雅可比迭代法（已通过P54例一和习题一的验证）高斯---赛得尔迭代法 拉哥朗日插值公式（乘幂法

  标签： P54 解线性 方程 迭代法

  上传时间： 2013-12-13

  上传用户：lifangyuan12

• 电磁场计算中的时域有限差分法（王常清） pdf版免费下载

  资源简介：电磁场计算中的时域有限差分法（王常清） pdf版

  标签： 电磁场计算 时域 有限差分

  上传时间： 2013-04-15

  上传用户：eeworm

• 电磁场计算中的时域有限差分法（王常清）-382页-12.3M-pdf版.pdf免费下载

  资源简介：专辑类-微波相关专辑-共31册-341M 电磁场计算中的时域有限差分法（王常清）-382页-12.3M-pdf版.pdf

  标签： M-pdf 12.3 382

  上传时间： 2013-04-24

  上传用户：liuxiaojie

• 几篇关于FFT的论文（二）免费下载

  资源简介：·几篇关于FFT的论文（二）

  标签： FFT 论文

  上传时间： 2013-07-05

  上传用户：chfanjiang