张展玮

我在 Web 开发、机器学习和数据科学领域的工作合集。每个项目都代表着独特的挑战和解决方案。

食堂人流监控系统
数据科学

食堂人流监控系统

2023年12月

通过实时监控数据计算食堂排队长度，并可视化展示排队变化趋势，三个月内吸引了 30,000 次访问。

技术栈

数据监控 时间序列分析 交互式仪表盘
代码 演示
基于 LLM 的 JSON 解析器模糊测试
机器学习

基于 LLM 的 JSON 解析器模糊测试

2023年10月

利用 Llama2-7B/13B 等开源大语言模型合成多样化 JSON 输入，对 13 个解析器进行 100 多种测试用例类型的测试，发现 26 个行为差异。

技术栈

Python LLM 模糊测试
报告
Minisys CPU 设计
嵌入式系统

Minisys CPU 设计

2023年6月

实现了一个兼容 Minisys 的 CPU，支持 32 条核心指令，解析 COE 二进制文件，并通过 Minisys 开发板与用户交互。

技术栈

Verilog 数字电路设计 FPGA
代码 演示
有容量限制的弧路由问题
机器学习

有容量限制的弧路由问题

2023年5月

构建了模因算法和混合元启发式求解器，在 180 秒内对中小规模图达到最优 CARP 解，并在 255 节点网络上表现出竞争力。

技术栈

模因算法 启发式算法 组合优化
代码 报告
简易编译器
嵌入式系统

简易编译器

2023年1月 - 2023年2月

开发了一个简易编译器（代码量达 15,000 行），将 C 语言文件编译为中间表示（IR）和 MIPS32 汇编代码。编译器支持 I/O 操作、控制流和函数调用等核心功能，包含完整的词法、语法和语义分析及友好的错误提示。

技术栈

C++ Arduino MQTT PlatformIO
代码 报告
MiniSTM32 回合制对战系统
嵌入式系统

MiniSTM32 回合制对战系统

2023年1月 - 2023年2月

该系统允许玩家为自定义角色选择动作、追踪生命值，并通过 miniSTM32 开发板进行精确数据传输的实时多人对战。

技术栈

C++ Arduino MQTT PlatformIO
代码 报告
基于强 AI 的反转黑白棋
机器学习

基于强 AI 的反转黑白棋

2022年10月

实现了蒙特卡洛搜索与基于位运算加速的快速 Alpha-Beta 剪枝算法，构建了强大的反转黑白棋 AI。

技术栈

Python 蒙特卡洛搜索 Alpha-Beta 剪枝
代码
基于综合航班数据估算全球航空 CO2 排放
数据科学

基于综合航班数据估算全球航空 CO2 排放

2022年5月

处理了 10 TB 的 Flightradar24 数据，覆盖 1.53 亿次航班，建模飞机级别的 CO2 排放，解释了 99.4% 的排放方差，并指出滑行优化策略可减少高达 20% 的排放。

技术栈

大数据分析 统计建模 机器学习
私有
Java 黑白棋游戏
Web 开发

Java 黑白棋游戏

2021年12月

开发了一款具有互动式 Swing 界面和流畅游戏动画的黑白棋游戏体验。

技术栈

Java Swing
代码