L2C 是GPS 现代化Block IIR-M 卫星发射的一个新民用信号。为了估计GPS L2C 的捕获性能，该文首先研究了GPS L2C 捕获算法，即本地产生的归零CM，利用FFT 快速实现短码的捕获后，利用短码
2010-02-08 15:51
reliable-by-construction辅助定理证明器实现常规命令式语言编译器的构造和验证，取得了很大的成功，如CompCert C编译器．L2C是基于这种方法开发的可信编译器．它以扩展的Lustre语言为源语言，以Clight（CompCert中的
2017-12-29 14:56
）的语法分析器验证中。借助这种方法，文中完成了L2C项目中的 Lustre语言语法分析器的形式化验证，实现了开源L2C编译器前端语法分析器的两个选项之一。首先对这一语法分析器的实现进行了论述，其中包括有参考价值的技术细节;随后分析了该语法分析器的运行性能及正确性;
2021-05-19 10:55
为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个
2021-12-17 07:36
1I2C总线概述1.1I2C总线介绍l2C总线(InterICBus)由PHILIPS公司推出，是近年来微电子通信控制领域广泛采用的一种新型总线标准，它是同步通信的一种特殊形式，具有接口线少、控制
2021-12-13 06:19
简述了GPS概念、伪随机序列概念以及GPS卫星通信系统信号结构组成；在GPS 信号测距码内容里，阐述了C/A码，P码和L2C码的特点和产生方法，以MATLAB作为工具，对GPS 的卫星几种常见的测距
2011-08-30 15:22
TDA75610LV是一款全新的四桥车载无线电放大器，采用BCD技术设计，以便在非常紧凑和灵活的设备中包含广泛的创新功能。TDA75610 LV配备了最完整的诊断阵列，可通过l2C总线通信每个扬声器的状态。
2023-02-17 10:47
SPl串行同步通讯接口，2个l2C串行通讯接口，3个USART串行异步通讯接口，1个USB2.0 Full Speed串行通信接口，1个CAN总线控制器，2个12位SAR模拟数字转换器，1个片内温度传感器。
2019-11-05 14:49
1、Renesas RA2L1 开发板之 I2C 开发板介绍 CPK-RA2L1评估板是一款专门针对中国本地的开发板，主MCU是一款主频为48MHz，内核为Arm® Cortex®-M23 超低
2022-11-04 14:26
1、Renesas RA2L1开发板之I2C 开发板介绍 CPK-RA2L1评估板是一款专门针对中国本地的开发板，主MCU是一款主频为48MHz，内核为Arm® Cortex®-M23超低
2022-10-24 16:29
