学习
关注
分享
扫一扫
文章平均质量分 92
宇内虹游
此生不学一可惜，此日闲过二可惜，此身一败三可惜。
展开
-
软工大牛Andrea Stocco及其顶会论文解读
本文介绍软工大牛**Andrea Stocco**及其今年发表的顶会论文**"Visual Web Test Repair"**。原创 2018-08-03 16:36:31 · 1042 阅读 · 2 评论 -
软工大牛Collin McMillan及其顶会论文解读
本文介绍软工大牛**Collin McMillan**及其今年顶会论文**"Detecting Speech Act Types in Developer Question、Answer Conversations during Bug Repair"**原创 2018-08-04 08:34:49 · 723 阅读 · 0 评论 -
软工大牛Sonal Mahajan及其顶会论文解读
本文旨在介绍软工大牛**Sonal Mahajan**及其今年ICSE 2018顶会论文**“Automated Repair of Mobile Friendly Problems in Web Pages”**。原创 2018-08-10 10:15:19 · 730 阅读 · 0 评论 -
LaTeX (MikTeX+TeXstudio) 在win10上的配置教程
前言这个暑假想学习一下LaTeX。所以在此记录我在windows 10 上配置LaTeX环境和编辑器的过程。一、LaTeX简介(官网 [1])[https://www.latex-project.org/]对LaTeX的介绍： LaTeX – A document preparation system LaTeX is a high-quality typeset...原创 2018-08-01 21:40:12 · 32972 阅读 · 8 评论 -
经典的自动修复工具GenProg配置过程
对于软件工程自动修复方向的人来说，GenProg是一个跳不过的软件。GenProg的作者在2009年，2012年，2013年发了三篇A会，都是有关GenProg的（我没记错的话）。这里给出软件自动修复经典工具GenProg的简介和配置过程。原创 2018-08-14 12:10:27 · 1842 阅读 · 1 评论 -
自动修复领域论文阅读——Automated Program Repair by Using Similar Code Containing Fix Ingredients
前言本文旨在阅读、理解文章：Automated Program Repair by Using Similar Code Containing Fix Ingredients一、文章信息作者：Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi二、文章内容1) 问题： However, the technique of reu...原创 2018-08-14 16:52:22 · 710 阅读 · 0 评论 -
软工学者Baishakhi Ray及其顶会论文解读
前言本文旨在介绍软工大牛Baishakhi Ray及其FSE 2012 顶会论文“A Case Study of Cross-system Porting in Forked Projects”。一、论文及作者信息论文名称：A Case Study of Cross-system Porting in Forked Projects 作者：Baishakhi Ray（一作）， ...原创 2018-08-14 19:31:19 · 681 阅读 · 0 评论 -
软工大牛Sergey Mechtaev及其顶会论文解读
前言本文介绍软工大牛Sergey Mechtaev及其今年顶会论文（ICSE 2018）“Semantic Program Repair Using a Reference Implementation”。一、论文及作者信息论文名称：Semantic Program Repair Using a Reference Implementation 作者：Sergey Mechtae...原创 2018-08-04 10:45:23 · 987 阅读 · 0 评论 -
2018年软件工程顶会中有关自动修复（automated program repair）的文章
前言这里记录今年顶会有关自动修复的文章，都是值得认真学习阅读的。大概要从两个方面学习： 1）文章的内容（讲了什么）； 2）文章的写作思路（如何组织，如何让评委眼前一亮）。一、FSE 2018（https://2018.fseconference.org/）Detecting Speech Act Types in Developer Question/Answer Conve...原创 2018-08-02 22:15:01 · 1960 阅读 · 1 评论 -
软工大牛Rijnard van Tonder 和 Claire Le Goues及其顶会论文解读
前言本文旨在介绍软工大牛Rijnard van Tonder, Claire Le Goues及其今年ICSE 2018顶会论文“Static Automated Program Repair for Heap Properties”。一、论文及作者信息论文名称：Static Automated Program Repair for Heap Properties 作者：Rijn...原创 2018-08-07 18:16:22 · 828 阅读 · 2 评论 -
人工智能第十四章——利用贝叶斯网络的概率推理
摘要本文旨在讲明： 1）贝叶斯玩过 2）条件概率的有效表示 3）贝叶斯网络的精确推理 4）贝叶斯网络的近似推理一、贝叶斯网络贝叶斯网络用于什么？ 贝叶斯网络用于表示变量之间的依赖关系。可以本质上表示任何完全联合概率分布，在许多情况下这种表示是简明扼要的。贝叶斯网络是什么？ 每个结点对应一个随机变量，这个变量可以是离散的或者连续的 一组有向边或箭头连接结点对。如果有...原创 2018-07-06 23:56:10 · 10612 阅读 · 2 评论 -
人工智能第十三章——不确定性的量化
摘要本文旨在讲明： 1）不确定性 2）概率 3）概率推理 4）独立性带来的简化 5）贝叶斯规则一、不确定性信念状态表示和应急规划会面临什么问题？（这是一环扣一环哇，前后章节联系比较紧密，逻辑性比较强） 1）当解释观察到的部分信息时，逻辑Agent必须考虑每一种逻辑上可能的解释。 这导致信念状态的表示无法忍受地庞大而复杂。 2）一个处理所有可能意外情况的正确的应急规划必...原创 2018-07-06 20:12:49 · 5465 阅读 · 0 评论 -
人工智能第十一章——现实世界的规划与行动
摘要本文旨在讲明： 1）时间，调度，资源 2）分层规划 3）非确定性问题规划一、时间、调度、资源经典规划能做： 1）做什么动作 2）按什么顺序做 不能做： 1）动作何时发生 2）持续多久 3）考虑资源约束 不同讨论时间，故而不能解决调度问题 不能讨论资源约束。那么如何解决呢？ 先规划，后调度。 把整个问题分解为一个规划阶段和一个接下来的调度阶段。 在...原创 2018-07-06 19:01:09 · 1943 阅读 · 1 评论 -
人工智能第一章——简介（附上有用资料和链接）
本文会讲明白 1）什么是人工智能（AI）；2）什么是智能（intelligence）；3）人工智能发展历程。原创 2018-07-03 13:23:27 · 2491 阅读 · 0 评论 -
人工智能第二章——Agent（附JADE开发包及源码+Agent相关PPT）
本文会讲明白1）Agent定义（及其理性）；2）PEAS及环境特性；3）Agent程序的结构；4）Agent程序的部件如何运转。原创 2018-07-03 16:37:06 · 10142 阅读 · 17 评论 -
人工智能第三章（1）——无信息搜索（盲目搜索） （附书本资料）
这篇文章的意义在于哪里呢？1）向大家展示如何形式化定义一个搜索问题，又如何去求解；2）通过讲述各种盲目搜索算法，帮大家梳理无信息搜索的脉络。原创 2018-07-04 11:47:15 · 9610 阅读 · 2 评论 -
人工智能第三章（2）——有信息搜索（启发式搜索）
摘要本文会讲清楚：1）启发式函数是什么？启发式搜索又是什么？2）介绍贪婪最佳优先搜索和A*搜索3）可采纳性，一致性，准确性，松弛问题。以及如何设计可采纳的启发函数。前言我认为自己不能再简单的罗列一些知识点，虽然有用，但是不好理解，而且对我来说还能做得更好，所以，我得变成“面向问题的博客写手(Problem-oriented blog writer)”~~一、启发...原创 2018-07-05 10:47:08 · 17309 阅读 · 1 评论 -
人工智能第四章——超越经典搜索（局部搜索）
摘要本文讨论的是人工智能里面的局部搜索策略，本文会讲明白： 1）什么是局部搜索？ 2）一些局部搜索策略 3）动作具有不确定性时、无传感器时、部分可观察时，怎么搜索？ 4）联机搜索前言无需多言，以一针见血，画龙点睛为第一要务。一、局部搜索在之前章节中讨论的无信息搜索和有信息搜索都是在可观察、确定的、已知的环境之下的搜索。 本章将不受这些环境性质的约束。讨论局部搜...原创 2018-07-05 13:23:32 · 10809 阅读 · 1 评论 -
人工智能第五章——对抗搜索（博弈搜索）
摘要本文会讲清楚： 1）博弈搜索 2）MiniMax算法 3）Alpha-Beta剪枝算法一、博弈搜索概念在多Agent环境中（竞争环境），每个Agent的目标之间是有冲突的，所以就引出了对抗搜索（Adversarial search problems）（通常称为博弈）。Games are a form of multi-agent environment. 人工智能中的...原创 2018-07-05 17:17:01 · 10029 阅读 · 2 评论 -
人工智能第六章——约束满足问题（CSP）
摘要本文会讲清楚： 1）什么是CSP（约束满足问题） 2）约束传播与局部相容性 3）CSP形式化为一个搜索问题（回溯法） 4）如何提高搜索效率（变量/值的顺序，提前检查失败等）一、CSP使用要素化来描述状态：一组变量，每个变量有自己的值。当每个变量都有自己的赋值同时满足所有关于变量的约束时，问题就得到了解决。这类问题就叫做约束满足问题（CSP），全称Constraint S...原创 2018-07-05 19:52:58 · 37527 阅读 · 9 评论 -
人工智能第七章——命题逻辑（待补充）
摘要本文旨在讲清楚： 1）KBA（knowledge based agent）与逻辑 2）模型，有效性，可满足性，蕴含，推理过程 3）如何证明KB蕴含a（模型检验，逻辑等价，推理规则）前言基于知识的Agent。第3,4章中的问题求解Agent有局限性，而且法法灵活性。 第6章介绍了用变量赋值表示状态的思想，这是朝向正确方向的一步，使得Agent的部分工作可以独立于领域，并允...原创 2018-07-05 22:13:23 · 4484 阅读 · 0 评论 -
人工智能第八章——FOL（一阶逻辑）（待补充）
摘要本文旨在讲明： 1）一阶逻辑（FOL）的语法，语义 2）FOL如何使用 3）Knowledge Engineering in FOL一、回顾命题逻辑（propositional logic）：缺乏表达能力。二、FOLFOL假定世界包含： 1）objects 对象 2）relations 关系 3）functions 函数模型：A set of obj...原创 2018-07-05 22:31:13 · 3983 阅读 · 0 评论 -
人工智能第九章——一阶逻辑的推理（待补充）
摘要本文旨在讲明： 1）代换，全称量词实例化，存在量词实例化 2）合一，CNF，归结推理 3）前向链接和后向链接前言一、温故知新（回顾）命题逻辑是我们最先学的逻辑，比较简单，也比较好理解。 因为命题逻辑表达能力不够，所有我们又引入了一阶逻辑，即FOL。FOL多了很多新概念新成分，比如全称量词和存在量词。全称量词通常接蕴含符号。 存在量词通常接合取符号。FO...原创 2018-07-06 09:56:25 · 4913 阅读 · 1 评论 -
人工智能第十章——经典的规划问题（classical planning）
摘要本文旨在讲明： 1）规划问题定义（PDDL）为一个搜索问题 2）前向搜索，后向搜索，及搜索的启发式 3）从规划图获得启发式及提取规则一、PDDL规划问题定义：Plainning domain definition language，简称PDDL第7章的混合命题逻辑Agent没有领域相关启发知识就能找到规划，因为其使用了基于问题的逻辑结构的领域无关启发知识。 但是它依...原创 2018-07-06 16:49:29 · 7200 阅读 · 0 评论 -
软工大牛Hakjoo Oh及其顶会论文解读
本文介绍软件工程领域大牛**Hakjoo Oh** ，并且分析其今年顶会论文**"MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C"**原创 2018-08-03 11:15:49 · 829 阅读 · 0 评论