安全协议一阶逻辑模型中攻击重构的实现

相 关 资 源

• Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑免费下载

  资源简介：Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言...

  标签： Goedel 语言 逻辑 程序设计语言

  上传时间： 2014-11-26

  上传用户：BIBI

• 一阶500s模型的模糊控制免费下载

  资源简介：一阶500s模型的模糊控制，用matlab 实现

  标签： 500s 模型 模糊控制

  上传时间： 2013-12-21

  上传用户：zycidjl

• 对某一阶迟滞模型进行PID控制免费下载

  资源简介：对某一阶迟滞模型进行PID控制，其中用到抗积分饱和算法

  标签： PID 模型 控制

  上传时间： 2017-06-06

  上传用户：Zxcvbnm

• 提出一种恢复场景中所有物体的反射特性的方法.对漫反射、各向同性反射和各向异性反射纹理 面的纹理恢复也作了深入研究 高光和阴影的影响也能基本去除.免费下载

  资源简介：提出一种恢复场景中所有物体的反射特性的方法.对漫反射、各向同性反射和各向异性反射纹理 面的纹理恢复也作了深入研究 高光和阴影的影响也能基本去除.

  标签： 反射

  上传时间： 2014-01-10

  上传用户：shanml

• 用于信号检测方面的,用在高阶谱估计中,很有用的函数免费下载

  资源简介：用于信号检测方面的,用在高阶谱估计中,很有用的函数

  标签： 信号检测 方面 函数 谱估计

  上传时间： 2015-07-14

  上传用户：himbly

• 实现DSP编程中重要的二阶巴特沃思滤波器的实现免费下载

  资源简介：实现DSP编程中重要的二阶巴特沃思滤波器的实现，编程环境可以用CCS或matlab

  标签： DSP 编程 二阶 滤波器

  上传时间： 2014-01-03

  上传用户：cursor

• 在matlab下对leach协议进行的仿真。leach协议是无线传感器网络中较为经典的分簇协议免费下载

  资源简介：在matlab下对leach协议进行的仿真。leach协议是无线传感器网络中较为经典的分簇协议，被广泛研究

  标签： leach matlab 协议 仿真

  上传时间： 2013-12-20

  上传用户：BIBI

• 一种基于贝叶斯理论的目标验证方法。 提出了一种验证图像中候选目标的新方案. 综合目标的先验知识,将目标验证转化为给定候选目标的条 件下,图像特征观察集合的条件概率问题. 同时,提取图像的短线段特征免费下载

  资源简介：一种基于贝叶斯理论的目标验证方法。 提出了一种验证图像中候选目标的新方案. 综合目标的先验知识,将目标验证转化为给定候选目标的条 件下,图像特征观察集合的条件概率问题. 同时,提取图像的短线段特征,利用短线段特征的观察,给出了一种目标 验证方法排除...

  标签： 图像 贝叶斯 方案 图像特征

  上传时间： 2013-11-26

  上传用户：rishian

• 用于24点采样的傅立叶分解用的系数组,很适用的哦。这是我的一款电机保护中所采用的算法免费下载

  资源简介：用于24点采样的傅立叶分解用的系数组,很适用的哦。这是我的一款电机保护中所采用的算法

  标签： 采样 傅立叶 分解 系数

  上传时间： 2013-12-13

  上传用户：xyipie

• 此源码是我从一篇日本论文中摘下来的免费下载

  资源简介：此源码是我从一篇日本论文中摘下来的，大家可以借鉴一下，如果需要的话。

  标签： 源码 日本 论文

  上传时间： 2017-06-17

  上传用户：wcl168881111111

• 酒吧模型MATLAB实现,实现了酒吧模型中参与人数的波动变化免费下载

  资源简介：酒吧模型MATLAB实现,实现了酒吧模型中参与人数的波动变化

  标签： MATLAB 模型 变化 波动

  上传时间： 2014-01-04

  上传用户：ghostparker

• 针对一阶惯性加纯滞后过程的广义预测控制算法研究免费下载

  资源简介：针对一阶惯性加纯滞后过程的广义预测控制算法研究 针对一阶惯性加纯滞后过程的广义预测控制算法研究

  标签： 过程 广义预测控制 算法研究

  上传时间： 2021-04-01

  上传用户：ls5255

• c编译器中time.h的实现免费下载

  资源简介：c编译器中time.h的实现，对于要想了解c的标准库，有必要看一看。

  标签： time 编译器

  上传时间： 2013-12-25

  上传用户：stella2015

• 看过徐景周写过的一篇“程序界面多模式显示的实现”免费下载

  资源简介：看过徐景周写过的一篇“程序界面多模式显示的实现”，在一个应用程序中使程序拥有多种显示模式，但是这个界面是由SDI的MFC文档视图结构实现，但是使用的代码在MDI的多文档/视图中不能实现，通过MSDN我找到了一些实现 MDI 的多模式实现方法，不敢独享，与大家...

  标签： 程序 多模式

  上传时间： 2015-11-03

  上传用户：大融融rr

• 计算机组成原理课程设计-模型机-加减法指令的实现.通过使用软件HKCPT免费下载

  资源简介：计算机组成原理课程设计-模型机-加减法指令的实现.通过使用软件HKCPT，了解程序编译，加载的过程。通过微单步，单拍调试，理解模型机中的数据流向。

  标签： HKCPT 计算机组成原理 模型 减法

  上传时间： 2017-02-06

  上传用户：小宝爱考拉

• 软件无线电中调制解调的实现AM-FM讲解免费下载

  资源简介：该文档为软件无线电中调制解调的实现AM-FM讲解文档，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看………………

  标签： 软件无线电

  上传时间： 2022-02-20

  上传用户：

• vc中编辑框的实现免费下载

  资源简介：vc中编辑框的实现

  标签： 编辑

  上传时间： 2014-10-12

  上传用户：Yukiseop

• 矩量法中奇异积分的实现免费下载

  资源简介：矩量法中奇异积分的实现

  标签： 矩量法 积分

  上传时间： 2014-01-24

  上传用户：comua

• 数据结构中离散事件的实现免费下载

  资源简介：数据结构中离散事件的实现

  标签： 数据结构 离散

  上传时间： 2013-12-30

  上传用户：shawvi

• 人工智能中九宫问题的实现免费下载

  资源简介：人工智能中九宫问题的实现，初始数据随机生成，最终状态随机生成，并用图形界面显示搜索过程

  标签： 人工智能

  上传时间： 2014-12-01

  上传用户：王楚楚

• 数据挖掘中ID3算法的实现(用MATLAB实现)免费下载

  资源简介：数据挖掘中ID3算法的实现(用MATLAB实现)

  标签： MATLAB ID3 数据挖掘 算法

  上传时间： 2014-01-13

  上传用户：PresidentHuang

• 数据挖掘中算法ID3的实现,是用matlab实现的免费下载

  资源简介：数据挖掘中算法ID3的实现,是用matlab实现的

  标签： matlab ID3 数据挖掘 算法

  上传时间： 2015-04-18

  上传用户：ynsnjs

• 包含了人脸识别过程中主要算法的实现,对初学者快速上手很有帮助免费下载

  资源简介：包含了人脸识别过程中主要算法的实现,对初学者快速上手很有帮助

  标签： 人脸识别 过程 算法 初学者

  上传时间： 2015-05-17

  上传用户：1427796291

• 数据结构中所有算法的实现免费下载

  资源简介：数据结构中所有算法的实现，清华大学小严辞C语言版本

  标签： 数据结构 算法

  上传时间： 2015-06-22

  上传用户：zhoujunzhen

• 通信系统中扰码的实现免费下载

  资源简介：通信系统中扰码的实现，采用Matlab的S函数

  标签： 通信系统

  上传时间： 2015-07-21

  上传用户：天涯

• 一个通用的Ajax Tree实现 1, 其中src.rar为java源文件, ui.tree包中为主要的实现类 2, test.jsp为示例代码.免费下载

  资源简介：一个通用的Ajax Tree实现 1, 其中src.rar为java源文件, ui.tree包中为主要的实现类 2, test.jsp为示例代码.

  标签： Ajax Tree java tree

  上传时间： 2015-07-25

  上传用户：talenthn

• 在delphi中简单动画的实现免费下载

  资源简介：在delphi中简单动画的实现，相关连的实现，对以后的游戏开发有帮助哦

  标签： delphi 动画

  上传时间： 2013-12-07

  上传用户：libinxny

• 单片机中滤波算法的实现 单片机中滤波算法的实现免费下载

  资源简介：单片机中滤波算法的实现 单片机中滤波算法的实现

  标签： 单片机 滤波算法

  上传时间： 2013-12-26

  上传用户：yxgi5

• UCOS-II在M68HC08上的移植中信号灯通信的实现免费下载

  资源简介：UCOS-II在M68HC08上的移植中信号灯通信的实现

  标签： UCOS-II M68 68 08

  上传时间： 2014-01-15

  上传用户：13160677563

• 单片机中滤波算法的实现免费下载

  资源简介：单片机中滤波算法的实现

  标签： 单片机 滤波算法

  上传时间： 2015-09-19

  上传用户：徐孺