XiaoMi-AI文件搜索系统
World File Search SystemSOID
一种自动决策法律责任的工具
摘要。我们提出了SOID，这是一种使用基于SMT的自动推理来询问自主剂决策的工具。依靠Z3 SMT求解器和Klee象征性执行引擎，Soid al-Lows研究人员可以对有关代理行为的事实和反事实进行严格证明的答案，从而使有效的法律和工程责任制有害或其他错误的决策。我们在一对示例上进行定性和定量评估，i）从可解释的AI（XAI）文献中实现了经典决策树推理基准； ii）在类似的物理环境中发生车祸。对于后者，我们还贡献了Soid-GUI，这是一种基于领域的，基于网络的示例界面，用于法律和其他实践者，以指定事实和反事实查询，而无需复杂的编程或正式方法专业知识。
物理
第一学期 论文 IV – 电子设备 第一单元 晶体管：JFET、BJT、MOSFET 和 MESFET、不同条件下 IV 特性方程的结构推导、微波器件、隧道二极管、传输电子器件（Gunn 二极管）、雪崩渡越时间器件、Impatt 二极管和参数器件。 第二单元 光子器件：辐射和非辐射跃迁、光吸收、体和。 薄膜光电导器件 (LDR)、二极管光电探测器、太阳能电池（开路电压和短路电流、填充因子）、LED（高频极限、表面和间接复合电流的影响、LED 的运行）、半导体；二极管激光器（激活区域中粒子数反转的条件、光限制因数、光增益和激光的阈值电流。单元 - III 存储设备：只读存储器 (ROM) 和随机存取存储器 (RAM)。ROM 的类型：PROM、EPROM、EEPROM 和 EAPROM、静态和动态 RAM (SRAM 和 DRAM)、SRAM 和 DRAM 的特性。混合存储器：CMOS 和 NMOS 存储器、非易失性 RAM、铁电存储器、电荷耦合器件 (CCD)、存储设备：磁性（FDD 和 HDD）和光学（CD-ROM、CD-R、CD-R/W、DVD）存储设备的几何形状和组织。单元 - IV 电光、磁光和声光效应，与获得这些效应相关的材料特性，这些设备的重要铁电、液晶和聚合物材料，压电、电致伸缩和磁致伸缩效应。这些特性的重要材料及其在传感器和执行器设备、声学延迟线中的应用，压电谐振器和滤波器、高频压电器件-表面、声波器件、单元 - V 太阳能光伏能量转换物理和材料特性基础、光伏能量转换基础：固体的光学特性。直接和间接过渡半导体，吸收系数和载流子带隙复合之间的相互关系。太阳能电池的类型、pn 结太阳能电池、传输方程、电流密度、开路电压和短路电流、单晶硅和非晶硅太阳能电池的简要说明、先进太阳能电池的基本概念，例如串联太阳能电池。固体液体结太阳能电池、半导体的性质、电解质结、光电化学太阳能电池的原理。教科书和参考书：1. SM Sze Willey (1985) 半导体器件 - 物理技术 2. MS tyagi 半导体器件简介 3. M Sayer 和 A Manisingh 物理学和工程学中的测量仪器和实验设计 4. Ajoy Ghatak 和 Thyagrajam 光电子学 5. Millman Halkias：电子设备