开发人员基于指令集架构(ISA),使用不同的处理器硬件实现方案,来设计不同性能的处理器,因此 ISA 又被视作 CPU 的灵魂。我们可以将指令集架构理解为一个抽象层,它是处理器底层硬件与运行在硬件上的软件之间桥梁和接口。
图1 指令集架构
指令集架构 分为 复杂指令集 (Complex Instruction Set Computer,CISC )和精简指令集 (Reduced Instruction Set Computer,RISC)架构。
CISC 架构不仅包含了处理器常用的指令,还包含了许多不常用的特殊指令;在 CPU 发展早期,CISC 曾是主流,可以使用较少的指令完成 *** 作;但随着越来越多的特殊指令被添加到 CISC 架构中,常用的典型程序运算过程中用到的指令仅占指令集的20%,80%的指令则很少用到,而这些很少用到的指令让 CPU 的设计变得极其复杂,大大增加了硬件设计的时间成本和面积开销。
RISC 架构只包含处理器常用的指令,对于不常用的 *** 作,通过执行多条常用指令的方式来达到同样的效果。因而在 RISC 架构诞生后,所有现代指令集都选择使用 RISC 架构。
自 CPU 于上世纪 60 年代问世,已发展几十年,有几十种不同的指令集架构相继诞生或消亡。这里挑选 8 个主流架构,简要概括如下表:
CPU主要有三大应用领域,即服务器领域、PC领域和嵌入式领域。
1) 移动领域 :如智能手机,市场规模有望超过 PC 领域,几乎为 ARM Cortex-A 系列垄断;
2) 实时(Real Time)嵌入式领域 :ARM 架构占较大市场份额;
3) 泛嵌入式领域 :强调低功耗、低成本和高能效比,芯片主要是微控制器或微处理器,市场应用极为分散,但基数庞大,尤其在进入物联网时代。ARM Cortex-M 系列是市场主流
从 CPU 的应用场景,我们可以观察到 CPU 应用场景的拓宽和激增,有三个主流时代,从 PC 时代跨越到移动时代,再延展到物联网时代,恰好映射到 CPU 三大架构,权且看做 CPU 之三生三世。
一生一世:x86 架构是服务器领域/PC 领域的权贵。 Intel 和 AMD 是 x86 处理器芯片的主要提供商,历经数代发展,从最初的 16 位发展至如今的 64 位。Intel 通过内部“微码化”克服了 CISC 架构的部分缺点,并凭借不断提升的 CPU 设计水平和工艺制造水平,使其在性能上保持遥遥领先,加之 Wintel 的成功商业联盟,不仅在 PC 领域占据统治性地位,还击败了 IBM 和 Sun 公司,拥有超 90% 的服务器市场份额。
Intel/AMD 作为芯片公司,x86 架构是其生命线,授权费用极高,还可对有威胁的竞争对手停止授权。故而,采用 x86 架构开发被戏称为“权贵的 游戏 ”。
二生二世:ARM 架构是移动王者。 ARM 公司的商业模式以开放共赢为基本原则,通过基础架构授权、内核 IP 授权等方式盈利。ARM 积极推动生态建设,以 ARM 统一制定的标准规范将上下游软硬件企业纳入其生态系统。随着近 10 多年移动应用的快速发展,尤其是智能手机的兴起,ARM 迅速成为移动世界的王者。
进击的 ARM 不仅凭借 Cortex-A 系列在手持设备领域无敌,还以 Cortex-R 系列和 Cortex-M 系列在实时嵌入式领域和泛嵌入式领域成功部署。ARM 三大细分产品:
“移动王者” Cortex-A 系列 是一组用于高性能低功耗微控制器领域的 32 位和 64 位 RISC 处理器系列,内置存储器管理单元(Memory Management Unit,MMU),可支持 *** 作系统的运行。 32位系列 包括 Cortex-A5,Cortex-A7,Cortex-A8,Cortex-A9,Cortex-A12,Cortex-A15,Cortex-A17 和 Cortex-A32。 64位系列 包括 Cortex-A35,Cortex-A53,Cortex-A57,Cortex-A72,Cortex-A73。
值得一提的是,Cortex-A8 首批芯片量产时,3G 网络问世,踩上了智能手机的潮点;之后,Cortex-A9 催生了智能手机的井喷期,成为智能手机内核标配,自此,Cortex-A 系列进入年均一款的“下饺子”开挂模式。Cortex-A 系列的先机与成功,奠定了 ARM 在移动领域的王者地位,在移动领域构筑了城宽池深的软件生态环境。目前,ARM 架构已应用到全球 85% 的移动设备中,其中超过 95% 的智能手机处理器是基于 ARM 架构。
ARM Cortex-A 系列一统移动江山后,与高通、谷歌、微软等合作伙伴逐步形成强强生态联盟,将进军传统 x86 架构 PC 与服务器市场定为下一步发展目标。
“小个子有大力量”的 Cortex-M 系列 是一组用于低功耗微控制器领域的32位 RISC 处理器系列。包括 Cortex-M0,Cortex-M0+,Cortex-M1,Cortex-M4(F),Cortex-M7(F),Cortex-M423,Cortex-M33(F)。Cortex-M 系列的应用场景虽不像 Cortex-A 系列光芒四射,但在物联网设备激增的万物智联时代,需求量巨大。
自2007年,诸如意法半导体、恩智浦等多家半导体公司持续推出基于 Cortex-M 内核的微控制器;国内厂商也纷纷入场,抢夺物联网市场,特别是 2020 年Q4 至今的缺货潮中,国产替代风起云涌。众多微控制器厂家中,尤以意法半导体公司的 STM32 产品系列最全、生态建设最完善。
三生三世:粉墨登场的 RISC-V。 RISC-V 架构是一种全新的指令集架构,2010年始于加州大学伯克利分校。“V”除了表示从 RISC-I 开始的第五代指令架构外,还有变化(Variation)和向量(Vector)的含义。
2015年,RISC-V 基金会成立并开始正式运作。作为非盈利性组织,RISC-V 基金会负责维护标准的 RISC-V 指令集手册和架构文档,并促进 RISC-V 架构的发展,将其 推向开源,不仅成为一种完全开放的指令集,可以被任何学术机构或商业组织自由使用;还要成为一种真正适合硬件实现且稳定的标准指令集。
源起名校、兴于开源的 RISC-V 架构,相比 ARM 架构,具有灵活的扩展性,指令集的设计考虑了小型、快速、低功耗的实际应用场景,但并未对特定的微架构做过度设计,是第一个可根据具体场景选择适合的指令集的指令集架构。RISC-V 指令集可满足从微控制器到超级计算机等不同复杂程度的处理器设计需求,极大地拉低了 CPU 设计准入门槛,并显著降低芯片开发成本。
RISC-V 架构利于我国工业体系中“少数短板”之一 —— 芯片的发展,商业公司可基于开源架构开发其自主可控的商业 IP,如我国 RISC-V 系先行者平头哥和芯来 科技 。同时,该架构能够适应由 5G 和人工智能催生出的碎片化计算需求,有望成为物联网时代的主要抓手。
指令集架构的生态建设,需要付出昂贵的教育成本和接受成本,教育成本取决于人们的普遍熟悉程度,接受成本取决于人们愿意投入的时间。RISC-V 生态初成,海外有 RISC-V 基金会的积极推动,国内很多地区政府也将 RISC-V 指向为国产芯片架构发展的主要方向,并推出一系列鼓励措施。随着采用 RISC-V 架构的芯片越来越多,尤其是完全国产芯片的问世,产学研市场对 RISC-V 芯片应用有了越来越多的需求,中国 RISC-V 产业生态日渐成熟。
半导体中的电子状态 电子状态指的是电子的运动状态又常简称为电子态,量子态等。半导体之所 以具有异于金属和绝缘体的物理性质是源于半导体内的电子运动规律。 半导体内 的电子运动规律又是由半导体中的电子状态决定的。 晶体是由周期性地排列起来的原子所组成的。 每个原子又包含有原子核和电 子。本章的目的就是研究这些粒子的运动状态。 1.1 周期性势场 晶体中原子的排列是长程有序的,这种现象称为晶体内部结构的周期性。晶体内部 结构的周期性可以用晶格来形象地描绘。 晶格是由无数个相同单元周期性地重复排列组 成的。这种重复排列的单元称为晶胞。晶胞的选取是任意的,其中结构最简单,体积最 小的晶胞叫做原胞。三维晶格的原胞是平行六面体。二维晶格的原胞是平行四边形。一 维晶格的原胞是线段。原胞只含有一个格点,格点位于元胞的顶角上。 (例:二维晶格 和一维晶格的原胞) a r b Rm r′ a2 a1 c d 。。 二维晶格元胞 Rm=3a1+ a2 以任一格点为原点,沿原胞的三个互不平行的边,长度分别等于三个边长的一组矢 量称为原胞的基矢量,简称为基矢。记作 a1 , a2 , a3 。 晶格可以用基矢量来描述。矢量 1 Rm = m1a1 + m2 a2 + m3 a3 = ∑ mi ai i =1 3 ( m1,m2,m3 是任意整数 ) (1-1) 确定了任一格点的位置,称为晶格矢量。 r 和 r = r + Rm 为不同原胞的对应点。二者相 ' 差一个晶格矢量。可以说不同原胞的对应点相差一个晶格矢量。反过来也可以说相差一 个晶格矢量的两点是不同原胞的对应点。通过晶格矢量的平移可以定出所有原胞的位 置,所以 Rm 也叫做晶格平移矢量,晶体内部结构的周期性也叫做晶体的平移对称性。 晶体内部结构的周期性意味着晶体内部不同原胞的对应点处原子的排列情况相同, 晶体的微观物理性质相同。因此,不同原胞的对应点晶体的电子的势能函数相同,即 V (r ) = V (r ' ) = V (r + Rm ) (1-2) 式(1-2)是晶体的周期性势场的数学描述。图 1-1 给出一维周期性势场的示意图。 V1 , V2 , V3 …,分别代表原子 1,2,3,…,的势场,V 代表叠加后的晶体势场。周期性势场中的电子可以有两种运动方式,一是在一个原子的势场中运动,二是 在整个晶体中运动。比如具有能量 E1 或 E2 的电子在可以在原子 1 的势场中运动,根据 量子力学的隧道效应,它还可以通过隧道效应越过势垒 V 到势阱 2,势阱 3,…,中运 动。换言之,周期性势场中,属于某个原子的电子既可以在该原子附近运动,也可以在 其它的原子附近运动, 即可以在整个晶体中运动。 通常把前者称为电子的局域化运动 (相 应的电子波函数称为原子轨道) ,而把后者称为共有化运动(相应的电子波函数称为晶 格轨道) 。局域化运动电子的电子态又称为局域态。共有化运动的电子态又称为扩展态。 晶体中的电子的运动既有局域化的特征又有共有化特征。 如果电子能量较低, 例如图 1-1 中的 E2,在该能态电子受原子核束缚较强,势垒 V-E2 较大。电子从势阱 1 穿过势垒进 入势阱 2 的概率就比较小。对于处在这种能量状态的电子来说,它的共有化运动的程度 就比较小。但对于束缚能较弱的状态 E1,由于势垒 V-E1 的值较小,穿透隧道的概率就 比较大。因此处于状态 E1 的电子共有化的程度比较大。价电子是原子的最外层电子, 受原子的束缚比较弱,因此它们的共有化的特征就比较显著。在研究半导体中的电子状 态时我们最感兴趣的正是价电子的电子状态。 2 V1 V2 V1 V3 V2 V3 V E1 V V V E2 1 2 3 原子 图 1.1a 周期势场示意图 -2 -a 0 a 2 图 1.1b 周期为 a 的一维周期性势场 图 1.1 周期势场示意图 1.2 周期性势场中电子的波函数 布洛赫(Bloch)定理 布洛赫( ) 布洛赫定理给出了周期性势场中电子的运动状态, 提供了研究晶体中电子运动的理 论基础。 1.2.1 单电子近似(哈崔 福克 Hartree-Fock 近似) 单电子近似(哈崔-福克 近似) 晶 体 是 由 规 则 的 ,周 期 性 排 列 起 来 的 原 子 所 组 成 的 ,每 个 原 子 又 包 含 有 原子核和核外电子。原子核和电子之间、电子和电子之间存在着库仑作用。 因 此 ,它 们 的 运 动 不 是 彼 此 无 关 的 ,应 该 把 它 们 作 为 一 个 体 系 统 一 地 加 以 考 虑 。也 就 是 说 ,晶 体 中 电 子 运 动 的 问 题 是 一 个 复 杂 的 多 体 问 题 。为 使 问 题 简 化 ,可 以 近 似 地 把 每 个 电 子 的 运 动 单 独 地 加 以 考 虑 ,即 在 研 究 一 个 电 子 的 运 动 时 ,把 在 晶 体 中 各 处 的 其 它 电 子 和 原 子 核 对 这 个 电 子 的 库 仑 作 用 ,按 照 它 们 的 几 率 分 布 ,平 均 地 加 以 考 虑 。也 就 是 说 ,其 它 电 子 和 原 子 核 对 这 个 电 子 3 的 作 用 是 为 这 个 电 子 提 供 了 一 个 势 场 。这 种 近 似 称 为 单 电 子 近 似 。单 电 子 近 似 方 法 也 被 称 之 为 哈 崔 -福 克 方 法 。 这 样 , 一 个 电 子 所 受 的 库 仑 作 用 仅 随 它 自 己 的 位 置 的 变 化 而 变 化 。或 者 说 ,一 个 电 子 的 势 函 数 仅 仅 是 它 自 己 的 坐 标 的 函 数 。于 是 它 的 运 动 便 由 下 面 仅 包 含 这 个 电 子 的 坐 标 的 波 动 方 程 式 所 决 定 2 2 + V (r )ψ (r ) = E ψ (r ) 2m 式中 2 2 — 电子的动能算符 2m ( 1-3) V (r ) — 电子的势能算符,它具有晶格的周期性 — 电子的能量 — 电子的波函数 E ψ (r ) = h , 2π h 为普朗克常数, 称为约化普朗克常数 1.2.2 布 洛 定 理 布 洛 定 理 指 出 : 如 果 势 函 数 V (r ) 有 晶 格 的 周 期 性 , 即 V (r ) = V (r + Rm ) 〔 公 式 ( 1-2) 〕则 方 程 式 ( 1-3) 的 解 ψ (r ) 具 有 如 下 形 式 ψ k (r ) = eik r uk (r ) 式 中 函 数 u k (r ) 具 有 晶 格 的 周 期 性 , 即 ( 1-4) uk (r + Rm ) = uk (r ) 以上陈述即为布洛定理。 ( 1-5) 布 洛 定 理 中 出 现 的 矢 量 Rm 为 式 ( 1-1) 所 定 义 的 晶 格 平 移 矢 量 。 矢 量 k 4 称 为 波 矢 量 ,是 任 意 实 数 矢 量 。 k = 2π λ 称为波数, λ 为电子波长。 k 是标志 电 子 运 动 状 态 的 量 。 由 式 ( 1-4) 所 确 定 的 波 函 数 称 为 布 洛 赫 函 数 或 布 洛 赫 波。 由于 ψ k (r + Rm ) = eik (r +R )uk (r + Rm ) m = = 即 eik Rm eik r uk (r ) eik Rmψ k (r ) ψ k (r + Rm ) = eik R ψ k (r ) m ( 1-6) 式 ( 1-6) 是 布 洛 赫 定 理 的 另 一 种 表 述 。 式 ( 1-6) 说 明 , 晶 体 中 不 同 原 胞 对 应点处的电子波函数只差一个模量为 1 的因子 e ik Rm 也就是说,在晶体中各 个 原 胞 对 应 点 处 电 子 出 现 的 概 率 相 同 ,即 电 子 可 以 在 整 个 晶 体 中 运 动 — 共 有 化运动。 我 们 现 在 考 察 波 矢 量 k 和 波 矢 量 k = k + Kn 标 志 的 两 个 状 态 。 ' 式中 K n = n1b1 + n2b2 + n3b3 = ∑ ni bi i =1 3 (1-7) 叫 做 倒 格 矢 ( reciprocal lattice vector) b1 , b2 , b3 叫 做 与 基 矢 a1 , a 2 , 。 a3 相 应 的 倒 基 矢 。 n1 , n2 , n3 为 任 意 整 数 。由 b1 , b2 , b3 所 构 成 的 空 间 称 为倒 空 间 (reciprocal space)或 倒 格 子 ( reciprocal lattice) b1 , b2 , b3 与 。 a1 , a 2 , a3 之 间 具 有 如 下 的 正 交 关 系 2π , i = j bi a j = 2πδ ij = 0, i ≠ j 且 ( i, j = 1, 2, 3) b1 = 2π (a 2 × a3 ) 5 b2 = b3 = 式中 2π (a3 × a1 ) 2π (a1 × a 2 ) = a1 ( a 2 × a 3 ) 为晶格原胞的体积。 (举例:晶格常数为 a 的一维晶格和它的倒格子: b = 2π / a 。 a ≈ 0.5nm, b ≈ 108 cm 1 )晶 格 平 移 矢 量 Rm 和 倒 格 矢 K n 之 间 满 足 如 下 关 系 eiKn Rm = 1 利用上式,有 i k + K n Rm e ( ) = eiKn Rm eik Rm = eik Rm 由 于 波 矢 量 k 是 标 志 电 子 状 态 的 量 ,可 见 ,相 差 倒 格 矢 K n 的 两 个 k 代 表 的 是 同 一 个 状 态 。 举 例 :倒 空 间 一 维 波 矢 量 ) ( 。因 此 ,为 了 表 示 晶 体 中 不 同 的 电 子态只需要把 k 限制在以下范围 0 ≤ k1 <0 ≤ k2 <0 ≤ k3 <2π a1 2π a2 2π a3 即可。为对称起见,把 k 值限制在 6 或写作 π a1 ≤ k1 <≤ k2 <≤ k3 <π a1 π a2 π a2 π a3 π a3 π ≤ k i ai <π ( 1-8) 公 式 ( 1-8) 所 定 义 的 区 域 称 为 k 空 间 的 第 一 布 里 渊 ( 1st Brillouin Zone) 区。 布里渊区是把倒空间划分成的一些区域。布里渊区是这样划分的:在 倒 空 间 ,作 原 点 与 所 有 倒 格 点 之 间 连 线 的 中 垂 面 ,这 些 平 面 便 把 倒 空 间 划 分 成 一 些 区 域 ,其 中 ,距 原 点 最 近 的 一 个 区 域 为 第 一 布 里 渊 区( 1stBZ),距 原 点 次 近 的 若 干 个 区 域 组 成 第 二 布 里 渊 区 ,以 此 类 推 。这 些 中 垂 面 就 是 布 里 渊 区的分界面。 在 布 里 渊 区 边 界 上 的 k 的 代 表 点 , 都 位 于 到 格 矢 Kn 的 中 垂 面 上 , 它 们 满足下面的平面方程: k (Kn / Kn ) = 即 1 Kn 2 k Kn = 1 2 Kn 2 ( 1-9) k 取遍 k 空间除原点以外的所有所有 k 的代表点。可以证明,这样划分的布里渊区,具有以下特性: 1.每 个 布 里 渊 区 的 体 积 都 相 等 , 而 且 就 等 于 一 个 倒 原 胞 的 体 积 。 7 2. 每 个 布 里 渊 区 的 各 个 部 分 经 过 平 移 适 当 的 倒 格 矢 K n 之 后 ,可 使 一 个 布 里 渊区与另一个布里渊区相重合。 3. 每 个 布 里 渊 区 都 是 以 原 点 为 中 心 而 对 称 地 分 布 着 而 且 具 有 正 格 子 和 倒 格 子的点群对称性。布里渊区可以组成倒空间的周期性的重复单元。 根 据 以 上 分 析 ,对 于 周 期 为 a 的 一 维 晶 格 ,第 一 布 里 渊 区 为 [ 第二布里渊区为[ π π 2π π π 2π , )和[ , ) 余此类推。 。 a a a a , ) 。 a a 值得注意的是布里渊区边界上的两点相差一个倒格矢,因此代表同一个 状态。 常见金刚石结构和闪锌矿结构具有面心立方晶格,其第一布里渊区如图 1-2 所 示 。布 里 渊 区 中 心 用 Γ 表 示 。六 个 对 称 的 <100>轴 用 表 示 。八 个 对 称 的 <111>轴 用 ∧ 表 示 。 十 二 个 对 称 的 <110>轴 用 ∑ 表 示 。 符 号 X、 L、 K 分 别 表 示 <100>、 <111>、 <110>轴 与 布 里 渊 区 边 界 的 交 点 。 其 坐 标 分 别 为 X: 2π 2π 1 1 1 (1, 0, 0) , L: ( , , ) a a 2 2 2 K: 2π 3 3 ( , , 0) a 4 4 在六个对称的 X 点中,每一个点都与另一个相对于原点同它对称的点相 距 一 个 倒 格 矢 ,它 们 是 彼 此 等 价 的 。不 等 价 的 X 点 只 有 三 个 。同 理 ,在 八 个 对称的 L 点中不等价的只有四个。 L Γ Χ ky K kx 8 图 1-2 面 心 立 方 格 子 的 第 一 布 里 渊 区 图 下面我们来证明布洛赫定理。 引入电子的哈蜜顿算符 H=- 2 2 + V (r) 2m 则 波 动 方 程 ( 1-3) 可 以 简 写 成 Hψ (r) = Eψ (r) ( 1-10) 引 入 平 移 算 符 T ( Rm , 其 定 义 为 , 当 它 作 用 在 任 意 函 数 f( r ) 上 后 , 将 函 Rm) 数 中 的 变 量 r 换 成 ( r +Rm ,得 到 r 的 另 一 函 数 f( r +Rm ,即 Rm) Rm) Rm Rm Rm)f(r )=f( r +Rm Rm) T (Rm Rm r Rm (1-11) 平 移 算 符 彼 此 之 间 可 以 交 换 。 对 于 任 意 两 个 平 移 算 符 T (Rm Rm)和 T (Rn Rn), Rm Rn 有 =T(Rm+Rn) T(Rm)T(Rn) =T(Rn)T(Rm) =T(Rm Rn) 证明如下: T(Rm)T(Rn)f(r)=T(Rm)f(r T(Rm)T(Rn)f(r)=T(Rm) (r+ Rn) (r =f(r +Rn Rm r Rn Rm) Rn+Rm =T (r +Rn Rm T r Rn Rm)f( r ) Rn+Rm (1-12) 9 =T (r +Rm Rn T r Rm Rn)f( r ) Rm+Rn =T (Rn T Rn Rn)f(r + Rm r Rm) = T ( Rn T ( Rm f(r ) Rn) Rm) r 这 说 明 两 个 平 移 *** 作 接 连 进 行 的 结 果 ,不 依 赖 于 它 们 的 先 后 次 序 ,即 平 移 算 符彼此之间是可以交换的。 在 周 期 性 势 场 中 运 动 的 电 子 的 势 函 数 V(r ) 具 有 晶 格 的 周 期 性 [ 公 式 r ( 1-2) ]因 而 有 2 2 T(R m )Hψ (r) = (∑ ) + V (r + R m ) ψ (r + R m ) 2 2m j ( x j + m j a j ) 2 2 = + V (r) ψ (r + R m ) 2m = HT(R m )ψ (r) 上 式 表 明 , 任 意 一 个 晶 格 平 移 算 符 T (Rm Rm)和 电 子 的 哈 密 顿 算 符 H 彼 此 间 两 两 Rm 可交换,即 Rm)H HT Rm) HT(Rm T (Rm H =HT Rm Rm (1-13) 根据量子力学的一个普遍定理,这些线性算符可以有共同的本征函数。 或者说,存在这样的表象,在此表象中,这些算符的矩阵元素同时对角化。 容易说明,为了选择 H 的本征函数,使得它们同时也是所有平移算符的 本 征 函 数 , 只 需 要 它 们 是 三 个 基 本 平 移 算 符 T (a 1 ) ,T ( a 2 ), T (a 3 )的 本 征 a T a 函 数 就 够 了 。 也 就 是 说 , 如 果 ψ ( r ) 是 基 本 平 移 算 符 T ( a j ) ,T ( a 2 ), T (a 3 ) T a 的 本 征 函 数 , 则 它 也 是 平 移 算 符 T (Rm Rm)的 本 征 函 数 。 证 明 如 下 : 选 择 ( 1-3) Rm 10 的 解 ψ (r ) 是 基 本 平 移 算 符 的 本 证 函 数 , 即 T(a1 )ψ (r) = ψ (r + a1 ) = C (a1 )ψ (r) T (a2 )ψ (r ) = ψ (r + a2 ) = C (a2 )ψ (r ) T (a3 )ψ (r ) = ψ (r + a3 ) = C (a3 )ψ (r ) 或 T (a j )ψ (r ) = ψ (r + a j ) = C (a j )ψ (r ), ( j = 1, 2,3) 其 中 C ( a1 ), C ( a2 ), C ( a3 ) 分 别 是 三 个 基 本 平 移 算 符 的 本 征 值 。 T ( Rm )ψ (r ) = m1a1 + m2 a2 + m3 a3 )ψ (r ) T( = ψ ( r + Rm ) = T ( a1 ) 1 T ( a2 ) 2 T ( a3 ) 3 ψ (r ) m m m = C ( a1 ) 1 C ( a2 ) 2 C ( a3 ) 3ψ ( r ) m m m =λ ψ ( r ) ( 1-14) 可 见 , 若 C ( a1 ), C ( a2 ), C ( a3 ) 分 别 是 三 个 基 本 平 移 算 符 的 本 征 值 。 则 λ = C ( a1 ) 1 C ( a2 ) 2 C ( a3 ) 3 就 是 平 移 算 符 T (Rm Rm)的 本 征 值 。 因 此 , 若 ψ ( r ) 是 三 个 Rm m m m 基 本 平 移 算 符 T (a 1 ) ,T ( a 2 ), T (a 3 )的 本 征 函 数 , 则 它 也 是 平 移 算 符 T (Rm Rm) a T a Rm 的 本 征 函 数 。 我 们 就 这 样 来 选 择 波 动 方 程 ( 1-3) 的 解 , 使 它 们 同 时 也 是 所 有 平 移 算 符 的 本 征 函 数 。或 者 说 通 过 寻 找 平 移 算 符 的 本 征 函 数 去 找 到 波 动 方 程 ( 1-3) 的 解 。 11 由 于 平 移 算 符 T (Rm Rm)和 H 可 以 交 换 ,所 以 若 ψ ( r ) 是 H 的 本 征 函 数 ,则 经 Rm 过 平 移 后 的 函 数 ψ ( r + Rm ) 一 定 也 都 是 H 的 本 征 函 数 。 求 这 些 函 数 都 要 满 足 要 归 一 化 条 件 , 因 而 它 们 之 间 的 比 例 系 数 的 绝 对 值 必 须 等 于 1, 即 C (a1 ) m1 C (a2 ) m2 C (a3 ) m3 该式成立的充分必要条件是 =1 ( m1 , m2 , m3 是任意整数) C (a1 ) = 1, C (a2 ) = 1, C (a3 ) = 1 。 即要求这三个常数只可能是模量为 1 的复数。它们一般可以写成 C (a1 ) = ei 2πβ1 , C (a2 ) = ei 2πβ2 , C (a3 ) = ei 2πβ3 或者 C (a j ) = e 这里 i 2πβ j ( j=1, 2, 3) ( 1-15) β1 , β 2 , β3 为 三 个 任 意 实 数 。 以 这 三 个 实 数 为 系 数 , 把 三 个 倒 基 矢 线 性 组 合 起 来 , 得 到 一 个 实 数 矢 量 K: k = β1b1 + β 2b2 + β 3b3 根据正基矢与倒基矢之间的正交关系 3 (1-16) k a j = ∑ βi bi a j = 2πβ j i =1 可 以 把 式 ( 1-15) 改 写 成 C (a1 ) = eik a1 , C (a2 ) = eik a2 , C (a3 ) = eik a3 或者 12 C (a j ) = e 代替 ik a j ( 1-17) β1 , β 2 , β3 , 引 入 了 矢 量 K 。 在 量 子 力 学 中 ,如 果 算 符 代 表 一 定 的 物 理 量 ,其 本 征 值 是 实 数 ,相 应 的 算 符 为 厄 米 算 符 。平 移 算 符 只 是 一 种 对 称 *** 作 ,不 代 表 物 理 量 ,不 具 有 厄 米 算 符的性质,因此其本征值可以是复数。 将 ( 1-17) 代 入 ( 1-14) 得 到 , ψ (r + Rm ) = eik R ψ (r ) m ( 1-18) 式 ( 1-18) 即 为 式 ( 1-6) 是 布 洛 赫 定 理 的 另 一 种 形 式 。 , 利 用 波 函 数 ψ ( r ) , 可 以 定 义 一 个 新 的 函 数 u (r ) , u (r ) = e ik rψ (r ) ( 1-19) 根 据 波 函 数 的 性 质 式 ( 1-18) 容 易 看 出 , 函 数 u (r ) 具 有 晶 格 的 周 期 性 : , u (r + Rm ) = e ik ( r + Rm )ψ (r + Rm ) = e ik rψ ( r ) = u (r ) ( 1-20) 于 是 , 由 式 ( 1-19) 可 以 将 周 期 性 势 场 中 电 子 的 波 函 数 表 示 为 , ψ (r ) = eik r u (r ) 其 中 u (r ) 具 有 晶 格 的 周 期 性 。 根 据 以 上 分 析 ,周 期 性 势 场 中 电 子 的 波 函 数 可 以 表 示 成 一 个 平 面 波 和 一 13 个 周 期 性 因 子 的 乘 积 。 平 面 波 的 波 矢 量 为 实 数 矢 量 k, 它 可 以 用 来 标 志 电 子 的 运 动 状 态 。不 同 的 k 代 表 不 同 的 电 子 态 ,因 此 k 也 同 时 起 着 一 个 量 子 数 的 作 用 。 为 明 确 起 见 , 在 波 函 数 上 附 加 一 个 指 标 k ,写 作 ψ k (r ) = eik r uk (r ) 至此,布洛赫定理得证。 相 应 的 本 征 值 — 能 量 谱 值 为 E=E( k ) 。 根 据 公 式 ( 1-21) 可 以 看 出 : ( 1-21) 1. 波 矢 量 k 只 能 取 实 数 值 ,若 k 取 为 复 数 ,则 在 波 函 数 中 将 出 现 衰 减 因 子 , 这样的解不能代表电子在完整晶体中的稳定状态。 2.平 面 波 因 子 e ik r 与自由电子的波函数相同, 描述电子在各原胞之间的 它 运动—共有化运动。 3.因 子 uk ( r ) 则 描 述 电 子 在 原 胞 中 的 运 动 — 局 域 化 运 动 。它 在 各 原 胞 之 间 周期性地重复着。 4.根 据 式 (1-18), ψ k (r + Rm ) 2 = ψ k (r ) 2 (1-22) 这说明电子在各原胞的对应点上出现的概率相等. 需 要 指 出 的 是 , 由 于 晶 体 中 电 子 的 波 函 数 不 是 单 纯 的 平 面 波 ,而 是 还 乘 以一个周期性函数。 以它们的动量算符 所 与哈密顿算符 H 是不可交换的。 i 因 此 , 晶 体 中 电 子 的 动 量 不 取 确 定 值 。由 于 波 矢 量 k 与 约 化 普 朗 克 常 数 的 乘 积 是 一 个 具 有 动 量 量 纲 的 量 , 对 于 在 周 期 性 势 场 中 运 动 的 电 子 ,通 常 把 14 p = k (1-23) 称 为 晶 体 动 量 crystal momentum) 或 电 子 的 准 动 量 (quasimomentum)” “ ( ” “ . 1.3 周 期 性 边 界 条 件 ( 玻 恩 - 卡 曼 边 界 条 件 ) 在 讨 论 电 子 的 运 动 情 况 时 ,我 们 没 有 考 虑 晶 体 边 界 处 的 情 况 ,就 是 说 我 们 把 晶 体 看 作 是 无 限 大 的 。对 于 实 际 晶 体 ,除 了 需 要 求 解 波 动 方 程 之 外 ,还 必 须 考 虑 边 界 条 件 。根 据 布 洛 赫 定 理 ,周 期 场 中 的 电 子 的 波 函 数 可 以 写 成 一 个 平 面 波 与 一 个 周 期 性 因 子 相 乘 积 。平 面 波 的 波 矢 量 k 为 任 意 实 数 矢 量 。当 考虑到边界条件后,k 要受到限制,只能取分立值。本节我们将根据晶体的 周期性边界条件,对 k 作一些更深入的讨论。 实 际 的 晶 体 其 大 小 总 是 有 限 的 。电 子 在 晶 体 表 面 附 近 的 原 胞 中 所 处 的 情 况 与 内 部 原 胞 中 的 相 应 位 置 上 所 处 的 情 况 不 同 ,因 而 ,周 期 性 被 破 坏 ,给 理 论 分 析 带 来 一 定 的 不 便 。 为 了 克 服 这 一 困 难 , 通 常 都 采 用 玻 恩 -卡 曼 的 周 期 性边界条件。 玻 恩 -卡 曼 的 周 期 性 边 界 条 件 的 基 本 思 想 是 ,设 想 一 个 有 限 大 小 的 晶 体 , 它 处 于 无 限 大 的 晶 体 中 ,而 无 限 晶 体 又 是 这 一 有 限 晶 体 周 期 性 重 复 堆 积 起 来 的 。由 于 有 限 晶 体 是 处 于 无 限 晶 体 之 中 ,因 而 ,电 子 在 其 界 面 附 近 所 处 的 情 况 与 内 部 相 同 ,电 子 势 场 的 周 期 性 不 致 被 破 坏 。假 想 的 无 限 晶 体 只 是 有 限 晶 体 的 周 期 性 重 复 ,只 需 要 考 虑 这 个 有 限 晶 体 就 够 了 ,并 要 求 在 各 有 限 晶 体 的 相 应 位 置 上 电 子 运 动 情 况 相 同 。或 者 说 ,要 求 电 子 的 运 动 情 况 ,以 有 限 晶 体 为 周 期 而 在 空 间 周 期 性 地 重 复 着 。于 是 ,问 题 便 得 到 了 解 决 。这 就 是 所 谓 周 期性边界条件。 设 想 所 考 虑 的 有 限 晶 体 是 一 个 平 行 六 面 体 , 沿 a1 方 向 有 N1 个 原 胞 , 沿 a2 方 向 有 N2 个 原 胞 , 沿 a3 方 向 有 N3 个 原 胞 , 总 原 胞 数 N 为 N=N 1 N 2 N 3 . ( 1.24) 15 周 期 性 边 界 条 件 要 求 沿 aj 方 向 上 , 由 于 以 N ja j 为 周 期 性 , 所 以 ψ k (r + N j a j ) = ψ k (r ). ( j=1, 2, 3) ( 1.25) 将 晶 体 中 的 电 子 波 函 数 公 式 ( 1.21) 代 入 这 一 条 件 后 , 则 要 求 e ik ( r + N j a j ) uk (r + N ja j ) = eik r uk (r ). 考 虑 到 函 数 uk ( r ) 是一个具有晶体周期性的函数,因而,要上式成立,只需 ik N j a j e =1 即要求 k N j a j 为 2π的整数倍。 将波矢量 k 的表示式 k = β1b1 + β 2b2 + β 3b3 代入上式, 并利用正交关系 biaj=2πδij ,上面的条件可改写为 k N j a j = β j N j 2π = l j 2π , (l j 为任意整数)或者 β j = l j / N j , ( j = 1, 2, 3) 即 β1 = l1 / N1 , β 2 = l2 / N 2 , β3 = l3 / N 3 ,( l1 l2 l3 为任意整数) (1.26) 由于 l j 为整数,所以 β j 只能取分立值。将式(1.26)代入式(1.16) ,则发现在周期性 边界条件限制下,波矢量 k 只能取分立值, 3 l l l1 l j b1 + 2 b2 + 3 b3 = ∑ b j N1 N2 N3 j =1 N j k= (1.27) 16 ( l1 l2 l3 为任意整数) 。 而与这些波矢量 k 相应的能量 E (k)也只能取分立值,这给理论分析上带来很大 的方便。 在倒空间中每个倒原如何确定故障IGBT功率板的位置?IGBT在逆变器柜内布置如下:
相 U V W
功率组件 1 A11 A21 A31
功率组件 2 A12 A22 A32
A15 A25 A35
功率组件 3 A13 A23 A33
功率组件 4 A14 A24 A34
成对组件为:
A11+A12 和 A13+A14
A21+A22 和 A23+A24
A31+A32 和 A33+A34
A15, A25 和 A35 均为钳位二极管(无反馈信号送至控制系统)
故障举例: F30100, r0949 000064® hex 000040® V相, 功率组件3 = A23 (故障源)
® 由于A23 和 A24是串联连接的,因此需要将A23 和 A24 整体更换。
任何情况下,串联连接的IGBT器件必须成对更换(仅对于额定电压为3.3kV和4.1kV的GM150)!
请参考文档 (ID 55416927 ):在SINAMICS GM150 中,正确替换匹配的IGBT功率板
摘录自“GM150参数手册” (第三章, 353页):
F30100 功率单元:功率半导体1故障
驱动对象: VECTORMV
反应: OFF2
应答: 立即
原因: 功率组件的反馈信号显示至少有一个功率半导体器件的状态与开关指令不一致。
对于功率组件内没有功率半导体串联电路的功率单元(IGCT, IGBT 2,3 kV) ,此故障涵盖了全部的功率半导体。
对于功率组件内有功率半导体串联电路的功率单元 (IGBT >= 3.3 kV),此故障仅检测串联电路中第一个功率半导体,第二个功率半导体的故障显示在F30101中。
此故障出现的另一种情况是:在脉冲释放的情况下,激活PSA的安全转矩停车(STO)功能也会触发此故障。
故障值 (r0949, 16进制):
0001 (16进制): U相 功率组件1
0002 (16进制): U相 功率组件2
0004 (16进制): U相 功率组件3
0008 (16进制): U相 功率组件4
0010 (16进制): V相 功率组件1
0020 (16进制): V相 功率组件2
0040 (16进制): V相 功率组件3
0080 (16进制): V相 功率组件4
0100 (16进制): W相 功率组件1
0200 (16进制): W相 功率组件2
0400 (16进制): W相 功率组件3
0800 (16进制): W相 功率组件4
注意:
对于故障值= 0666(16进制),可能是由于PSA的STO跳线(X241, X242)丢失所致。
6SL3810-2LM32-5AA0
6SL3810-2LM33-0AA0
6SL3810-2LM33-5AA0
6SL3810-2LM34-0AA0
6SL3810-2LM34-5AA0
6SL3810-2LM34-6AA1
6SL3810-2LM35-0AA0
6SL3810-2LM35-3AA1
6SL3810-2LM35-5AA0
6SL3810-2LM36-0AA0
6SL3810-2LM37-0AA1
6SL3810-2LM38-0AA1
6SL3810-2LN31-8AA0
6SL3810-2LN32-2AA0
6SL3810-2LN32-6AA0
6SL3810-2LN33-0AA0
6SL3810-2LN33-5AA0
6SL3810-2LN34-0AA0
6SL3810-2LN34-5AA0
6SL3810-2LN34-6AA1
6SL3810-2LN35-0AA0
6SL3810-2LN35-3AA1
6SL3810-2LN35-5AA0
6SL3810-2LN36-0AA0
6SL3810-2LN36-6AA0
6SL3810-2LN37-0AA1
6SL3810-2LN37-2AA0
6SL3810-2LN38-0AA1
6SL3810-2LN38-1AA0
6SL3810-2LN38-8AA0
6SL3810-2LN38-8AA1
6SL3810-2LN41-0AA0
6SL3810-2LN41-1AA0
6SL3810-2LN41-2AA1
6SL3810-2LN41-4AA1
6SL3810-2LP31-8AA0
6SL3810-2LP32-2AA0
6SL3810-2LP32-6AA0
6SL3810-2LP33-0AA0
6SL3810-2LP33-5AA0
6SL3810-2LP34-0AA0
6SL3810-2LP34-5AA0
6SL3810-2LP34-6AA1
6SL3810-2LP35-0AA0
6SL3810-2LP35-3AA1
6SL3810-2LP35-5AA0
6SL3810-2LP36-0AA0
6SL3810-2LP36-6AA0
6SL3810-2LP37-0AA1
6SL3810-2LP37-2AA0
6SL3810-2LP38-0AA1
6SL3810-2LP38-1AA0
6SL3810-2LP38-8AA0
6SL3810-2LP38-8AA1
6SL3810-2LP41-0AA0
6SL3810-2LP41-1AA0
6SL3810-2LP41-2AA1
6SL3810-2LP41-4AA1
6SL3810-2LQ30-8AA0
6SL3810-2LQ31-0AA0
6SL3810-2LQ31-2AA0
6SL3810-2LQ31-5AA0
6SL3810-2LQ31-8AA0
6SL3810-2LQ32-0AA0
6SL3810-2LQ32-2AA0
6SL3810-2LQ32-4AA0
6SL3810-2LQ32-7AA0
6SL3810-2LQ33-0AA0
6SL3810-2LQ33-2AA0
6SL3810-2LQ33-6AA0
6SL3810-2LQ34-0AA0
6SL3810-2LQ34-4AA0
6SL3810-2LQ34-8AA0
6SL3810-2LR30-8AA0
6SL3810-2LR31-0AA0
6SL3810-2LR31-2AA0
6SL3810-2LR31-5AA0
6SL3810-2LR31-8AA0
6SL3810-2LR32-0AA0
6SL3810-2LR32-2AA0
6SL3810-2LR32-4AA0
6SL3810-2LR32-7AA0
6SL3810-2LR33-0AA0
6SL3810-2LR33-2AA0
6SL3810-2LR33-6AA0
6SL3810-2LR34-0AA0
6SL3810-2LR34-4AA0
6SL3810-2LR34-8AA0
6SL3810-2LS30-8AA0
6SL3810-2LS31-0AA0
6SL3810-2LS31-2AA0
6SL3810-2LS31-5AA0
6SL3810-2LS31-8AA0
6SL3810-2LS32-0AA0
6SL3810-2LS32-2AA0
6SL3810-2LS32-4AA0
6SL3810-2LS32-7AA0
6SL3810-2LS33-0AA0
6SL3810-2LS33-2AA0
6SL3810-2LS33-6AA0
6SL3810-2LS34-0AA0
6SL3810-2LS34-4AA0
6SL3810-2LS34-8AA0
6SL3815-2LM35-0AA0
6SL3815-2LM35-5AA0
6SL3815-2LM36-0AA1
6SL3815-2LM36-1AA0
6SL3815-2LM36-6AA1
6SL3815-2LM36-7AA0
6SL3815-2LM37-4AA0
6SL3815-2LM38-0AA0
6SL3815-2LM38-8AA1
6SL3815-2LM41-0AA1
6SL3815-2LN33-5AA0
6SL3815-2LN34-0AA0
6SL3815-2LN34-5AA0
6SL3815-2LN35-0AA0
6SL3815-2LN35-5AA0
6SL3815-2LN36-0AA1
6SL3815-2LN36-1AA0
6SL3815-2LN36-6AA1
6SL3815-2LN36-7AA0
6SL3815-2LN37-4AA0
6SL3815-2LN38-0AA0
6SL3815-2LN38-8AA0
6SL3815-2LN38-8AA1
6SL3815-2LN41-0AA0
6SL3815-2LN41-0AA1
6SL3815-2LN41-1AA0
6SL3815-2LN41-1AA1
6SL3815-2LN41-2AA0
6SL3815-2LN41-2AA1
6SL3815-2LN41-3AA0
6SL3815-2LN41-4AA0
6SL3815-2LN41-6AA1
6SL3815-2LN41-8AA1
6SL3815-2LP32-8AA0
6SL3815-2LP33-1AA0
6SL3815-2LP33-5AA0
6SL3815-2LP34-0AA0
6SL3815-2LP34-5AA0
6SL3815-2LP35-0AA0
6SL3815-2LP35-5AA0
6SL3815-2LP36-0AA1
6SL3815-2LP36-1AA0
6SL3815-2LP36-6AA1
6SL3815-2LP36-7AA0
6SL3815-2LP37-4AA0
6SL3815-2LP38-0AA0
6SL3815-2LP38-8AA0
6SL3815-2LP38-8AA1
6SL3815-2LP41-0AA0
6SL3815-2LP41-0AA1
6SL3815-2LP41-1AA0
6SL3815-2LP41-1AA1
6SL3815-2LP41-2AA0
6SL3815-2LP41-2AA1
6SL3815-2LP41-3AA0
6SL3815-2LP41-4AA0
6SL3815-2LP41-6AA1
6SL3815-2LP41-8AA1
6SL3815-2LQ31-7AA0
6SL3815-2LQ32-0AA0
6SL3815-2LQ32-3AA0
6SL3815-2LQ32-6AA0
6SL3815-2LQ33-0AA0
6SL3815-2LQ33-2AA0
6SL3815-2LQ33-6AA0
6SL3815-2LQ33-8AA0
6SL3815-2LQ34-3AA0
6SL3815-2LQ34-7AA0
6SL3815-2LQ35-3AA0
6SL3815-2LQ35-8AA0
6SL3815-2LQ36-4AA0
6SL3815-2LQ37-0AA0
6SL3815-2LR31-7AA0
6SL3815-2LR32-0AA0
6SL3815-2LR32-3AA0
6SL3815-2LR32-6AA0
6SL3815-2LR33-0AA0
6SL3815-2LR33-2AA0
6SL3815-2LR33-6AA0
6SL3815-2LR33-8AA0
6SL3815-2LR34-3AA0
6SL3815-2LR34-7AA0
6SL3815-2LR35-3AA0
6SL3815-2LR35-8AA0
6SL3815-2LR36-4AA0
6SL3815-2LR37-0AA0
6SL3815-2LS31-7AA0
6SL3815-2LS32-0AA0
6SL3815-2LS32-3AA0
6SL3815-2LS32-6AA0
6SL3815-2LS33-0AA0
6SL3815-2LS33-2AA0
6SL3815-2LS33-6AA0
6SL3815-2LS33-8AA0
6SL3815-2LS34-3AA0
6SL3815-2LS34-7AA0
6SL3815-2LS35-3AA0
6SL3815-2LS35-8AA0
6SL3815-2LS36-4AA0
6SL3815-2LS37-0AA0
6SL383.
6SL3835-2LN41-8AA0
6SL3835-2LN41-8AM0
6SL3835-2LN42-8AA0
6SL3835-2LN43-6AA0
6SL3835-2LN43-6AR0
6SL3835-2LN44-2AA0
6SL3835-2LN45-4AA0
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)