许智辰

个人主页 · 灵汐铄林

许智辰

本科在读,关注操作系统、知识工程与智能教育。我喜欢从真实系统和源码出发,把复杂机制整理成可以探索、验证和复用的工程。

操作系统知识图谱全栈工程智能教育

关于我

在系统底层与知识表达之间做连接。

我的实践围绕内核实验、知识抽取、学习状态建模和交互式工具展开。比起只展示最终答案,我更在意过程是否有证据、结果是否可验证、工具是否真正解决问题。

系统与内核

围绕精简指令集与教学操作系统,学习执行环境、内存、进程、文件系统等核心机制。

知识工程

从教材和源码抽取概念、证据与关系,组织为可查询、可追溯的结构。

学习工具

将代码阅读、推理反馈与真实验证整合为连续、可审计的学习流程。

项目实践

近期项目与实践

教学操作系统内核实验

沿着第一章到第八章逐步理解裸机启动、系统调用、地址空间、调度与文件系统,并以源码和实验结果建立知识路径。

锈语言精简指令集虚拟机

知识图谱构建流水线

把标记文本教材与真实代码转换为章节、概念、证据和关系,生成关系数据库与图数据库数据,支持后续检索和可视化。

脚本语言图数据库关系数据库

证据驱动学习引擎

用确定性状态机约束诊断、探索、假设、实现和验证,让学习进度由服务器证据与真实测试决定。

锈语言状态机智能教育

KA

面向操作系统课程的在线学习工作台,整合源码浏览、知识超图、苏格拉底式导师与课程进度。它是上述研究与工程实践的一次产品化组合。

前端界面后端服务知识图谱
进入在线系统 →
KA 登录界面