年度归档: 2025 年

5 篇文章

磁盘分区及挂载-9.19
在Linux中查看磁盘分区的详细信息(如文件系统类型、UUID、标签、分区表类型等): 1. lsblk 命令(推荐,直观展示详细信息) lsblk 可以通过参数显示更多分区细节,常用组合: lsblk -o NAME,SIZE,TYPE,MOUNTPOINT,FSTYPE,UUID,LABEL,MODEL 参数说明: NAME:设备名称(如sda…
卡显示信息问题-9.18
nvidia-smi 命令不显示显卡信息,通常意味着系统未能正确识别NVIDIA显卡或驱动存在问题。以下是一些逐步排查和解决的方法: 1. 确认显卡硬件是否被识别 首先检查系统是否检测到了NVIDIA显卡: lspci | grep -i nvidia 如果有输出,说明硬件被识别;如果无输出,可能是硬件接触问题或显卡故障(可尝试重新插拔显卡或在另一…
Lyapunov_drift&SAC_TD–comparison of math
一、李雅普诺夫优化中二次漂移函数的推导 李雅普诺夫优化的核心是通过设计 “李雅普诺夫函数” 和 “漂移项”,保证系统状态收敛到稳定点。以下以线性时不变系统为例(非线性系统推导逻辑类似,仅动力学方程更复杂),推导二次漂移函数的形式。 1. 系统定义与假设 考虑连续时间线性系统(离散时间推导类似,仅用差分替代微分):$$\dot{x}(t) = Ax(…