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
脚本监控：获取最大句柄数的进程：链接分析：脚本片段： case "$handle" in 2)
echo "The handle of the process : " echo " " handle | awk...
分类：
系统相关 时间：
2014-05-24 03:05:11
阅读次数：
420
读取文件的第一行并赋值给变量var=`head -1 filename`
#`不是单引号，是Esc下方的一个按键，为命令替换符，将命令行执行结果赋给var读取文件的第N行并赋值给变量var=`sed -n Np filename`
#把N替换成数字 逐行读取文件while rea...
分类：
系统相关 时间：
2014-05-23 22:31:08
阅读次数：
389
[ awk简介: ]
awk可以从一个文本中获取部分内容, 或者对这个文本进行排版, 使它按某种格式输出.
[ awk工作流程: ]
awk会把文件一行内容去到...
分类：
系统相关 时间：
2014-05-22 08:06:46
阅读次数：
395
由于业务需要,对EDM发出的邮件日志进行分析处理,我要做的是预处理,把posfix杂乱无章的日志中找到我需要的数据.我用javamail发的邮件,发送邮件时获取到是一个messageId,形如:2135546465.103503.1400232891548.JavaMail.root@hostnam...
分类：
其他好文 时间：
2014-05-20 09:19:16
阅读次数：
267
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
在该脚本中，'$'规则表达式将与...
[ grep简介: ]
grep是用来过滤含有特定字符的行
用法: grep 关键字 file
如: grep 'bbb' aaa.txt --color # 从文件aaa.txt中搜索关键词bbb, 并高亮显示。...
分类：
系统相关 时间：
2014-05-18 03:26:10
阅读次数：
357
简介grep (global search regular expression(RE)
and print out the
line,全面搜索正则表达式并把行打印出来)是一种强大的文本搜索工具，它能使用正则表达式搜索文本，并把匹配的行打印出来。Unix的grep家族包括grep、egrep和fgr...
分类：
系统相关 时间：
2014-05-18 02:10:16
阅读次数：
529
