GGG_Yu-CSDN博客

原创 Typora中（Markdown语法）在符号的上方添加符号或文字

使用\stackrel{上位符号}{基位符号}，如$\stackrel{\mathrm{def}}{=}$ 的效果：=def\stackrel{\mathrm{def}}{=}=def另外，有时候在使用\limits展示上下标时可能会出现一些小问题，如$x \limits_a^b$，这样会报错，编译无法通过，因为\limits命令只能跟在数学运算符后边（如\max，\sum等）。对于普通符号，我们可以用\mathop命令使得普通的符号表现的跟数学运算符一样。如$\mathop{x} \limits_a^

2021-10-20 12:43:22 5791 3

原创几种流行的神经网络形式化验证器的比较

截止到2021年8月，国际上最优秀的几种神经网络形式化验证器：工具名称适用网络特点优点缺陷文献名称及出版时间Venus基于ReLU的前馈神经网络- 基于MILP求解器- 支持生成反例利用ReLU节点之间依赖关系，修剪基于MILP公式的验证问题的搜索树，大大缩短的验证过程的时间只能应用于ReLU激活函数的神经网络Efficient Verification of ReLU-based Neural Networks via Dependency Analysis, 20

2021-09-18 20:33:04 1037

原创通过依赖分析的基于ReLU神经网络的有效验证（Efficient Verification of ReLU-based Neural Networks via Dependency Analysis）

作者：Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener单位：英国伦敦帝国理工学院计算机系目录摘要背景知识符号含义验证问题MILP表达方法依赖性分析依赖关系的定义层内依赖连续层依赖和层间依赖Venus验证工具验证过程输入域分割Venus的体系结构实验结果与评估摘要本文引入了一种高效的方法来验证基于ReLU的前馈神经网络。我们推导了一种利用ReLU节点之间的依赖关系的自动程序，从而修剪了

2021-09-18 20:24:32 549

原创 React更新指令

1. 查看自己的React版本自己的React版本可以在项目的package.json文件中看到，搜索“react”，即可看到版本号：2. 更新到最新版本React输入命令 npm info react 查看最新的react版本：可以看到当前最新版本是17.0.2，执行下列指令安装：npm install [email protected] [email protected]如果安装失败，可以使用cnpm安装：cnpm install [email protected] [email protected]

2021-07-26 14:57:36 698

原创深度神经网络的特征引导黑盒安全测试（Feature-Guided Black-Box Safety Testing of Deep Neural Networks）

作者：Matthew Wicker, Xiaowei Huang, and Marta Kwiatkowska单位：佐治亚大学，利物浦大学，牛津大学目录摘要预备知识基于人类感知的操作安全性蒙特卡罗树搜索渐近最优策略实验结果总结摘要大多数现有的生成对抗样本的方法都需要一些自己使用的神经网络知识（结构、参数等）。本文以图像分类器为研究对象，提出了一种特征引导的黑盒方法，可以在不需要这种知识的情况下来验证深度神经网络的安全性。我们将生成对抗样本的过程公式化为一个两人轮流随机游戏，其中第一个玩家的目标是

2021-06-18 20:42:21 746

原创深度神经网络的安全性验证（Safety Verification of Deep Neural Networks）

作者：Xiaowei Huang, Marta Kwiatkowska, Sen Wang and Min Wu单位：牛津大学计算机科学系目录摘要主要贡献预备知识分类决策的安全性分析安全性和鲁棒性操作有界变化验证框架逐层分析验证方法特征分解和发现区域和操作的选择映射回输入层实验结果比较总结摘要深度神经网络在图像分类方面取得了令人印象深刻的实验结果，但它在对抗扰动方面是不稳定的，也就是说，对输入图像的极小改变也会导致网络对其进行错误分类。随着自动驾驶汽车的应用，包括感知模块和端到端控制器，这都引起

2021-06-18 20:05:03 1355

原创 Visual Studio2015下载安装教程（解决安装包损坏或丢失问题）

Visual Studio2015下载安装教程（解决安装包损坏或丢失问题）看了很多网上的Visual Studio2015安装过程，基本都是让去官网下个安装包，然后在线安装，但我每次这么做都会提示安装包损坏或丢失。这里整理了一下我找到的有效地解决方法：1. 下载VS2015的ISO镜像文件Microsoft Visual Studio Community 2015简体中文版（社区版，针对个人免费）文件名：vs2015.com_chs.isoSHA1：1044F9F4E0EA1304AFECF67

2021-05-31 23:53:15 18523 7

原创 Windows下Python安装详细教程+PyCharm和TensorFlow的安装配置

该教程参考链接：https://blog.csdn.net/qq_34514415/article/details/80201543https://zhuanlan.zhihu.com/p/111168324 这里说明一下，我后续要安装的是较旧的1.x版本的tensorflow，最新版本的python3.9已经不支持，所以我下载的python版本是较旧的python3.6.4，这里读者可以自行决定要下载的版本。至于为什么不下载最新的2.x版本的tensorflow，因为tensorflow更新非

2021-03-24 13:53:49 661 1

原创人工神经网络的最大弹性（Maximum Resilience of Artificial Neural Networks）

文章目录人工神经网络的最大弹性摘要背景知识人工神经网络的算术编码扰动界限启发式问题编码实现和评估总结人工神经网络的最大弹性作者：Chih-Hong Cheng, Georg Nuhrenberg, and Harald Ruess单位：慕尼黑工业大学文献来源：Cheng, C.-H., Nuhrenberg, G., and Ruess, H. Maximum resilience of artificial neural networks. In International Symposium o

2021-03-23 19:05:23 469

原创 LeetCode每日一题（2021-3-7 & 3-8 分割回文串 I & II）

LeetCode每日一题（2021-3-7 & 3-8 分割回文串 I & II）题目 I 描述这两道题是一个系列（还有III和IV，暂时先不管），两道题的区别在于，I是返回 s 所有可能的分割方案（输入输出示例如下）；II是返回符合要求的最少分割次数。解题思路先说I，一般这种求所有可能方案的题目，都可以用回溯法来暴力搜索。回溯法实际上就是一个类似枚举的搜索尝试过程，主要是在搜索尝试过程中寻找问题的解，当发现已不满足求解条件时，就回溯返回，尝试别的路径。回溯法通常可以

2021-03-09 20:51:43 134

原创 Reluplex：一种用于验证深度神经网络的高效的SMT求解器

Reluplex：一种用于验证深度神经网络的高效的SMT求解器摘要背景介绍背景知识从Simplex到Reluplex高效实现Reluplex案例研究：ACAS Xu系统评估过程总结和未来工作文献来源：Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer. Reluplex: An efficient SMT solver for verifying deep neural networks. In

2021-03-09 18:41:10 2537 8

转载 LaTex数学公式中常用的符号及标记

LaTex数学公式中常用的符号及标记最近使用typora记录笔记时，经常需要打印数学公式，因此在网上找了一篇符号表比较齐全的文章，转载一下方便自己日后查看：LaTeX数学公式的符号表示。1.强调模式a^\hat{a}a^ \hat{a} aˊ\acute{a}aˊ \acute{a} aˉ\bar{a}aˉ \bar{a} a˙\dot{a}a˙ \dot{a} a˘\breve{a}a˘ \breve{a}aˇ\check{a}aˇ \check{a} aˋ\grave{a}aˋ \grave

2021-03-07 18:02:03 2339

原创 LeetCode每日一题（2021-3-6 下一个更大元素 II）

LeetCode每日一题（2021-3-6 下一个更大元素 II）题目描述给定一个循环数组（最后一个元素的下一个元素是数组的第一个元素），输出每个元素的下一个更大元素。数字 x 的下一个更大的元素是按数组遍历顺序，这个数字之后的第一个比它更大的数，这意味着你应该循环地搜索它的下一个更大的数。如果不存在，则输出 -1。本来以为这个月是动态规划月，结果发现官方应该是想多出一些数组相关技巧的题。这次就用到了单调栈，之所以叫单调栈，就是因为这个栈内的元素都是单调递增/递减的。单调栈用来处理寻找下一个更大

2021-03-06 13:22:44 207 1

原创 AI²：用抽象解释证明神经网络的安全性和鲁棒性

AI²：用抽象解释证明神经网络的安全性和鲁棒性摘要论文的几个背景知识点如何用抽象解释过度逼近条件仿射函数AI²的实现AI²的评估不同抽象域的精度和Reluplex的比较利用AI²比较三种防御技术的有效性总结和未来工作展望文献来源：Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri∗, and Martin Vechev. AI²: Safety and Robustness Certificat

2021-03-02 19:30:42 1819

原创 LeetCode每日一题（2021-2-7 非递减数列）

LeetCode每日一题（2021-2-7 非递减数列）题目描述给你一个长度为 n 的整数数组，请你判断在最多改变 1 个元素的情况下，该数组能否变成一个非递减数列。我们是这样定义一个非递减数列的：对于数组中所有的 i (0 <= i <= n-2)，总满足 nums[i] <= nums[i + 1]。解题思路原本看到今天是个简单题，信心满满，一看题目，我心想这不就判断一下下降次数吗，次数超过1就返回错误。我啪的一下就提交了，很快啊，力扣系统就给我了一个红红的解答错

2021-02-07 12:15:52 216

原创 LeetCode每日一题（2021-2-6 可获得的最大点数）

LeetCode每日一题（2021-2-6 可获得的最大点数）题目描述几张卡牌排成一行，每张卡牌都有一个对应的点数。点数由整数数组 cardPoints 给出。每次行动，你可以从行的开头或者末尾拿一张卡牌，最终你必须正好拿 k 张卡牌。你的点数就是你拿到手中的所有卡牌的点数之和。给你一个整数数组 cardPoints 和整数 k，请你返回可以获得的最大点数。解题思路还能说什么呢，滑就完事了。只不过这里需要一点点技巧，由于只能从卡牌左右两端拿，所以剩下的卡牌（n - k张）必定是连续的。

2021-02-06 11:14:00 262

原创 LeetCode每日一题（2021-2-5 尽可能使字符串相等）

LeetCode每日一题（2021-2-5 尽可能使字符串相等）题目描述给你两个长度相同的字符串，s 和 t。将 s 中的第 i 个字符变到 t 中的第 i 个字符需要 |s[i] - t[i]| 的开销（开销可能为 0），也就是两个字符的 ASCII 码值的差的绝对值。用于变更字符串的最大预算是 maxCost。在转化字符串时，总开销应当小于等于该预算，这也意味着字符串的转化可能是不完全的。如果你可以将 s 的子字符串转化为它在 t 中对应的子字符串，则返回可以转化的最大长度。如果 s 中没有

2021-02-05 12:29:46 177

原创 Ubuntu下编译Linux内核常见错误总结

Ubuntu下编译Linux内核常见错误总结最近在做linux内核分析课程的大作业，涉及到了内核的编译，遇见了不少问题，这里做一个整理总结。● 编译内核执行make menuconfig命令时提示错误fatal error: curses.h: 没有那个文件或目录原因：缺少因为ubuntu系统中缺少一个套件 ncurses devel ，把此套件安装下即可解决方案：执行命令sudo apt-get install libncurses5-dev libssl-dev● 编译内核执行make men

2021-02-04 16:50:13 2549 1

GGG_Yu的博客