会打代码的扫地王大爷的专栏

原创 Excel将单元格中的json本文格式化

选择"引用"，然后在弹出的对话框中找到并勾选"Microsoft Scripting Runtime"，以及“Microsoft XML 6.0”。打开Excel文件并按下ALT + F11打开Visual Basic for Applications（VBA）编辑器。进入https://github.com/VBA-tools/VBA-JSON，下载release的最新代码。VBA编辑器，“文件”->“导入”, 导入文件 JsonConverter.bas。点击VBA编辑器的菜单栏上的"工具"。

原创 KLEE编译 error: conflicting types for ‘getdents64‘

原创 虚拟机共享文件夹

https://blog.youkuaiyun.com/nangy2514/article/details/92585715https://jarviswwong.com/ubuntu-vmware-hgfs-permissions-problem.html

原创 Linux Intel HD4000外接显示器实现2K分辨率

xrandr --newmode “2560x1440_50.00_rb” 200.25 2560 2608 2640 2720 1440 1443 1448 1474 +HSync -Vsyncxrandr --addmode HDMI-1 “2560x1440_50.00_rb”xrandr --output HDMI-1 --mode “2560x1440_50.00_rb”...

原创 GEM5中添加一个简单的IO模块

GEM5中添加一个简单的IO模块        近期想要在Gem5中模拟ORAM（Oblivious RAM）的算法，因此开始折腾起了Gem5。ORAM简介        为了保护数据安全，我们经常对数据进行加密再

原创 GEM5中利用Pydot输出系统配置图

GEM5中利用Pydot输出系统配置图安装python的Pydot包之后，当运行gem5进行模拟仿真之后，即可在m5out目录下找到config.pdf之类的配置图,如图1所示。还可以通过dot命令将config.dot文件转换成自己需要的格式pip install pydotcd m5outdot -Tpng -o config.png config.dot图1 gem5输...

原创 GEM5中使用DRAMSim2

GEM5中使用DRAMSim2DRAMSim2        DRAMSim2是一个较为精确的DDR2/3内存模拟器，因为其仿真效果相当不错，因此在学术界接受度较高[1]。GEM5中集成DRAMSim2       &nb

原创 模型检验-计算树逻辑（CTL）小例

模型检验-计算树逻辑（CTL）小例        AX是相对于初始节点（x=1）开始的树而言的，由于AX表示对于任何从初始节点(x=1)开始的路径中的下一个节点，因此EX则是相对于初始节点的子节点（x=2）开始的子树而言的。EX(x=4)表示存在从节点(x=2)开始的路径，使得子树的初始节点(x

原创 SPEC2006

安装步骤# Ubuntu16.04# 注意安装gFortran. ./install.sh. ./shrc        一般情况下经过以上步骤即可安装完毕，进行使用,注意需要执行shrc设置完环境变量以后才可正常执行后续的各种操作。  

原创 基于无保护AES芯片的 CPA攻击

基于无保护AES芯片的 CPA攻击王立敏1,丁洁2 1中国科学院信息工程研究所 第五实验室 北京 中国 1000932 中国科学院信息工程研究所 第五实验室 北京 中国 100093摘要 高级加密标准（Advanced Encryption Standard，AES）是最常用的加密算法之一。为了提升实际应用中加解密操作的速度，或者在小型芯片上完成加密工作，AES通常被集成在加密芯片中。...

原创 形式化验证调研报告

形式化验证调研报告 王立敏 中国科学院信息工程研究所 第五实验室 北京 中国100093摘要2018年初，Spectre和Meltdown漏洞的发现，使得芯片安全备受重视。然而传统的基于仿真的芯片验证方法由于测试样例覆盖不完全，验证过程耗时巨大，逐渐适应不了日益复杂的芯片了。形式化方法作为一种静态验证方法，正好可以解决这些问题。本文主要梳理了当前形式化方法检测的常见方法，并且列出他们的优...

原创 梅森旋转算法安全性分析及改进

梅森旋转算法安全性分析及改进王立敏1,丁洁21中国科学院信息工程研究所 第五实验室 北京 中国1000932中国科学院信息工程研究所 第五实验室 北京 中国100093摘要梅森旋转算法是目前最流行的伪随机数发生器算法之一。梅森旋转算法存在许多缺点，例如当生成的伪随机数数量庞大时可预测以及无法通过部分统计测试。为了更好地深入了解和分析梅森旋转算法的安全性，本文将使用NIST800-2...

原创 Deepin修复Windows引导

sudo update-grub2

原创 gem5+dramsim2

sudo build/X86/gem5.opt configs/example/se.py -c tests/test-progs/hello/bin/x86/linux/hello –cpu-type=’TimingSimpleCPU’ –caches –l2cache –mem-type=’DRAMSim2’

原创 Meltdown & Spectre原理简要梳理

        Spectre以及meltdown漏洞是前段时间，十分热门的两个漏洞，它们之所以广受重视，是因为它们根据的是体系结构的设计漏洞，而非针对某个系统或者某个软件，因此它几乎可以遍及大多数近代的CPU。这里主要有三个漏洞: - Variant 1: bounds check bypass (CVE-20...

原创 【论文阅读】Shakti-T: A RISC-V Processor with Light Weight Security Extensions

一、背景        由于计算核芯和电子商务的兴起，有必要在硬件层面保护我们的数据安全，目前面临的主要威胁是来自内存的攻击，包括时间和空间上两方面的侵入，团队制造出了一个名为Shakti-T的轻量级安全扩展芯片来解决这些问题，本处理器仅使用194个LUTs以及2197个触发器。二、攻击类型刚刚提到了基于内存的攻击 1. 基于空间上的攻击 -指针访问了它不允许被访问的地方。 比较著名的例子有

转载 开发工具修改data-XXX值，jq.data()取不到？

之前也有人问过类似的问题，jquery.data()方法不会改变dom元素.jquery的data 和 html5规定的data还不是一个东西。jquery的data 只会在页面初始化时读取dom上的属性，之后的操作全部都是在js内存中进行。dom上的属性值 只是 jquery.data 初始化值，之后修改和读取 都和dom上的属性没有关系。

原创 Windows子系统---（三）显示GUI

我们只有一个命令行，看起来就像连接服务器的shell，那万一我们需要运行我们的桌面窗口程序呢？国外大神们当然已经折腾除了方法。一、安装VcXsrv 下载地址:https://sourceforge.net/projects/vcxsrv/安装以后会有两个程序，分别是XLaunch和VcXsrv，它们可以用来远程访问linux。所以其实在这里就是利用它们来访问命令行内的linux。二、Linux

原创 Windows linux子系统（二）----常见功能使用

Tips:如果你的Windows是正式版的，并没有通过快速更新到Windows秋季创意者版本，那么你的ubuntu版本是14.04版本的。一、更换源此处采用@littlemonsters的方法，将其更换为阿里云的源，否则不仅速度慢，而且有些源中的软件包版本实在是低下，会有很多问题比如Nodjs安装。sudo cp /etc/apt/sources.list /etc/apt/sources.lis

原创 Windows linux子系统（一）----安装

一、组件安装Windows 10中默认并没有安装子系统组件，我们需要安装它 控制面板->程序->程序与功能->启用和关闭Windows功能->勾选适用于Linux的Windows子系统Beta，确定即可安装。二、开发者权限开启 设置->更新和安全->针对开发人员->选中 开发人员模式三、安装打开 命令提示符，输入bash进行安装，但是比较慢，建议挂载 V P N进行下载。

原创 安装最新版本的nodejs

sudo apt-get install npmsudo npm cache clean -fsudo npm install -g nsudo n latestsudo ln -sf /usr/local/n/versions/node/<VERSION>/bin/node /usr/bin/nodejs

原创 机器学习之梯度下降法数学推导--分类

PS:本文中的log等同于我们国内的lnsigmoid函数    之前那一文中提到了一般的梯度上升的公式推导，但是在《机器学习实战》一书中，实现的是分类方法，因此，虽然最终的结果相似，但是其实本质有很大的不同。    一般来讲我们把实物分成两类，因此我们需要将结果映射到两个结果(是或非)，因为一般的阶跃函数在求导之类的问题上会变得相当复杂，因此我们用一个更加圆滑的sigmoid函数来映射，所有输入

原创 HEXO 搭建

安装nodejssudo apt-get install nodejssudo apt-get install nodejs-legacy安装HEXOsudo npm install -g hexosudo npm install hexo --save安装Deployernpm install hexo-deployer-git –save

原创 机器学习之梯度下降法数学推导--回归

前言    本来对数学没什么感觉的，但是停摆了一年复习考研，于是开始对数学有些感觉了，之前看到《机器学习实战》中第五章中梯度上升法，使用了一个它所谓的十分简单的推导，一直好奇怎么个简单法，于是重新学习机器学习的相关算法，这次将主推数学推导。有监督回归算法    在机器学习中，多元线性回归模型是经常使用的模型，比如在吴恩达《斯坦福机器学习》中的例子，我们需要根据已有的房价信息预测当前房子的房价，于是我

原创 Typecho Nginx 404

我安装的是LNMP一键安装包，内部有内置一些解决方案，因此方便许多1.进入配置文件，一般在/usr/local/nginx/conf，找到nginx.conf2.如果你也是用的LNMP一键安装包，则将 enable-php.conf 改成 enable-php-pathinfo.conf并且在server{}模块内加入"typecho.conf"

原创 基于tensorflow的MNIST手写数字识别（三）--神经网络篇

想想还是要说点什么 抱歉啊，第三篇姗姗来迟，确实是因为我懒，而不是忙什么的，所以这次再加点料，以表示我的歉意。废话不多说，我就直接开始讲了。加入神经网络的意义 * 前面也讲到了，使用普通的训练方法，也可以进行识别，但是识别的精度不够高，因此我们需要对其进行提升，其实MNIST官方提供了很多的组合方法以及测试精度，并做成了表格供我们选用，谷歌官方为了保证教学的简单性，所以用了最简单

原创 基于tensorflow的MNIST手写数字识别（二）--入门篇

一、本文的意义因为谷歌官方其实已经写了MNIST入门和深入两篇教程了，那我写这些文章又是为什么呢，只是抄袭？那倒并不是，更准确的说应该是笔记吧，然后用更通俗的语言来解释，并且补充更多，官方文章中没有详细展开的一些知识点，不过建议与官方文章结合着阅读。      中文版本：MNIST机器学习入门      http://wiki.jikexueyuan.com/project/tenso

原创 基于tensorflow的MNIST手写字识别（一）--白话卷积神经网络模型

一、卷积神经网络模型知识要点卷积卷积1、卷积2、池化3、全连接4、梯度下降法5、softmax本次就是用最简单的方法给大家讲解这些概念，因为具体的各种论文网上都有，连推导都有，所以本文主要就是给大家做个铺垫，如有错误请指正，相互学习共同进步。二、卷积神经网络讲解    2.1卷积神经网络作用     大家应该知

原创 自定义表单（完）--（html5版本）

一、实现的功能1、拖拽插入表单元素2、拖拽删除表单元素二、实现详情

原创 自定义表单（二）--拖拽（HTML版本）

一、瞎扯  最近在折腾人工智能，今天写了段tensorflow，用来分辨程序，跑的时间有点久，所以就跑回来跟前端玩耍了，其实代码早就写好了，只是补上文章。二、Html5原生拖拽介绍   Html5的很多特性十分激动人心，比如这里的拖拽功能，还有websockeet，从此网页聊天程序就能更轻松的编写出来，再有就是canvas，于是撼动了flash长久的统治地位，H

原创 自定义表单（一）--拖拽（JS版本）

一、瞎扯     之前公司放我一个礼拜写了一个高度定制化，功能完善的自定义表单，然而因为去年9月份，硬盘，u盘，存储卡接连坏掉，代码就没了，不过也多亏这个，避免了日后的官司问题（开个玩笑，此处捂着嘴偷笑），最近一直在恢复之前写过的一些重要的代码，因此顺便更深入地折腾一下这个问题，写一些不会惹官司的demo（这个还真的得严肃对待=_=||）。     介绍一下接下来要讲解的东西，1.讲解一下

原创 《机器学习实战》--KNN

一、瞎扯 先拉一下仇恨，这篇文章是在喝着走亲戚时带来的饮料，单曲循环着成龙版本的《拯救》的情况下完成的，哈哈，过年难免有些活的太潇洒，于是还是需要写些代码，看些书来收收心，另外新的一年开始了，也该对“懒”开刀了，准备养成写博客这一及其装逼的技能，祝各位同行新年快乐！（开始写的的时候还是大年初一，发布的时候过期了可别怪我）KNN是机器学习中最简单，最基础的算法之一，算法实现起来没什么难度

转载 python闭包引用局部变量的方法

def foo(): a = [1]#把它设为容器就可以了 def bar(): a[0] = a[0] + 1 return a[0] return bar在python3.5中可以使用nonlocal 来访问局部变量def x(): yy=0 def y(): # x=x+1 nonlocal yy yy=yy+1 return yy re

原创 Deepin linux的一些问题和使用技巧

Ubuntu Kylin一些问题和使用技巧http://blog.youkuaiyun.com/wlmnzf/article/details/49490049sudo chmod 777 失效，这是因为挂载windows分区的时候没有权 限，我用了一个办法，在系统启动时候自动挂载那个盘。 a.备份文件，万一改坏了还能恢复sudo cp /etc/fstab /etc/fstab.oldb.打开编辑

原创 Windows搭建Apache+SSL Https服务器

所需的环境参考上一篇文章，简单地搭建了一个Apache+PHP的服务器，这个apache是自带SSL的， http://blog.youkuaiyun.com/wlmnzf/article/details/50229407因为看到网上的各种教程不全还有很多错误，自己绕了好多弯最后参考了官方文档，才最终解决，所以这里综合各方大神所写的文章，改正和完善细节后再发一次。这里不得不说一下，官方文档虽然是英文的平时还特

原创 Windows下搭建php7+Apache2.4

apache下载 http://www.apachelounge.com/download/php下载 http://windows.php.net/download/#php-5.5我下载的是php7 VC14 x86 Thread Safe和apache2.4 x86 解压后放入C盘根目录，文件夹名分别为php和Apache24.下面开始配置apache使他可以运行php 1.打开Ap

原创 ubuntu kylin 中的一些个人使用技巧

1.开机自动挂载硬盘sudo apt-get install ntfs-3g然后打开ntfs写入支持配置程序进行设置2.开机执行脚本文件http://www.jb51.net/LINUXjishu/183462.html3.开机执行shell命令sudo gedit $HOME/.bashrc

原创 Orange's 一个操作系统的实现--Bochs遇到的问题

1.Message: dlopen failed for module ‘x’: file not found 这是未安装bochs-x的缘故 解决方案: sudo apt-get install bochs以后接着安装bochs-x. sudo apt-get install bochs-x2.bx_dbg_read_linear: physical

原创 装饰我的Linux ---Ubuntu Kylin 15.04

我并不是一个高手，所以我敲代码的时候总是挂着耳机，我随不是什么设计师，但是对于系统的美观程度还是有要求的，哈哈，够娘炮。首先是主题，本人喜欢Arc，不过感觉在ubuntu上并没有很漂亮，文章源自这里 [https://linux.cn/article-5614-weibo.html](https://linux.cn/article-5614-weibo.html)安装方法如下1.帅气的命令行：

原创 web批量打印分享，注意也许不成熟，待大批量测试（不使用插件，纯jq，css）

          之前有个项目需要用到网页的批量打印，可是一般的网页都只能靠调用浏览器自带的打印功能来实现，起初，我尝试每打印一张纸自动关闭打印预览的那个页面，可是失败了，经过各种百度以后，发现网上的资料大多数倾向于使用浏览器插件，然而大多数跨浏览器插件都收费，所以自己就一直瞎折腾，最后搞出了这样一个方法，测试后发现几乎所有火狐，谷歌，ie8，uc，遨游上能正常使用，就用上项目了（斗胆来此分享一...