Research
文章平均质量分 75
Chenglin_Yu
往事莫提,活在当下
展开
-
如何写Related Work?
个人之前在写文章的时候,Related Work都占用了我大量时间。主要的困难在于:一、不知道该怎么写?二、不知道该写哪些?三、不知道如何总结本文和相关工作的区别?原创 2023-02-10 17:28:18 · 4268 阅读 · 0 评论 -
看代码的感受和体验
如何看代码写注释最近在看某个方向的代码,一直看不懂。到了一定时间,我发现通过在每一行代码的后面写注释能够在某种程度上帮助理解。原创 2021-08-03 09:08:42 · 6649 阅读 · 0 评论 -
管理文献
管理文献管理文献有多种方式。文献管理软件管理自己pdf,自己命名管理。命名方式:年份-(期刊/ 会议简称)-论文名称原创 2019-12-04 13:53:52 · 337 阅读 · 0 评论 -
cond_example代码生成器构造全过程
cond_example代码生成器构造全过程这篇博客,我将介绍如何构造一个代码生成器。代码生成器使用python 3.6编写。IDE为PyCharm. 下面我将介绍代码生成器的整个构造流程,以便日后备忘。我将这个代码生成器叫做Sa_babi_Generator_cond_example。首先,新建一个文件夹叫做Sa_babi_Generator_cond_example.先来看一个样例4...原创 2019-06-30 15:31:12 · 296 阅读 · 0 评论 -
sound and complete
# sound and complete本篇博文,我要讲解一组概念: **sound** VS **complete**. 这个概念出现在《Towards security defect prediction with AI》这篇论文中。我很是不解,特此备忘。我们在讨论纯粹性和完备性时,我们一定要搞清楚条件是什么?结果集合是什么?举个例子:条件:高考成绩在全省前100名结果:考入清华大学***纯粹性:满足条件的一定在结果集中。即:高考成绩前100名的本科生都来到了清华。言外之意,还有很原创 2019-06-30 21:23:18 · 1568 阅读 · 0 评论 -
# Static Analysis (sound and complete)
Static Analysis (sound and complete)What is static analysis?A static analysis tool S analyzes the source code of a program P to determine whether it satisfies a property ϕ\phiϕ, such as“P never de...原创 2019-07-01 06:31:21 · 304 阅读 · 0 评论 -
# 如何寻找某个概念的最初源头
如何寻找某个概念的最初源头先wiki这个概念,然后看wiki中的参考文献,就知道这个概念最初的源头在哪里了。原创 2019-07-11 15:09:42 · 944 阅读 · 0 评论 -
做研究的感受和体验
记录做研究过程中的一些点滴。原创 2019-10-09 18:54:09 · 760 阅读 · 2 评论