本文是读《Formal Verification An Essential Toolkit for Modern VLSI Design》这本书第二章，做的学习笔记。 COMPARE SPECIFICATIONS 通常，我们会将spec和设计实现进行比较。Spec相对来说比较抽象些，可以是些SVA的assertion，RTL ...

无人机辅助车联网中基于车辆动态聚类的协作卸载策略* 姜宇晴，李曦，纪红，张鹤立 【摘 要】在智能交通系统中，利用无人机基站可为车辆提供接入服务及广域覆盖。然而针对分布密集且动态性强的网联自动驾驶场景，动态节点智能交互频繁且须低时延以保证 ...

// 给定一个含有 n 个正整数的数组和一个正整数 s ，找出该数组中满足其和 ≥ s 的长度最小的连续子数组。如果不存在符合条件的连续子数组，返回 0。 // 解释: 子数组 [4,3] 是该条件下的长度最小的连续子数组。 // 进阶: // 如果你已经完成了O(n) 时间复杂度的 ...

// 给你一个整数数组nums ，请计算数组的 中心下标 。 // 数组 中心下标 是数组的一个下标，其左侧所有元素相加的和等于右侧所有元素相加的和。 // 如果中心下标位于数组最左端，那么左侧数之和视为 0 ，因为在下标的左侧不存在元素。这一点对于中心下标 ...

最近尼克先生写了一本新书，题目叫《人工智能简史》（人民邮电出版社，2017年12月）。因为我本人最近十来年一直从事人工智能哲学的研究，自然就在第一时间买来一本阅读。在这篇书评里，我想特别谈谈该书的第九章。该书的第九章《哲学家和人工智能 ...