Projects

C# .NET 10 WPF 语音输入工具。Win11 Fluent Design，Paraformer 流式 ASR。A C# .NET 10 WPF voice-input tool. Win11 Fluent Design with Paraformer streaming ASR.

系统托盘文本抓取工具。Ctrl+Shift+H 一键抓取，AI 处理。A system-tray text-capture tool. One-press capture with Ctrl+Shift+H, then AI processing.

数据可视化仪表盘实验。D3.js 交互图表、太阳能系探索器。A data-visualization dashboard experiment — interactive D3.js charts, solar system explorer.

录制视频自动生成标准作业流程。Dify 工作流编排：转写、步骤抽取、SOP 文档生成的 MVP 设计稿。Turn screen recordings into standard operating procedures — a Dify workflow MVP covering transcription, step extraction, and SOP generation.

童心工坊的玩法实验：中文释义与英文单词配对消除，零依赖单文件，孩子打开即玩。A playful experiment for the kids' learning track — match Chinese meanings with English words to clear the board. Single file, zero dependencies.

孩子参赛项目的专属学习终端：作品上传、AI 评分、创作记录，v0.2 Jarvis 到 v0.3 的界面迭代。A dedicated learning terminal for my kid's competition project — work upload, AI scoring, and creation logs, iterating from v0.2 Jarvis to v0.3.

本体驱动的故障树：Ontology-Playground 画 RDF → Databricks 落库 → v_fault_tree 视图 → Power BI + MCP 智能体推理。本地 POC 已全链路验证。Ontology-driven fault tree: RDF authored in Ontology-Playground, materialized in Databricks, consumed by Power BI and MCP agents. Local POC verified end-to-end.

用 CP-SAT 替换排产经理的 Excel 双录：冻结区 + 最小扰动重排，五类扰动（故障/换人/插撤单/请假/检修）共用一个机制。引擎黑盒无状态设计（LLM 不排产），两段式求解实测 <7s 首排、<1s 增量。含故事版动画、纪要、设计文档与五版 demo。Replacing the planner's Excel double-entry with CP-SAT: freeze zone + minimal-disruption rescheduling, five disruption types on one mechanism. Stateless engine black box (no LLM in solving), two-phase solving measured <7s full / <1s incremental. Story animation, minutes, design doc, five demos included.