AXI SPI IP 核的软硬件设计
1 基础
SPI 有三线模式和四线模式。三线模式有 SS
(Slave Select), SCK
(SPI Clock), MOSI
(Master-Out-Slave-In)三条线。四线模式多了一条 MISO
(Master-In-Slave-Out)。
SPI 有三线模式和四线模式。三线模式有 SS
(Slave Select), SCK
(SPI Clock), MOSI
(Master-Out-Slave-In)三条线。四线模式多了一条 MISO
(Master-In-Slave-Out)。
给从今年三月到现在断断续续的工作做一个总结
这个工作是将 RTL-SDR 通过 USB2.0 与 PYNQ-Z2 连接来配合使用。RTL-SDR 将射频信号下变频为基带信号;PYNQ-Z2 通过 USB2.0 接口接收 RTL-SDR 返回的基带信号,并使用 FPGA 进行信号处理。最后,可以在 PYNQ Jupyter Notebook 中实现一个简单的 FM 收音机的网页应用。
最近做项目用到 Python 协程/异步,现在总结一下:
|
|
如果在 IPython 环境里使用,需要加两行:
|
|
协程(coroutines)是 Python 异步编程的核心。一个 coroutine 要用 async def
来定义。
在控制面板中设置能上网的网卡,共享给以太网。此时以太网的 IP 会变成 192.168.137.1
。
然后在开发板终端中设置网关为 192.168.137.1
即可:
sudo route add default gw 192.168.137.1
IP 设置为 192.168.137.x
,x 不是 1 和 255(网关地址和广播地址)就行:
Xilinx 的工具链也太占内存了,有时候会导致系统死机。。毕竟我这个小破本才 8G 内存。没办法,只能加虚拟内存了。
增加了 swapfile 之后就好很多了:
|
|
为了在 Linux 中给 SD 卡分区和格式化,先将 SD 卡接入 PC,然后在 bash 命令行使用 fdisk
给 SD 卡分区,最后使用 mkfs
给 SD 卡创建文件系统(即格式化)。
主要命令如下:
首先,使用 sudo fdisk -l
确认 SD 卡对应 /dev
中的哪一个设备。
为了在 Windows 中挂载 EFI 分区,我们可以在 PowerShell 中运行如下命令
|
|
然后我们就将 EFI 挂载为盘符为 Z 的盘了。
在介绍旋度之前,我们得先介绍一下微分形式和外微分算子。
一个 $n$ 阶形式可以定义为一个交替多重线性映射 $\omega:(T_pM)^n\rightarrow \mathbb{R}$ 。它把多个向量映射成一个实数。另外,它还满足交替性,即交换两个输入向量,输出多一个负号。
我们在物理书中经常看到所谓“赝矢量”(pseudo-vector)和“赝标量”(pseudo-scalar)的说法。
其实,在 3 维流形上,“赝矢量”是两个切矢量的外积 $v\in T_pM\wedge T_pM=\bigwedge^2(T_pM)$ ,“赝标量”是三个切矢量的外积 $s\in T_pM\wedge T_pM\wedge T_pM=\bigwedge^3(T_pM)$ 。
发现了制作个人网站的神器 - Hugo。感觉酷炫且好用。以后把知乎的博客都慢慢迁移过来!
作为物理人,你很可能听过张量,微分形式,李代数 … 等等概念的其中一个或者多个。但是你可能像我一样,每次听到这些概念的时候都感觉云里雾里。因此,本文旨在帮助物理人,为这些彼此紧密联系的诸概念进行一个梳理。