1设 $f$ 是实直线 $\bbR$ 上的实函数, 若有常数 $M>0$
使得对任何有限个两两不同的实数 $x_1,\cdots,x_n$ 都有 $\dps{\sev{\sum_{i=1}^nf(x_i)}\leq M}$. 证明:
$\sed{x;\ f(x)\neq 0}$ 是至多可数的.解答:...
分类：
其他好文 时间：
2014-05-27 01:59:09
阅读次数：
327
读取文件的第一行并赋值给变量var=`head -1 filename`
#`不是单引号，是Esc下方的一个按键，为命令替换符，将命令行执行结果赋给var读取文件的第N行并赋值给变量var=`sed -n Np filename`
#把N替换成数字 逐行读取文件while rea...
分类：
系统相关 时间：
2014-05-23 22:31:08
阅读次数：
389
1 (1)Let $\sed{x_k}_{k=1}^n \subset (0,\pi)$, and
define $$\bex x=\frac{1}{n}\sum_{k=1}^n x_i. \eex$$ Show that $$\bex
\prod_{k=1}^n \frac{\sin x_k}{x...
分类：
其他好文 时间：
2014-05-19 14:46:27
阅读次数：
388
[ sed简介: ]
sed是一个很好的文件处理工具, 它本身是一个管道命令, 以行为单位进行处理, 可以用于对数据行进行新增、选取、替换、删除等操作。
sed命令行格式：sed [-nefri] 'range command' file
[ sed工作流程: ]
使用vim这种屏幕编辑器编辑一个文件的时候, 我们需要把这个文件打开, 这里存在两个问题:
1. 打开一个比较大的文件会消耗很多内存。
2. 我们无法写脚本调用vim来编辑文件, 但是sed可以通过写脚本编辑文件。...
分类：
系统相关 时间：
2014-05-18 06:53:12
阅读次数：
551
UNIX和DOS/Windows系统的纯文本格式的换行方式是不同的，基于DOS/Windows的文本文件在每一行末尾有一个CR(回车)和LF(换行)，而UNIX文本只有一个换行。
如果想将一个Unix文本转换为Windows文本，可以使用如下的sed命令行
sed -e 's/$/\r/' myunix.txt > mywin.txt
在该脚本中，'$'规则表达式将与...
开始在这里记录在jd的点滴成长~~~3月20日入职，距离今天两个月还差5天，不过这段时间完成的东西还真不少，学习了很多的linux命令和Axure产品设计，比如：awk神器、sed、sort、head、tail、find、xargs、grep等等，收获很大~~~其中到今天为止已经完成了一个功能非常强...
分类：
其他好文 时间：
2014-05-16 01:03:10
阅读次数：
314
sed -i ‘/^$/d’
filename在Linux下，用户如果想删除文件中的空行，一般使用“grep”，这里给出另外的几种方式： 1.使用“cat”命令，示例如下：＃cat
filename|tr -s ‘\n’ 2.使用“sed”命令，示例如下：＃sed ‘/^$/d’ filename ...
分类：
其他好文 时间：
2014-05-15 21:03:37
阅读次数：
212
sed是一个很好的文件处理工具，本身是一个管道命令，主要是以行为单位进行处理，可以将数据行进行替换、删除、新增、选取等特定工作，下面先了解一下sed的用法sed命令行格式为：sed
[-nefri] ‘command’ 输入文本常用选项：-n∶使用安静(silent)模式。在一般 sed 的用法中，...
分类：
系统相关 时间：
2014-05-15 17:45:20
阅读次数：
447
1、系统环境centos-6.4ipaddr:10.240.240.114gateway:10.240.240.12、关闭selinux（关闭完之后最好进行一次重启）sed-i‘/SELINUX/s/enforcing/disabled/‘/etc/selinux/config关闭防火墙chkconfigiptablesoff3、配置obbleryum源rpm-Uvh‘http://mirrors.ustc.edu.cn/epel/6/i386/..
分类：
其他好文 时间：
2014-05-15 12:40:01
阅读次数：
560
sed-i"s/123/456/g"`grep123-rl./|grep-vlog`#把当前目录下所有文件中的123替换成456，包括子目录啊
分类：
其他好文 时间：
2014-05-15 00:57:04
阅读次数：
236
