- 博客(7)
- 收藏
- 关注
RSS订阅原创 形式化方法入门：从零开始掌握核心概念与实践
形式化方法指用数学语言描述系统行为并验证其正确性的技术。通过严格的数学模型（如逻辑、自动机理论）替代自然语言描述，能消除需求歧义，提前发现设计漏洞。在安全关键系统（如航天软件、医疗设备）中，形式化方法可降低因设计缺陷导致灾难性后果的风险。Z3是由微软研究院开发的高性能定理证明器，专注于求解可满足性模理论（SMT）问题。它支持多种逻辑和理论，包括算术、位向量、数组和未解释函数。Z3的核心功能是通过约束求解和逻辑推理，自动化地验证数学命题或程序行为的正确性。
2026-02-18 23:38:20
736
原创 python网络安全工具库
Scapy 支持自定义协议字段，以下示例展示如何构造一个自定义 TCP 数据包。# 构造自定义 TCP 数据包# 设置 IP 层和 TCP 层的字段# 发送数据包。
2026-02-17 20:09:59
783
原创 实验管理、交互式开发至性能优化全面指南
实验管理工具是深度学习工作流的核心组件，用于跟踪训练指标、可视化模型结构和优化超参数。TensorBoard和Weights & Biases (W&B) 是当前主流工具，前者与TensorFlow生态深度绑定，后者支持多框架且注重团队协作。
2026-02-16 23:31:28
1152
原创 AI子领域核心技术库与应用框架详解
创建自定义Gym环境需要继承gym.Envimport gymself.action_space = spaces.Discrete(3) # 3个离散动作shape=(84,84,3), dtype=np.uint8) # 图像状态空间# 实现环境逻辑# 重置环境状态# 可选的可视化方法passOpenAI Gym提供了Atari游戏环境的封装，通过gym.make('ALE/[游戏名]-v5')即可调用。例如就是经典的打砖块游戏。
2026-02-15 22:20:00
1134
原创 Python 3.8+ 环境配置与数据科学工具全指南
Seaborn是基于Matplotlib的Python数据可视化库，提供更高级的统计图形接口。勾选“Add Python to PATH”选项，确保环境变量自动配置。（注：每个模块建议配合Jupyter Notebook边学边练，从官方示例代码开始修改调试）箱线图展示数据分布的五数概括（最小值、Q1、中位数、Q3、最大值）及离群点。直方图用于展示连续变量的分布情况，通过bin将数据分段统计频率。建议从基础图形开始练习，逐步叠加更复杂的参数和样式设置。散点图用于展示两个变量之间的相关性或分布。
2026-02-13 22:05:32
1272
原创 C++ 全面指南：从基础语法到高级特性与性能优化
C++的历史与发展：从C语言扩展而来，由Bjarne Stroustrup设计C++起源于C语言，由Bjarne Stroustrup在20世纪80年代设计，旨在通过添加面向对象特性扩展C语言的功能。其发展历程经历了多次标准化（如C++98、C++11、C++20），逐步完善了泛型编程、现代语法和性能优化，成为兼具高效性与灵活性的工业级语言。C++的特点：面向对象、高性能、跨平台、丰富的标准库面向对象：支持类、继承、多态等特性，便于模块化设计。高性能。
2026-02-12 13:59:29
1278
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人