Milvelas

一、绪论 %%{init: { "theme": "base", "themeVariables": { "primaryColor": "#5b9bd5", "primaryTextColor": "#ffffff", "primaryBorderColor": "#41719c", "lineColor": "#41719c", "secondaryColor": "#ffffff", "tertiaryColor": "#e2f0d9", "fontSize": "14px", "fontFamily":...

ch1-1 Linux-Basics 一、谈谈自己对linux的理解（#） 定义：根据GNU通用许可证开发的免费Unix类型的操作系统 特点：开源、受欢迎、支持大多数平台 历史：Unix 1969——GNU 1984——第一版 1991——发行版 1992 创始人：linus 发行版：RedHat（RHEL，CentOS），Debian（Ubuntu），Suse等。 GNU/Linux系统 = Linux内核 + GNU软件/库 二、分区形式（#） 1.MBR（Master Boot Record）主引导分区 512字节，0磁道第1扇区。 446字节引导代码（用于启动操作系统） 64字节磁盘分区表，最多4条目 2字节的0X55AA“魔数” 2.GPT和GUID GPT与MBR并称两种分区类型。 GPT的全称是GUID Partition Table...

A Comprehensive Survey on Synthetic Infrared Image synthesis Introduction 红外类型 波段 典型用途 近红外 NIR 0.7–0.9 μm 通信、光纤 短波红外 SWIR 0.9–2.5 μm 夜视、遥感 中波红外 MWIR 3–5 μm 热成像、导弹制导 长波红外 LWIR 8–14 μm 热成像、夜视、监视 远红外 FIR 15–1000 μm 天文、环境监测、热效率分析 Basics of Infrared Imagery Heat Equilibrium equation and surface temperature...

抖音推荐算法报告 1....

设计模式 一、软件设计引入 原文依次定义了四个概念：需求、规约、架构、设计。它们是从模糊到具体、从外部到内部的逐步细化过程。 1. 需求 需求定义系统需要满足的目标（用户需求指出了目标，比如在线会议的目标是能够看到人员、听到声音等）。 理解：需求是用户视角的“愿望清单”，只说明系统要达成什么业务效果，不涉及技术实现。例如“在线会议要能实时传输音视频”就是需求。 2. 规约 规约定义系统的外部可观察行为。 理解：规约是需求的形式化描述，规定了系统对外呈现的接口和行为，但不描述内部实现。例如“用户在点击‘加入会议’按钮后，系统应在2秒内建立连接并显示参会者画面”就是规约的一部分。规约是可测试的。 3. 架构 架构定义系统级的主要组成部分、各部分之间的互动方式、使用的技术（比如在线会议需要前端、操作系统调用功能部分、网络部分以及部分之间的联系，使用什么技术等等）。 理解：架构是高层次的系统分解，确定有哪些模块（组件）、模块之间如何通信、选用哪些技术栈。例如“采用微服务架构，前端用React，后端用Spring...

1. 概述 1.1 软件危机 VS. 软件工程 软件危机 软件危机是指落后的软件生产方式无法满足迅速增长的计算机软件需求，从而导致软件开发与维护过程中出现一系列严重问题的现象。 主要体现有： 软件开发费用和进度失控 软件可靠性差 生产出来的软件难以维护 用户对“已完成”系统不满意现象经常发现 《人月神话》——软件的四大本质困难和挑战： 不可见性：软件项目是一个逻辑实体 复杂性：实体数量众多 可变性 一致性 软件工程 软件工程是一门研究用工程化方法构建和维护有效的、实用的和高质量的软件的学科。 软件工程的两大视角 管理视角——能否复制成功？ 技术视角——是否可以将问题解决得更好？ 1.2 软件项目管理 1.2.1...

program = data structure + algorithm (computation+control flow) 简答题 C++程序设计语言的设计理念 效率 实用性优于艺术性严谨性 允许一个有用的特征比防止各种错误使用更重要（相信程序员） C++发展中的重要人物 人 成就 John Backus 发明了 FORTRAN，使得编程更贴近于问题本身 （第一个被广泛成功使用的高级编程语言） Dijkstra 发明了编译器，提出 goto 有害论，创建了结构化编程 Kristen Nygaard 创建 Simula67 （面向对象编程（OOP）的起源性语言） Ole-Johan Dahl 创建 OO 编程 Dennis Ritchie、Ken Thompson 创建 C 语言 Bjarne Stroustrup 1980 创建 C with Classes，并最终形成 C++ Rick Mascitti 发明 C++，并 1983 正式命名 Barbara...

1. 基本概念 1.1 测试用例tc = 输入t + 预言o + 环境θ 测试用例简称测试，一个测试用例tc是一个三元组<t,o,θ> 输入t：测试数据或测试输入 测试预言o：对于一个输入，我期望什么输出？ 可以通过构建或直接采集数据的方式获得预言 环境θ：可能存在的外界扰动（汽车行驶时的震动或是太空中的电磁波对于GPU计算的影响） 工程化 1.2 什么是测试 测试是通过设计实验性操作，观察目标对象的行为或输出，以发现缺陷、验证功能或评估性能的方法。其核心目的是：发现缺验证功能或非功能属性。 发现Bug是软件测试的重要目的之一 动态测试和静态测试 主要关注动态测试，就是软件运行时的测试 静态成本低、速度快，但很容易误报，一般是类似于扫描代码发现问题的过程 动态成本高，但几乎不会误报（只要输出有问题，就一定存在某种Bug） 动态和静态结合，用动态的结果减少静态的误报，利用静态的结果有针对性的进行动态测试 1.3...

复习提纲 ArkCompiler和ArkRuntime 方舟编译运行时 由图可知，方舟编译器与普通编译器（普通 JS 运行方式）的核心区别体现在编译时机与运行时开销上，具体如下： 编译阶段不同 普通编译器：在编译时仅进行源码打包，真正的源码解析和编译成字节码发生在运行时。 方舟编译器：在编译时就完成源码解析和编译成字节码，提前完成主要编译工作。 运行时负担不同 普通编译器：运行时仍需进行源码解析和编译，运行时开销较大。 方舟编译器：运行时只需直接执行已生成的字节码，运行时开销显著降低。 性能与效率不同 普通编译器：启动速度和执行效率受运行时编译影响较明显。 方舟编译器：由于提前编译（AOT，Ahead-Of-Time），具有更快的启动速度和更高的执行效率。 编译流程如下： 类型推导 从图中可以看出，方舟编译器的类型推导是贯穿整个编译流程、逐步深化并服务于优化与执行的一套机制。 首先，方舟编译器以 ECMAScript 或 TypeScript 源码作为输入，通过 TSC 前端对源码进行解析并生成 AST。在这一阶段，编译器结合 TypeScript...

前言 数理逻辑简介 数理逻辑或称符号逻辑、理论逻辑,是数学中的一个基础分支,是一门用数学方法研究逻辑或形式逻辑的学科,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统.数理逻辑是数学的基础. 0.1.1 数学定义、证明、定理、引理、推论 $A \Rightarrow B$的证明方法有两种: 直接证明: 假设A成立,从A出发证明B成立 间接证明: 假设$\lnot B$成立,证明$\lnot A$成立反证法、等价性证明、存在唯一性证明 0.1.2 罗素悖论与ZFC公理系统 罗素悖论中有许多例子,其中一个很通俗也很有名的例子就是“理发师悖论”:有个小岛上有一位理发师,有一天他宣布:他只给小岛上不自己刮胡子的人刮胡子.那么就产生了一个问题:理发师究竟给不给自己刮胡子?如果他给自己刮胡子,他就是自己刮胡子的人,按照他的原则,他又不该给自己刮胡子:如果他不给自己刮胡子,按照他的原则,他又应该给自己刮胡子.这就产生了矛盾. 这个悖论用逻辑符号写出来就是,$A={A:A \notin A}$,我们容易推导出$A\in A$当且仅当$A\notin...