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
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
【线上维护的资料】中供JVM Crash命令列表top -H -b -n 1 -p
$pidecho "ibase=10;obase=16;$pid" | bcgrep xx jstack.logps auxf | grep
$gidnetstat -nal | grep 1521lsof -i:1...
分类：
其他好文 时间：
2014-05-19 09:59:30
阅读次数：
420
lspci | grep VGA如果显卡是
Nvdia的话第三方工具NVClock是一款Linux下对显卡进行调整的工具，到官方网站下载最新版.官方网站：http://www.linuxhardware.org/nvclock/命令行下运行：
Nvclock的格式 ：./NVClock [选项] 还...
分类：
系统相关 时间：
2014-05-19 08:31:38
阅读次数：
356
[ 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
1、安装gconf-editor yum list | grep conf-editoryum
install gconf-editor2、运行gconf-editor设置： apps ---> gedit-2 ---> preferences
----> encodingauto-detected...
分类：
其他好文 时间：
2014-05-17 18:18:56
阅读次数：
215
查看端口是否启动： netstat -tunpl |grep :3218查看服务是否启动：
pstree |grep squid查看文件夹下有多少目录和文件： tree
分类：
系统相关 时间：
2014-05-16 00:42:54
阅读次数：
431
