，特别是微软、IBM等大型公司研发部门的大量人力、物力的投入，程序验证方面在21世纪初取得了不少进展，例如用于验证空客代码无运行时错误的ASTREE工具、用于Windows设备驱动里关于过程调用的协议验证的SLAM工
2017-12-26 16:05
图像中的文本定位技术研究综述_晋瑾
2016-06-29 12:24
DSP开发入门综述
2012-08-19 10:30
本帖最后由 /love任Q行 于 2013-3-13 22:22 编辑 有关LABVIEW的文献综述
2013-03-13 22:15
1 SaaS SaaS是Software as a Service(软件即服务)的简称，是近几年随着互联网技术的发展和应用软件的成熟而兴起的一种完全创新的软件应用模式。 2 SaaS的理论研究
2021-07-02 08:00
一、综述：1、时钟源在 STM32 中，一共有 5 个时钟源，分别是 HSI 、 HSE 、 LSI 、 LSE 、 PLL 。 ①HSI 是高速内部时钟， RC 振荡器，频率为 8MHz
2021-08-23 06:24
修改历史内容1overview1.1目的1.2综述2question3软件实现3.1Coding Rule3.2中间件module层修改3.2.1增加mdsys_cfg.h3.2.2修改mdrti.c3.2.3增加mdsys_time.c3.2.4修改mdtask_cfg.c3.2....
2021-12-10 08:26
对前面三篇关于负荷预测的综述论文进行一个总结。
2021-07-12 08:09
目录Onboard SDK综述... 11、简介... 11.1硬件支持... 11.1.1产品类别... 11.1.2组成部分... 21.1.3支持产品... 31.1.4飞机比较
2021-08-06 09:19
变频器常用的控制方式综述 Summary of the Inverters Control Methods 华中科技大学 控制科学与工程系 董 玮 秦 忆 Dong Wei Cheng Yi 摘 要
2021-07-01 09:21
