软件测试

嵌入式系统概论

人机交互

在技术写作和文档管理中，Markdown 已成为事实上的标准格式。然而，将 Markdown 导出为 PDF 时，常见的工具往往引入过多额外元素——封面、目录、页眉页脚、页码——这些附加物在某些场景下是必要的，但在另一些场景下却成为干扰。

md2pdf 正是为此而生：一个极简的 Markdown → PDF 命令行工具，遵循”内容即输出”的原则，不添加任何多余元素。

Github: https://github.com/Hanerson/md2pdf

点击此处查看本文档经过该工具转换后的产出效果PDF

设计原则

网上冲浪的时候总会看到各种令人忍不住重击太阳穴的逆天言论，特地做一个整理。本文所罗列的谬误分类与分级，参考自B站UP主“导数之神阿希”制作的逻辑谬误Tier表。

原视频链接：【锐评各种逻辑谬误】

奏与衔接

作为一部以战争为背景的现实主义影片，《欢迎来龙餐馆》的叙事效率值得单独指出。全片以徐福（沈腾饰）赴中东还债开篇，以二十年后的废墟与一份菜单收束，中间经历餐馆兴衰、战乱爆发、人物离散，信息量不小，但观影过程中几乎感觉不到拖沓。

文牧野延续了《我不是药神》以来以事件推人物、以人物带情绪的编剧方法，每一段情节同时承担”推进处境”与”改写人物”两种功能，前后衔接因此显得自然：餐馆从门庭若市到成为安全区供餐点，再到沦为危局中的庇护所，是一根由外部局势与人物选择共同拧成的连续线索，而非段落式拼接。

HankCode

一个轻量级的 Coding Agent Harness，聚焦治理护栏（Guardrails），让 LLM 的编码行为受可验证的确定性代码约束。

Github

GitLab

项目简介

HankCode 是一个从零构建的 Agent Harness 框架，核心等式为 Agent = LLM + Harness。它实现了 6 个核心维度：

重点深入维度：治理护栏。所有护栏的判定逻辑均为确定性代码（正则匹配、路径比较、glob 匹配），不依赖 LLM 的智能。

数据来源说明

本实验选取公开零售交易数据集作为分析对象，数据来源为UCI Machine Learning Repository中的Online Retail Dataset。该数据集记录了某在线零售公司的真实交易数据，包含订单、商品、客户及时间等多维度信息。

数据字段说明如下：

一、管程数据结构定义

1
2
3
4
5
6
7
8
9
10
11
12
13

type dining_philosophers = monitor
    enum {thinking, hungry, eating} state[5];
    cond self[5] = 0;                     // 条件变量（信号量），初值为0
    int self_count[5] = 0;                // 每个条件变量的等待计数，初值为0
    InterfaceModule IM;                   // Hoare管程接口模块

    // 初始化（管程构造函数）
    for (int i = 0; i < 5; i++)           /* 初始化，i为进程号 */
        state[i] = thinking;

    // 声明管程内部过程
    define pickup, putdown;
    use enter, leave, wait, signal;       // 使用给定的管程原语

一、处理器调度算法

处理器调度的核心目标是提高 CPU 利用率、吞吐量，并减少等待时间和响应时间。调度算法决定了就绪队列中哪个进程获得 CPU 的使用权。

算法对比总览

此课程维持了南软诸多专业课的一贯的水准。理论部分底蕴悠久，一脉相承，与南软同寿

– 南软佛脚玩乐指南

课程学习路线总览

操作系统是计算机系统的核心系统软件，负责管理硬件资源、控制程序运行、为用户提供接口。整个课程围绕”资源管理“和”程序控制“两条主线展开，涵盖进程管理、内存管理、文件管理、设备管理四大资源管理功能，以及并发程序设计这一核心控制问题。

有关于2026年春季操作系统课程的选择题复习，已经移动到–>这里<–