• 博客园logo
  • 会员
  • 周边
  • 新闻
  • 博问
  • 闪存
  • 赞助商
  • YouClaw
    • 搜索
      所有博客
    • 搜索
      当前博客
  • 写随笔 我的博客 短消息 简洁模式
    用户头像
    我的博客 我的园子 账号设置 会员中心 简洁模式 ... 退出登录
    注册 登录
 






minor_second

 
 

Powered by 博客园
博客园 | 首页 | 新随笔 | 联系 | 订阅 订阅 | 管理
上一页 1 2 3 4 5 6 7 8 9 10 ··· 14 下一页

2021年12月9日

ExpRe[18] 手动构建Docker镜像[1] 指定cuda、python包版本
摘要: 时效性 本篇撰写时间为2021.12.9,由于计算机技术日新月异,博客中所有内容都有时效和版本限制,具体做法不一定总行得通,链接可能改动失效,各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置: ExpRe[3] python[0] Anaconda配置python环境 htt 阅读全文
posted @ 2021-12-09 14:58 minor_second 阅读(545) 评论(0) 推荐(0)
 

2021年12月8日

数字信号处理学习笔记[9] 有限长脉冲响应滤波器,递归滤波器
摘要: 10 有限长脉冲响应滤波器和窗函数 10.1 理想滤波器及其存在的问题 Q: 对于抽样间隔$\Delta$,理想低通滤波器频谱范围为(),但时域出现了()的问题。 A: \([-1/2\Delta,1/2\Delta]\),需要无限长的信号 注:这里的频谱其实都相当于周期函数。 Q: 既然时域无限长 阅读全文
posted @ 2021-12-08 21:13 minor_second 阅读(524) 评论(0) 推荐(0)
 

2021年12月6日

ExpRe[17] 手动构建Docker镜像[0] 内外联通,镜像内git,tmux
摘要: 时效性 本篇撰写时间为2021.12.6,由于计算机技术日新月异,博客中所有内容都有时效和版本限制,具体做法不一定总行得通,链接可能改动失效,各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置: ExpRe[12] Docker[1] 镜像修改、保存、复用。附:ssh连接物理机 阅读全文
posted @ 2021-12-06 20:16 minor_second 阅读(208) 评论(0) 推荐(0)
 
数字信号处理学习笔记[8] 相关分析
摘要: 未完成 8 相关分析 8.1 相关的基本概念,相关与褶积的关系 Q: “相关”和“褶积”的数学表达式很类似,那什么方面比较不同呢? A: 物理意义往往不同。褶积是滤波或者“平移对称性”,相关是直观上(波形)“相似性” 相关的两个信号没有“属性”差别。相比之下卷积经常在物理意义上区分“卷积”和“被卷积 阅读全文
posted @ 2021-12-06 14:25 minor_second 阅读(765) 评论(0) 推荐(0)
 

2021年12月2日

IncRe专栏简介
摘要: 名称含义 IncRe是ExpRe的姊妹篇,取Incentive, Read, Increment之意。 由于计算机大部头书籍往往难以大跃进式读完(即使强行读也很容易遗忘)。所以我采取遇到特定Incentive才阅读相关章节的方式,这样读、用、思考结合,不易遗忘,能持续获取Increment. 当然, 阅读全文
posted @ 2021-12-02 19:49 minor_second 阅读(838) 评论(0) 推荐(0)
 

2021年11月30日

数理逻辑学习笔记[11] 数学基础(1)
摘要: 5 数学基础 5.1 数学系统 Q: 一阶系统和模型分别和数学领域有什么关系? A: 一阶系统不涉及具体语义(数学领域)。适当一阶系统,再选择特定模型作为解释,能够表达某数学领域的许多数学定理、逻辑定理。 Q: 形式主义和逻辑主义有何区别? A: 形式主义:公理不一定是逻辑的公理(不强调一切系统都由 阅读全文
posted @ 2021-11-30 08:58 minor_second 阅读(561) 评论(0) 推荐(0)
 

2021年11月28日

数理逻辑学习笔记[10] 一阶逻辑完全性定理
摘要: 4 一阶逻辑:证明论 4.5 完全性定理 预备 Q: 完全性定理是说“真值为真推出是定理”还是“重言式是定理”? A: 对于FOL,两者都不对。是“逻辑有效(任何解释真值为真)”推出是定理。 Q: 命题逻辑完全性定理Henkin证法:$\mathscr A$不是定理则其否定$\sim\mathscr 阅读全文
posted @ 2021-11-28 11:32 minor_second 阅读(1207) 评论(0) 推荐(0)
 

2021年11月23日

TCS学习笔记[8] 上下文无关语言
摘要: 未校对,未加习题 8 上下文无关语言 8.1 上下文无关文法 Q: 描述算术表达式文法中,“项”“因子”“表达式”三者以什么顺序“循环”地出现?为什么? A: 表达式由项组成,项由因子组成,因子可能是表达式。 其实“表达式由因子组成,因子由项组成,项可能是表达式”也有可能。实际中可能是看哪种情况更常 阅读全文
posted @ 2021-11-23 22:02 minor_second 阅读(318) 评论(0) 推荐(0)
 
约束式编程学习笔记[12] Issues in constraint programming
摘要: 9 Issues in constraint programming 9.1 Modeling Q: 举例说明不同的modeling A: 举例:是否引入辅助变量。 举例:不同的语法表示同样语义(如all_different) 举例:增加新标识符(“新语法”)表示相同语义,并引入对应新规则。 Q: 阅读全文
posted @ 2021-11-23 00:21 minor_second 阅读(181) 评论(0) 推荐(0)
 

2021年11月22日

数字信号处理学习笔记[7] 有限离散傅氏变换
摘要: 7 有限离散傅氏变换 7.1 有限离散傅氏变换、有限离散频谱引起的假信号 Q: 如何理解$1/N\Delta$分母的两项?$1/(N-1)\Delta$为什么不行呢? A: \(\Delta\):$[0,1/\Delta]$就是待考察有意义频谱范围。$1/N$可以理解为时域乘方波频域卷积$sinc$ 阅读全文
posted @ 2021-11-22 19:12 minor_second 阅读(337) 评论(0) 推荐(0)
 
上一页 1 2 3 4 5 6 7 8 9 10 ··· 14 下一页