当前位置： 首页 > news >正文

可信计算是什么？可信逻辑：计算系统安全的形式化分析框架

news 来源：原创 2025/6/29 3:05:49

在这里插入图片描述

参考书籍《人工智能安全 (陈左宁 主编；卢锡城 、方滨兴 副主编）》第二章内容；

相关博客：可信执行环境(TEE)：保障数据安全的核心技术

文章目录

  • 一、可信计算的逻辑学基础
    • 1.1 可信性的逻辑定义与范畴
    • 1.2 双体系架构的逻辑构造
  • 二、可信计算的认知逻辑分析
    • 2.1 基于模态逻辑的可信状态描述
    • 2.2 信任传递的逻辑链条
  • 三、可信计算技术的逻辑实现机制
    • 3.1 静态度量的逻辑验证
    • 3.2 动态度量的归纳推理
    • 3.3 密码学逻辑保障机制
  • 四、人工智能安全中的可信逻辑框架
    • 4.1 AI系统的可信性逻辑模型
    • 4.2 深度学习可信计算平台的逻辑设计
    • 4.3 对抗攻击的逻辑防护
  • 五、可信网络连接的分布式逻辑
    • 5.1 三元三层架构的逻辑原理
    • 5.2 分布式信任建立的逻辑机制
  • 六、可信计算的逻辑局限性与挑战
    • 6.1 不完备性问题
    • 6.2 一致性保障的挑战
  • 七、面向未来的可信逻辑演进
    • 7.1 零信任架构的逻辑融合
    • 7.2 量子计算时代的可信逻辑
  • 结论

一、可信计算的逻辑学基础

1.1 可信性的逻辑定义与范畴

从逻辑学角度理解可信计算，首先需要厘清"可信"(Trustworthy)概念的逻辑内涵。在形式逻辑体系中，可信性可以表述为一个多值逻辑函数：T(S,P,C) → [0,1]，其中S表示系统状态，P表示预期性质，C表示上下文环境。这一函数映射关系反映了系统在特定条件下满足预期行为的概率或置信度。

可信性的逻辑本质：可信性并非简单的二元真假判断，而是一种基于证据推理的连续性度量。它包含三个核心逻辑维度：一致性(Consistency)、完备性(Completeness)和可验证性(Verifiability)。

根据书中内容，可信计算3.0体现了"主动免疫"的逻辑思维，这种思维模式可以用逻辑推理链表示：
前提条件 → 行为预测 → 风险评估 → 主动防护 → 结果验证

1.2 双体系架构的逻辑构造

可信计算3.0的双体系架构体现了一种并行逻辑验证机制。这种架构在逻辑学上可以理解为：

并行验证逻辑：设主系统执行功能F，可信系统执行验证函数V，则系统的整体可信度为：Trust = F ∧ V(F)，即功能执行与验证同时为真时，系统行为才被认为是可信的。

  • TPCM(可信平台控制模块)：作为硬件信任根，在逻辑上充当公理系统的基础公理
  • TSB(可信软件基)：实现软件层面的逻辑推理和验证机制
  • 度量机制：建立从硬件到软件的信任传递链，形成完整的逻辑证明体系

二、可信计算的认知逻辑分析

2.1 基于模态逻辑的可信状态描述

可信计算中的状态转换可以用模态逻辑来精确描述。引入认知模态算子：

  • K(可知)：系统已知的状态信息
  • B(相信)：基于证据的信念状态
  • T(可信)：经过验证的可信状态

可信状态的模态逻辑表达：

  • □T(s) 表示状态s必然可信
  • ◇T(s) 表示状态s可能可信
  • K(T(s)) 表示已知状态s是可信的

2.2 信任传递的逻辑链条

从书中可以看出，可信计算建立了从硬件到应用的完整信任链。这个过程在逻辑学上体现为传递性推理：

信任根(R) → BIOS(B) → OS(O) → Application(A)
如果 Trust(R) ∧ Verify(R,B) ∧ Verify(B,O) ∧ Verify(O,A)
则 Trust(A)

这种传递性确保了整个系统的逻辑一致性和可信性的端到端保障。

三、可信计算技术的逻辑实现机制

3.1 静态度量的逻辑验证

静态度量实现了演绎推理机制：通过预先建立的完整性基准值，对系统组件进行逻辑比较和验证。

静态度量的逻辑过程：

  1. 建立基准：定义完整性的逻辑标准 I₀
  2. 实时测量：获取当前状态 I₁
  3. 逻辑比较：判断 I₁ ≡ I₀ 是否成立
  4. 结果推理：基于比较结果进行可信性推断

技术实现中使用SM3哈希算法作为完整性度量的数学工具，确保了度量结果的唯一性和不可伪造性。

相关博客：哈希函数详解(SHA-2系列、SHA-3系列、SM3国密)案例：构建简单的区块链——密码学基础

3.2 动态度量的归纳推理

动态度量体现了归纳推理逻辑：通过观察系统运行时的行为模式，归纳出异常检测规则。

动态度量的归纳逻辑：

  • 观察：收集系统运行时的行为数据
  • 模式识别：识别正常行为的逻辑模式
  • 异常检测：发现偏离模式的异常行为
  • 推理决策：基于异常程度进行安全响应

关键技术组件包括：

  • 内核关键数据度量：监控系统调用表、中断描述表等关键数据结构
  • 进程行为度量：建立系统调用序列的执行图模型
  • 内存完整性检查：验证代码段和数据段的完整性

3.3 密码学逻辑保障机制

可信计算采用国产密码算法构建逻辑安全体system：

密码学逻辑体系：

  • SM2椭圆曲线公钥算法：提供身份认证和密钥交换的逻辑基础
  • SM3密码杂凑算法：实现数据完整性的逻辑验证
  • SM4分组密码算法：保障数据机密性的逻辑屏障

相关博客：非对称加密算法（RSA、ECC、SM2）——密码学基础

  • 对称加密算法（AES、ChaCha20和SM4）Python实现——密码学基础(Python出现No module named “Crypto” 解决方案)

四、人工智能安全中的可信逻辑框架

4.1 AI系统的可信性逻辑模型

基于书中内容，AI系统的可信性可以建模为多层逻辑验证体系：

AI可信性的逻辑分层：

  1. 硬件层可信：基于TPCM的硬件信任根
  2. 系统层可信：操作系统和运行环境的完整性
  3. 算法层可信：AI算法的正确性和鲁棒性验证
  4. 数据层可信：训练数据和推理数据的完整性保护
  5. 应用层可信：AI应用的行为符合预期逻辑

4.2 深度学习可信计算平台的逻辑设计

书中描述的深度学习可信计算平台体现了分层验证逻辑：

逻辑验证层次：
Layer 1: Hardware Trust (TPCM verification)
Layer 2: BIOS/Firmware Integrity  
Layer 3: OS Kernel Verification
Layer 4: AI Framework Validation
Layer 5: Model Integrity Check
Layer 6: Data Authenticity Verification

核心逻辑机制：每一层的可信性验证都依赖于下层的可信基础，形成严密的逻辑证明链条。任何一层的验证失败都会中断整个信任传递过程。

4.3 对抗攻击的逻辑防护

针对AI系统面临的对抗攻击，可信计算提供了多重逻辑防线：

对抗攻击防护的逻辑策略：

  • 输入验证逻辑：对输入数据进行完整性和真实性验证
  • 推理过程监控：实时监控AI模型的推理过程是否异常
  • 输出结果校验：验证输出结果的合理性和一致性
  • 行为模式分析：基于历史行为建立正常模式，检测异常偏离

五、可信网络连接的分布式逻辑

5.1 三元三层架构的逻辑原理

可信网络连接采用"三元三层"架构，体现了分布式验证逻辑：

三元验证逻辑：

  • 访问请求者(AR)：提出连接请求的逻辑实体
  • 访问控制器(AC)：执行访问控制策略的逻辑网关
  • 策略管理器(PM)：制定和管理安全策略的逻辑中心

三层逻辑架构：

  1. 网络访问控制层：实现身份认证的逻辑验证
  2. 可信平台评估层：执行平台完整性的逻辑评估
  3. 完整性度量层：提供底层度量数据的逻辑支撑

5.2 分布式信任建立的逻辑机制

分布式信任的逻辑建立过程：

  1. 身份证明：基于数字证书的身份逻辑验证
  2. 平台度量：完整性度量结果的逻辑比较
  3. 策略匹配：访问请求与安全策略的逻辑匹配
  4. 信任决策：综合多重因素的信任逻辑推理

六、可信计算的逻辑局限性与挑战

6.1 不完备性问题

从逻辑学的哥德尔不完备性定理角度看，任何足够复杂的形式系统都存在不完备性。可信计算系统同样面临这一根本性挑战：

可信计算的逻辑不完备性：

  • 度量覆盖的不完整：无法穷举所有可能的攻击向量
  • 行为预测的局限：无法预见所有可能的异常行为模式
  • 验证逻辑的递归：验证机制本身也需要被验证

6.2 一致性保障的挑战

在分布式可信环境中，保持逻辑一致性面临以下挑战：

分布式一致性的逻辑难题：

  • 时序一致性：不同节点的度量时序可能不一致
  • 状态同步：分布式系统状态同步的逻辑复杂性
  • 策略一致性：多个策略源之间可能存在逻辑冲突

七、面向未来的可信逻辑演进

7.1 零信任架构的逻辑融合

可信计算与零信任架构的融合体现了持续验证逻辑：

持续验证的逻辑原则：

  • 永不信任，持续验证：摒弃静态信任的逻辑假设
  • 最小权限原则：基于逻辑最小化的权限分配
  • 动态信任评估：实时调整信任级别的逻辑机制

7.2 量子计算时代的可信逻辑

面向量子计算的可信逻辑需要考虑：

量子可信的逻辑特征：

  • 量子叠加态的验证：传统二值逻辑向量子逻辑的扩展
  • 量子纠缠的信任传递：基于量子力学原理的新型信任机制
  • 后量子密码的逻辑保障：抗量子攻击的密码学逻辑体系

结论

从逻辑学视角分析，可信计算本质上是一种基于形式化验证的信任建立机制。它通过建立严密的逻辑推理链条，从硬件信任根开始，逐层构建和验证系统的可信状态。这种方法的核心优势在于：

  1. 逻辑完整性：建立了从硬件到应用的完整信任传递链
  2. 验证严密性：采用数学证明的方式确保验证结果的可靠性
  3. 动态适应性：能够应对运行时的各种变化和威胁
  4. 标准化程度：建立了相对完善的技术标准和实现规范

然而，从逻辑学的根本局限性来看，可信计算仍然面临不完备性、一致性保障等理论挑战。未来的发展需要在逻辑理论创新、技术手段完善和应用场景拓展等方面持续深入，以构建更加完备和可靠的可信逻辑体系。

这种基于逻辑学的理解为可信计算技术的发展提供了理论基础，也为其在人工智能安全、网络空间安全等关键领域的应用奠定了坚实的逻辑根基。

相关文章：

可信计算是什么？可信逻辑：计算系统安全的形式化分析框架

参考书籍《人工智能安全 (陈左宁 主编；卢锡城 、方滨兴 副主编）》第二章内容； 相关博客：可信执行环境(TEE)：保障数据安全的核心技术 文章目录 一、可信计算的逻辑学基础1.1 可信性的逻辑定义与范畴1.2 双体系架构的逻…...

编程日记 2025/6/29 3:05:49

大模型应用开发之Dify进阶版使用教程—react前端+django后端+dify-API制作聊天界面

Dify进阶使用教程 文章目录 Dify进阶使用教程前言一、dify-docker环境搭建及简单使用二、本篇使用API源码部署启动dify后端启动dify前端基于通义模型的智能客服机器人应用与自己项目联动实战1. 使用API进行项目与dify联动1.1 在控制台主页，点击创建访问API1.2 进入API页面，这…...

编程日记 2025/6/27 23:28:17

快速创建 Vue 3 项目

安装 Node.js 和 Vue CL 安装 Node.js：访问 https://nodejs.org/ 下载并安装 LTS 版本。 安装完后，在终端检查版本： node -v npm -v安装 Vue CLI（全局）： npm install -g vue/cli创建 Vue 3 项目 vue cr…...

编程日记 2025/6/29 3:02:49

【VLNs篇】05：TGS-在无地图室外环境中使用视觉语言模型进行轨迹生成和选择

栏目内容论文标题TGS: Trajectory Generation and Selection using Vision Language Models in Mapless Outdoor Environments (TGS：在无地图室外环境中使用视觉语言模型进行轨迹生成和选择)研究问题在具有非结构化越野特征（如建筑物、草地、路缘&#x…...

编程日记 2025/6/27 15:15:22

【未来展望】云、AI与元宇宙的融合架构

未来展望：云、AI与元宇宙的融合架构 一、技术背景与发展：从独立演进到深度融合二、技术特点：异构协同与场景化适配三、技术细节：架构层解构与核心组件四、未来发展：技术趋势与产业机遇五、结语：硅基与碳基文明的共生演进一、技术背景与发展：从独立演进到深度融合 云计算…...

编程日记 2025/6/29 3:02:49

React+Taro 微信小程序做一个页面，背景图需贴手机屏幕最上边覆盖展示

话不多说 直接上图 第一步 import { getSystemInfoSync } from tarojs/taro;第二步 render() {const cardBanner getImageUrlByGlobal(member-merge-bg.png);const { safeArea, statusBarHeight } getSystemInfoSync();const NAV_BAR_HEIGHT 44;const navBarHeight NAV…...

编程日记 2025/6/27 23:32:39

Linux笔记---信号(下)

1. sigaction函数 #include <signal.h>int sigaction(int signum, const struct sigaction *act, struct sigaction *oldact); 功能&#xff1a;sigaction函数用于检查或修改与指定信号相关联的处理动作。它可以用来设置信号处理函数、信号掩码等。 参数 signum&#…...

编程日记 2025/6/27 23:35:23

腾讯云媒体AI解码全球视频出海智能密码

当短剧平台撞上多语种字幕困境&#xff0c;当直播电商遭遇文化审核危机&#xff0c;当经典影视困于格式壁垒——这些内容出海的难题&#xff0c;正被腾讯云媒体AI的智能引擎逐个破解。从东南亚的直播卡顿到中东的宗教符号雷区&#xff0c;从老片的低清画质到元宇宙的渲染瓶颈&a…...

编程日记 2025/6/27 23:36:17

Django的请求和响应+template模板

&#x1f31f; 如果这篇文章触动了你的心弦&#xff0c;请不要吝啬你的支持&#xff01; 亲爱的读者&#xff0c; 感谢你花时间阅读这篇分享。希望这里的每一个字都能为你带来启发或是让你会心一笑。如果你觉得这篇文章有价值&#xff0c;或者它解决了你一直以来的一个疑问&a…...

编程日记 2025/6/29 2:55:28

JAVA8怎么使用9的List.of

在 Java 8 中&#xff0c;List.of 方法并不可用&#xff0c;因为这是从 Java 9 开始引入的用于创建不可变列表的便捷方法。要在 Java 8 中达到类似的效果&#xff0c;您需要使用其他方式来创建列表。常规的方法是先创建集合对象然后再添加元素 List<String> list new A…...

编程日记 2025/6/27 23:20:13

无人机避障——深蓝学院浙大Ego-Planner规划部分

ESDF-free&#xff1a; 被这种类型的障碍物死死卡住的情况&#xff1a; 在一定范围内建立ESDF&#xff1a; Ego-Planner框架&#xff1a; 找到{p,v} pair&#xff1a; 【注意】&#xff1a;首先根据在障碍物内航迹上的点Q&#xff0c;以及与它相邻但不在障碍物内的两个点&#…...

编程日记 2025/6/27 23:12:08

Qt 最新版6.9.0使用MQTT连接腾讯云详细教程

Qt 最新版6.9.0使用MQTT连接腾讯云详细教程 一、MQTT介绍二、MQTT库编译1、源码下载2、源码编译 三、库的使用方法四、MQTT连接设备1、包含头文件 2、定义一个mqtt客户端3、实例并连接相关信号与槽4、连接服务器5、订阅topic 一、MQTT介绍 1. 概述 全称: Message Queuing Tel…...

编程日记 2025/6/29 3:01:36

无人机避障——深蓝学院浙大栅格地图以及ESDF地图内容

Occupancy Grid Map & Euclidean Signed Distance Field: 【注意】&#xff1a;目的是为了将有噪声的传感器收集起来&#xff0c;用于实时的建图。 Occupancy Grid Map&#xff1a; 概率栅格&#xff1a; 【注意】&#xff1a;由于传感器带有噪声&#xff0c;在实际中基于…...

编程日记 2025/6/27 23:34:57

Vitis 2021.1安装步骤

1.将压缩文件解压 2.打开解压后的文件夹&#xff0c;双击应用程序 3.安装版本2021.1&#xff0c;不安装2024.2&#xff0c;点击“continue”,然后点击“next” 4.选择“vitis”&#xff0c;然后点击“next” 5.点击“next” 6.选择“I Agree”&#xff0c;点击“next…...

编程日记 2025/6/27 23:06:58

【Harmony】【鸿蒙】List列表View如果刷新内部的自定义View

创建自定义View Component export struct TestView{State leftIcon?:Resource $r(app.media.leftIcon)State leftText?:Resource | string $r(app.string.leftText)State rightText?:Resource | string $r(app.string.rightText)State rightIcon?:Resource $r(app.med…...

编程日记 2025/6/29 2:59:02

我店模式系统开发打造本地生活生态商圈

在当今快节奏的商业环境中&#xff0c;商家们面临着越来越多的挑战&#xff0c;包括市场竞争加剧、消费者需求多样化以及运营效率的提高等。为了应对这些挑战&#xff0c;越来越多的商家开始寻求信息化解决方案&#xff0c;以提升运营效率和客户体验。我的店模式系统平台应运而…...

编程日记 2025/6/27 23:23:06

LeetCode[222]完全二叉树的节点个数

思路&#xff1a; 这个节点个数可以使用递归左儿子个数递归右儿子个数1&#xff0c;这个1是根节点&#xff0c;最后结果为节点个数&#xff0c;但我们没有练习到完全二叉树的性质. 完全二叉树的性质是&#xff1a;我简单说一下&#xff0c;大概就是其他节点都满了&#xff0c;就…...

编程日记 2025/6/27 23:38:54

电机试验平台：实现高效精密测试的关键工具

电机是现代工业中广泛应用的关键设备&#xff0c;其性能直接影响着生产效率和产品质量。为了确保电机的可靠运行和优化设计&#xff0c;电机试验平台成为不可或缺的工具。本文将探讨电机试验平台的概念、功能和应用&#xff0c;以及其在实现高效精密测试中的关键作用。 一、电…...

编程日记 2025/6/27 23:22:01

基于 ZigBee 的 LED 路灯智能控制器的设计

标题:基于 ZigBee 的 LED 路灯智能控制器的设计 内容:1.摘要 本文围绕基于 ZigBee 的 LED 路灯智能控制器展开研究。背景在于传统路灯控制方式存在能耗高、管理不便等问题&#xff0c;为实现路灯的智能化控制和节能目的&#xff0c;采用 ZigBee 无线通信技术来设计 LED 路灯智…...

编程日记 2025/6/27 12:08:03

LeetCode Hot100 (哈希)

1. 两数之和 比较简单&#xff0c;建立个map&#xff0c;看看有没有当前对应的相反的值就可以了 class Solution {public int[] twoSum(int[] nums, int target) {TreeMap<Integer, Integer> arrnew TreeMap<Integer, Integer>();int x10;int x20;for(int i0;i<…...

编程日记 2025/6/1 9:12:12

【力扣题目分享】二叉树专题(C++)

目录 1、根据二叉树创建字符串 代码实现&#xff1a; 2、二叉树的层序遍历 代码实现&#xff1a; 变形题&#xff1a; 代码实现&#xff1a; 3、二叉树的最近公共祖先 代码实现&#xff1a; 4、二叉搜索树与双向链表 代码实现&#xff1a; 5、从前序与中序遍历序列构…...

编程日记 2025/6/27 23:26:12

【烧脑算法】单序列双指针：从暴力枚举到高效优化的思维跃迁

目录 相向双指针 1498. 满足条件的子序列数目 1782. 统计点对的数目 581. 最短无序连续子数组 同向双指针 2122. 还原原数组 ​编辑 2972. 统计移除递增子数组的数目 II ​编辑 思维拓展 1920. 基于排列构建数组 442. 数组中重复的数据 448. 找到所有数组中消失的…...

编程日记 2025/6/27 22:48:17

如何排查服务器 CPU 温度过高的问题并解决？

服务器CPU温度过高是一个常见的问题&#xff0c;可能导致服务器性能下降、系统稳定性问题甚至硬件损坏。有效排查和解决服务器CPU温度过高的问题对于确保服务器正常运行和延长硬件寿命至关重要。本文将介绍如何排查服务器CPU温度过高的问题&#xff0c;并提供解决方法&#xff…...

编程日记 2025/6/27 23:05:34

YOLO篇-3.1.YOLO服务器运行

1.服务器 服务器网站&#xff1a;AutoDL算力云 | 弹性、好用、省钱。租GPU就上AutoDL(这个是收费的) 2.数据集上传 进入网站&#xff0c;租用自己的服务器&#xff0c;租用好后点击jupyter。(这里需要先有一个数据集哦) 在根目录下进入datasets创建自己的工程名 在工程文件下…...

编程日记 2025/6/27 23:10:38

数智读书笔记系列034《最优解人生》对编程群体的理念契合

📘 书籍简介 核心观点 《Die with Zero》（中文译为《最优解人生》）由美国对冲基金经理比尔柏金斯（Bill Perkins）撰写，核心理念是“财产归零”。其核心主张是： 金钱是实现体验的工具：金钱本身无意义，其价值在于转化为有意义的体验，如旅行、学习、家庭时光或慈善活动…...

编程日记 2025/6/27 23:27:19

深度学习相比传统机器学习的优势

深度学习相比传统机器学习具有显著优势&#xff0c;主要体现在以下几个方面&#xff1a; 1. 特征工程的自动化 传统机器学习&#xff1a;依赖人工设计特征&#xff08;Feature Engineering&#xff09;&#xff0c;需要领域专家从原始数据中提取关键特征&#xff08;如边缘检测…...

编程日记 2025/6/27 22:48:25

深入探究C++11的核心特性

目录 引言 C11简介 统一的列表初始化 1. {} 初始化 2. std::initializer_list 变量类型推导 1. auto 2. decltype 3. nullptr 右值引用和移动语义 1. 左值引用和右值引用 2. 左值引用与右值引用比较 3. 右值引用使用场景和意义 移动赋值与右值引用的深入应用 1. 移…...

编程日记 2025/6/27 23:09:47

nltk-英文句子分词+词干化

一、准备工作 ①安装好nltk模块并在&#xff1a; nltk/nltk_data: NLTK Data 链接中手动下载模型并放入到对应文件夹下。 具体放到哪个文件夹&#xff0c;先执行看报错后的提示即可。 ②准备pos_map.json文件&#xff0c;放置到当前文件夹下。该文件用于词性统一 {"…...

编程日记 2025/6/27 23:27:53

系统性能分析基本概念（3) : Tuning Efforts

系统性能调优&#xff08;Tuning Efforts&#xff09;是指通过优化硬件、软件或系统配置来提升性能&#xff0c;减少延迟、提高吞吐量或优化资源利用率。以下是系统性能调优的主要努力方向&#xff0c;涵盖硬件、操作系统、应用程序和网络等多个层面&#xff0c;结合实际应用场…...

编程日记 2025/6/27 23:34:16

部署TOMEXAM

前提&#xff1a;机器上有MySQL&#xff0c;nginx&#xff0c;jdk&#xff0c;tomcat 1.配置MySQL [rootjava-tomcat1 ~]# mysql -u root -pLiuliu!123 mysql: [Warning] Using a password on the command line interface can be insecure. Welcome to the MySQL monitor. C…...

编程日记 2025/6/29 2:19:00

Nginx 1.25.4交叉编译问题：编译器路径与aclocal.m4错误解决方案

Nginx 1.25.4交叉编译问题&#xff1a;编译器路径与aclocal.m4错误解决方案 一、问题描述 在对Nginx 1.25.4进行交叉编译时&#xff0c;遇到以下复合问题&#xff1a; 编译器路径失效&#xff1a;尽管在脚本中配置了交叉编译器&#xff08;如CCaarch64-himix100-linux-gcc&a…...

编程日记 2025/6/27 23:23:30

FPGA通信之VGA

文章目录 基本概念&#xff1a;水平扫描&#xff1a;垂直扫描&#xff1a; 时序如下&#xff1a;端口设计疑问为什么需要输出那么多端口不输出时钟怎么保证电子枪移动速度符合时序VGA转HDMI 仿真电路图代码总结&#xff1a;野火电子yyds 为了做图像处理&#xff0c; 现在我们开…...

编程日记 2025/6/27 23:22:59

[Git] 认识 Git 的三大区域 文件的修改和提交

文章目录 认识 Git 的三大区域&#xff1a;工作区、暂存区、版本库工作区、暂存区、版本库的关系流程图解 (概念) 将文件添加到仓库进行管理&#xff1a;git add 和 git commit场景一&#xff1a;第一次添加文件到仓库查看提交历史&#xff1a;git log&#xff08;进阶理解&…...

编程日记 2025/6/27 23:22:40

交叉编译DirectFB报错解决方法

configure: error: *** DirectFB compilation requires fluxcomp *** Unless you are compiling from a distributed tarball you need fluxcomp available from git://git.directfb.org/git/directfb/core/flux installed in your PATH. 需要先编译安装flux git clone http…...

编程日记 2025/6/27 22:48:21

AllToAll通信为什么用于EP并行？

1 AllToAll通信原理 首先要明白ALLTOALL通信是做了什么事情。 假设我们有3个进程&#xff08;A、B、C&#xff09;&#xff0c;每个进程都有三段数据&#xff0c;分别是a1, a2, a3&#xff1b;b1, b2, b3&#xff1b;c1, c2, c3。 进程A想发送&#xff1a;a1到进程A自己&…...

编程日记 2025/6/27 22:48:19

深入掌握Node.js HTTP模块：从开始到放弃

文章目录 一、HTTP模块入门&#xff1a;从零搭建第一个服务器1.1 基础概念解析1.2 手把手创建服务器 二、核心功能深入解析2.1 处理不同请求类型2.2 实现文件下载功能 三、常见问题解决方案3.1 跨域问题处理3.2 防止服务崩溃3.3 调试技巧 四、安全最佳实践4.1 请求头安全设置4.…...

编程日记 2025/6/27 23:31:24

python安装与使用

Python的安装 1.官网下载python安装包 https://www.python.org/ 2.安装python 勾选add python 3.8 to api将python加入变量 选择Customize installation进行自定义安装 一直选next直到下面界面&#xff0c;根据自己需要将python安装到指定位置&#xff0c;然后install 等贷…...

编程日记 2025/6/29 2:36:34

2025最新版Visual Studio Code for Mac安装使用指南

2025最新版Visual Studio Code for Mac安装使用指南 Installation and Application Guide to The Latest Version of Visual Studio Code in 2025 By JacksonML 1. 什么是Visual Studio Code&#xff1f; Visual Studio Code&#xff0c;通常被称为 VS Code&#xff0c;是由…...

编程日记 2025/6/27 22:50:33

VSCode GitHub Copilot 安装与使用完全指南

文章目录 一、安装准备1.1 系统要求1.2 Copilot订阅选择1.3 获取访问权限 二、安装步骤2.1 安装GitHub Copilot基础扩展2.2 安装GitHub Copilot Chat扩展2.3 登录和授权 三、基本使用&#xff1a;代码自动完成3.1 内联代码建议3.2 自定义Copilot配置3.3 使用注释引导Copilot 四…...

编程日记 2025/6/27 22:54:38

Github超19k+ strar的实时协同编辑的开源框架yjs

Yjs 是一个用于实现实时协同编辑的开源框架&#xff0c;具有以下关键特性和应用价值&#xff1a; 核心特性 基于 CRDT 算法 Yjs 采用无冲突复制数据类型&#xff08;CRDT&#xff09;&#xff0c;确保多用户同时编辑同一文档时无需复杂锁机制或中央协调&#xff0c;最终实现数据…...

编程日记 2025/6/28 7:27:06

【Node.js】工具链与工程化

个人主页&#xff1a;Guiat 归属专栏&#xff1a;node.js 文章目录 1. Node.js 工具链概述1.1 工具链的作用1.2 Node.js 工具链全景 2. 包管理与依赖管理2.1 npm (Node Package Manager)2.2 yarn2.3 pnpm2.4 锁文件与依赖管理2.5 工作空间与 Monorepo 3. 构建工具与打包3.1 Web…...

编程日记 2025/6/27 23:20:50

OceanBase数据库全面指南（函数篇）函数速查表

文章目录 一、数学函数1.1 基本数学函数1.2 三角函数二、字符串函数2.1 基本字符串函数2.2 高级字符串处理函数三、日期时间函数3.1 基本日期时间函数3.2 日期时间计算函数四、聚合函数4.1 常用聚合函数4.2 分组聚合4.3 高级聚合函数五、条件判断函数5.1 基本条件函数5.2 CASE表…...

编程日记 2025/6/27 23:00:33

Chrome 缓存文件路径

Chrome 缓存文件路径查看方法 启动 Chrome 浏览器, 输入 Chrome://Version Google浏览器版本号以及安装路径 Windows 缓存目录 在 “运行” 中输入 %TEMP% 可打开, 一般路径是: C:\Users\Administrator\AppData\Local\Temp, 其中 Administrator 是用户名。 Windows 目录…...

编程日记 2025/6/27 23:11:07

Ubuntu Desktop 24.04 常用软件安装步骤

文章目录 Ubuntu Desktop 24.04 常用软件安装步骤Snipaste F1快捷截图&#xff08;超方便 | 我6台电脑每台都用&#xff09;搜狗输入法快速浏览工具 | 空格键快速预览文件壁纸工具 | varietySSH 工具 | Termius 终端分屏工具 | TmuxCaffeine | 避免息屏小工具 一些设置将启动台…...

编程日记 2025/6/27 23:14:41

Chrome 插件网络请求的全面指南

在 Chrome 插件开发中&#xff0c;网络请求可以在多个上下文中实现&#xff0c;而不仅限于 background.js 和 content.js。以下是完整的网络请求实现方案&#xff1a; 一、主要请求实现位置 1. Background Script (后台脚本) 特点&#xff1a; 生命周期最长适合处理敏感数据…...

编程日记 2025/6/27 23:15:22

SpringBoot Day_03

目录 一、数据校验 二、统一异常处理 1、局部异常处理&#xff08;少&#xff09; 2、全局异常处理&#xff08;多&#xff09; 三、定时器 四、springboot日志 五、swagger 六、springboot自动装配原理 总结 1、如何实现参数校验功能&#xff08;掌握&#xff09; …...

编程日记 2025/6/27 23:33:39

Ubuntu 新建用户

在 Ubuntu 22.04 中创建新用户并赋予 root 权限的步骤如下&#xff0c;综合多篇文档推荐的安全方法&#xff1a; 一、创建新用户 使用 adduser 命令创建用户 sudo adduser your_username系统会提示设置密码及填写用户信息&#xff08;全名、电话等&#xff0c;可直接回车跳过&a…...

编程日记 2025/6/27 23:11:38

从法律视角看湖北理元理律师事务所的债务优化实践

债务问题解决需要专业法律支持。本文将从实务角度&#xff0c;解析湖北理元理律师事务所在债务优化领域的工作方法&#xff0c;为有需要的读者提供参考。 一、法律框架下的债务重组 利率合法性审查 识别超过法定上限的利息部分 收集相关证据材料 启动协商或诉讼程序 还款…...

编程日记 2025/6/27 22:50:06

# JavaSE核心知识点02面向对象编程

&#x1f91f;致敬读者 &#x1f7e9;感谢阅读&#x1f7e6;笑口常开&#x1f7ea;生日快乐⬛早点睡觉 &#x1f4d8;博主相关 &#x1f7e7;博主信息&#x1f7e8;博客首页&#x1f7eb;专栏推荐&#x1f7e5;活动信息 文章目录 JavaSE核心知识点02面向对象编程JavaSE核心知…...

编程日记 2025/6/27 23:15:20

从原理到实践：一文详解残差网络

在深度学习的发展历程中&#xff0c;神经网络的深度一直是提升模型性能的关键因素之一。随着网络层数的增加&#xff0c;模型理论上可以学习到更复杂、更抽象的特征表示。然而&#xff0c;在实际训练过程中&#xff0c;研究人员发现&#xff0c;当网络深度达到一定程度后&#…...

编程日记 2025/6/27 23:26:14