CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 文档资料 编程文档 搜索资源 - Formal

搜索资源列表

  1. GSoCAS-3

    0下载:
  2. 1. what kind of noise/errors/uncertainties/unmodeled things affect the GPS precision : AS, SA, orbits, clocks, ionosphere, troposphere, antenna phase centers, centering (tribrachs), etc... 2. how do we evaluate GPS uncertainties ? (difference b
  3. 所属分类:Communication

    • 发布日期:2017-05-13
    • 文件大小:3089762
    • 提供者:razibaz
  1. MVC-lessons-

    0下载:
  2. 中英文MVC教程。MVC三层架构实例讲解。比较具体和详细的资料。并且很权威和正式。适合初学者入门的。-Tutorial examples both in English and Chinese to write the MVC three-tier architecture. Detailed content. More suitable for beginners. They are the authority and formal tutorials.
  3. 所属分类:Communication

    • 发布日期:2017-11-16
    • 文件大小:6952757
    • 提供者:原永芹
  1. study-of-random-testing-.caj

    0下载:
  2. 本文针对密码算法的输出序列进行随机性测试。我们借鉴软件工程学原理,首先以形式化方法对随机性测试过程进行分析,建立平台整体模型 其次根据随机性测试原理,采用系统化和模块化的方法,对随机性测试的方案进行了设计 接下来,根据所设计的方案实现了随机性测试系统,该系统集成了NIST随机性测试方法 最后,我们对AES和SMS4加密算法进行了实测对比和分析。在Linux操作系统中,我们生成了新的makefile文件,制作了RPM软件包,实现了测试平台在多系统中的方便使用。-In this paper, th
  3. 所属分类:Communication

    • 发布日期:2017-11-10
    • 文件大小:4765889
    • 提供者:陈娟
  1. Formal-analaysis-and-verification-of-an-OFDM-mode

    0下载:
  2. Formal analaysis and verification of an OFDM modem design
  3. 所属分类:Communication

    • 发布日期:2017-11-02
    • 文件大小:648341
    • 提供者:mosty
  1. C-language-array-in-detail

    0下载:
  2. 该文档提供了数组的详细信息,如定义数组,初始化数组以及把数组作为形式参数和实参在函数中调用的复习。-This document provides detailed information on the array, such as the definition of the array, the array initialization and review parameters in a function call to the array as a formal parameter and
  3. 所属分类:Communication

    • 发布日期:2017-04-10
    • 文件大小:1210512
    • 提供者:mbx
  1. physical layer aspects

    0下载:
  2. The contents of the present document are subject to continuing work within the TSG and may change following formal TSG approval. Should the TSG modify the contents of the present document, it will be re-released by the TSG with an identifying change
  3. 所属分类:通讯编程文档

    • 发布日期:2018-04-22
    • 文件大小:1667072
    • 提供者:mohammed ahmed
搜珍网 www.dssz.com