提出一种多PKG环境下无双线性对的基于身份AKA协议，且在随机预言模型下，将协议的安全性证明规约到标准的计算性CDH假设。提出了相应的基于身份XCR与DCR签名体制，通过对两处体制进行安全性证明，实现对新协议的安全性证明。通过与已有协议的相关性能比较体现了新协议的优点。

在小流量工况下运行时离心泵叶轮进口会产生进口回流现象．采用标准κ-ε湍流模型，应用ANSYS CFX软件对不同工况下低比转速离心泵进口处的三维湍流场进行了数值模拟，分析了流场内的速度分布．为减小进口回流的危害，提出了在离心泵进口加注高压水的回流控制方案．对注入不同压力的高压水后，数值分析了进口流场的速度分布和回流漩涡的形态变化，并对比分析了回流控制效果以及离心泵扬程和效率．结果表明：在进口处注入高压水能有效改善回流发生时的流场速度分布，减弱回流强度，降低回流发生的关键流量点；但高压水的注入在设计流量和大流

Intel Parallel Studio XE Cluster版C/C++ Fortran编译器，是一种主要针对Inetl平台的高性能编译器，可用于开发复杂且要进行大量计算的C/C++、Fortran程序。 Intel编译器编译C和C++源程序的编译命令分别为`icc`和`icpc`；编译Fortran源程序的命令为`ifort`。`icpc`命令使用与`icc`命令相同的编译器选项，利用`icpc`编译时将后缀为.c和.i的文件看作为C++文件；而利用`icc`编译时将后缀为.c和.i的文件则看作为C文件。用`icpc`编译时，总会链接C++库；而用`icc`编译时，只有在编译命令行中包含C++源文件时才链接C++库。 在Intel数学库(Intelmath)中的许多函数针对Intel微处理器相比针对非Intel微处理器做了非常大的优化处理。

最多支持9个USB摄像头同时录像，可以随时调用的良好软件

构造了基于小波系数的多变点检测算法,该算法可应用于非参数回归模型多变点检测.渚河水文时间序列实例分析结果表明,检测的结果与实际情况相符合.该方法不需要对时间序列做任何参数化的假定便能方便地检测出变点的位置,同时还能够给出变点个数的估计.

Microsoft.SQL.Server.2012.T-SQL.Fundamentals

摘要:以都阳湖湿地为研究对象，利用地理信息系统、遥感动态监测、全球定位系统、空间数据库、三维虚拟仿真和水动力学等理论与方法，建立了集知识、模型和决策为一体的都阳

KFQ2系列双电源自动转换装置使用说明书(新2012)

solidworks 2012破解补丁，用来给solidworks2012生成激活码。

Design Compiler Workshop中实验部分配套的资料，非常实用