- 博客(1280)
- 收藏
- 关注
RSS订阅原创 多处理单元同步的工程不可能三角
文章摘要 CAP理论的核心约束不仅适用于分布式系统，而是存在于所有需状态同步的多处理单元系统中。本文揭示：只要系统包含独立处理单元通过可能故障的通信机制同步状态，一致性(C)、可用性(A)和分区容忍性(P)三者便不可兼得。这一约束同样作用于单机系统——多核CPU缓存同步、数据库WAL写入、RAID磁盘镜像等场景均受制于相同的物理极限：信息传递必然存在延迟和可能丢失。硬件方案通过压缩延迟窗口和重定义确认边界来统计拟合CAP，但无法逻辑突破。工程设计的本质是在明确这一根本约束后，做出最适合场景的权衡选择。（14
2026-07-28 19:35:39
10
原创 分布式系统的负反馈收敛
本文探讨了分布式系统设计中的负反馈收敛理论，指出其核心贡献在于从模式匹配转向第一性原理推导，但同时也揭示了该框架的若干局限性：混淆物理不变量与数学不变量、忽视博弈论在对抗环境中的关键作用、低估估计器的脆弱性，以及未能区分不同类型的不变量维持问题。作者提出更完整的方法论应整合控制论、博弈论、信息论、代数/拓扑和估计理论五种互补工具，强调根据不确定性类型选择适当分析框架的重要性。真正的工程智慧在于理解不同数学工具的边界，并在具体场景中灵活切换视角，而非固守单一理论范式。
2026-07-28 14:22:01
217
原创 相对时间不变量：分布式系统中单源串行化的时间信任
分布式系统中时间顺序的信任问题源于缺乏全局时钟，导致多源独立时间戳可能破坏因果顺序。本文提出"相对时间不变量原则"：当所有排序行为收敛到单一权威节点，且该节点使用与外部时钟无关的单调序列时，该序列定义的顺序完全可信。这一顺序源自单处理器不可违背的指令执行顺序，如Raft日志索引、Kafka分区offset等实例所示。通过将排序权威集中化并使用逻辑计数器或硬件单调时钟，系统可以建立可靠的时间基准。虽然物理时钟同步技术能压缩不确定性窗口，但本质上仍需依赖单一串行化点产生的顺序作为可信时间。这一原则是分布式系统在
2026-07-28 14:00:45
89
原创 上下文压缩 — 设计规范
OpenCode-Goal插件上下文压缩功能设计摘要 OpenCode-Goal插件新增对话压缩功能，通过服务端摘要降低Token用量同时保留关键信息。主要特性包括： 双触发机制： 自动压缩：当Token用量超过阈值(compact_after_tokens)或达到指定轮次(compact_after_turns) 手动压缩：通过/goal compact命令或AI调用compact工具 技术实现： 服务端提供POST /api/session/{sessionID}/compact压缩API 自动压缩在继
2026-07-27 23:58:41
77
原创 技能文件规则抑制：思想、结构逻辑与工程
本文解析了一套面向LLM代理的五层技能文件体系（safety/feedback/core/server/client）的设计思想。该体系通过约束刚性分层（宪法级/强制级/清单级）、知识域分片和互锁引用架构，将抽象规范转化为解码时的硬性约束锚点。核心设计包括：禁令前置、违规后果显式化、反例驱动、强制模板等机制，确保规范的可执行性和可验证性。文章提炼了八项核心设计原则，特别强调不依赖LLM的主动遵循能力，而是通过结构化约束工程实现规范内化。该体系适用于复杂分布式场景，为LLM在规范密集环境中的可靠操作提供了方法
2026-07-27 15:27:50
473
原创 约束提示词设计原则：强制LLM遵循项目规范的方法论
摘要：约束提示词设计方法论 本文针对LLM在工程任务中频繁偏离规范的问题，提出了一套基于刚性约束的提示词设计原则。通过分析技能忽略、规范退化等典型失效模式，指出其根源在于软性指令的注意力权重不足。核心方法论包含七项原则：绝对优先级声明、技能强制加载、证明义务、穷举验证、精确策略注入、结构编号化和双重位置强化。这些原则通过将指令升级为不可违背的硬约束，强制模型进行可验证的规范化输出。案例显示，该方法能显著改善复杂状态机修复等任务的执行精度，尤其适用于规范明确的工程场景。但需注意其边界：过度约束可能抑制创新性，
2026-07-27 15:21:08
164
原创 约束提示词的工程构造：如何强制LLM遵循项目规范与技能
约束提示词工程：强制LLM遵循项目规范的技术方案 摘要：本文针对LLM在软件工程中忽视项目规范的核心问题，提出结构化约束提示词设计方法。通过分析实际案例，揭示有效约束的7项关键要素：不可违背声明、技能强制加载、零无证明规则、穷举验证要求、状态机全覆盖、特定修复策略注入以及双重注意力锚点。研究表明，这类提示词通过硬化指令优先级、强制显式证明和收缩解空间，将模型输出严格限制在规范边界内。其本质并非增强推理能力，而是通过工程化约束降低行为偏差，实现LLM与项目需求的有效对齐。该方法适用于规范明确的复杂调试场景，但
2026-07-27 14:43:08
182
原创 LLM推理中的KV缓存与跨请求前缀复用：机制、条件与提示词
文章摘要（149字） KV缓存技术通过存储自注意力计算的中间结果，将Transformer推理复杂度从平方级降为线性。跨请求前缀复用依赖token块的精确匹配，要求严格区分静态和动态内容：静态提示词必须前置，动态内容后置。本文从数学原理和工程实现角度，分析KV缓存机制、分块匹配策略及位置编码约束，提出"静态前缀最大化"的设计原则。通过不可变规则注入的实例，展示如何优化提示词架构以提升缓存命中率，同时讨论GQA、TTL等工程权衡因素。结论指出，有效的缓存复用需要系统级的提示词结构设计。
2026-07-27 14:36:37
284
原创 结构化提示词设计：适配LLM注意力机制的信息编排原则
摘要：大语言模型(LLM)的注意力机制存在首尾偏置和注意力稀释问题，导致中间信息容易被忽略。为优化提示词效果，应遵循结构化设计原则：1)采用层次平铺方式(标题/列表)增强注意力锚定；2)将核心指令置于提示词首尾；3)使用分隔符创建注意力边界；4)保持单句单义降低解析难度；5)使用断言式指令。结构化提示词通过信息编排优化注意力分配，但其效果受上下文长度、模型能力和结构化程度制约，需在清晰性与简洁性间取得平衡。这一方法对长上下文任务尤为重要，是从概率性输出中获取确定性行为的关键工程手段。
2026-07-27 14:18:25
382
原创 约束作为抑制层：LLM 代理的规范注入与工程限度
摘要：本文探讨了大语言模型（LLM）在代码生成应用中存在的结构性缺陷——概率采样、幻觉倾向和上下文易失性，这些本质缺陷无法通过模型优化根除。研究提出通过工程约束层来抑制LLM的偏差，而非试图解决其底层不可靠性。以opencode-goal插件的强制任务编排引擎为例，详细分析了静态宪法级提示词、文件系统状态机、物理定律断言和独立审计层等多重约束机制如何显著提升LLM的行为可预测性。研究强调这些约束本质上是一种行为抑制手段，虽不能确保正确性，但能将LLM的成功率提升到可接受水平，是目前最务实的工程解决方案。
2026-07-27 14:11:44
249
原创 goal.ps1：基于独立审计代理的 opencode 任务自动循环
goal.ps1 是一个 PowerShell 脚本，通过双代理验证协议实现自动化任务循环执行。当主代理输出<VERIFY>信号时，脚本强制注入审计提示，启动独立子代理进行审查。只有子代理报告包含<DONE>才会终止循环，有效防止虚假完成声明。脚本解决了命令行长度限制、进程超时等工程问题，适用于无人值守的代码修复、重构等任务，提高了自动化流程的可靠性，但其效果仍受限于模型能力和协议遵守程度。
2026-07-27 13:57:41
259
原创 opencode 显示技能约束提示词（典型：模板）
摘要：该指令要求AI系统必须严格遵循指定的技能文档（如文档A、文档B等）中的所有原则和规范，不得有任何违反、曲解或省略。用户可自由提交问题或需求，AI需在文档约束下无条件执行。核心强调对预设规则的绝对服从与精准执行，禁止自主发挥。
2026-07-24 15:11:44
16
原创 BBR 八相位增益循环与同流探测同步问题
本文深入分析了BBR拥塞控制算法的八相位增益循环设计及其在多流共享瓶颈场景下的同步问题。文章指出，BBR采用1.25/0.75的增益设计是基于单流探测有效性和队列控制的双重物理约束。通过固定八相位结构（2个探测/排空相位+6个巡航相位）和随机初始偏移机制，BBR实现了多流探测的统计分散。理想情况下，8条流能完美填满瓶颈链路，保持100%利用率。虽然理论上存在残余同步风险，但实际网络中应用层噪声和统计平滑效应使其影响可忽略。这种简洁的无状态设计以最小复杂度实现了分布式协同控制，展现了BBR算法的工程精妙性。
2026-07-22 15:21:18
298
原创 BBR 状态机
BBR 状态机摘要 BBR拥塞控制采用多状态机设计，核心状态包括STARTUP、DRAIN、PROBE_BW和PROBE_RTT。状态迁移基于三个关键检测函数，完全不依赖丢包信号： STARTUP→DRAIN：当连续3个RTT轮次带宽增长不足25%时，判定达到带宽上限，进入排空阶段。 DRAIN→PROBE_BW：通过EDT(最早出发时间)模型计算网络中的预估包量，当在途数据量≤无增益BDP时切换。 PROBE_BW→PROBE_RTT：当10秒内未更新最小RTT且非空闲状态时，强制进入RTT探测状态。 P
2026-07-22 14:22:32
299
原创 Claude Code 日常操作速查表
这篇文章是Claude Code AI助手的操作速查表，主要内容包括： 启动与权限模式：介绍不同启动方式和权限模式切换 配置文件管理：说明全局和项目配置的位置及权限设置 会话管理：包括重命名、清空、回溯和删除会话等操作 上下文与Token管理：查看占用情况、压缩上下文等命令 模型切换与技能安装：手动切换模型和安装自定义技能的方法 MCP服务器配置：如何设置和管理MCP服务器 持续工作方法：提供多种让AI持续工作直至完成的解决方案 常用工作流程示例：从启动到日常维护的标准操作流程 该速查表涵盖了Claude
2026-07-20 16:44:18
176
原创 论共识：分布式
摘要： 共识在分布式系统中的核心功能是确保异步网络下节点对唯一值的不可逆决策，而非简单的意见统一。其本质是通过多数派机制终止冲突的正反馈循环，但无法解决实时性、信息完整性和因果性问题。共识存在固有的延迟、可用性和认知代价，受限于物理定律而非协议设计。实践中应避免滥用共识，优先通过单写入者架构、CRDT或信息流约束等方法减少多写入冲突，仅在关键决策点（如金融交易、元数据管理）使用共识。架构师的核心职责是判断何时真正需要共识，而非纠结协议细节，因为不必要的共识会带来性能与复杂度代价而缺乏相应价值。共识是分布式系
2026-07-20 00:54:38
773
原创 为什么不要用 @prevalentware/opencode-goal-plugin
这篇文章分析了@prevalentware/opencode-goal-plugin插件存在的问题及替代方案。主要观点如下： 问题：该插件虽然提供了类似Claude Code的便捷目标管理功能，但会破坏OpenCode的缓存机制，导致缓存命中率降至0%，每次请求成本高达$0.05，是原生方式的4倍。 原因：插件实现不当，包括强制重新注入完整会话上下文、动态更新目标状态信息、可能触发进程重启、与官方提示拆分机制不兼容等。 解决方案：建议使用原生OpenCode功能替代，如opencode run -c循环、o
2026-07-19 13:52:10
217
原创 OpenCode 提示缓存优化：从 3% 到 97.6% 的修复路径
OpenCode 近期修复了提示缓存命中率低的问题，核心优化包括：将系统提示词拆分为稳定块和动态块，移除路径依赖，排序工具描述，并新增环境变量控制缓存行为。修复后，DeepSeek模型上的跨仓库缓存命中率从0%提升至97.6%，显著降低输入token成本。用户可通过设置OPENCODE_EXPERIMENTAL等环境变量启用优化，并利用OPENCODE_CACHE_AUDIT监控效果。该修复适用于支持自动前缀缓存的模型提供商，但项目级工具差异等场景仍需后续处理。
2026-07-19 13:44:02
262
原创 PROBE_RTT Per-Flow Jitter: Why the KCC Patch Uses ＞＞ 7
PROBE_RTT Per-Flow Jitter Analysis in BBR This paper analyzes KCC's patch that introduces per-flow jitter to BBR's PROBE_RTT phase, addressing the synchronization problem when multiple flows share a bottleneck. The key insights are: Original BBR causes syn
2026-07-19 00:36:00
165
原创 PROBE_RTT Per-Flow Jitter：为何 KCC 补丁用 ＞＞ 7
本文分析了BBR拥塞控制算法在多流场景下PROBE_RTT阶段同步的问题，以及KCC补丁采用右移7位（>>7）设计jitter机制的原因。关键点包括： 问题背景：原版BBR所有流会同步进入PROBE_RTT，导致cwnd剧烈波动和队列暴涨。 KCC补丁方案：基于流哈希值生成0-2×min_rtt的时间抖动，右移7位控制幅度。 设计约束： 窗口保护要求SHIFT≥4 去同步效果取决于jitter最大值与200ms探针窗口的关系 选择>>7的权衡： 相比>>6，减少了50%的窗口侵蚀（4% vs 8%） 在RT
2026-07-19 00:29:37
310
原创 in6_ntop:test_printf.c
该C程序实现了IPv6地址格式化输出和网络连接状态报表生成。核心功能包括： in6_ntop()函数将IPv6二进制地址转换为标准字符串格式（如压缩连续的0为"::"） 程序首先生成全局网络统计信息头 通过print_line()函数格式化输出多条连接记录，包含IPv4/IPv6的不同场景： 常规IPv4连接 压缩格式IPv6（2001:db8::1） IPv6环回地址（::1） 全展开IPv6（ffff:ffff...） 空闲IPv4连接 每条记录包含RTT、延迟、抖动等21项网络指标，以对齐列表示。
2026-07-18 20:38:26
19
原创 论无知：分布式
摘要 本文深刻探讨了人类认知的根本局限，揭示了无知不仅是知识缺口，更是宇宙物理结构设定的认知边界。光速限制、量子不确定性等物理定律决定了信息传递必然存在延迟与干扰，使全知在物理上不可能。这种局限在分布式系统中表现为网络延迟不可消除、故障检测不确定、观测影响系统性能等工程难题。作者指出，真正的智慧不在于否认这些局限，而在于学会在边界内设计可靠系统——通过幂等设计、熔断机制等方法管理未知。文章进一步区分了个体无知、组织无知和系统性无知，指出复杂度带来的系统性无知最难消除。最终，作者将认知边界上升至哲学层面，认为
2026-07-18 17:32:09
442
原创 论双机热备：分布式
本文揭示了双机热备方案在分布式系统中的根本矛盾：对等写入必然导致不可收敛的冲突传播，而强制收敛则需放弃对等性。作者通过分析主从模式、分片方案和异步复制的局限性，指出数据一致性与节点对等性不可兼得是分布式系统的物理约束所致。文章强调，真正的可靠性来自承认信息同步必然存在延迟，并通过方向约束、幂等设计和补偿事务等机制来管理故障切换的安全边界。这一分析对分布式系统设计具有重要指导意义。
2026-07-18 17:23:19
299
原创 论分布式系统的半开闭问题
本文探讨了分布式系统中固有的"半开闭状态"问题。当一个节点发出请求后等待响应时，它无法确定接收方的实际状态——请求是否到达、是否处理、响应是否丢失。这种信息不对称不是异常，而是由光速限制导致的物理常态，存在于每个分布式交互中。文章区分了两种应对策略：通过强一致性消除不确定性（代价是性能）或接受不确定性并设计幂等/补偿机制（代价是复杂度）。正确理解半开闭问题的关键在于认识到分布式决策永远基于不完整信息，系统设计必须在不消除不确定性的前提下保证安全边界。这一认知差异导致了完全不同的架构选择，决定了系统在极端条件
2026-07-18 16:41:31
205
原创 论分布式系统
摘要 分布式系统的本质是正负反馈的动态博弈。系统通过正反馈（资源竞争、多路径多义性、滞后累积）实现效率与响应能力，而依靠负反馈（阈值逆转、比例抑制、方向约束等机制）维持稳定性。设计分布式系统的核心在于管理这种博弈关系：识别正反馈来源，匹配适当的负反馈机制，控制振荡幅度。这种统一的观察框架适用于从网络传输到事务处理等各层面，揭示了分布式系统在局部决策、全局耦合条件下的运行规律——不是消除振荡，而是将动态平衡控制在可接受范围内。
2026-07-18 16:36:25
658
原创 Synchronous Resonance Effects of High-Precision RTT Estimation in Multi-Flow Congestion Control: Fai
KCC is a family of congestion control algorithms based on a behavioral three-component RTT decomposition. The geodesic estimator of KCC 2.0 achieves unbiased, low-lag estimation of the propagation delay $T_{\text{prop}}$ through structured G1–G4 branches.
2026-07-18 16:00:55
185
原创 高精度 RTT 估计在多流拥塞控制中的同步共振效应：KCC 闭环控制器的失效分析与相位解耦
本文分析了 KCC 2.0 闭环队列控制器在多流场景下的同步共振问题。研究发现，高精度 RTT 估计消除了传统算法中的隐式相位抖动，导致多流控制信号高度同步（相关系数 ρ≈0.9567），在观测滞后作用下形成往返正反馈的流间共振。KCC 2.0 定稿版采用开环控制解决了该问题，而 KCC 3.0 将其确立为理论研究课题，探索在不降低估计精度的前提下实现相位解耦的途径。文章详细介绍了测地线估计器的技术原理、闭环控制器的失效机制，并提出了若干解耦方向。作者强调，当前开环方案已满足工程需求，闭环研究仅面向理论完备
2026-07-18 15:52:27
744
原创 麻将结算系统
麻将结算系统摘要 本系统采用多服务器协同架构，通过线性流水线互斥机制确保结算的幂等性和一致性。核心特点： 四通道并行结算：胡牌即时结算（AutoTakeOut）、终局主结算（EndGame）、增量补结算和异常保底结算，使用统一公式nSettleSeq + nRound竞争同一流水线位置 三态处理机制：通过比较结算Key实现<SKIP/=执行/>重试三种处理逻辑，确保同一回合仅处理一次 资金安全保障：入场时冻结资金，结算时通过状态守卫和写前日志机制防止重复操作 异常恢复：利用Guardians系统实现冷路径重
2026-07-16 16:06:03
236
原创 麻将系统架构
本文档详细阐述了某MMO项目中麻将子游戏系统的分布式架构设计。系统作为畅玩阁(SmallGame)的组成部分，采用五服务器角色（GameServer、PlayServer、GameCenter、MatchCenter、SceneServer）协同工作，实现跨服麻将玩法。架构通过模块化设计分离游戏逻辑与基础设施，客户端和服务端共享部分核心组件但运行不同脚本。文档特别分析了玩家切图导致的"半开闭状态"问题及系统应对策略，包括AI托管机制和状态同步方案。系统总代码量约38,000行（服务端23,500行+UI14
2026-07-16 16:03:46
482
原创 Exhaustive drift-fix simulation V2 -- KCC on shared-bottleneck wired path. Models G2_queue_cap, adap
Exhaustive drift-fix simulation V2 -- KCC on shared-bottleneck wired path.Models G2_queue_cap, adaptive BW, realistic queue, 12 candidate fixes, 4 scenarios.
2026-07-13 00:06:54
169
原创 addr2line 和 gdb 定位内核模块 Oops 源码行
本文介绍了3种通过内核模块崩溃日志中的符号地址定位源码行的方法：1）使用addr2line工具快速映射到源码行；2）通过gdb查看上下文代码；3）使用objdump进行源码级反汇编作为备用方案。文中详细说明了各方法的具体操作步骤，并特别强调了保留未strip的.ko文件的重要性，以及当只有绝对地址时的处理方法。这些技巧同样适用于分析vmlinux的内核崩溃问题。
2026-07-12 01:55:21
158
原创 那条测地线
这篇文章以一个研究人员深夜审视网络拥塞控制算法的故事展开，通过对比传统CUSUM算法和作者自创的G2算法，探讨了理论最优与实践可行的深刻差异。作者发现，在现实网络这个"弯曲的观测空间"中，数学上最优的CUSUM算法会因排队延迟的非负性而误判，而看似简单的G2（核心仅两行代码）却能通过12%的固定增长率稳妥地适应网络不确定性。文章揭示了工程智慧的本质：不是追求理论完美，而是在复杂约束下找到唯一可行的平衡点，将误差引导至安全方向。这种对实践理性的思考，展现了理论与现实间的永恒张力。
2026-07-11 12:52:37
330
原创 G2 ＞ CUSUM：弯曲观测空间中的工程鲁棒解（网络）
摘要 本文通过理论分析和实验验证，揭示了KCC v2.0的G2算法优于CUSUM序贯检验的根本原因。核心发现是：TCP/IP网络的RTT观测空间因排队延迟（T_queue≥0）而呈现单侧弯曲特性，破坏了CUSUM最优性的前提假设。G2的12%几何增长+10%检测阈值机制恰好适应这种弯曲空间特性，形成最短可行更新路径（网络测地线）。实验数据显示，G2在100-1,000,000µs全RTT范围内保持100%检测率且无BDP高估风险，而CUSUM在长RTT下出现大量漏检（20-80%），并在拥塞场景下将队列延迟
2026-07-11 02:05:53
368
原创 KCC CUSUM vs G2 COMPARISON / cusum_vs_g2.js
本文比较了G2估计器与CUSUM检测器的性能，主要针对网络路径RTT变化检测场景。关键改进包括：1) 在CUSUM中增加运行最小值更新机制(v≤0时x_est=min(x_est,z))；2) 路径变化时重置累积状态和检测标志。测试覆盖25μs-1s的RTT范围，使用20次随机种子和500步模拟，对比两种算法在不同增长幅度(5%-200%)下的表现。CUSUM采用5%T_prop的漂移敏感度和15%T_prop的阈值配置，G2保持12%几何增长特性。结果显示修复后的CUSUM在检测精度和稳定性方面有所提升。
2026-07-10 15:47:13
65
原创 KCC v2.0 测地线估计器：从弯曲观测空间到约束推导
KCC v2.0 测地线估计器：最小化拥塞控制的RTT估计误差 本文提出了一种极简的测地线估计器（KCC v2.0），用于从受污染的RTT测量中准确推断网络物理传播延迟。该估计器基于三个物理公理：传播延迟恒定性、排队延迟非负性和噪声零均值性。通过分析观测空间的弯曲特性，作者揭示了传统对称更新方法的局限性，并提出了一种基于测地线原理的两分支解决方案：在RTT低于估计值时采用运行最小值更新（统计最优解），在高于估计值时采用12%固定增长率试探（上限压制）。检测机制包括10%检测阈值和3次累积确认，这些参数源自多
2026-07-10 12:17:06
143
原创 KCC v2.0 GEODESIC ESTIMATOR – ULTIMATE CORRECT IMPLEMENTATION
摘要： 该代码实现了一个测地线估计器（GeodesicEstimator），用于动态网络路径的传播延迟估计。核心特性包括：1) 采用定点数运算提升精度；2) 通过12%几何增长策略和物理约束参数实现稳定探测；3) 包含路径增长检测机制（1.1倍阈值+3次确认）；4) 提供全频谱测试套件验证25μs-1s范围的RTT检测能力。测试模块量化评估不同增幅下的检测成功率、响应时间分布等指标，通过高斯噪声模拟真实网络环境。算法在保持minRTT物理底线的同时，能有效跟踪路径变化。
2026-07-10 11:23:13
178
原创 KCC v2.0 测地线估计器-SIM 2（geodesic_sim.js: 500 step drain）
本文介绍了一个测地线估计器（GeodesicEstimator）的JavaScript实现，用于网络路径延迟的动态估计。该算法通过定点数运算、高斯噪声模拟和主动探测机制，实现了对网络传播延迟的准确跟踪。核心功能包括： 采用12%几何增长策略和1.1倍min_rtt阈值检测路径增长 每2000步执行一次主动探测（仅在队列空闲时） 提供三种测试模式： 全频谱路径增长检测（验证不同RTT范围和增幅的检测能力） 动态队列拥塞安全测试 死锁恢复验证 算法通过min_rtt基准和确认计数器实现稳健的路径变化检测，输出值
2026-07-10 10:59:34
173
原创 markdown 公式到文本公式（替换小脚本）
这篇文章摘要描述了两个Python脚本(convert_math.py和convert_math2.py)，用于将Markdown文件中的LaTeX数学公式转换为纯文本格式。主要处理步骤包括：移除公式分隔符($$和$)，转换LaTeX命令(如\frac为a/b)，替换希腊字母和数学符号为文本表示，处理上下标、分数、特殊环境等。第二个脚本补充了一些特定的替换规则。最终输出转换后的内容并显示字符数变化。这些脚本主要用于将LaTeX数学表达式转换为更简单的文本表示形式。
2026-07-10 01:25:44
19
原创 Exhaustive drift-fix simulation V2 — KCC on shared-bottleneck wired path.
文章摘要 该代码实现了一个KCC拥塞控制的详尽仿真系统，模拟了在共享瓶颈有线路径上的12种不同修复方案（如Q-boost、自适应带宽等）。系统配置包括1Gbps链路容量、11个数据流、5秒仿真时长等参数。定义了多种修复策略函数，如基于队列延迟、抖动、ECN标记等条件的组合判断。通过Flow类跟踪每个流的状态，主循环模拟数据包发送、队列管理和带宽估计过程。该仿真可用于评估不同拥塞控制算法在应对网络动态变化时的性能表现，特别关注了基础时延突变场景下的适应性。
2026-07-10 00:07:42
244
原创 KCC Wired Fiber Optical Exhaustive Parameter Brute-Force Analysis
本文摘要： KCC Wired Fiber Optical参数分析报告针对六种光纤网络场景（包括数据中心内部、跨机架、城域/区域/长距光纤及跨洋链路）进行了卡尔曼滤波参数优化研究。报告详细展示了不同Q(过程噪声)、R(观测噪声)和P0(初始协方差)组合下的稳态卡尔曼增益(K_ss)、自适应参数和跟踪带宽(TrkBW)等关键指标。特别针对0.1ms RTT的数据中心内部链路，研究发现低Q(50)和低R(100)配置可实现0.8541的K_ss和0.1359的TrkBW，适合低抖动环境。所有场景均保持10%的抖
2026-07-10 00:03:58
193
Intel Smart Sound Technology (ISST) Driver
2024-08-01
serverspeeder 锐速
2022-09-20
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人