相关文章
初学范畴论的一些体会
休学时间正好在家把范畴论学一下，感觉这东西对模型论视角下的可计算性的理解有大帮助教材：Basic Category Theory - Tom Leinster, Cambridge studies in advanced mathematics
建站知识
2026/1/25 19:14:21
2026年专业深度测评：国产持妆粉底液厂家排名前五权威榜单
2026年专业深度测评：国产持妆粉底液厂家排名前五权威榜单
一、开篇：测评背景与声明
随着国货美妆研发实力与市场认知度的双重跃升，消费者对国产持妆粉底液的妆效持久度、肤质适配性及成分安全提出了更高要求。为精准…
建站知识
2026/1/25 19:14:58
Rust入门一：从内存安全到高性能编程
为什么Rust能同时做到安全与高性能
2026年的今天，当我们谈论系统级编程语言时，Rust已经成为不可忽视的存在。从操作系统内核到WebAssembly应用，从嵌入式设备到大型分布式系统，Rust正在各个领域展现其独特的魅力。这一切的背后&am…
建站知识
2026/1/22 23:57:06
从源码视角来看Pinia！
一、Pinia 概览
Pinia 本质是：「基于 Vue3 响应式系统 + effectScope 的“全局可控副作用容器”」
Pinia 核心代码集中在：
packages/pinia/src/
├── createPinia.ts
├── rootStore.ts
├── store.ts
├── …
建站知识
2026/1/22 23:57:06
工业显示器在智能办公用品申领柜中的应用
智能办公用品申领柜是企业行政数字化管理的核心设备，可实现文具、耗材、劳保用品的 24 小时自助申领、库存监控、数据溯源，而工业显示器是其人机交互与信息展示的核心部件，相比民用显示器，能更好地适配办公场景的复杂使用需求。 一…
建站知识
2026/1/22 23:57:06
解决：all predefined address pools have been fully subnetted
错误原因:Docker 给容器分配内网 IP 的「地址库」已经用完了，没法给新创建的容器 / 网络分配新的 IP 了。Docker 的「地址池」是什么？Docker 启动时会预设几个「私有 IP 网段」（比如 172.17.0.0/16、172.18.0.0/16、172.19.0.0/16 等…
建站知识
2026/1/22 23:57:06
基于微信小程序的企业会议预约系统【源码+文档+调试】
🔥🔥作者： 米罗老师
🔥🔥个人简介：混迹java圈十余年，精通Java、小程序、数据库等。
🔥🔥各类成品Java毕设 。javaweb，ssm，springboot等项目&#…
建站知识
2026/1/22 23:47:06
手把手教你学Simulink--风电电机控制场景实例：基于Simulink的风电变流器死区补偿与非线性校正仿真
目录
手把手教你学Simulink
一、引言：为什么风电变流器需要“死区补偿”？
二、死区效应机理分析
1. 死区导致的电压误差
2. 误差电压表达式（近似）
三、系统整体架构
四、Simulink 建模全流程
步骤1：主电路建模（含真实死区）
步骤2：电流采样与极性判断
步骤3：…
建站知识
2026/1/22 23:47:06
