电子发烧友
2073次浏览
L2C 是GPS 现代化Block IIR-M 卫星发射的一个新民用信号。为了估计GPS L2C 的捕获性能,该文首先研究了GPS L2C 捕获算法,即本地产生的归零CM,利用FFT 快速实现短码的捕获后,利用短码
2010-02-08 15:51
为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个
2021-12-17 07:36
reliable-by-construction辅助定理证明器实现常规命令式语言编译器的构造和验证,取得了很大的成功,如CompCert C编译器.L2C是基于这种方法开发的可信编译器.它以扩展的Lustre语言为源语言,以Clight(CompCert中的
2017-12-29 14:56
)的语法分析器验证中。借助这种方法,文中完成了L2C项目中的 Lustre语言语法分析器的形式化验证,实现了开源L2C编译器前端语法分析器的两个选项之一。首先对这一语法分析器的实现进行了论述,其中包括有参考价值的技术细节;随后分析了该语法分析器的运行性能及正确性;
2021-05-19 10:55
: NuTiny-EVB-Mini51_V2.1 这个示例代码展示了如何将l2C的时钟源设置到LIRC, 以及如何设置“万能奴隶 ” 。 系统时钟源是 LIRC 。 因为 Mini51 I2C 的时钟源与系统时钟源相同
2023-08-23 07:21
: NuTiny-EVB-Mini51_V2.1 这个示例代码展示了如何将l2C的时钟源设置到LIRC, 以及如何设置“万能奴隶 ” 。 系统时钟源是 LIRC 。 因为 Mini51 I2C 的时钟源与系统时钟源相同
2023-09-01 07:12
1I2C总线概述1.1I2C总线介绍l2C总线(InterICBus)由PHILIPS公司推出,是近年来微电子通信控制领域广泛采用的一种新型总线标准,它是同步通信的一种特殊形式,具有接口线少、控制
2021-12-13 06:19
在网上看到有人说l2c连接设备的时候需要配置成开漏输出,目的是为了避免总线上信号的混乱。但是我一直不明白,配置成别的输出方式怎么就会引起总线信号混乱???望高手解答我的疑惑。
2019-06-03 02:46
接L1和L3(不用区分火线和零线),然后L1C接到L1,L2C接到L3;
2021-09-17 06:55