tritone-优快云博客

原创 ExpRe[31] LaTeX[0] Overleaf在线使用，texlive本地使用，VSCode插件

文章目录LaTeX初体验Overleaf在线编辑体验抽象出一个小示例使用Overleaf模板Tex Live安装VScode插件安装和配置插件确认Windows环境变量配置recipe本地编译出第一个文档时效性本篇撰写时间为2021.12.20，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348本篇前置：

2021-12-24 15:30:00 2035

原创 ExpRe[30] Chrome[1] 更多生产力插件推荐

文章目录注意事项IP Address and Domain InformationGoogle Scholar ButtonOctotreeTabs Outliner时效性本篇撰写时间为2021.12.20，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348本篇前置：ExpRe[9] Chrome[0]

2021-12-24 15:15:00 638

原创 ExpRe[29] Windows下的“bootstrap”深度神秘过程

文章目录概述什么是bootstrapbootstrap第一步：全力连接github下载包手动映射ip下载`Q神秘`下载`神秘`bootstrap第二步：使用`Q神秘`进行神秘配置内核处理与系统设置的关系插件支持其它协议bootstrap第三步：访问更深更神秘之处`深`浏览器说明总结和问答练习时效性本篇撰写时间为2021.12.19，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windo

2021-12-24 15:00:00 669

原创 ExpRe[28] PowerShell[0] 简单自动化，安全策略，打开方式

文章目录Shell和PowerShell为什么需要Shell？PowerShell：很甜很暴力简单自动化尝试交互运行命令编写脚本"de-castration" hack（安全策略和打开方式）总结和问答练习时效性本篇撰写时间为2021.12.18，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348Shell和P

2021-12-24 10:51:11 585

原创 ExpRe[27] VSCode[2] 资源管理器，本地和网上HTML，PDF，词典

文章目录资源管理器`HTML`浏览本地外部链接PDF词典时效性本篇撰写时间为2021.12.17，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348本篇前置：ExpRe[0] VSCode[0] 安装和基础使用，联动Markdown，联动知乎https://www.cnblogs.com/minor-s

2021-12-22 13:07:20 390

原创 ExpRe[26] VSCode[1] 联动github

文章目录插件：Git Project Manager配置设置使用vscode内置git commit功能插件：Git HistoryCOMMITS和COMPARE COMMITS选项卡目前的局限时效性本篇撰写时间为2021.12.16，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348本篇前置：ExpRe

2021-12-22 13:06:45 763

原创 ExpRe[25] bash外的其它shell：zsh和fish

文章目录zsh基础配置实用特性插件`autojump`语法高亮自动补全fish优点缺点时效性本篇撰写时间为2021.12.15，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[10] Ubuntu[2] 准备神秘软件、备份恢复软件https://www.cnblogs.com/minor-second/p/15578767.htmlzsh我们安装除了bas

2021-12-22 13:06:22 513

原创 ExpRe[24] Oz[1] 变量，组合，函数

文章目录变量示例`record`和`tuple`函数总结和问答练习时效性本篇撰写时间为2021.12.14，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[23] Oz[0] emacs初步，Hello worldhttps://www.cnblogs.com/minor-second/p/15689596.html变量Oz variables are

2021-12-22 13:05:43 257

原创 ExpRe[23] Oz[0] emacs初步，Hello world

文章目录Emacs打开Emacs首先接触的6个命令（组合）Mozart(Oz)背景介绍和文档`Hello world`输入给compiler查看输出结果总结和问答练习时效性本篇撰写时间为2021.12.14，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[11] Docker[0] 基础使用，涉及GPU的使用，深度学习镜像deepohttps://www.cnb

2021-12-22 13:04:08 553

原创 ExpRe[22] 云服务器[3] 私钥的传输与使用，sftp，scp

文章目录sftp安装插件和配置上传和下载scp时效性本篇撰写时间为2021.12.14，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[19] 手动构建Docker镜像[2] 远程ssh开发https://www.cnblogs.com/minor-second/p/15668169.htmlsftp安装插件和配置sftp是提供了安全性保证的ftp.我

2021-12-21 20:45:00 370

原创 ExpRe[21] 云服务器[2] 云硬盘，大数据集bt下载

文章目录云硬盘基础瞻仰云硬盘创建文件系统硬盘相关常见命令bt下载和复用数据`transmission`安装和配置方法尝试使用配置下载目的地总结和问答练习时效性本篇撰写时间为2021.12.13，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[6] 云服务器[0] 基础使用，ssh连接https://www.cnblogs.com/minor-second/p/1

2021-12-21 20:30:00 407

原创 ExpRe[20] 云服务器[1] 访问指定端口，端口转发

文章目录访问指定端口并神秘端口转发远程转发(`-R`)本地转发(`-L`)动态转发(`-D`)总结和问答练习时效性本篇撰写时间为2021.12.12，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[6] 云服务器[0] 基础使用，ssh连接https://www.cnblogs.com/minor-second/p/15553737.htmlExpRe[10]

2021-12-21 16:18:29 834

原创 ExpRe[19] 手动构建Docker镜像[2] 远程ssh开发

文章目录对容器ssh配置设置保存镜像并复用指定端口连接`ssh`VSCode远程编辑和调试配置连接时效性本篇撰写时间为2021.12.9，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[0] VSCode[0] 安装和基础使用，联动Markdown，联动知乎https://www.cnblogs.com/minor-second/p/15528264.html

2021-12-21 16:16:41 289

原创 ExpRe[18] 手动构建Docker镜像[1] 指定cuda、python包版本

文章目录指定cuda版本准备miniconda创建环境，指定包版本使用`git clone -b`指定分支并安装总结和问答练习时效性本篇撰写时间为2021.12.9，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[3] python[0] Anaconda配置python环境https://www.cnblogs.com/minor-second/p/15549

2021-12-21 16:16:05 865

原创 ExpRe[17] 手动构建Docker镜像[0] 内外联通，镜像内git，tmux

文章目录`deepo`镜像内外联通镜像中`git clone``Tmux`使用总结和问答练习时效性本篇撰写时间为2021.12.6，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[12] Docker[1] 镜像修改、保存、复用。附：ssh连接物理机https://www.cnblogs.com/minor-second/p/15580819.html大致了解

2021-12-21 16:14:57 227

原创 ExpRe[14] 文献管理[0] 开源文献管理软件Zotero

文章目录安装Isaac Sim确认满足需求11.28更新Omniverse LauncherLauncher中安装组件Adding Sample Assets11.28更新12.11更新12.14更新查找和解决错误总结和问答练习时效性本篇撰写时间为2021.11.20，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Linux version 5.4.0-84-generic (build

2021-12-17 18:30:00 901

原创 ExpRe[13] Isaac Sim[0] 安装，解决Vulkan错误(VK_ERROR_INITIALIZATION_FAILED)

文章目录Zotero本体和Chrome插件下载安装初步使用集成Markdown here插件时效性本篇撰写时间为2021.11.21，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288ZoteroZotero是开源文献管理软件。其功能灵活多样，插件丰富。当然也不是完全没有缺点。比如pdf预览和勾画要==（

2021-12-17 14:10:34 3773

原创 ExpRe[12] Docker[1] 镜像修改、保存、复用。附：ssh连接物理机

文章目录修改，保存，复用deepo镜像更新pytorch保存镜像复用镜像ssh总结和问答练习时效性本篇撰写时间为2021.11.20，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Linux version 5.4.0-84-generic (buildd@lcy01-amd64-007) (gcc version 7.5.0 (Ubuntu 7.5.0-3ubuntu1~18.04))

2021-12-17 14:08:11 1488

原创 ExpRe[11] Docker[0] 基础使用，涉及GPU的使用，深度学习镜像deepo

文章目录Docker制作镜像nvidia驱动nvidia-dockerdeepo总结和问答练习时效性本篇撰写时间为2021.11.19，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置：ExpRe[6] 云服务器[0] 基础使用，ssh连接https://www.cnblogs.com/minor-second/p/15553737.htmlDockerDocker

2021-12-14 06:54:47 462

原创 ExpRe[10] Ubuntu[2] 准备神秘软件、备份恢复软件

文章目录神秘软件安装软件方法4：下载`.sh`脚本并运行(`神秘`)安装`神秘a`和启动访问神秘地带备份恢复软件Timeshift安装软件方法5：使用PPA(Timeshift)使用总结和问答练习时效性本篇撰写时间为2021.11.19，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Linux version 5.4.0-84-generic (buildd@lcy01-amd64-00

2021-12-13 23:07:46 1088

原创 ExpRe[9] Chrome[0] 插件商店，markdown博客同步相关

文章目录WechatSyncChrome浏览器和插件安装查看账号WechatSync使用同步已有文章写新文章修改文章问题Markdown Here问题对平台的讨论支持markdown编辑器的平台知乎总结和问答练习时效性本篇撰写时间为2021.11.18，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288注：目

2021-12-13 23:07:18 200

原创 ExpRe[8] Ubuntu[1] 安装软件示例：已有源(vim)，新源(Typora)，.deb和apt(Keybase)，.deb和dpkg(Teamviewer)

文章目录软件源软件源、下载源设置安装软件方法0：直接使用已有源(vim)安装成功后安装软件方法1：添加源并安装(Typora)安装成功后`.deb`格式安装软件方法2：下载`.deb`并用`apt`安装(Keybase)安装软件方法3：下载`.deb`并用`dpkg -i`安装(Teamviewer)总结和问答练习时效性本篇撰写时间为2021.11.16，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是

2021-11-21 09:19:58 496

原创 ExpRe[7] Ubuntu[0] U盘启动盘制作，重装系统

时效性本篇撰写时间为2021.11.16，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。台式机为Hp的某型号，启动固件是UEFI. 现在新电脑基本都是UEFI其实。U盘启动盘制作下载镜像随便找一个镜像站，比如阿里云，http://mirrors.aliyun.com/ubuntu-releases/18.04/时效性：这些镜像站可能会随时间更新版本。目前显示18.04.6下载..

2021-11-19 20:16:04 1597

原创 ExpRe[6] 云服务器[0] 基础使用，ssh连接

时效性本篇撰写时间为2021.11.14，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288准备服务器瞻仰服务器组里大手笔给了个服务器用。https://www.ksyun.com/登录账号，右上角点击“控制台”我们组用的是裸金属服务器（即物理机），左侧找到相应按钮（额，这个好像真的藏得比较深）..

2021-11-19 20:13:45 716

原创 ExpRe[5] python[2] raise语句，条件断点

时效性本篇撰写时间为2021.11.14，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288本篇前置：ExpRe[4] 单元测试，算法题对拍https://www.cnblogs.com/minor-second/p/15549364.html从一道动规看raise的常见用法我们继续做算法设计与..

2021-11-19 20:08:09 693

原创 ExpRe[4] python[1] 单元测试，算法题对拍

时效性本篇撰写时间为2021.11.13，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288本篇前置：ExpRe[3] Anaconda配置python环境https://www.cnblogs.com/minor-second/p/15549061.html一个错误题解我们看到一道普通的算法题..

2021-11-18 16:25:25 411

原创 ExpRe[3] python[0] Anaconda配置python环境

时效性本篇撰写时间为2021.11.13，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288本篇前置：ExpRe[0] VSCode的使用，编辑Markdown，管理知乎https://www.cnblogs.com/minor-second/p/15528264.htmlAnaconda安装和..

2021-11-18 16:09:26 595

原创 ExpRe[2] UML，UML类图，UML绘图语言——PlantUML

时效性本篇撰写时间为2021.11.9，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288UMLUML是Unified Modeling Language的简称https://en.wikipedia.org/wiki/Unified_Modeling_Language（可能需梯子）The Uni..

2021-11-18 15:58:31 388

原创 ExpRe[1] 笔记本分屏显示

时效性本篇撰写时间为2021.11.9，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288笔记本电脑为联想LEGION的某款，有HDMI接口Fn按键如图所示，按Fn + Esc可以开关FnLock. 当打开时，不按Fn时的F1至F12对应着“图标所示”的功能（如图中F1对应静音等），按Fn时F1至F1..

2021-11-18 15:56:41 294

原创 ExpRe[0] VSCode[0] 安装和基础使用，联动Markdown，联动知乎

时效性本篇撰写时间为2021.11.9，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288VSCode之前在Windows平台一直用VS，在Linux一直用Pycharm（对，我在Linux没写过其它语言）。所以这次尝试一下VSCode.下载安装VSCode是一个轻量级的文本编辑器（相比之下，Visu..

2021-11-18 15:51:59 396

原创 ExpRe专栏简介

名称含义ExpRe，表示如同强化学习一般对exploration的行为给予自己reward. 而具体的reward就是用博客表达(express)出来。最近深刻地感受到常常陷在舒适区中，不愿意探索新的事物。为了探索更广阔的技术天地，紧跟时代前沿，为自己开设一个专栏，不定期地记录探索中的收获。具体形式本专栏主要形式是按步骤叙述探索过程，并穿插其中的收获，解说等。在中间或末尾也可能会有自问自答、思考题、参考资料等。注意事项由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总..

2021-11-18 15:45:52 285

原创数字信号处理学习笔记[5] 冲激函数——delta函数

文章目录5 冲激函数——δ\deltaδ函数5.1 冲激函数——δ\deltaδ函数的定义和频谱5.2 δ\deltaδ函数的微商5.3 用δ\deltaδ函数求函数的微商和频谱5 冲激函数——δ\deltaδ函数5.1 冲激函数——δ\deltaδ函数的定义和频谱Q: 如何理解“δ(t)=+∞,t=0;δ(t)=0,t≠0\delta(t)=+\infty, t=0;\delta(t)=0,t\ne 0δ(t)=+∞,t=0;δ(t)=0,t=0和∫−∞+∞δ(t)dt\int_{-\inft

2021-11-07 09:18:20 4910

原创数字信号处理学习笔记[4] 线性时不变滤波器与系统

文章目录4 线性时不变滤波器与系统4.1 线性时不变系统及其时间响应函数4.2 线性时不变系统的因果性和稳定性4.3 系统的组合——串联、并联及反馈4.4 有理系统及其时间响应函数4.5 差分方程的单边ZZZ变换解法习题4 线性时不变滤波器与系统4.1 线性时不变系统及其时间响应函数Q: 如何理解h(n)=Tδ(n)h(n)=T\delta (n)h(n)=Tδ(n)及此h(n)h(n)h(n)的作用？A: 对于线性时不变系统，可以只考虑δ(n)\delta(n)δ(n)的输出Tδ(n)T\del

2021-11-07 09:17:09 997

原创约束式编程学习笔记[9] 涉及数的不完全求解器

文章目录6 Some incomplete constraint solvers6.4 Linear constraints on integer intervals6.4.1 - 6.4.26.4.3 - 6.4.66.4.7 - 6.4.86.5 Arithmetic constraints on integer intervals6.5.1 - 6.5.36.5.4 - 6.5.56.6 Arithmetic constraints on reals6.6.1 - 6.6.36.6.4 - 6.6.5

2021-11-06 05:32:25 224

原创约束式编程学习笔记[8] 简单的不完全求解器

文章目录6 Some incomplete constraint solvers6.1 A useful lemma6.2 Equality and disequality constraints6.3 Boolean constraints6 Some incomplete constraint solversQ: 解释“‘customise’ the general framework to a specific language”A: 提示：比如：用hyper-arc consistency能

2021-11-06 05:31:27 147

原创约束式编程学习笔记[7] local consistency (3) relational consistency -- the ultimate notion

文章目录5 Local consistency notions5.9 Relational consistency5.10 Graphs and CSPs5 Local consistency notions5.9 Relational consistencyQ: relationally (i,m)(i,m)(i,m)-consistent（后省略relationally）表示一切mmm个约束构成子序列诱导的CSP (P∣C\mathcal P|\mathcal CP∣C)中，iii个变量的对（）

2021-11-06 05:30:42 173

原创约束式编程学习笔记[6] local consistency (2) 剪二元乃至多元约束

文章目录5 Local consistency notions5.5 Path consistency5.6 Directional path consistency5.7 k-consistencyk-CONSISTENCY rule5.8 Strong k-consistency5 Local consistency notions5.5 Path consistencyQ: 解说"normalized CSP"和"universal relation"的关系。A: normalized CS

2021-11-06 05:28:43 217

原创约束式编程学习笔记[5] local consistency (1) 剪定义域

文章目录5 Local consistency notions5.1 Node consistency5.2 Arc consistency5.3 Hyper-arc consistency5.4 Directional arc consistency5 Local consistency notions5.1 Node consistencyQ: 为什么本章以考察Node consistency为起点？A: 其考察一元谓词，一个谓词。最简单。Q: Node consistency对应的传播过程

2021-11-06 05:27:35 177

原创约束式编程学习笔记[4] 线性方程线性不等式

文章目录4 Some complete constraint solvers4.3 Linear equations over realsThe LIN proof system4.4 Linear inequalities over reals4 Some complete constraint solvers4.3 Linear equations over realsQ: 利用教材的约定，试将a−b=2ca-b=2ca−b=2c表示成一阶逻辑原子公式。A: 形如A12(f+2(f11(a),

2021-11-06 05:23:51 358

原创约束式编程学习笔记[3] 约束求解算法实例完全性证明框架 Term Equations及解法及证明

文章目录3 Constraint programming in a nutshell3.3 Example: Boolean constraints3.4 Example: polynomial constraints on integer intervals4 Some complete constraint solvers4.1 A proof theoretical framework4.2 Term equationssolving of CSPsThe Martelli–Montanari alg

2021-10-28 22:41:26 435

空空如也

空空如也