一种从Z 规约到并行程序的精化方法

相 关 资 源

• 一种从Z 规约到并行程序的精化方法免费下载

  资源简介：一种从Z 规约到并行程序的精化方法

  标签： 规约 并行程序

  上传时间： 2013-12-22

  上传用户：邶刖

• CSDN论坛-算法精华.chm文件 有各种各样的算法,如:最短路径有两种不同的提法：一是从某个顶点到其它顶点的最短路径免费下载

  资源简介：CSDN论坛-算法精华.chm文件 有各种各样的算法,如:最短路径有两种不同的提法：一是从某个顶点到其它顶点的最短路径，二是每一对顶点的最短路径，前者是否包含后者？若不然，前者与最小生成树有何区别？

  标签： CSDN chm 算法 最短路径

  上传时间： 2014-01-10

  上传用户：努力努力再努力

• 这是一本从MATLAB基础到各种编程的电子书免费下载

  资源简介：这是一本从MATLAB基础到各种编程的电子书，它对各类程序讲解非常详细

  标签： MATLAB 编程 电子书

  上传时间： 2013-12-21

  上传用户：小儒尼尼奥

• .NET Remoting(下文简称Remoting)是一种可用于开发分布式应用程序的技术。其主要的结构免费下载

  资源简介：.NET Remoting(下文简称Remoting)是一种可用于开发分布式应用程序的技术。其主要的结构，分为：远程对象、提供远程对象的远程服务器，以及可以访问何使用远程对象的客户端。这三个部分，可以分布于同一台计算机的同一个进程，或者是不同的进程，也可以是处于...

  标签： Remoting NET 分布式 应用程序

  上传时间： 2013-12-16

  上传用户：qiaoyue

• 嵌入式网关的设计与实现 一种vxWorks下网卡快速切换的实现方法 一种基于CS模式的TCP通信程序在Vxworks中设计与实现免费下载

  资源简介：嵌入式网关的设计与实现 一种vxWorks下网卡快速切换的实现方法 一种基于CS模式的TCP通信程序在Vxworks中设计与实现

  标签： vxWorks Vxworks TCP 嵌入式网关

  上传时间： 2016-05-06

  上传用户：qiao8960

• 一种旋转机械振动信号特征提取的新方法免费下载

  资源简介：一种旋转机械振动信号特征提取的新方法，利用小波技术

  标签： 旋转机械 振动信号 特征提取

  上传时间： 2014-08-04

  上传用户：wfl_yy

• 该文详细分析了履带式机器人的受力特点, 提出了一种适于进行控制器设计的履带机器人模型, 并在此基础上, 按照反馈线性化的思想, 提出了一种履带式机器人稳定路径跟踪控制器的设计方法, 同时给出了方法的非免费下载

  资源简介：该文详细分析了履带式机器人的受力特点, 提出了一种适于进行控制器设计的履带机器人模型, 并在此基础上, 按照反馈线性化的思想, 提出了一种履带式机器人稳定路径跟踪控制器的设计方法, 同时给出了方法的非奇异条件。该文提出的控制系统模型和路径跟踪方法, 为...

  标签： 机器人 分 制器设计 反馈线性

  上传时间： 2016-06-10

  上传用户：alan-ee

• 本书介绍目前最常见的并行程序—MPI并行程序的设计方法它适合高校三四年级本科 生非计算机专业研究生作为教材和教学自学参考书也适合于广大的并行计算高性能计 算用户作为自学参考书使用对于有FORTRA免费下载

  资源简介：本书介绍目前最常见的并行程序—MPI并行程序的设计方法它适合高校三四年级本科 生非计算机专业研究生作为教材和教学自学参考书也适合于广大的并行计算高性能计 算用户作为自学参考书使用对于有FORTRAN和C编程经验的人员都可以阅读并掌握 本书的内容

  标签： FORTRA MPI 并行程序 设计方法

  上传时间： 2014-01-10

  上传用户：xsnjzljj

• 本文介绍了一种单片机系统中高速数据采集的实现方法免费下载

  资源简介：本文介绍了一种单片机系统中高速数据采集的实现方法，我一直想在Windows系统下,做出一种能实时刷新的高速数据采集的方式,但总是不理想,大多也是用缓存的方式将数据存储起来,然后处理,无法真正的实现实时的数据刷新,还是要用硬件的方式去实现,下文就是介绍了这...

  标签： 单片机系统 高速数据 采集 实现方法

  上传时间： 2014-01-15

  上传用户：athjac

• 一个自由、开源的图形库--FreeImage3.92最新版的中文参考(支持位图构件―例如调色板和数据位―的便易访问；将位图从一种位深度转换到另一种位深度；当有多幅位图页―例如TIFF―时访问位图的不同免费下载

  资源简介：一个自由、开源的图形库--FreeImage3.92最新版的中文参考(支持位图构件―例如调色板和数据位―的便易访问；将位图从一种位深度转换到另一种位深度；当有多幅位图页―例如TIFF―时访问位图的不同页；基本的位图处理，如旋转、翻转（flipping）和重采样，或点操...

  标签： FreeImage 位图 3.92 TIFF

  上传时间： 2014-12-03

  上传用户：lacsx

• A*（A-Star)算法是一种静态路网中求解最短路最有效的方法。 公式表示为： f(n)=g(n)+h(n), 其中f(n) 是节点n从初始点到目标点的估价函数免费下载

  资源简介：A*（A-Star)算法是一种静态路网中求解最短路最有效的方法。 公式表示为： f(n)=g(n)+h(n), 其中f(n) 是节点n从初始点到目标点的估价函数， g(n) 是在状态空间中从初始节点到n节点的实际代价， h(n)是从n到目标节点最佳路径的估计代价。

  标签： A-Star 算法 短路 函数

  上传时间： 2014-01-18

  上传用户：lhc9102

• 一种新的时频分析方法对应的程序送给搞EMD或者HHT但没有下载到完整程序的朋友。源码免费下载

  资源简介：一种新的时频分析方法对应的程序送给搞EMD或者HHT但没有下载到完整程序的朋友。源码

  标签： EMD HHT 程序 时频

  上传时间： 2016-02-22

  上传用户：yxgi5

• 看重讨论了数字接收机中载波同步环的一种设计方法,详细分析了从模拟域到数字域的转化过程免费下载

  资源简介：看重讨论了数字接收机中载波同步环的一种设计方法,详细分析了从模拟域到数字域的转化过程，并以16QAM数字接收机载波同步环为例给出了相应的结论

  标签： 数字接收 分 数字 机中

  上传时间： 2014-11-07

  上传用户：璇珠官人

• C 正迅速成为一种最重要, 也是最流行的程序设计语言。它的使用一直在增长是因为人们一用它, 就将喜欢它。当你学习 C 语言时, 你也会认识到它有许多优点。免费下载

  资源简介：C 正迅速成为一种最重要, 也是最流行的程序设计语言。它的使用一直在增长是因为人们一用它, 就将喜欢它。当你学习 C 语言时, 你也会认识到它有许多优点。

  标签： 正 程序设计语言 语言

  上传时间： 2013-12-23

  上传用户：aysyzxzm

• c语言一个子函数实现从1毫秒到1分钟的延时程序免费下载

  资源简介：c语言一个子函数实现从1毫秒到1分钟的延时程序

  标签： c语言 函数 分 延时程序

  上传时间： 2017-07-22

  上传用户：851197153

• Windows Driver Model(WDM)的根源可追溯到几年前一种叫做Windows for Workgroups 3.10的操作系统。那时候我们努力地支持无数不同的SCSI控制器免费下载

  资源简介：Windows Driver Model(WDM)的根源可追溯到几年前一种叫做Windows for Workgroups 3.10的操作系统。那时候我们努力地支持无数不同的SCSI控制器，我长期地注意WindowsNT开发组创建的小端口驱动程序类型。不久就认识到重新构造必要的映象加载器(image loader)和...

  标签： Windows Workgroups Driver Model

  上传时间： 2013-12-21

  上传用户：ddddddos

• 一种基于8051核SoC引导程序的设计与实现免费下载

  资源简介：引导程序的开发是系统芯片设计的重要组成部分。针对基于8051核的某控制系统芯片的具体要求，提出了一种系统芯片引导程序的设计策略。该策略思路是：当系统上电复位后,开始执行固化在系统芯片中的引导程序，并加载存储于片外串行接口Flash的用户程序到片内SRAM...

  标签： 8051 SoC 引导程序

  上传时间： 2013-11-23

  上传用户：zhtzht

• “JSP数据库项目案例导航”一书从第一章到第十一章各章实例的源程序文件以及数据库文件。 注意： 1. 本书中的案例提供的数据库环境不同免费下载

  资源简介：“JSP数据库项目案例导航”一书从第一章到第十一章各章实例的源程序文件以及数据库文件。 注意： 1. 本书中的案例提供的数据库环境不同，因此每一个案例都要安装对应的数据库软件。本书用到的数据库软件有：Oracle9i、SQLServer2000、MySQL、Access2000。 ...

  标签： JSP 数据库 案例 导航

  上传时间： 2016-06-16

  上传用户：gxf2016

• 细胞神经网络(CNN)GUI源代码 细胞神经网络(CNN)是一种和人类神经网络非常相似的并行计算模型免费下载

  资源简介：细胞神经网络(CNN)GUI源代码 细胞神经网络(CNN)是一种和人类神经网络非常相似的并行计算模型，各个邻接节点间有不同的通信。在本程序中A模型是反馈矩阵，B是控制矩阵。

  标签： CNN 神经网络 GUI 源代码

  上传时间： 2014-01-27

  上传用户：kelimu

• 微软亚洲研究院论文：一种用于保证端到端统计型服务质量要求的接纳控制方案免费下载

  资源简介：微软亚洲研究院论文：一种用于保证端到端统计型服务质量要求的接纳控制方案

  标签： 微软 论文 端到端 服务质量

  上传时间： 2014-01-05

  上传用户：WMC_geophy

• 另一种离散傅立叶变换程序免费下载

  资源简介：另一种离散傅立叶变换程序

  标签： 离散 傅立叶变换 程序

  上传时间： 2014-12-06

  上传用户：yangbo69

• 一款从网上得来数字识别程序,用的算法是神经网络免费下载

  资源简介：一款从网上得来数字识别程序,用的算法是神经网络

  标签： 数字识别 程序 神经网络 算法

  上传时间： 2015-03-18

  上传用户：电子世界

• 本程序给出了一种msp430单片机模拟实现i2c总线的一种方法免费下载

  资源简介：本程序给出了一种msp430单片机模拟实现i2c总线的一种方法

  标签： msp 430 i2c 程序

  上传时间： 2015-03-29

  上传用户：thuyenvinh

• 硕士论文题目:网络环境下组态软件的研究与开发 主要内容:该文通过对网络技术和组态软件的研究与分析,提出了一种网络环境下组态软件的结构框架,并通过编程实现了基于Web的组态软件的开发.通过对计算机网络免费下载

  资源简介：硕士论文题目:网络环境下组态软件的研究与开发 主要内容:该文通过对网络技术和组态软件的研究与分析,提出了一种网络环境下组态软件的结构框架,并通过编程实现了基于Web的组态软件的开发.通过对计算机网络在工业信息监视系统上的应有物分析,我们将Internet技...

  标签： 组态软件 Web 环境 网络

  上传时间： 2013-12-24

  上传用户：lepoke

• C++中定义变量的一个小程序,C++中变量声明与C中有一些区别,这个程序使用于从C转到C++上的学者免费下载

  资源简介：C++中定义变量的一个小程序,C++中变量声明与C中有一些区别,这个程序使用于从C转到C++上的学者

  标签： 变量 程序 定义

  上传时间： 2013-12-02

  上传用户：PresidentHuang

• 本文是介绍如何从UNIX到NT程序的可移植技术,(国内是没有这方面的资料,所以是E文哦)免费下载

  资源简介：本文是介绍如何从UNIX到NT程序的可移植技术,(国内是没有这方面的资料,所以是E文哦)

  标签： UNIX 程序 移植技术 方面

  上传时间： 2013-12-04

  上传用户：haoxiyizhong

• 遍历是二叉树经常要遇到的一种操作.可以运用到二叉树结点计数,线索化二叉树,求二叉树的深度,表达式求值等算法中.在遍历的过程中,对结点的访问具有普遍的含义,可以是输出各结点的数据域信息,也可以是对结点作免费下载

  资源简介：遍历是二叉树经常要遇到的一种操作.可以运用到二叉树结点计数,线索化二叉树,求二叉树的深度,表达式求值等算法中.在遍历的过程中,对结点的访问具有普遍的含义,可以是输出各结点的数据域信息,也可以是对结点作其他处理.另外,通过一次完整的遍历,可使二叉树中结...

  标签： 二叉树 操作 表达式 算法

  上传时间： 2014-01-12

  上传用户：yuanyuan123

• 一种从MPEG视频流中快速分割镜头的算法免费下载

  资源简介：一种从MPEG视频流中快速分割镜头的算法

  标签： MPEG 视频流 分割 算法

  上传时间： 2014-12-06

  上传用户：myworkpost

• Xilinx提供的一种利用线缓存进行插值的隔行变逐行程序免费下载

  资源简介：Xilinx提供的一种利用线缓存进行插值的隔行变逐行程序，比普通算法效果有很大改进。

  标签： Xilinx 缓存 插值 程序

  上传时间： 2013-12-24

  上传用户：

• 本目录提供了<<ASP.NET+SQL Server数据库开发与实例>>一书从第4到第11章实例的核心源程序、数据库文件。免费下载

  资源简介：本目录提供了<<ASP.NET+SQL Server数据库开发与实例>>一书从第4到第11章实例的核心源程序、数据库文件。

  标签： Server lt gt ASP

  上传时间： 2015-09-18

  上传用户：佳期如梦