摘要： 9 Issues in constraint programming 9.1 Modeling Q: 举例说明不同的modeling A: 举例：是否引入辅助变量。 举例：不同的语法表示同样语义（如all_different） 举例：增加新标识符（“新语法”）表示相同语义，并引入对应新规则。 Q: 阅读全文

摘要： 7 有限离散傅氏变换 7.1 有限离散傅氏变换、有限离散频谱引起的假信号 Q: 如何理解$1/N\Delta$分母的两项？$1/(N-1)\Delta$为什么不行呢？ A: \(\Delta\)：$[0,1/\Delta]$就是待考察有意义频谱范围。$1/N$可以理解为时域乘方波频域卷积$sinc$ 阅读全文

摘要： 4 一阶逻辑：证明论 4.4 前束范式和子句范式 12$\vdash$之第一组 Q: 记忆第一组。$x_i$不在$\mathscr{ A}$中自由出现，则根据K（）（填编号）可以帮助记忆，写出：（）。 A: 6 \(\vdash (\forall x_i)(\mathscr{ A}\to\maths 阅读全文

摘要： 未校对 8 Search 8.1 Search trees Q: 如何理解"leaves all of which are ‘manifestly failed’." A: The reference to ‘manifestly’ means that it is straightforward 阅读全文

摘要： 时效性 本篇撰写时间为2021.11.21，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288 本篇前置 阅读全文

摘要： 时效性 本篇撰写时间为2021.11.20，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Linux version 5.4.0-84-generic (buildd@lcy01-a 阅读全文

摘要： 时效性 本篇撰写时间为2021.11.19，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置： ExpRe[6] 云服务器[0] 基础使用，ssh连接 https://www. 阅读全文

摘要： 时效性 本篇撰写时间为2021.11.19，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Linux version 5.4.0-84-generic (buildd@lcy01-a 阅读全文

摘要： CVPR 2020 https://openaccess.thecvf.com/content_CVPR_2020/papers/Pan_Spatio-Temporal_Graph_for_Video_Captioning_With_Knowledge_Distillation_CVPR_2020_ 阅读全文

摘要： CVPR 2020 https://openaccess.thecvf.com/content_CVPR_2020/papers/Yang_Temporal_Pyramid_Network_for_Action_Recognition_CVPR_2020_paper.pdf visual tempo 阅读全文