# 软件工程

• 软件的概念

软件是计算机系统的重要组成部分

软件是逻辑产品，需要计算机硬件和系统软件的支撑

软件是计算机控制系统的指挥中枢

软件是信息转换器，它能对信息进行加工、处理或变换

软件是工具，在人们的生活、工作、休闲，在社会的经济、军事、政治、文化、科学技术、教育中发挥巨大作用

• 软件的特点

软件是能够完成预定功能和性能，并对相应数据进行加工的程序和描述程序及其操作的文档。

软件=程序+数据+文档

程序=算法+数据结构

文档：自然语言，结构化英语，图表

数据：用程序设计语言要求的数据结构表示

# Q1

Find the error in the following proof that all horses are the same color. Claim: In any set of h horses, all horses are the same color.
Proof: By induction on h.
Basis: For h = 1. In any set containing just one horse, all horses clearly are the same color.
Induction step: For k ≥ 1, assume that the claim is true for h = k and provethatitistrueforh=k+1. TakeanysetH ofk+1horses. We show that all the horses in this set are the same color. Remove one horse from this set to obtain the set H1 with just k horses. By the induction hypothesis, all the horses in H1 are the same color. Now replace the removed horse and remove a different one to obtain the set H2. By the same argument, all the horses in H2 are the same color. Therefore, all the horses in H must be the same color, and the proof is complete.

# CFG

• 对于每一个 $i\geq 0$，$u v^i x y^i z \in A$
• $|vy| > 0$ (保证v或y不是空串，否则定理自动成立，和正则语言的泵引理一样了)
• $|vxy| \leq p$

# HMM

• 用 $q_t$ 表示 t 时刻的状态

• 状态集合：$S = {S_1, …, S_N}$

• 输出符号集合：$O = {O_1, …, O_M}$
• 状态转移矩阵：$A = a_{ij} = P(q_{t+1} = S_j | q_t = S_i)$，对 j 从 1 到 N 求和，结果为 1，因为从 i 出发总会到达 1～N 中的一个状态的
• 可观察符号的概率分布矩阵：$B = b_j(k)$，表示在状态 j 时输出符号 $v_k$ 的概率。$b_j(k) = P(O_t = v_k | q_t = S_j)$，对 k 从 1～M求和的结果为 1，因为一个状态总有一个输出符号。
• 初始状态概率：$\pi_i = P(q_1 = S_i)$

# 网络安全基础复习提纲 (T · J · U)

## 2. 以太网最常见的基于流量的攻击是什么？为什么？采用什么设备和方法可以避免这种攻击？

• 采用交换式网络环境，即同一个端口上只有一台设备（一般来说，每个端口一台设备）可以减少嗅探。
You need to set client_id and slot_id to show this AD unit. Please set it in _config.yml.