Milvelas

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...

复习提纲 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...

0. 课程大纲 机器学习 线性回归、逻辑回归、k-近邻、朴素贝叶斯、支持向量机、决策树、随机森林、k-Means、主成分分析… 深度学习 卷积神经网络、循环神经网络、图神经网络、预训练模型… 大语言模型 智能软件工程 1. 概论 1.1 机器学习 1.1.1 机器学习定义 机器学习(Machine Learning)是一种通过模型和算法使计算机从数据中自动学习并进行预测、决策或生成内容等的技术。核心目标是让计算机在没有明确编程指令的情况下，通过对大量数据的分析，识别模式和规律，从而构建适应新数据的模型。 一个计算机程序利用经验E来学习任务T，性能是P，如果针对任务T的性能P随着经验E不断增长，则称为机器学习。 1.1.2 机器学习分类 按训练过程是否使用标签，可分为： 监督学习 Supervised Learning 无监督学习 Unsupervised Learning 半监督学习 Semi-Supervised...

基本语法与数据结构 1. 编译/执行 #include <iostream> using namespace std; int main() { cout << "Hello, world!" << endl; return 0; } 2. 数字 数学运算 #include <iostream> #include <cmath> using namespace std; int main () { // 数字定义 short s = 10; int i = -1000; long l = 100000; float f = 230.47; double d = 200.374; // 数学运算 cout << "sin(d) :" << sin(d)...

嵌入式系统复习总结 嵌入式系统概述 通用定义 “嵌入式系统”实际上是“嵌入式计算机系统”的简称。 IEEE（国际电气和电子工程师协会）的定义： 嵌入式系统是“用于控制、监视或者辅助操作机器和设备的装置”（Devices used to control, monitor, or assist the operation of equipment, machinery or plants）。 国内普遍被认同的定义： 嵌入式系统是“以应用为中心，以计算机技术为基础，软硬件可裁减，适用于应用系统对功能、可靠性、 成本、体积、功耗有严格要求的专用计算机系统”。 嵌入式系统三要素： 嵌入、专用、计算机 嵌入性: 嵌入到对象体系中,有对象环境要求 专用性: 软、硬件按对象要求设计、裁减 计算机: 实现对象的智能化功能 其他定义： 嵌入封闭产品中的信息处理系统 看不见的计算机，⼀般不能被用户编程, 它有⼀些专用的I/ O设备, 对⽤户的接口是应用专用的。 An embedded system is a computer system contained...

1. 人机交互概述 HCI is a discipline concerned with the design, evaluation and implementation of interactive computing systems for human use and with the study of major phenomena surrounding them. ——ACM SIGCHI HCI 是一门涉及人类使用的交互式计算系统的设计、评估和实施以及围绕它们的主要现象的研究的学科 1.1 人机交互的研究内容 1.2 HCI的重要性 市场角度 用户期望简单易用的系统 对设计低劣系统的容忍度越来越差 企业角度 提高员工的生产效率 降低产品的开发成本 降低产品的后续支持成本 用户角度 获得较高的主观满意度 减少时间、金钱、生命损失 1.3 HCI与系统工程 2. 人机交互历史 新的界面变革包含了上一代界面，旧的交互方式任有存在的必要性 2.1 发展阶段 2.1.1...

引用 A real-time infrared imaging simulation method with physical effects modeling of infrared sensors - ScienceDirect Scene simulation and modeling of InfraRed search and track sensor for air-borne long range point targets | IEEE Conference Publication | IEEE Xplore Frontiers | An Infrared Sequence Image Generating Method for Target Detection and Tracking A real-time aircraft infrared imaging simulation platform - ScienceDirect Small Aircraft Infrared Radiation Measurements Supporting the...

An Infrared Sequence Image Generating Method for Target Detection and Tracking （分析基于deeppaper.ai生成） 研究问题 本文旨在解决以下问题： 红外序列图像数据匮乏问题： 深度学习训练红外目标检测和跟踪模型需要大量红外序列图像，但真实红外图像获取成本高昂。 传统仿真方法真实性不足问题： 传统的红外图像仿真方法难以保证数据的真实性，无法满足深度学习模型训练的需求。 现有方法无法灵活编辑目标和轨迹的问题： 现有的基于深度学习的红外图像生成方法无法根据需要添加红外目标，也无法编辑飞行轨迹和姿态，这限制了红外目标数据集的生成。 方法 本文提出了一种结合真实红外图像和模拟3D红外目标的新型红外数据仿真方法，主要步骤如下： 红外背景拼接： 将真实红外图像拼接成全景图像，作为仿真背景，避免了复杂的地物红外建模。 红外目标建模： 基于红外辐射理论，对3D飞机的尾喷管、蒙皮和尾焰等关键部位进行红外特性模拟，生成具有真实红外辐射特征的目标。 Unity3D融合： 基于 Unity3D...

1. KAIST KAIST行人数据集总共包括95328张图片，每张图片都包含RGB彩色图像和红外图像两个版本。总共包含103128个密集注释。数据集分别在白天和晚上捕获了包括校园、街道以及乡下的各种常规交通场景。图片大小为640×480。数据集总共分为12个文件夹set00-set11。前6个文件夹为训练集包含50187张图片，后6个文件夹为测试集包含45141张图片。 数据集的标签中包含person、people和cyclist三个类别。比较好区分的个体则被标注为person，不太好分辨的多个个体则被标注为people，骑行的人则被标注为cyclist。当标注的时候，连我们标注者都分不清那块区域到底是行人还是什么其他的物体时，则被标注为person 2. FLIR FLIR免费启动器热数据集为目标检测神经网络的开发提供了完全注释的热和可见光谱帧。这些数据的构建是为了鼓励可见光+热光谱传感器融合算法(“RGBT”)的研究，以提高自动驾驶汽车的安全性。总共26,442个完全注释的帧包含15个不同的对象类。 2.1 数据组成与设备 Content A total of...