Java 枚举适用于固定有限集合场景，主要用于状态定义、行为策略、系统常量管理，替代硬编码，提升代码可读性与安全性。枚举构造方法默认私有，可自定义成员变量与成员方法，灵活承载数据与逻辑。质数程序通过基础循环与条件判断实现数学运算逻辑，是 Java 基础语法的综合运用。

学习掌握事件处理。

正常正向操作：先有类 → new 对象 → 调用对象属性 / 方法；反射逆向操作：程序运行阶段，通过 Class 对象反向获取类的全部结构（类名、构造方法、成员变量、成员方法），并直接操作属性、执行方法。Java 反射打破了封装性，允许运行时动态操作类的所有元素，是 Spring、MyBatis 等主流框架的底层核心。Java 反射是运行时逆向解析、操作类结构的机制，核心依托Class对象实现；

本文为 Java IO 流课程竞赛作业，围绕文件复制功能实现两类方案：字符缓冲流（仅适用于文本文件）、字节缓冲流（万能，支持任意文件）。对比两种流的适用场景、读写效率与代码实现，掌握缓冲流提升 IO 性能的核心原理，同时规范资源关闭写法。字符缓冲流BufferedReader/BufferedWriter是文本处理最常用方案，支持按行操作，但仅局限于文本文件；字节缓冲流BufferedInputS

1.继承 Thread 类：写法简单，但受 Java 单继承限制，无法共享实例资源，扩展性差，仅适合简单测试；2.实现 Runnable 接口：无继承限制、天然支持多线程资源共享、职责解耦、任务可复用，是企业开发、竞赛通用标准写法；3.实际开发中，一律优先选择实现 Runnable 接口的方式创建线程。

形式化方法是一种以数学为基础的软件开发与验证方法，它的核心目标是消除自然语言描述中的歧义，通过精确的逻辑与模型来保证软件系统的正确性与可靠性。通过本次学习，我认识到：形式化方法是软件工程中保证系统正确性的重要手段，其数学基础与严谨性，对高可靠系统开发至关重要。UML 建模不是简单的符号堆砌，而是面向对象思维的可视化表达，核心是抽象与建模能力。后续我会继续阅读《大象 ——Thinking in UM