工程

软件工程中的问题、方法与思考

编号 1 2 3 4 5 6 文档类型提案报告手册跟踪笔记模板英文名称 Proposals Reports Manuals Trackers Notes Templates 编写目的 …

提案是以做决策为目的的，以书面叙述的形式呈现，应当尽量简短、观点鲜明、考虑周详、论证合理、详略得当。提案的发起人常常也是提案的作者，其读者往往是能做决策的利益相关方，最终决策人要么是提案发起人，要么是 …

2023-03-03 做工具的主人要有积极的态度与恰当的方法。方法恰当却态度不积极，是工具的敌人。方法不恰当态度积极，是工具的学徒。方法不恰当还态度不积极，是工具的奴隶。傲慢使人成为工具的敌人，懒惰使 …

原文链接：https://source.android.google.cn/docs/core/architecture The Android Open System Platform (AOSP) …

从2014年12月搭建博客以来，对站点做过三次大的维护，分别是2016年7月、2020年6月、2023年1月，具体维护的内容记录在了维护日志中，而这篇是为了规范化维护的各个方面，用以节省维护的时间成本 …

2026年6月 2026-06-03 - 每天检查证书更新，到期前的7天内进行更新。 2026-06-02 - 添加持续集成和发布，添加百度统计和giscus评论区。 2026-05-31 - 将站点 …

购置因由年初作计划时，重新对深入理解安卓系统发生了兴趣。四年前，曾尝试在Windows的虚拟机上编译，失败告终。如今不只是工作中需要相关知识，更是带着一种惊叹与好奇，想要更多地接近时代所造就的一些逻 …

引子最近学习近世代数基础时，短短的一章，一共出现了32个定义、10个性质和30个定理。每一个性质和定理都要经过证明，并非一个顺畅的过程，特别是证明庞加莱定理的那个引理的证明，理解起来颇费精力。学习过 …

编译器前端的程序主干是字符串的匹配，可真正的目的是翻译，将源代码转换为目标码。若将匹配流程比作骨架，那么翻译方法就是血肉。设计翻译方法，在于解决三个问题：如何表示源代码中的语义？如何表示目标码？如何将 …

在设计编译器的前端时，程序驱动的主干是字符串的匹配，所回答的基本问题是_输入文本是否能够匹配**预定义规则**，因而返回值是是或否_。对于回答是的情况，说明输入文本落在了预定义规则划分的范围内。可当 …