Xie-CLEXMA-优快云博客

原创 ESBMC代码阅读笔记

拿到该循环的unwind次数unwind，并将其增加1，如果当前的unwind次数通过调用get_unwind发现已经超过loop_max_unwind，那么通过调用loop_unbound_exceeded，将当前的new_guard加入到对应的claim中，并且将unwind重置为0，因为后续可能还会执行到这个循环，并将当前的状态cur_state的pc加一，如果当前的new_guard是true，那么该循环不会终止，因此直接return。

2024-04-26 09:40:48 590

原创讨论随笔 1

舍友提出了机器人会不会取代人类成为最强的问题，然后就展开了讨论，以下是讨论的一些成果（yy）。机器人会取代人类么？当面对这个问题，首先提出了几个问题来将问题细化。什么是机器人？是不是经典冯诺依曼结构的计算机？是不是基于人工智能、机器学习的计算机？如果不是那又是什么？什么是取代？取代是在哪方面的取代？指的是计算能力上比人类不知道高到哪里去？具有自动将逻辑转化为代码的能力？还是说像自然界

2017-04-22 14:04:08 357 1

原创 LaTeX 画自动机

每次用 latex 画自动机都要去翻原来画的，神麻烦，干脆直接把代码放上来得了。\begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node distance=2cm, thick,base node/.style={circle,draw,minimum size=16pt}, real node/.style={double,cir

2017-03-23 00:37:08 4600

原创 node.js 中 emit() 和 on() 的一个小发现

node 中的 EventEmitter 类提供了监听事件的方法 on(event, listener) 和触发事件的方法 emit(event, [arg1], [arg2], […])emit触发信号之后，on监听到事件后程序是如何执行的呢？var events = require("events");var eventEmitter = new events.EventEmitter();

2017-03-11 00:26:20 6278 1

原创 JQuery的Post方式和Java进行交互

本文简述了如何利用Post方式在前端和后端Java间建立通信，从而进行Java Web开发。

2017-02-27 15:43:30 495

翻译做一个自己的LaTeX幻灯片模板

原文章链接：http://tex.stackexchange.com/questions/146529/design-a-custom-beamer-theme-from-scratch https://www.r-bloggers.com/create-your-own-beamer-template/ 对本文进行了翻译，运行了用例，加了部分注释。在目录中创建以下文件：1. beamercol

2017-02-21 23:24:12 10755

原创网页代码编辑器的两个插件: ACE 和 CodeMirror

用ACE实现网页代码编辑器和代码高亮一下链接是官网 http://ace.c9.io 提供的ace代码高亮库（不得不吐槽一下这个官网，只有这一个有效链接……） https://github.com/ajaxorg/ace/tree/master/lib/ace 将 ace.js 导入页面中<script src="/src-noconflict/ace.js"></script>写html页面，

2017-02-20 17:08:56 5812

原创忆阻器课题读书笔记（二）

基于忆阻器（memristor）的锁存器（latch）设计原文： A memristor-based nonvolatile latch circuit.、锁存器介绍上面是从百度上拿下来的图，考虑两个非门像上面那样连接，如果我们假设下面的非门的初值是1，那么非门之后的值为0，0又被接到上面的非门，同样的进行分析，就会发现电路中有一个类似于循环的结构，将假设的1给储存了下来。将假设去除，将非门换成或非

2016-12-19 16:05:31 3547

原创忆阻器课题读书笔记（一）

什么是忆阻器?1971年，在研究电流、电荷、电压和磁通量之间的关系时，加州大学的Chai教授推断除电阻、电容和电感以外，还存在一种新的组件，代表着电荷量和磁通量之间的关系。而这种组件的效果就是电阻会随着通过的电流量而改变，电流停止了也依然能够保持阻值不变。见下图鄙人对物理不感冒，就不再纠结忆阻器的物理性质，简单地解释忆阻器的逻辑特性。忆阻器的逻辑特性忆阻器有两个阻态，分别是高阻态和低阻态，可

2016-12-19 00:36:41 7414

原创 Ubuntu下自定义Apache2错误页面 404

Ubuntu下自定义Apache2错误页面 404Apache2 的 404 预设界面真的是丑到爆，实在是不能忍，于是查了一下如何修改 404 界面。下面具体介绍如何通过 apache2 和. htaccess 对 404 界面进行配置。将自己写的404网页 my404.html 复制到网页的根目录下。在网站的根目录建立一个.htaccess文件。并在文件里写入下面的语句。/var/www/h

2016-12-09 13:21:59 1917

qq1024407215的博客