- 博客(610)
- 资源 (12)
- 收藏
- 关注
RSS订阅
原创 【思考】关于英语论文写作的底层逻辑思考
最近一段时间在写论文上比较迷茫，对自己的写作水平没有信心。自己平时好像写的也还行，但是却很少深究底层的逻辑，所以一直没能举一反三！（这是关键）。Motivation如上，因此这里想系统地思考一下英语论文写作的底层逻辑，以达到“举一反三”之效。
2022-03-30 09:11:10
680
原创 【解决方案】LaTeX报错：Illegal unit of measure (pt inserted).
如题，解决一下latex编译时出现的错误：`Illegal unit of measure (pt inserted).`
2022-11-21 16:41:31
5303
原创 【记录】软件自动修复工具Jaid配置、调试、运行及相关问题的解决方案
如题，本文记录一下软件自动修复工具Jaid配置、调试、运行及相关问题的解决方案。
2022-11-19 09:48:03
1101
原创 【解决方案】VSCode运行Python项目报错：ImportError: Unable to import required dependencies: numpy:
如题，解决一下在VSCode运行Python项目报错：`ImportError: Unable to import required dependencies: numpy:`的解决方案。
2022-11-17 15:04:56
2166
1
原创 【解决方案】Collecting package metadata (current_repodata.json): failed
如题，在运行`conda install pylint`的时候碰到了这样的错误，这里探究一下解决方案。
2022-11-17 14:47:02
28848
10
原创 【软件分析第17讲-学习笔记】程序综合 Program Synthesis
如题，学习一下程序综合 Program Synthesis的相关知识。参考：熊英飞老师2018《软件分析》课件。
2022-11-17 14:14:26
945
原创 【软件分析第14讲-学习笔记】抽象解释 Abstract Interpretation
如题，学习一下抽象解释 Abstract Interpretation的相关知识。参考：熊英飞老师2018《软件分析》课件。
2022-11-16 20:49:01
850
原创 【软件分析第13讲-学习笔记】符号执行 Symbolic Execution
如题，学习一下符号执行 Symbolic Execution的相关知识。参考：熊英飞老师2018《软件分析》课件。
2022-11-16 20:21:21
799
原创 【软件分析第12讲-学习笔记】可满足性模理论 Satisfiability Modulo Theories
如题，学习一下可满足性模理论 Satisfiability Modulo Theories的相关知识。参考：`熊英飞老师2018《软件分析》课件`。
2022-11-16 16:56:35
952
原创 Ubuntu apt PPA源的定义及相关操作（搜索线上PPA源、查看本地PPA源、添加、修改、删除）
如题，简要探究PPA源的定义及相关操作（搜索线上PPA源、查看本地PPA源、添加、修改、删除）。
2022-11-14 13:01:37
2128
原创 【已解决】apt update报错：W: Failed to fetch https://dl.google.com/linux/chrome/deb/dists/stable/InRelease
如题，解决apt update报错：`W: Failed to fetch https://dl.google.com/linux/chrome/deb/dists/stable/InRelease`的问题。
2022-11-14 12:48:16
2644
原创 【已解决】VSCode LaTeX支持minted
这里给出VSCode LaTeX在使用minted这个package的时候出现的问题及解决方案。亦即为其合理配置方案。
2022-09-17 20:47:01
1640
1
原创 Maven项目自动更新/修复Javadoc
有时候修改了函数签名（比如参数）之后经常忘记同步修改javadoc，导致在用maven生成javadoc（调用javadoc plugin）的时候，会报各种错误，如：`@param name not found`。一个一个手动修改的话不知道要何年何月，因此本文探索一下如何自动更新javadoc。...
2022-08-30 12:33:11
738
原创 【释义解析】Inductive归纳 vs. Deductive推导
最近读论文读到inductive和deductive两个概念，所以想在此探究一下二者的概念及区别。
2022-08-09 22:59:19
2098
原创 【释义明晰】三种编程范式的概念和区别：imperative vs functional vs declarative（命令式编程 vs 函数式编程 vs 声明式编程）
如题，简单探究一下三种编程范式的概念和区别。
2022-06-16 12:53:39
735
原创 【已解决】【LaTeX】acmart模板中使用xcolor出错：Option clash for package xcolor.
想自定义使用xcolor，（加入dvipsnames），出现了这样的错误。这里给出解决办法。
2022-06-13 12:09:18
8556
1
原创 【较全面】LaTeX tcolorbox的使用（添加阴影，支持跨页，设置颜色，设置缩进，设置边距，设置线框类型，隐藏线框）
如题，讲述tcolorbox的多种设置：添加阴影，支持跨页，设置颜色，设置缩进，设置边距，设置线框类型，隐藏线框。
2022-05-30 20:39:55
6181
原创 【已解决】ThinkdPad X1 麦克风没声音
ThinkPad X1 麦克风没声音，属实无语，问题存在将近一个月了，今天架势研究了一下，解决了，所以这里记录一下解决方案。
2022-05-27 15:50:08
8402
原创 更好的使用mendeley desktop：一些tips
如题，今天调研了一下mendeley reference manager（不支持本地存储），zotero（不支持pdf文件导入），看了一圈还是自己一直在用的mendeley desktop最好。但是有几个疑惑，所以在此探索一下。
2022-05-18 23:42:42
2662
3
原创 【已解决】Defects4J v2.0 Jsoup checkout失败
如题，本文旨在解决d4j v2.0版本jsoup 程序checkout失败的问题。
2022-03-29 19:14:23
681
原创 自动修复工具Nopol编译打包遇到的错误：无法下载依赖（含：maven仓库机制解析）
很久没编译Nopol了，之前本地的maven repo也丢失了，今天重新编译的时候，发现Nopol编译没通过，，，无语了。这里给出解决方案。
2022-03-27 21:17:51
2799
原创 【Cheatsheet】英语写作积累
如题，读论文读到一定程度的时候，突然生出一种感觉：“他山之石可以攻玉”。可以把别人的好词好句好逻辑给记录下来。不光得记录，还得归纳，按照自己的知识体系，设想的知识框架去组织起来，这样才能用起来。
2022-03-24 09:48:43
253
原创 【已解决】VSCode中java不显示outline（即函数列表、成员等信息）
如题，很久没用vscode看java了，今天用了下发现有一个java文件可以显示outline，但是另外一个java文件却没有对应的outline。。。这里给出解决方案。
2022-03-16 09:17:05
3392
原创 【已解决】缺陷自动修复数据集Bears存在的编译错误及解决方案
如题，最近在编译bears的一个bug的时候遇到了一个编译错误，想了半天才明白问题原因，这里在此记录。
2021-12-18 16:19:02
805
PyPDF2模块的安装指导
2018-12-04
软工大牛Sonal Mahajan 的CV letter，resume和顶会PPT报告
2018-08-10
软件工程领域大牛Claire Le Goues的CV letter
2018-08-07
Sergey Mechtaev的CV letter
2018-08-04
人工智能：一种现代的方法（第三版课本 + 最新习题答案）Artificial Intelligence - A Modern Approach
2018-07-08
JADE（Java Agent DEvelopment Framework）：一个Agent，多Agent系统的开发框架
2018-07-05
OCR：一个有趣的网页版手写数字识别程序
2018-07-04
Software Architecture Design-Automated guided vehicle system (AGV)
2018-06-06
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人