为了有效地分析和验证认证协议的安全性,找出协议的漏洞,介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模,吸取模型检测的思想,分析攻击者可能扮演的角色以及协议的执行规则,在此基础上逐步给消
资源简介:为了有效地分析和验证认证协议的安全性,找出协议的漏洞,介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模,吸取模型检测的思想,分析攻击者可能扮演的角色以及协议的执行规则,在此基础上逐步给消
上传时间: 2022-09-13
上传用户:堕落阿文
资源简介:摘 要:该文研究了曲面三角网格模型顶点法矢、主曲率和主方向的计算方法,分析了曲面上点的类型,提出了一种基于断裂面匹配的破碎物体拼接方法。分别用曲面上点的有向脚标和无向脚标构成有向特征向量和无向特征向量,在无向特征向量匹配的基础上,经过匹配点...
上传时间: 2022-09-05
上传用户:shanxiaoke
资源简介:CANopen作为一种开放的、标准化的CAN总线应用层协议,在国内外的应用已经深入到了各个领域,并且还在进一步发展。但是,相对于广阔的应用范围,CANopen协议的研究和开发在我国还没有得到足够的重视。目前基于该协议规范的通信接口关键技术仍然被国外若干公司...
上传时间: 2021-05-09
上传用户:桑拿天
资源简介:本文提出了一种基于AES 实现的口令认证方法。该算法不使用公开密钥算法,仅采用AES 进行远程用户的身份认证。该方法具有速度快,安全性高的特点,易于采用令牌(Token)或IC 卡硬件实现。在本文的最
上传时间: 2022-09-14
上传用户:dandan_1992
资源简介:·期刊论文:基于特征空间轨迹多模板匹配的说话人识别研究
上传时间: 2021-01-22
上传用户:ILLTT
资源简介:现有基于攻击图(attack graph)的告警关联分析方法难以全面处理告警关联关系,同时,漏报推断和告警预测带来大量冗余路径误报。针对以上问题提出了基于攻击图的多源告警关联分析算法,能够综合应用图关系和阈值限制进行联动推断和预测,达到更为全面解决攻击图中的...
上传时间: 2021-05-11
上传用户:qq1028178517
资源简介:随着现场总线技术应用的越来越广泛,出现了各种现场总线标准。其中,CAN总线标准作为一种技术先进、可靠性高、功能完善、成本合理的远程网络通讯控制方式,已被广泛应用到各个自动化控制系统中,它也成为国际上应用最广泛的开放式现场总线之一。CAN协议是一个...
上传时间: 2021-06-04
上传用户:thisismyhouse
资源简介:基于stm32和can总线的j1939协议在重型卡车上的运用指导。
上传时间: 2022-02-25
上传用户:cyy
资源简介:各种新技术的引入促进了仪器仪表领域的大力发展,但是其中的一个重要分支一科教仪器领域,由于诸多因素的限制,许多教学实验仪器还没有能跟上时代的节奏。本文即是在这样的背景下,利用与企业合作项目的机会,研制了一款高性价比的新型机构运动综合实验仪,以...
上传时间: 2021-01-01
上传用户:很宅的男
资源简介:嵌入式人脸识别系统建立在嵌入式操作系统和嵌入式硬件系统平台之上,具有起点高、概念新、实用性强等特点。它涉及嵌入式硬件设计、嵌入式操作系统应用开发、人脸识别算法等领域的研究;嵌入式人脸识别系统携带方便、安装快捷、机动性强,可广泛应用于各类门禁系...
上传时间: 2021-01-04
上传用户:dinghe
资源简介:研究GSM 网络的短消息业务在遥测系统中的应用;探讨MC3 一体化的测试系统结构;给出基于GSM 网络的MC3 一体化遥测系统的实例,并详细讨论系统硬件和软件的设计。
上传时间: 2021-01-10
上传用户:Shuangcent
资源简介:基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在
上传时间: 2021-01-13
上传用户:lanyin
资源简介:当前,在系统级互连设计中高速串行I/O技术迅速取代传统的并行I/O技术正成为业界趋势。人们已经意识到串行I/O“潮流”是不可避免的,因为在高于1Gbps的速度下,并行I/O方案已经达到了物理极限,不能再提供可靠和经济的信号同步方法。基于串行I/O的设计带来许多...
上传时间: 2021-01-20
上传用户:chengshuo
资源简介:·一种基于SV特征向量预匹配的快速分形图像压缩方法
上传时间: 2021-02-04
上传用户:mississauga
资源简介:·期刊论文:基于图像处理的铁谱覆盖面积回归分析
上传时间: 2021-02-08
上传用户:snowgirl
资源简介:超级电容器是一种具有高能量密度的新型储能元器件,具有比常规电容器更大的比容量,比蓄电池更高的比功率,是一种兼备静电电容和电池优良特性的新型元件。它可提供超大能量,并可以在极短的时间内释放,使用寿命长,环境友好,因此在混合动力电动车、脉冲电源...
上传时间: 2021-03-18
上传用户:w75030601
资源简介:传统的主分量分析在处理图像识别问题时是基于向量的,且没有充分利用训练样本的类别信息.该文提出了一种直接基于图像矩阵的广义主分量分析方法,该方法能够提取包含在类平均图像中的鉴别信息,与传统的主分量分析相比,具有更强的鉴别力.在ORL标准人脸库上的...
上传时间: 2021-04-16
上传用户:Icecover_FR
资源简介:针对不同时间粒度的流量特性,建立不同的流量模型进行分析研究,对网络规划设计、保证服务质量以及网管等都能提供必不可少的依据。本文通过对不同时间粒度的实际流量建模,利用相应的数学工具进行模拟预测,实验结果
上传时间: 2021-05-01
上传用户:shm
资源简介:资料->【C】嵌入系统->【C3】自动化控制->【1】控制算法->【人工神经】->基于神经网络的测色仪器系统误差分析和校正.pdf
上传时间: 2021-05-04
上传用户:lyw278
资源简介:· 摘要: 介绍了基于嵌入式技术的VoIP-PSTN网关的软硬件设计.其中软件设计主要负责控制SIP核心协议栈oSIP、RTP/RTCP核心协议栈eeRTP的正常运转,控制外围DSP芯片工作.硬件主要由基于ARM内核的微处理器S3C44B0子系统和基于LSI403LP芯片的DSP子系统以及电话...
上传时间: 2021-10-18
上传用户:Alex0506
资源简介:本文实现了一种基于嵌入式Linux 的B 超图像打印方案,可以在多种常用喷墨打印机上输出256 灰度级的超声图像硬拷贝。通过对个人计算机Linux 下的打印系统的分析,提出了符合本文需
上传时间: 2021-12-20
上传用户:zl5712176
资源简介:目前复合材料迅猛发展,被广泛用到工程界,尤其是以机织物为骨架的复合材料,主要是因为它具有质量轻的优点,整体性和力学性能也都很好。然而因为它自身的发展和应用范围越来越广,不仅对它的品种、规格、外形和质量等方面的要求愈来愈高,而且对它不断提出新...
上传时间: 2021-12-21
上传用户:抬脚的猫
资源简介:基于ProtelDXP的信号完整性分析基于ProtelDXP的信号完整性分析基于ProtelDXP的信号完整性分析基于ProtelDXP的信号完整性分析基于ProtelDXP的信号完整性分析
上传时间: 2021-12-26
上传用户:cookiedog
资源简介:该文档为基于Xilinx-FPGA的4G通信网数据分析系统的设计讲解文档,是一份不错的参考资料,感兴趣的可以下载看看,,,,,,,,,,,
上传时间: 2022-09-08
上传用户:apak
资源简介:该文档为基于MATLAB的RLC阻尼振荡电路的仿真与分析简介资料,讲解的还不错,感兴趣的可以下载看看…………………………
上传时间: 2022-09-08
上传用户:heailv
资源简介:本文得到了来自中国航天科工集团“蓄电池剩余电量监控系统”项目的支持,主要研究和建立了基于神经网络的蓄电池剩余电量的预测模型,系统可应用于对蓄电池剩余电量有精确预测需求的设备中。 本文建立了基于自适应神经网络模糊推理系统(ANFIS)的蓄电池剩余电量...
上传时间: 2022-09-20
上传用户:banana323
资源简介:本文结合机房环境设备的管理需要,分析了远程监控系统的特点,提出基于嵌入式Web 服务器的远程监控系统设计思路、体系架构方法,并对基于OPC 技术的互联与基于嵌入式Web 服
上传时间: 2022-09-22
上传用户:dandan_1992
资源简介:基于DSP技术的虚拟式FFT频谱分析仪:虚拟仪器已经成为仪器发展的一个重要方向,目前已在众多领域获得了广泛应用。FFT 频谱分析是机械工程、故障诊断等诸多领域所广泛采用的分析方法。但传统FFT
上传时间: 2021-01-01
上传用户:laiycd
资源简介:基于EDA平台的计算机系统结构课程实践本文分析了计算机专业本科生课程计算机系统结构的教学现状, 结合目前在教学实践中采用的部分措施, 提出了在计算机系统结构课
上传时间: 2021-01-01
上传用户:zzyzytc
资源简介:ECU作为汽车发动机控制系统的核心,对其进行自主知识产权的智能研究是十分必要的。结合国内实际和总结分析现有系统,采用世界先进技术和综合设计思想,给出了基于CAN总线的汽车发动机智能电子控制器的设
上传时间: 2021-01-01
上传用户:VRMMO