凭证技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
【摘要】针对基于最佳椭圆拟合的磁罗盘误差补偿算法，设计了一组模拟不同类型干扰磁场的数据采集与罗差分析实验。通过对磁罗盘在各种干扰磁场下表征测量数据特性的拟合椭圆参数与最终补偿效果的详细分析，对理
随着集成电路设计水平的进步，电路规模日益增大，电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要，形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等...
结合网格发展的需要，分析了当前广泛采用的Kerberos 身份认证机制，研究了不同网格环境下GSI 方案和KX.509 方案。在此基础上，借鉴KX.509 的代理思想，在Globus环境下提出
·[验证书籍]Advanced_Formal_Verification_eBook
·中文提要: 基于虹膜ie,~q的身份认证系统包括3部分：虹膜图像采集，虹膜图像预处理，虹膜图像编码和识别。预处理过程中对虹膜的精确定位，使定位后的虹膜图像具有平移、尺度和旋转的不变性。与现有其他方法相比，该方法将Symlets小...
·[验证书籍]Advanced Formal Verification eBook