1.Linux链接概念Linux链接分两种，一种被称为硬链接（Hard Link），另一种被称为符号链接（Symbolic Link）。默认情况下，ln命令产生硬链接。 【硬连接】硬连接指通过索引节点来进行连接。在Linux的文件系统中，保存在磁盘分区中的文件不管是什么类型都给它分配一个编号，称为索 ...
分类：
系统相关 时间：
2017-06-02 15:42:53
阅读次数：
178
assume cs:codesg datasg segment db "Beginner's All-purpose Symbolic Instruction Code.",0 datasg ends codesg segment begin: mov ax,datasg mov ds,ax mov... ...
分类：
编程语言 时间：
2017-05-30 15:43:47
阅读次数：
292
新安装的android studio工具报错，本来以为只要在plugins中安装android support插件的，现在点击该插件还是不能apply，提示： unable to apply changes:plugins "App links assistant",firebase service ...
分类：
移动开发 时间：
2017-05-28 16:48:53
阅读次数：
918
Myeclipse2016安装Aptana 想装个Aptana，装了半天，网上说的什么links方式啊，在线方式啊，都是什么的浮云。 所以自己来写个安装教程。 一、Aptana简要介绍 Aptana有JavaScript,JavaScript函数,HTML,CSS语言的Code Assist功能。 ...
分类：
系统相关 时间：
2017-05-25 10:13:27
阅读次数：
244
思路：构造函数完成数据库连接，增删改一个方法，查询一条记录一个方法，查询多条一个方法，sql执行失败则返回提示，并交出sql语句方便查错 代码： <?class dbcontroll{ private $links; private $sql; public function __construct ...
分类：
Web程序 时间：
2017-05-23 14:16:37
阅读次数：
137
题意：多组数据。每组数据给你几行数，要求选出当中几行，使得每一列都有且仅有一个1，询问是可不可行，或者说能不能找出来。 题解：1、暴搜。2、DLX（Dancing links）。 本文写的是DLX。算法參考白书P406或者http://www.cnblogs.com/grenet/p/3145800 ...
分类：
其他好文 时间：
2017-05-20 10:12:41
阅读次数：
214
数独就要DLX，不然不乐意。 数独的DLX构造：9*9个点每一个点有9种选择，这构成了DLX的729行，每行、列、阵有限制，均为9行（/列/阵），然后每行（/列/阵）都有九种数的情况。于是就有了3*9*9列。可是由于一个位置仅仅能选一个，所以又有9*9列，每列连接一个点的九种选数情况。 终于有4*9 ...
分类：
其他好文 时间：
2017-05-16 16:43:04
阅读次数：
262
结论性内容： （1）如果是在程序中使用klee_make_symbolic，则可以使用下列脚本进行重现。 （2）如果是对命令行参数进行建模，即对klee进行符号执行的时候，使用 --posix-runtime选项，设定sym-args等参数，则重现只能用klee-replay，不能用（1）中的脚本。 ...
分类：
其他好文 时间：
2017-05-11 19:45:42
阅读次数：
1296
一、数据库迁移 Laravel 的数据库迁移提供了对数据库、表、字段、索引的一系列相关操作。 1. 创建迁移 使用 Artisan 命令 php artisan make:migration create_links_table 这将在 database/migrations 目录下生成一个名为 2 ...
分类：
数据库 时间：
2017-05-07 21:09:11
阅读次数：
225
