sunfinegsf-CSDN博客

原创 2021-11-02

Endenote在更新索引时Word崩退出问题如果你的Endnote更新，或者word文档不是本机编写，当在Endnote的tab中点击update citations and Bibliography时容易发生word崩溃退出问题。如果你的endnote库没变，或者从word编辑的机器中拷贝到本机中。此时一种解决方法是删除参考文献，然后再点击update citations and Bibliography...

2021-11-02 15:58:16 70

原创 cmake默认大量的*.cmake文件位置

cmake默认大量的*.cmake文件位置cmake默认大量的*.cmake文件位置在Mac OS和linxu系统中，自己安装的软件所携带的*.cmake文件在安装文件的解压文件夹下(或build文件夹下)，此时，CMakeList.txt可能找不到，cmake默认大量的*.camke放在了/usr/local/share/cmake-*.*/Modules/目录下。你可以把你所需要的*.cmake文件拷贝到该文件夹下。如果你cmake命令报错，Could not found a packag

2021-01-10 16:45:05 1385

原创如何在终端用smt2的语法使用Z3

终端使用Z3 SMT Z3如何在终端使用smt2的语法使用Z3如何在终端使用smt2的语法使用Z3网上关于如何安装Z3的方法很多，包括不同平台上（Windows，Linux，Mac）的安装方法。本文不再赘述。Z3的smt2语法可以参考网址：https://rise4fun.com/Z3/tutorial/guide，这里给出了Z3的smt 2的输入语法和一个在线编译工具。安装好Z3后，在linux的终端输入z3 -h可以得到一些帮助信息。终端使用smt2语法进行可满足性检测的方式有两种，一种

2020-11-17 20:19:59 804

原创 Ubuntu命令行更换软件源

在Ubuntu中软件源的配置信息在文件：/etc/apt/sources.list，为了不把系统搞坏，在修改前建议先备份该文件。用sudo vim /etc/apt/sources.list打开该文件，同时打开另一台软件源配置好的机器上的该文件，讲配置好的机器上的/etc/apt/sources.list内容复制到需要修改的机器上即可。...

2019-12-04 12:04:50 820

原创 MPI程序启动命令

MPI程序启动时需要执行要执行的task的数量，如果只是在单机（本地）执行任务时，不需要制定由哪台机器来执行任务，而如果在分布式环境中还需要执行由哪些机器（由机器的ip地址决定）来执行任务（也就是说由哪些机器来共同完成任务，而不是具体制指定哪台机器跑哪个任务，这个是由MPI自动调动）。MPI程序都是由mpirun（不同版本的MPI可能会有差距，但大同小异，本博客以OpenMPI为例）命令启动，在...

2019-11-28 11:58:49 7119

原创如何在Ubuntu 18.04中添加快捷启动方式，左侧的Dock add to favorites，以及启动后出现两个图标的问题

在Ubuntu16以前，开启某些软件后可以通过可以通过在左侧的Dock上面右键图标，然后点击add to launcher来创建软件的快捷启动方式。在Ubuntu16以后（特别是Ubuntu 18.04），开启某些软件后可以通过在左侧的Dock上面的右键图标，然后点击add to favorites来创建软件的快捷启动方式。但是奇怪的是在Ubuntu18.04以后已经有些软件打开后，右键左侧Doc...

2019-11-27 15:28:51 3091

原创 ubuntu中的几个比较重要的软件安装方法（自动安装 apt-get）

在ubuntu开发的时候有几个需要必备的软件安装方法，这里只提供自动安装方法，手动安装方法需要参考各个网站所提供的ReadMe。默认情况下Ubuntu不自带vim编辑器，安装方法：sudo apt-get install vim，cmake安装方法： sudo apt-get install cmake我们可以发现，安装 *** 软件可以简单的使用命令 sudo apt-get instal...

2019-11-25 10:18:47 512

原创 CLion在ubuntu18.04中添加快捷启动项

在ubuntu中使用CLion进行c/c++开发非常常见，最近刚把原来使用的ubuntu16.04升级到18.04。在升级完成后安装CLion的时候发现一个问题，无法在快速启动栏添加CLion的快速启动项（在Ubuntu16.04中，启动CLion后，右键CLion图标，lock to launcher，在ubuntu18.04中是add to favorites）。右键添加时只有New wind...

2019-11-24 21:29:42 2342 3

原创 pagerank的hadoop实现

package package1.pagerank;import java.io.IOException;import java.util.ArrayList;import java.util.StringTokenizer;import org.apache.hadoop.conf.Configuration;import org.apache.hadoop.fs.Path;impo...

2019-10-31 13:20:05 696

原创 Linux中的vim添加鼠标支持

vim在Linux系统中是一款功能非常强大的编辑器（听别人说），在Ubuntu系统中并不默认安装vim，安装方法有两种，一种是简单在线安装（一键式安装）：sudo apt-get install vim，另一种是离线安装，参考：https://www.vim.org/git.php。默认情况下，vim不支持鼠标，移动光标全靠键盘。只需要在使用vim打开文档后，输入:set mouse=a，...

2019-10-31 13:18:54 1738

sunfinegsf的博客