2016年04月_阿智智

12月 11月 08月 06月 04月 03月 02月 01月

原创在Win7系统上利用光盘启动盘安装Ubuntu 14.04（双系统、各自独立）

1 介绍在Host系统Win7上的VirtualBox安装不同类型的操作系统，利用这种方法使用Guest系统Ubuntu已经有好长一段时间了，从最初的Ubuntun10.04开始到现在的16.04。另外，实验室的另外一台台式机安装的就是Ubuntu14.04，我在上面仅仅跑了跑程序；还有实验室的打印机服务器安装的是Ubuntu10.04。可以说，在这种环境下不对Ubuntu系统熟练使用时说不过去的。

2016-04-28 11:42:07 6681 1

原创利用UltraISO刻录光盘启动盘

1 介绍虽说现在越来越倾向于使用U盘作为启动盘，但本文还是要讲一讲怎样使用UltraISO制作光盘启动盘—作为系统安装的一种方法。我不知道未来光盘会不会消失，但本文确实能起到保护历史文化遗产的作用。但我希望不要消失，就好像大家都在说纸质书会被电子书替代，但现在看不到它被取代的一点迹象。能够进行刻录系统启动盘的软件很多，本文以UltraISO为例。同时，能够进行刻录的系统也很多，本文以Ubuntu系统

2016-04-28 09:17:36 16790 2

原创 Ubuntu14.04中安装Anaconda2-4.0.0的方法

1 介绍我虚拟机Ubuntu14.04上的Python已经存在了两个版本，一个是python 2.7，一个是Python 3.4。想在它上面安装Anaconda，但又有所顾虑。我先想到的是，先卸载Ubuntu自带的Python，这是大多数人的想法。后来在网上搜了搜解决方案，不是这样的。许多人由于卸载了自带的Python而造成了Ubuntu的系统崩溃，浪费自己的大量时间不说，更是给自己带来了不好的心情

2016-04-27 17:42:16 10180

原创 VirtualBox中重新导入vdi文件从而恢复原guest系统

1 问题描述之前的Win7系统上安装有VirtualBox虚拟机，guest OS为Ubuntu 14.04，最近由于特定的原因重新安装了Win7系统。新host系统安装后，我们没有必要重新利用Ubuntu 14.04的iso文件安装guest系统，完全可以利用先前遗留下来的vdi文件将原有的系统导入到新的虚拟机中。那么具体怎样做呢？2 方法2.1 下载并安装VirtualBox既然重新安装了hos

2016-04-26 21:47:28 5570

原创为TexWorks添加字典和拼写检查器

[TOC]1 介绍任何一个用于书写文档的软件，拼写检查一直以来是一个重要的功能。人在书写各种资料时难免会书写一些拼写错误的单词，靠人工检查拼写错误是费时费力的，同时也容易漏判，因此为软件配置拼写检查功能非常重要。MS Word、OpenOffice等软件都配备有拼写检查功能。通过安装TeXLive 2015而附带安装的编辑器TexWorks却默认缺失拼写检查功能，这时需要我们手动进行相应得设置，为T

2016-04-26 14:14:53 12333 8

原创 pandoc将含有中文的markdown文件转成pdf时的问题及思考

1 问题我写了一个markdown文件，里面含有中文字符，我想利用pandoc将其转换为pdf格式，采用下面命令：pandoc -f markdown_github my.md -o test.pdf --latex-engine=xelatex因为含有中文，所以必须指定latex编译时的引擎。编译出的结果不能把中文显示出来。这是因为没有指定使用的中文字体是什么，采用下面的命令：pandoc -f

2016-04-17 21:47:41 7768 1

原创 Common Lisp编程初步---环境搭建和外部lisp代码运行

1 介绍Lisp是世界上第二古老的语言，第一古老语言是Fortran。Lisp语言的创立者为John McCarthy，一位人工智能领域里的先驱。该语言自创立以来经历了50多年而不衰，是一种很有生命力的语言。该语言的发展和使用与CMU和MIT两所高校密不可分，在相当长的时期内是这两所高校的大学计算机课程指定语言。在该语言创立之初，除了创建者外，还有其他的一些高校著名学者也参与到了Lisp语言的发展完

2016-04-17 00:13:15 12661 1

原创 LaTeX中页码位于页脚居中时调整其与正文文本的垂直距离

本来这是一个很小的事情，但是我不知如何调，具体的代码是什么，这也难为了我一把。我按照中文的意思在搜索引擎上搜索，得不到任何可用的方案。我只有把我的意思换成英文到搜索引擎中搜索，很快立即就搜索到该问题的答案。我采用英文搜索的方法搜索自己需要的信息，总能够得到，当在中文情况下搜索不到的时候。所以，学好英语很重要。这种现象的出现反映：在国内使用LATEX\LaTeX的是一小部分人。说了那么多，言归正传，问

2016-04-08 14:20:59 10405 2

Expert Systems Principles and Programming (Third Edition)

This book combines coverage of expert systems theory with a discussion of practical applications using CLIPS, and expert systems shell widely used in government, industry, and education.

2018-09-07

计算机学院-学生学分问题救助信息登记表

不符合通常学分认定流程的，疑难杂症的处理表格

2017-03-08

Metamath: a computer program language for pure mathematics

A good book concernning metamath.

2011-06-17

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人