JohnReese's Blog

基于Maude验证CCSL的相关性质

论文的复现与拓展

Background Maude Rewrite: op and rl. Search: search and Model-Checker. Clock Constraint Specification Language(CCSL) Clock: tick idle tick idle …(infinite). Constraint: Clock A must ti...

Posted by JohnReese on December 21, 2019

智能家居系统命令存在的问题及解决办法

一点实际的应用

Background 现在有许多的智能家居系统，比如”华米”，都可以使用APP来自定义命令实现家居的智能控制。但是不知道大家想过没有这可能会出现一些问题。比如一位用户他设定了两个命令：当湿度大于10，开启空调；当温度小于26度，关掉空调。那么假设如果现在环境湿度从9到10，温度从26度变为25度，那么空调到底应该是关还是开呢？很显然，我们应该在用户设定命令的时候就检查出这类隐藏的逻辑错误。...

Posted by JohnReese on September 22, 2019

关于强化学习的形式化验证

论文解读

引言 主要内容来自：https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/download/17376/16225 讲的是如何使用形式化方法(Formal Methods)来确保RL(Reinforcement Learning, 即强化学习)训练时的安全性。 起初看到内容中有很多延伸阅读的论文和一些专业名词，以为是比较艰深的一篇paper...

Posted by JohnReese on July 16, 2019

关于DNN可信方面的综述

论文解读

引言 主要内容来自：https://arxiv.org/abs/1812.08342 可以将本文看成是论文的横向缩略版和纵向微拓展版。因为这是一篇去除参考文献还有长达70页的综述，所以在作者展示的几十篇论文中我重点讲些我所关注的，以及一些补充与思考。 主要内容是关于DNN的可信化，即包括验证（certification）与解释（explanation）两个方面。原文的作者给出了如下的观点。 ...

Posted by JohnReese on June 24, 2019

对于训练数据可验证的鲁棒性的训练方法

论文解读

引言 论文链接为：https://arxiv.org/abs/1711.00851v3 论文主要提出了一种方法。我们还是从头开始梳理这篇论文吧。 Introduction 作者简单地介绍了近几年的抵御对抗攻击的训练的方法被纷纷打脸。 Somewhat memorably, many of the adversarial defense papers at the most rece...

Posted by JohnReese on June 2, 2019

算法导论笔记（下）

持续更新。。。

笔记对应的课程为：https://www.bilibili.com/video/av48922404/?p=3 其中本网页包含视频中的11~21集内容。 目录 动态有序统计&区间树 跳跃表 平摊分析 竞争性分析 动态规划 最小生成树 11. 动态有序统计&区间树 英文：Dynamic Order Statistics & Inte...

Posted by JohnReese on June 1, 2019

他山之石，可以攻玉

收集一些精辟的解读

对偶问题 https://blog.csdn.net/jmh1996/article/details/85030323 Java 异常 有了Unicode为啥还需要UTF-8 语法糖详解 并发与并行 理解多线程 线程的实现 线程的状态、优先级及守护线程...

Posted by JohnReese on May 29, 2019

算法导论笔记（上）

持续更新。。。

笔记对应的课程为：https://www.bilibili.com/video/av48922404/?p=3 其中本网页包含前10次视频中的8次，第1，2次视频没有包含。有兴趣的同学可以自行观看。 目录 分治法 快排&随机化算法 线性时间排序 顺序统计&中值 哈希表 全域哈希&完全哈希 二叉搜索树 平衡搜索树 1. 分治法 ...

Posted by JohnReese on May 12, 2019

CNN的可解释性

论文解读

引言 论文链接为：https://arxiv.org/pdf/1708.01785.pdf 论文内容主要是如何提取和理解CNN的特征处理。 名词解释 feature map: 卷积层的输出。其中我们知道每个过滤器所产生的输出是feature map的一个通道。有所疑惑的话可以看这里。 explanatory graph: 论文中所要构建的解释图模型，这里简称为EG。 part...

Posted by JohnReese on May 12, 2019

GitPage教程

如何搭建你自己的GitPages？

缘由 浏览人家的repository的时候发现文档网址的url是github.io，我就“怀疑”这是github提供的服务。经过百度发现果然是，其名叫Github Pages。官方的本意应该就是让你写写文档和博客。主要是不需要服务器、部署等步骤，将整体的代码提交Github就自动帮你部署了。 找模板 Github Pages主要还是迎合静态网页，所以不想动手的同学可以去网上找一个免费/开源的...

Posted by JohnReese on May 3, 2019

FEATURED TAGS
生活 Jekyll ML Algorithm RL 形式化 Java
ABOUT ME

可我就是停不下思考
死也停不下来