- 博客(6)
- 收藏
- 关注
RSS订阅原创 形式化方法入门理解+读书分享
形式化方法（Formal Methods）是一套以严格数学逻辑为底层支撑的软件工程技术集合，依靠形式语言、数学规约、逻辑推理、自动验证等手段，对软件系统完成建模、需求描述、行为分析、正确性验证。非形式化：纯自然文字描述需求，模糊、易产生歧义；半形式化：UML、ER 图、数据流图，图形标准化但无严格数学证明；完全形式化：Z 语言、Petri 网、模型检测，可数学推导证明系统无逻辑缺陷。国内经典 UML 面向对象建模教程，核心思想是UML 是思考语言，而非单纯画图工具。
2026-07-01 18:54:20
202
原创 IO流文件复制
题目明确复制 txt 文本→ 使用字符缓冲流；题目要求复制图片 / 视频 / 任意文件→ 使用字节缓冲流；缓冲流自带缓冲区，是 IO 竞赛最优解，不推荐基础无缓冲 FileReader/FileInputStream；统一使用语法自动释放流资源，避免漏关流导致文件占用。
2026-06-23 13:13:54
205
原创 质数判断与区间质数筛选
质数核心判定逻辑：大于 1，仅能被 1 和自身整除；基础场景使用isPrime()平方根优化判断；区间批量筛选可使用循环调用判断方法；超大范围质数推荐埃氏筛法提升运行效率。
2026-06-23 13:12:11
191
原创 枚举类型应用场景
枚举enum是 Java 特殊类，用于固定有限常量集合，相比静态常量具备类型安全、自带属性、可封装逻辑优势，课堂分为 3 个典型应用场景。订单存在固定状态：待支付、已支付、已发货、已完成、已取消，使用枚举统一管理，避免魔法数字。状态 / 类型定义：最通用，适用于订单、商品、用户等有限分类，解决魔法数字问题；策略模式：分支逻辑多，替代 if/else，业务内聚在枚举内部；统一返回码：Web 后端标准，规范化接口错误与成功标识。
2026-06-18 15:40:45
210
原创 匿名内部类的使用场景
本次通过代码耗时统计工具，掌握匿名内部类典型使用场景。将重复通用逻辑封装为工具，通过接口 + 匿名内部类传入可变业务代码，实现代码复用与解耦，理解模板化编程思想。
2026-06-18 15:29:25
158
原创 了解Java的反射机制
Java 反射允许程序获取类的构造器、方法、成员变量，动态创建对象、调用方法，突破编译期的访问限制。正向：编译期new确定类；反射：运行时反向解析类。
2026-06-16 20:01:14
296
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人