：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。
上传时间： 2015-11-09
上传用户：zhangjinzj
现代雷达系统日益变得复杂，难以用简单直观 的分析方法进行处理，往往需要借助计算机来完成 对系统的各项功能和性能的仿真。利用计算机来进 行雷达系统的仿真具有方便、灵活以及经济的特点 而 Matlab 提供了强大的仿真平台，可以为大多数雷 达系统的仿真提供方便快捷的运算。以典型的雷达 为例，它主要由天线、发射机、接收机、信号处理 机、伺服系统和终端设备等部分构成。本文主要讨 论的是雷达信号处理部分，并结合某脉冲压缩雷达 信号处理系统的实例来说明Matlab在雷达信号处理 系统仿真中的应用。
标签： 现代雷达
上传时间： 2015-11-25
上传用户：ikemada
梁肇新《编程高手箴言》 精华 本书是作者十余年编程生涯中的技术和经验的总结。内容涵盖了从认识CPU、Windows运行机理、编程语言的运行机理，到代码的规范和风格、分析方法、调试方法和内核优化，内有作者对许多问题的认知过程和透彻的分析，以及优秀和精彩的编程经验。
上传时间： 2013-12-10
上传用户：秦莞尔w
豪杰解霸的创始人梁肇新先生的一本佳作－－《编程高手箴言》。本书是作者十余年编程生涯中的技术和经验的总结。内容涵盖了从认识CPU、Windows运行机理、编程语言的运行机理，到代码的规范和风格、分析方法、调试方法和内核优化，内有作者对许多问题的认知过程和透彻的分析，以及优秀和精彩的编程经验。
上传时间： 2016-02-08
上传用户：sevenbestfei
【实验名称】递归子程序分析器的设计与实现 【实验目的和要求】 设计、编制，调试一个典型的语法分析程序，实现对如下的递归子程序语法的分析，进一步掌握常用的语法分析方法。 【实验内容】 ① 本分析程序所分析的文法如下： G[E]: E->eBaA A->a|bAcB B->dEd|aC C->e|dC ② 针对上述文法编写一递归子程序分析程序，该程序的输入是任意符号串，输出是本次输入的符号串是否是该文法的句子的结论。 【环境】 Windows Pc 机，任何版本的c语言 其中还包括java语言实现的程序
上传时间： 2013-12-25
上传用户：lanhuaying
本课程设计是一个编译器的设计，包括词法分析部分、语法分析部分和中间代码生成部分。词法分析部分既词法分析器的设计，词法分析是编译的基础，执行词法分析的程序称为词法分析器，也就是说编译程序中完成词法分析任务段就是词法分析器。语法分析部分为语法分析器的设计，采用LR（1）分析方法进行语法分析，判断给出的符号串是否为该文法识别的句子。中间代码生成器部分主要实现逆波兰式的生成，将用中缀式表示的算术表达式转换为用逆波兰式表示的算术表达式，并计算用逆波兰式来表示的算术表达式的值。
标签： 编译器
上传时间： 2014-05-30
上传用户：youke111
实现信号的KDDA映射变换，KDDA属于线性子空间分析方法LDA的改进算法，采用核方法实现映射
上传时间： 2014-12-22
上传用户：sy_jiadeyi
这是算法设计上面的部分答案，每个例子对应着一种算法分析方法
上传时间： 2016-05-10
上传用户：zhouchang199
IF-ELSE条件语句的翻译程序设计（简单优先法、输出三地址表示） 要求完成的主要任务: （包括课程设计工作量及其技术要求，以及说明书撰写等具体要求） （1） 写出符合给定的语法分析方法的文法及属性文法。 （2） 完成题目要求的中间代码三地址表示的描述。 （3） 写出给定的语法分析方法的思想，完成语法分析和语义分析程序设计。
上传时间： 2016-06-23
上传用户：ardager
本文档主要介绍Q.931协议基本知识，及在日常的维护中使用HDLCMON抓取的呼叫消息流程Trace的分析方法，并根据不同的问题及现象，提供简单的分析解决方法
上传时间： 2016-09-30
上传用户：冇尾飞铊
