本文分享了Java课程关于形式化方法与UML建模的学习心得。形式化方法通过数学语言描述系统行为，具有精确性和可验证性特点，在航空、芯片等安全关键领域广泛应用。推荐书籍《大象——Thinking in UML》强调UML是面向对象思维的沟通工具而非绘图规范，帮助开发者建立系统分析能力。文章指出，掌握形式化方法的严谨思维和UML的建模思想，对Java开发者提升设计能力、促进团队协作具有重要意义，是进阶

本文介绍了素数的基本概念及其判断方法，重点讲解了埃拉托斯特尼筛法的原理与实现。内容分为三部分：1）素数的定义与特性；2）单个素数判断的逐步优化，从暴力法到平方根优化和排除偶数法；3）埃拉托斯特尼筛法的核心思想、分步演示和Java实现。通过表格和代码展示了筛法的执行过程，解答了关键疑问，并比较了不同算法的时间复杂度。最后提供了完整的Java代码实现，可直接运行生成素数。该算法在批量生成素数时效率显著

本文介绍了Java枚举类型在实际开发中的三个核心应用场景。首先阐述了枚举相比传统常量的优势：类型安全、可读性强、功能丰富。然后详细讲解了：1) 状态/类型定义场景，通过订单状态枚举演示了如何安全地管理固定状态集；2) 策略模式场景，使用枚举实现计算器运算逻辑，优雅替代if-else结构；3) 统一返回码场景（简要提及）。每个场景都包含问题分析、传统实现对比及完整的枚举解决方案代码，展现了枚举在提升

本文介绍了Java匿名内部类的核心应用场景，重点讲解了通用方法执行时间计算的实现方式。通过定义TimeUtils工具类，利用Runnable接口和匿名内部类封装计时逻辑，实现了代码复用和解耦。文章还扩展介绍了匿名内部类在线程创建、集合排序等场景的应用，通过与传统写法的对比，展示了匿名内部类简洁优雅的优势。全文通过具体代码示例，帮助读者深入理解匿名内部类的设计思想与实际应用价值。 关键词：Java、

本文介绍了Java中创建线程的两种基础方式：继承Thread类和实现Runnable接口。通过代码示例和售票案例，详细对比了两者的核心区别： 继承关系：Thread受限于Java单继承，Runnable更灵活 资源共享：Runnable天然支持多线程共享任务对象资源 代码设计：Runnable实现任务与线程解耦，复用性更强 实际应用：Runnable兼容线程池，是企业开发的标准方式 结论指出，实现