提出了Strand空间模型中证明安全协议的一个新思路

相 关 资 源

• 提出了Strand空间模型中证明安全协议的一个新思路免费下载

  资源简介：提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思...

  标签： Strand 空间模型 安全协议 新思

  上传时间： 2015-11-08

  上传用户：jeffery

• 这个是隐markov模型中viterbi算法实现的一个具体实例程序 很好免费下载

  资源简介：这个是隐markov模型中viterbi算法实现的一个具体实例程序 很好

  标签： viterbi markov 模型 实例程序

  上传时间： 2015-07-02

  上传用户：牛津鞋

• 一种基于蚁群聚类的径向基神经网络 提出了一种基于蚁群聚类算法的径向基神经网络. 利用蚁群算法的并行寻优特征和挥发系 数方法的自适应更改信息量的能力,并以球面聚类的方式确定了径向基神经网络中基函数的免费下载

  资源简介：一种基于蚁群聚类的径向基神经网络 提出了一种基于蚁群聚类算法的径向基神经网络. 利用蚁群算法的并行寻优特征和挥发系 数方法的自适应更改信息量的能力,并以球面聚类的方式确定了径向基神经网络中基函数的位置, 同时通过比较隐层神经元的相似性、合并相似...

  标签： 径向 神经网络 蚁群聚类 并行

  上传时间： 2013-12-26

  上传用户：wuyuying

• 经网络提出了一种基于蚁群聚类算法的径向基神经网络. 利用蚁群算法的并行寻优特征和挥发系数方法的自适应更改信息量的能力,并以球面聚类的方式确定了径向基神经网络中基函数的位置, 同时通过比较隐层神经元的相免费下载

  资源简介：经网络提出了一种基于蚁群聚类算法的径向基神经网络. 利用蚁群算法的并行寻优特征和挥发系数方法的自适应更改信息量的能力,并以球面聚类的方式确定了径向基神经网络中基函数的位置, 同时通过比较隐层神经元的相似性、合并相似性较为接近的2 个神经元来约简隐...

  标签： 径向 神经网络 网络 算法

  上传时间： 2014-01-16

  上传用户：saharawalker

• 提出了欧氏算法和IDFT相结合的RS码流式解码方案,并在FPGA芯片上予以实现。计算机仿真和实测表明,该方案在GF(28)的符号速率可达50MHz以上,最大延时为640ns,满足了高速宽带无线接入网中免费下载

  资源简介：提出了欧氏算法和IDFT相结合的RS码流式解码方案,并在FPGA芯片上予以实现。计算机仿真和实测表明,该方案在GF(28)的符号速率可达50MHz以上,最大延时为640ns,满足了高速宽带无线接入网中抗干扰编译码的需求。

  标签： IDFT FPGA 640 MHz

  上传时间： 2013-12-08

  上传用户：yulg

• 为了降低图像高层语义与低层视觉特征之间的语义差异,本文以对象描述模型为基础,提出利用机器转换模型获取图像高层语义的方法。本方法首先利用图像分割技术对图像进行分割,然后利用机器学习的方法,得到训练样本集免费下载

  资源简介：为了降低图像高层语义与低层视觉特征之间的语义差异,本文以对象描述模型为基础,提出利用机器转换模型获取图像高层语义的方法。本方法首先利用图像分割技术对图像进行分割,然后利用机器学习的方法,得到训练样本集中高层语义与分割后低层视觉特征之间的先验概率...

  标签： 图像 分割技术 分割 视觉特征

  上传时间： 2014-01-04

  上传用户：comua

• 提出了装配机器人系统中一种基于视觉引导和超声测距的运动目标跟踪和抓取 方法。介绍了运动目标的跟踪原理免费下载

  资源简介：提出了装配机器人系统中一种基于视觉引导和超声测距的运动目标跟踪和抓取 方法。介绍了运动目标的跟踪原理，采用图像雅可比矩阵进行机器人运动控制，跟踪运动 的目标。利用视觉引导技术，获取目标在图像平面中的位置与方位，进行平面跟踪，然后 引导超声波...

  标签： 装配 机器人 超声测距

  上传时间： 2014-01-02

  上传用户：rocketrevenge

• 单片机复位电路的可靠性设计,介绍了在单片机应用中需要用到的一些比较安全的复位方式免费下载

  资源简介：单片机复位电路的可靠性设计,介绍了在单片机应用中需要用到的一些比较安全的复位方式

  标签： 单片机 复位电路 可靠性设计 单片机应用

  上传时间： 2016-10-27

  上传用户：agent

• 本文介绍了子空间模型辨识的多种方法免费下载

  资源简介：本文介绍了子空间模型辨识的多种方法，并对其不同的方法进行了综合的分析，研究，比较。

  标签： 子空间 模型辨识

  上传时间： 2017-05-11

  上传用户：希酱大魔王

• 本文档很好的阐述了软件开发过程中要注意到的版本控制问题免费下载

  资源简介：本文档很好的阐述了软件开发过程中要注意到的版本控制问题，提出了很好的管理经验，供大家参考

  标签： 文档 控制 软件开发 版本

  上传时间： 2014-01-25

  上传用户：daoxiang126

• 计算机系统虚拟实验（微）汇编系统的开发是在原先网上计算机系统虚拟实验室的基础上提出的一个新课题。它是为了满足让学生更深一步的理解汇编及微汇编语言在计算机硬件系统中的工作原理的需要免费下载

  资源简介：计算机系统虚拟实验（微）汇编系统的开发是在原先网上计算机系统虚拟实验室的基础上提出的一个新课题。它是为了满足让学生更深一步的理解汇编及微汇编语言在计算机硬件系统中的工作原理的需要，而设计的一种将汇编及微汇编指令翻译成机器代码的翻译器 现在市...

  标签： 计算机系统 汇编 虚拟实验 工作原理

  上传时间： 2017-01-19

  上传用户：维子哥哥

• <<MATLAB遗传算法工具箱及应用>>介绍了如何在MATLAB中完成遗传算法的应用。遗传算法[Genetic Arithmatic免费下载

  资源简介：<<MATLAB遗传算法工具箱及应用>>介绍了如何在MATLAB中完成遗传算法的应用。遗传算法[Genetic Arithmatic，简称GA]是以自然选择和遗传理论为基础，将生物进化过程中适者生存规则与群体内部染色体的随机信息交换机制相结合的高效全局寻优搜索算法。GA摒弃传统的...

  标签： MATLAB Arithmatic Genetic lt

  上传时间： 2017-03-09

  上传用户：colinal

• 开放数据库互连(ODBC)已经成为Client/Server数据库应用系统中访问远程数据库的一个标准。作为强大的前端开发工具,Visual Basic为开发者提供了多种访问ODBC数据源的途径,如JE免费下载

  资源简介：开放数据库互连(ODBC)已经成为Client/Server数据库应用系统中访问远程数据库的一个标准。作为强大的前端开发工具,Visual Basic为开发者提供了多种访问ODBC数据源的途径,如JET数据库引擎、ODBC API函数、RDO接口等。比较而言,直接使用ODBC API函数的编程难度最...

  标签： ODBC Client Server Visual

  上传时间： 2014-01-04

  上传用户：BIBI

• 提出了一种二维小波变换的编码方案：无解压密码免费下载

  资源简介：提出了一种二维小波变换的编码方案：无解压密码

  标签： 二维小波变换 编码 方案 密码

  上传时间： 2015-04-10

  上传用户：mikesering

• 该程序解决了单片机c语言中时序要求严格的问题,已经调试通过免费下载

  资源简介：该程序解决了单片机c语言中时序要求严格的问题,已经调试通过

  标签： 程序 单片机c语言 时序 调试

  上传时间： 2014-01-03

  上传用户：zq70996813

• Huffman于1952年提出了这种方法,开始主要用于电报报文的编码,常用的英文字母E,T应该如何编码,不常用的应该如何编码,免费下载

  资源简介：Huffman于1952年提出了这种方法,开始主要用于电报报文的编码,常用的英文字母E,T应该如何编码,不常用的应该如何编码,

  标签： Huffman 1952 编码 电报

  上传时间： 2015-07-15

  上传用户：kernaling

• 这是java编程中与安全有关的一些小例子免费下载

  资源简介：这是java编程中与安全有关的一些小例子，不过是英文的，相信对于英文有一定基础同时想对java安全编程有所了解的初学者有帮助

  标签： java 编程

  上传时间： 2015-08-14

  上传用户：aa54

• 此文档主要描述了话音呼叫控制中对各状态的控制免费下载

  资源简介：此文档主要描述了话音呼叫控制中对各状态的控制

  标签： 控制 文档 话音 状态

  上传时间： 2015-09-10

  上传用户：agent

• 该源码提供了数据压缩算法中经常需要使用的内存中的位操作常用算法免费下载

  资源简介：该源码提供了数据压缩算法中经常需要使用的内存中的位操作常用算法

  标签： 算法 源码 数据压缩 内存

  上传时间： 2015-09-30

  上传用户：zsjinju

• 收集了在电子设计中能用到的大多数的计算软件免费下载

  资源简介：收集了在电子设计中能用到的大多数的计算软件，我相信对大家有很大的好处。

  标签： 电子设计 计算软件

  上传时间： 2013-11-26

  上传用户：banyou

• 提出了一种基于 JPEG/JPEG2000相结合的医学图像感兴趣区域压缩方法。该方法对在人为选定 医学图像的感兴趣区域采用无损的 JPEG2000压缩 ,而对其他图像区域则采用高压缩比的 JPEG压免费下载

  资源简介：提出了一种基于 JPEG/JPEG2000相结合的医学图像感兴趣区域压缩方法。该方法对在人为选定 医学图像的感兴趣区域采用无损的 JPEG2000压缩 ,而对其他图像区域则采用高压缩比的 JPEG压缩,较好地解决了医学图像的高压缩比和高质量之间的矛盾。

  标签： JPEG 2000 医学图像 图像

  上传时间： 2014-01-01

  上传用户：fandeshun

• 简要讲解了一下linux内核中tcpip数据流的走向免费下载

  资源简介：简要讲解了一下linux内核中tcpip数据流的走向

  标签： linux tcpip 内核 数据流

  上传时间： 2016-02-15

  上传用户：shizhanincc

• java解惑 经典JAVA书籍 详细介绍了在JAVA编程中最容易出现的错误. 值得一读.免费下载

  资源简介：java解惑 经典JAVA书籍 详细介绍了在JAVA编程中最容易出现的错误. 值得一读.

  标签： JAVA java 书籍 详细介绍

  上传时间： 2013-12-17

  上传用户：784533221

• 这本书讲了如何在vc中开发出漂亮的对话框界面。免费下载

  资源简介：这本书讲了如何在vc中开发出漂亮的对话框界面。

  标签： 对话框

  上传时间： 2016-03-05

  上传用户：yxgi5

• 摘要: 研究了蒙特卡罗仿真原理和仿真结果置信度 结合AWGN(加性白高斯噪声) 信道特点,甄选出3 个合适的 参量,即误码个数、置信概率和仿真结果最大相对误差 提出了AWGN 信道下仿真数据量选取的免费下载

  资源简介：摘要: 研究了蒙特卡罗仿真原理和仿真结果置信度 结合AWGN(加性白高斯噪声) 信道特点,甄选出3 个合适的 参量,即误码个数、置信概率和仿真结果最大相对误差 提出了AWGN 信道下仿真数据量选取的一般性结论,即误 码个数正比于置信区间上分位点的平方、反比于最...

  标签： AWGN 仿真 信道 蒙特卡罗仿真

  上传时间： 2016-03-22

  上传用户：cylnpy

• 隐式曲面容易生成几何形状, 但是难于绘制。为了解决此缺点, 提出了一种使用 迭代函数系统的点式隐式曲面绘制算法, 它的实现非常简单, 易于编程。免费下载

  资源简介：隐式曲面容易生成几何形状, 但是难于绘制。为了解决此缺点, 提出了一种使用 迭代函数系统的点式隐式曲面绘制算法, 它的实现非常简单, 易于编程。

  标签： 几何 绘制 函数

  上传时间： 2013-12-26

  上传用户：hjshhyy

• 包含了很多DSP编程中要用到的常用函数的代码免费下载

  资源简介：包含了很多DSP编程中要用到的常用函数的代码

  标签： DSP 编程 函数 代码

  上传时间： 2013-12-14

  上传用户：xhz1993

• 本文提出了一种对μClinux 进行实时改造的方案,该方案采用双内核机制,借助RTLinux 的实现思想,利用内 核模块的可动态加载技术,对普通μClinux 进行实时性改造。实验表明,该系统实时任免费下载

  资源简介：本文提出了一种对μClinux 进行实时改造的方案,该方案采用双内核机制,借助RTLinux 的实现思想,利用内 核模块的可动态加载技术,对普通μClinux 进行实时性改造。实验表明,该系统实时任务的调度响应和中断延时在微秒级 别,能够满足硬实时系统对时间的限制。

  标签： Clinux RTLinux 方案 内核

  上传时间： 2013-12-06

  上传用户：脚趾头

• 文章介绍了在OFDM系统中基于导频的信道估计方法免费下载

  资源简介：文章介绍了在OFDM系统中基于导频的信道估计方法

  标签： OFDM 导频 信道估计

  上传时间： 2016-09-17

  上传用户：362279997

• 本文介绍了如何在powerbuilder中实现动态报表的思想免费下载

  资源简介：本文介绍了如何在powerbuilder中实现动态报表的思想，希望对有需要的朋友有所启发

  标签： powerbuilder 动态 报表

  上传时间： 2014-12-08

  上传用户：ve3344