祇树给孤独园

行文至此，本科生涯即将落幕，我也将启程前往大洋彼岸。首先要谢谢我的父母和妹妹，他们永远理解包容，在身后无条件支持我。在我最低落的时候，他们给了我莫大的鼓励，在我迷茫时，家庭永远是最坚强的后盾。 感谢南大软件学院的老师们。他们四年来传道授业，让我度过了充实快乐的本科时光，学到了宝贵的知识。感谢毕业论文撰写中葛季栋老师给予的悉心指导，葛老师从开题以来便谆谆关切，不唯提供算力的支持，每周更是尽责地开会交流进度，详尽指导后续工作，让我们受益匪浅。 感谢大学遇到的亲爱的同学们，他们英才卓跞，器堪瑚琏，他们有天才的大脑和无尽的热情，与之结交是莫大的荣幸。感谢队友张铭铭、陈浩星、尹天禹诸君的工作，毕设的工作因为诸位的聪明才智和辛勤付出进展顺利，我也从中学到了很多。感谢好友杨骏铭同学的支持，他对本文工作提出了很多建设性的建议，在他的帮助下，模型的效果有着显著提升。 最后要感谢我的高中恩师田丰老师。田老师对我关怀备至，我们也是田师最后一届关门弟子。由于种种原因，在高中毕业后，我们便一直没能见面。今年本欲去向甫定便往拜谒，却猝然得知了田师离世的噩耗。露晞明朝更复落，人死一去何时归?命运无常，此时虽尽千言又 ...

夏柯告诉我田老师的死讯时，正逢午饭，顿感恍惚，一时竟无甚感受。待到回寝，意识到老师的确走了，悲不自胜，潸然泪下。我记得田老师67年生，今年尚不到六旬，“鬼伯一何相催促，人命不得少踟蹰”，何天之薄哉？按理业师桃李满天下，想象中逝时理应门人云集，但我们作为“最后一届关门弟子”（田老师语），大家知道消息时老师追悼会已逾，奈何奈何！ 高中毕业后，我回了学校两次，鲜花、礼物都买给各位老师了，但是田老师却由于工作原因一直未能见到。我一直计划着今年去向甫定就去海南看望他，谁料命运无常，只差月余即天人两隔，思之能不扼腕！ 我夏令营分班考试便值田师监考，自入学后选了田老师班，自此颇蒙田师关怀，历历难忘。老师相比其他班主任已非年轻，又兼级部副主任，但他无甚架子，常常自称“老田”。老师和我们去东湖，去游乐园，去欧洲，去上海，我们留下了无数美好的回忆。我记得很多老师的点滴琐事：在办公室班委开会，迟到的做俯卧撑以示惩罚，遇到贷款的骚扰电话，老师会戏言抵押天安门；周末假日，老师会到班上看望自习的同学；在英国，老师用蕲春口音的英文讲“I am the leader！”，自己打车的时候被因为英文一般让司机绕了路；在元 ...

2025.1.11 考试回忆 1.1 2.1 4.9 5.6 6.11 7.6 8.3 12.4 13.5 14.3 第一章 1.1 什么是零日（0 day）漏洞？什么是零日（0 day）攻击？ 零日漏洞是指未被公开披露的软件漏洞，没有给软件的作者或厂商以时间去为漏洞打补丁或是给出建议解决方案，从而攻击者能够利用这种漏洞破坏计算机程序、数据及设备。（注意，零日漏洞并不是指软件发布后被立刻发现的漏洞。） 利用零日漏洞开发攻击工具进行的攻击称为零日攻击。 1.2 为什么说面对当前的全球网络空间安全威胁，必须对软件安全给予强烈关注？ 软件已经渗透到社会、经济与国防建设的方方面面，是信息时代所依赖的重要技术与手段，其安全直接关系到国计民生与国家安全，因此，软件安全关乎到国家竞争力。 软件漏洞普遍存在，零日漏洞成为主要威胁。 安全漏洞是软件产生安全问题的根源，漏洞发现是软件安全的基础工作，软件安全体系的建立是以漏洞为核心展开的，对漏洞的掌控能力是衡量一个国家信息安全水平的重要因素。 1.3 当前，黑客为了能够有效达到窃取数据、破坏系统的目的，常常通过挖掘或是购买零日漏洞，开发针对零日漏洞 ...

关于逻辑学 若前提100%正确，结论是否保证 100%正确？ 论证过程是否严密，与“前提是否正确”无关 “前提”来自各个领域，其正确性和“逻辑”本身无关 逻辑学家关心的是：“从某些（假定为真的）论据出发，究竟能不能得到最终的结论” 演绎有效性（非正式定义）：我们称一个推演步骤是有效的当且仅当不存在任何一种可能，令该推演的前提为真且结论为假。同样地，在这种情况下我们称这些前提蕴涵（entails）其结论。即在最弱最弱最弱……（省略无穷次）的情况下，推演的前提为真时，其结论也不可能为假。甚至可以说，前提为真且结论为假的情况是在根本上不自洽的。换句话说，一个有效的推演，其结论一定是前提的必要条件。 一个或多个命题是一致的（consistent），当且仅当在任意可能的情况下，它们都同时为真。 两个命题是等价的（equivalent），当且仅当它们在完全相同的可能情况下才同时为真。 逻辑的目的是系统性地检验论证的有效性：我们称一个推演步骤是逻辑有效的，当且仅当它的有效性仅由其前提与结论中的话题无关词汇决定。对于一个逻辑有效的演绎，我们称其前提逻辑上蕴涵（logically entails）其 ...

2024软件系统设计期末复习 出分了，今年这课给分极其诡异，我不做评价。总之还是纪念一下期末周大家一起快乐复习（破防）的日子。 以下依旧是集体劳动的成果。感谢文档创作者金君、张君、刘君等。 1.Software Architecture in General What is software architecture SEI 程序或计算系统的软件系统架构是系统的一个或多个结构（Structure），包含了程序的元素（Elements）和他们的外部可见元素属性（Properties）以及元素之间的关系（Relationships） IEEE 一个系统的基本组织，包含了它的所有组件（Components）、组件之间的关系、环境以及指导该系统的设计(Design)和演化(Evolution)的原则(Principle) 架构和结构：包括结构，不仅是静态，还包括行为 架构与设计：架构在设计早期，高抽象层次的设计 【2019】Architecture，structure和Design的区别？ Design 包含 Architecture，Architecture 包含 St ...

今年骂了一学期rgp，没想到期末什么逆天考点都没考，给分也不错。骂错人了。 期末回忆 （过一个礼拜全忘光了，欢迎补充） 名词解释：配置项，基线，还有两个忘了 大题：自主团队领导特点，敏捷宣言和正确理解，资源估算要点，自主团队和TSP的关系，质量管理要点，V&V和需求联系，大语言模型应用 以下是集体劳动的成果。感谢文档创作者金君、张君、刘君等。 1. 押题 1.1 名词解释 软件工程 软件危机 指落后的软件生产方式无法满足迅速增长的计算机软件需求，从而导致软件开发与维护过程中出现一系列严重问题的现象。主要体现有： 软件开发费用和进度失控 软件可靠性差 生产出来的软件难以维护 用户对“已完成”系统不满意现象经常发现 软件过程 软件过程是为了实现一个或者多个事先定义的目标而建立起来的一组实践的集合。这一组实践往往有一定的先后顺序，作为一个整体来实现事先定义的一个或者多个目标。 质量计划：解决要开展哪些质量保证活动，以及开展活动的程度。 PSP 个体软件过程（Personal Software Process）是一种个体级用于管理和改进软件工程师个人工作方式的持续 ...

​ 今天考完了本科最后一场考试（大四可能还有，但是已经近乎没有意义了），雨下如注。一切都暗示着别离。果不其然，回寝之后，我的裤子从床上掉落下来，正中下面的蚊香盒。本来以为只是沾了点香灰，送洗之后才发现裤子已经被烧断了。我不得不向这位老友道别了。 ​ 这场意外本可以避免的。倘若雨下得不那么大，我也不会把它挂起来晾干；倘若我上床小心一点，也不至于把它弄掉；倘若我当初不是突发奇想要用蚊香，也断不会把它烧破。但是斯裤已去，懊悔无益，我也只能写点文字聊托慰藉了。 ​ 这是一条黑色的耐克长裤，并不贵，但舒服、好看（至少我觉得好看，而且高中好友林君也喜欢），我很喜欢它。我记得是2017年的夏天首次穿上它，于今整整七载矣。这期间，我经历了最开始的合身，到高二时胖得穿着觉得紧绷，又到合身，再到如今感到太宽大，七个春秋，它见证了太多变迁。我清点了一下衣柜，还有三条一模一样的裤子，足见我的确是很喜欢它。但即使还有三条，每条裤子都是独立的个体，绝非别人的替代，所以失去任何一条裤子，都要令我黯然神伤。 ​ “茕茕白兔，东走西顾。衣不如新，人不如故。”似乎大家都喜欢新衣裳，但我独爱旧衣。《世说新语》说桓冲好旧衣， ...

临近期末，本鲜有暇晷。但突然发现冲浪多了，愈发感到向所奉行的互联网孤立主义没什么意思，遂决定忙里偷闲建个博客，不过要是熟人看了可能还是会有点尴尬。等闲暇时候写点东西自娱自乐也好。日后如有时间再来打理。 Hello, world!