自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

陈广智的专栏

志存高远,坚持不懈!!

  • 博客(8)
  • 资源 (4)
  • 论坛 (1)

原创 在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 6198 1

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

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

2016-04-28 09:17:36 13297 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 9865

原创 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 4584

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

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

2016-04-26 14:14:53 9187 5

原创 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 6291 1

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

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

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

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

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

2016-04-08 14:20:59 6954

Metamath: a computer program language for pure mathematics

A good book concernning metamath.

2011-06-17

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

The Quick Python Book 2nd

学习python的快速的入门书籍!英文原版书籍,看起来更加原汁原味!

2016-01-26

阿智智的留言板

发表于 2020-01-02 最后回复 2020-01-02

空空如也
提示
确定要删除当前文章?
取消 删除