搜索结果
找到约 6,086 项符合
混合先验模型 的查询结果
其他 提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的
证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对
Yahalom.BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三
方认证协议的 ...
编译器/解释器 PEPA模型性能分析工具
PEPA模型性能分析工具,对模型进行遍历性检查并求解PEPA模型的稳态概率分布。
软件设计/软件工程 本文件夹中的Model目录下包含了系统的数据库模型图和系统建模图
本文件夹中的Model目录下包含了系统的数据库模型图和系统建模图,分别使用PowerDesigner
软件设计/软件工程 :分析了VxWorks 下的USB 驱动程序模型的结构以及功能,详细说明USB 主机驱动协议栈,并将软件设计分为 Client Driver ,USBD 和HCD 三层。由于对于开发USBD 和Cl
:分析了VxWorks 下的USB 驱动程序模型的结构以及功能,详细说明USB 主机驱动协议栈,并将软件设计分为
Client Driver ,USBD 和HCD 三层。由于对于开发USBD 和Client Driver 已有很多研究和讨论,但对HCD 的研究比较缺乏,
为了提供全面可行的开发基于VxWorks 的USB 驱动程序的技术方案,详细地阐述了USB 主控制器OHCI 驱动程序的 ...
其他 头盔,3d max的模型文件,比较经典的.
头盔,3d max的模型文件,比较经典的.
其他 冬季北方室内空气交换问题的数学模型详细设计
冬季北方室内空气交换问题的数学模型详细设计
其他书籍 本文完成了对唇动身份识别技术几个基本问题的理论研究,并对整个系统加以实现.作为本文研究的实验基础,我们建立了唇动方式身份识别数据库(HITLUDB), 该库目前包含30个说话人每人20个汉语词的音视
本文完成了对唇动身份识别技术几个基本问题的理论研究,并对整个系统加以实现.作为本文研究的实验基础,我们建立了唇动方式身份识别数据库(HITLUDB),
该库目前包含30个说话人每人20个汉语词的音视频语料.数据库的扩充与完善工作仍在不断的进行之中.在嘴唇检测方面,
我们对自适应色度过滤模型进行改进,提高了算法的鲁棒性,完成 ...
DSP编程 ccs中产生正弦和余弦相加的混合
ccs中产生正弦和余弦相加的混合,使用fir滤波得到低频的正弦。滤波器系数由matlab计算。有文档
文件格式 这是国标《导航地理数据模型及交换格式》对于学习电子地图数据结构很有帮助
这是国标《导航地理数据模型及交换格式》对于学习电子地图数据结构很有帮助
其他书籍 这本书是《Logistic 回归模型---方法与应用 》作者:王济川 郭志刚
这本书是《Logistic 回归模型---方法与应用 》作者:王济川 郭志刚,这是一本关于Logistic 回归的经典书籍
另外还上传了数据