-
: proposed security agreement on the nature of the agreement is the main means o...
：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同
时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协
议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand
的存在关系和Strand参数一致性的分析问题。-: proposed security agreement on the nature of the agreement is the main means of the use of cryptography through the response to a challenge to the existence of other agreements made judgment and be completed at the same time on some key data such as the oral consultations. Based on this idea and certification of some logical outcome, a new security agreement relevance of the analysis method, The objective of the agreement for the certification based on linear space model semantic definition, Correlation analysis will be reduced to the existence of relations between the Strand and Strand parameters consistency of the problem.
- 2022-02-05 09:18:38下载
- 积分：1
-
87361045swerling
雷达RCS起伏swerling模型 可运行(Radar RCS fluctuation model is operational)
- 2020-11-20 17:29:36下载
- 积分：1
-
Sage_Husa卡尔曼滤波
卡尔曼滤波；强跟踪滤波，效果不是怎么好，我也是刚学(Calman filtering; strong tracking filter, the effect is not so good, I am also just learning.)
- 2021-02-07 13:49:55下载
- 积分：1
-
本文件为ppt格式，初步介绍微电子器件的封装工艺，推荐下载！...
本文件为ppt格式，初步介绍微电子器件的封装工艺，推荐下载！-this document to ppt format, a preliminary presentation of Microelectronics Packaging Technology, recommended download!
- 2023-01-26 12:40:04下载
- 积分：1
-
GTF
多光谱和全色图像融合,对研究很有用，其中包含了很多子函数都可以调用(remote sensing fusion)
- 2020-06-23 22:40:01下载
- 积分：1
-
berth_allocation
港口泊位分配问题，采用贪心算法和模拟退火算法(Port berth allocation problem)
- 2020-07-02 20:40:01下载
- 积分：1
-
infomax2
说明： matlab盲源分离informax程序(Matlab Blind Source Separation procedures informax)
- 2006-05-15 15:58:56下载
- 积分：1
-
源代码
1 基于遗传算法的TSP算法（王辉）
2 基于遗传算法和非线性规划的函数寻优算法（史峰）
3 基于遗传算法的BP神经网络优化算法（王辉）
4 设菲尔德大学的MATLAB遗传算法工具箱（王辉）
5 基于遗传算法的LQR控制优化算法（胡斐）(1 TSP algorithm based on genetic algorithm (Wang Hui)
2 Function optimization algorithm based on genetic algorithm and non-linear programming (Shifeng)
3 BP neural network optimization algorithm based on genetic algorithm (Wang Hui)
4. MATLAB genetic algorithm toolbox of Sheffield University (Wang Hui)
LQR control optimization algorithm based on genetic algorithm (Hoofie))
- 2018-11-25 13:36:17下载
- 积分：1
-
小程序
说明： 各种cfd的fortran小程序，有sod激波管精确解、近似解，shuosher激波管近似解，包含WENO差分格式，牛顿法；还有网格生成书籍。(Various CFD FORTRAN programs, including SOD shock tube exact solution, approximate solution, shuosher shock tube approximate solution, including WENO difference scheme, Newton method, and grid generation books.)
- 2021-03-08 10:39:28下载
- 积分：1
-
FFT16
基于FPGA的16点FFT快速傅立叶变换的Verilog源代码。(the FFT implement of Verilog based on FPGA)
- 2021-04-18 15:48:57下载
- 积分：1
