Milvelas

深度神经网络测试 王赞,闫明,刘爽,陈俊洁,张栋迪,吴卓,陈翔.深度神经网络测试研究综述.软件学报,2020,31(5):1255−1275. 关键词: 深度神经网络;测试覆盖;测试用例生成 问题 ​ 开发人员仅编写代码来规定深度学习系统的网络结构,其内部逻辑则由训练过程获得的神经元连接权值所决定.因此,针对传统软件的测试方法及度量指标无法直接被移植到深度神经网络系统上. ​ 随着其广泛应用,深度神经网络系统的质量问题也被重点关注.由于深度神经网络的结构复杂,数据中微小的扰动,即便无法被人类发现,却可能造成深度神经网络做出错误的判断,进而输出错误的结果.更进一步,由于深度神经网络越来越多地被部署在自动驾驶汽车系统、恶意软件检测系统以及飞机碰撞避免系统等安全攸关领域,对这类 DNN 系统进行充分的测试并保证其质量至关重要. ​ DNN测试度量指标 测试覆盖指标 传统软件测试的覆盖准则（如代码覆盖）无法直接应用于DNN，因其内部逻辑由数据驱动而非手工编码。研究者提出以下覆盖标准： 覆盖测试：Testing...

一、计算、数据与数据管理 基本概念 计算 = 算法 + 数据 数据结构 （ 数组，链表，堆，栈，树，图…… ） ⭐数据管理： 类型 管理者 对象 共享程度 独立性 结构化 控制能力 人工管理 用户（程序员），数据不保存 某一应用程序 无共享、冗余度极大 不独立，完全依赖程序 无结构 应用程序自己控制 文件系统 文件系统，数据可长期保存 某一应用程序 共享性差、冗余度大 独立性差 记录内有结构，整体无结构 应用程序自己控制 数据库系统 数据库管理系统 现实世界，整体 共享性高、冗余度小 物理独立性和逻辑独立性 整体结构化 数据库管理系统控制 共享数据： 基于二进制在多个应用之间共享数据； 基于文本在多个应用之间共享数据（K/V, JSON,...

六、并发程序设计 了解程序的并发性与并发程序设计 掌握临界区互斥及其解决方案 熟练使用PV进行程序设计 掌握Hoare管程 掌握消息传递 ​ 并发进程 概念 程序设计的一般习惯是顺序程序设计，顺序程序设计具有顺序性、封闭性、确定性、可再现性。 多道程序设计允许多个进程并发执行。OS 保证按照“顺序程序设计”方法编制的程序在并发执行时不受影响，如同独占计算机。这些按照顺序程序设计思想编制的进程在中并发执行属于无关的并发进程。 使一个程序分成若干个可同时执行的程序模块的方法称 并发程序设计(concurrent programming) ​ 并发性、共享性、交往性 制约关系 无关的并发进程：一组并发进程分别在不同的变量集合上运行 并发进程的无关性是进程的执行与时间无关的一个充 分条件，又称为 Bernstein 条件 Pi：进程，R：读，W：写 $$ ((R(p1)∩W(p2))∪(R(p2)∩W(p1))∪(W(p1)∩W(p2))= \emptyset $$ 则并发进程的执行与时间无关 交往的并发进程：一组并发进程共享某些变量，...

四、设备管理 复习、了解I/O设备、I/O控制方式 掌握I/O缓冲区的设计 掌握磁盘调度 掌握I/O软件系统的设计与实现 掌握虚拟设备 基础 设备管理概述 I/O设备 信息传输视角 输入设备 输出设备 输入输出设备 交互功能视角 人机交互设备 存储设备 机机通信设备 设备管理视角 字符设备 块设备 网络设备 I/O操作：内存和外设间的信息传送操作 设备管理的目标：解决设备和CPU速度的不匹配，使主机和设备充分并行工作，提高设备使用效率 实现层次：I/O硬件、I/O软件 I/O控制方式 为达到模块化和通用性的设计目标，通常分开设置设备的机械部件和电子部件，电子部件称为设备控制器 设备控制器：CPU与设备之间的接口 I/O控制的方式： ​ 轮询：重复查询直至设备就绪 ​ 中断：处理器向控制器发出具体I/O...

一、计算机系统概览 了解计算机硬件与操作技术的发展 概念: 分时操作系统、实时操作系统 掌握多道程序设计的概念 掌握计算机系统的组成 了解计算机体系结构与计算机总线、处理器、存储器、I/O设备以及I/O控制方式 掌握计算机系统的层次结构 计算机系统的组成 分为硬件子系统和软件子系统 计算机硬件系统 中央处理器 运算单元 控制单元 主存储器 外围设备 输入设备 输出设备 存储设备 网络通信设备 总线 存储程序计算机（冯诺依曼）：以运算单元为中心，控制流由指令流产生；采用存储程序原理，面向主存组织数据流；主存是按地址访问、线性编址的空间；指令由操作码和地址码组成；数据以二进制编码。 总线：各功能部件的公共通信干线，包括一组控制线、一组数据线、一组地址线。分为内部（CPU）总线、系统总线、通信总线。（南北桥） 中央处理器（CPU）：运算核心（Core） 和控制单元（ Control...

一.计算机系统概述 计算机 通用电子数字计算机（ general-purpose electronic digital computer） 通用：不是一种专用设备；所有计算机在给予足够时间和容量存储器的条件下，都可以完成同样的计算；当希望完成新的计算时，不需要对计算机重新设计 电子（非机械）：采用电子元器件 数字（非模拟）：信息采用数字化的形式表示 组织与结构 组织（Organization）：对编程人员不可见 • 操作单元及其相互连接 • 包括：控制信号，存储技术，…… ​ • 例如：实现乘法是通过硬件单元还是重复加法？ 结构（Architecture）：对编程人员可见 • 直接影响程序逻辑执行的属性 • 包括：指令集，表示数据类型的位数，… ​ • 例如：是否有乘法指令？ 指令集体系结构（ISA） 简史 第一代：真空管 第二代：晶体管 第三代：中小规模集成电路 第四代：（超）大规模集成电路 摩尔定律 摩尔定律（Gordon Moore, 1965） 当价格不变时，单芯片上所能包含的晶体管数量每年翻一番 (1965-1969) /...

编程题2大题 Java或者c++ 最短路径算法 第一章 概念不考文字默写 算法概念不考？ 递归 汉诺塔？可能有选择 public static void hanoi(int num, char a, char b, char c) { if (num == 1) { System.out.println("第" + num + "个圆盘从" + a + " -> " + c); } else { hanoi(num - 1, a, c, b); System.out.println("第" + num + "个圆盘从" + a + " -> " + c); hanoi(num - 1, b, a, c); } } 范型不考 第二章 大O表示法和量级，会看复杂度 $\Omega$表示法看一下 $T(N) = O(f(N))，表示T(N)的增长率$小于等于$f(N)$ $T(N)...

测试hexo-pdf功能，顺便贴一张常用Latex公式表

个人博客，主要吹吹水