工程

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

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月，具体维护的内容记录在了维护日志中，而这篇是为了规范化维护的各个方面，用以节省维护的时间成本 …

2023年1月升级WordPress版本至6.1.1、MySQL至5.7.25-log、PHP至5.6。为mjm1990.com域名开启SSL数字证书。关于为何要开启SSL，查看这篇。清除两万两 …

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

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

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

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

问题单位正方形内两个随机点的距离期望是多少？求解因由何昆师兄博士毕业之际，小龙师兄发朋友圈称赞其深刻的数学思维时，提到这个问题，引起了我的兴趣。我的数学天分一般，小时候没出现机缘参加数学竞赛的训 …

通信和控制是目的，计算和存储是手段，模块化是方法。通信和控制体现着两种截然不同的人生态度。通信强调的是信息交换，即信息在时空中的转移、流动，这样的交换一般是平等的，交换主体之间彼此互惠，协商互换。可 …