用 install-amd64-minimal-<release>.iso 安装的时候可以通过如下方法解决。

modprobe -r tg3
modprobe broadcom
modprobe tg3

把 tg3 编译成模块（编译进内核好像不行）。选上

Deveice Drivers/Network Device Support/PHY Device support and infrastructure/Drivers for Broadcom PHYs

重启后

dhcpcd eth0

在各方的帮助下，经历补考、清考，清考……重重难关，月底就能拿到传说中的毕业证……

终于是大学毕业生了……

$$\alpha,\beta$$ 测试 $$\Gamma$$ 测试  $$\int_{-1}^1 \sqrt{(1-x^2)}\,{\rm d}x =\frac \pi 2$$

printenv
set ipaddr 169.254.1.1  #配置 5C 临时 LAN IP
set serverip 169.254.1.2 # 指定 TFPT 服务器 IP
saveenv  #保存配置
nand erase  # 清空缓存区
tftp 0x350000 TSS5CAPP.bin #上传软件到缓存区，存储起始地址位：0x350000 。
nand write.jffs2 0x350000 0 0x3555413
boot  
 
id:alu   psw:alu123$
telnet 127.0.0.1 3083
act-user::ALUTSS:::Alu_1234;   #登录 ALUTSS ，PSW：Alu_1234
SET-SID:::::NINGHUAXXX;        #设置 SID
ed-lan:::C000:::LANIP=169-254-1-1,LANMASK=255-255-255-0,LANGW=169-254-1-2;   #设置 LAN IP
rtrv-lan:::;   #检查 LAN IP 地址
RTRV-PRMTR-NE;

-----------------------------------------------------------------------------------

TSS5CAPP.bin  好像是一个修改过的 Red Hat

以前一直都是使用 gnome-screenshot 截图，但 arch 默认安装的 gnome 中没有这个组件 ，比较了 arch 包中的截图工具最后选择scrot 。因为是命令行工具使用起来还是有些不便。自己写了个脚本只能添加终端程序起动器的方式使用，绑定快捷键单独的 scrot 命令可以， 加了参数就失效了。网上搜索了一番感觉还是 sipingal 的方法最好。$ > sudo gedit /usr/local/bin/gnome-screenshot 在文件里面输入，

#!/bin/sh

DISPLAY=:0.0

SCREENSHOT_DIR="screenshots"

SCREENSHOT_NAME="screenshot_`date +%Y-%m-%H%M%S`.png"

if [ ! -d ~/${SCREENSHOT_DIR} ]

then

    mkdir -p ~/${SCREENSHOT_DIR}

fi

echo $1 | grep window > /dev/null 2>&1

if [ $? -eq 0 ]

then

    scrot -s -q 1 ~/${SCREENSHOT_DIR}/${SCREENSHOT_NAME}

else

    scrot -d 3 -q 1 ~/${SCREENSHOT_DIR}/${SCREENSHOT_NAME}

fi

具体操作，笔记本上按 PrtSc 键三秒后保存整个屏幕，先按 Fn+Prtsc 键（台式机用 Alt + Prtsc ），然后放开（按两秒左右），用鼠标点击或者框选拖动可以保存一个窗口或者选中的屏幕。这个脚本会截图按照时间顺序保存在 ~/screenshots 下面。

我为什么还在用那些软件

1.  linux mint（ubuntu）

因为它的字体渲染效果好，虽然说 gentoo 、arch  可能更适合我，但实在受不了那个字体渲染，可以打补丁可以解决。可惜我不会。

12.27  注：  边看书边折腾 arch。是安装好了，结果很失望。字体渲染不好、配置麻烦、软件版本也不是最新的。

2. ibus-sunpinyin 

因为它可以用 shift 切换输入法，之前输入的字母不会没掉。可惜它的缺点也很明显，不能输入全角英文标点，没有软键盘。在 linux mint 10 上更是出现了输入文字后有残影的情况。起初还以为是跨版本升级引起的，今天完全重装还是一样。

教训

1. 没事别老想着更新，尤其是跨版本更新。

因为要测试那个插件跨版本更新，问题不断。

2.要静下心来做事情，今天很浮躁。12.27

习惯了看纸质文档，想把网上那个 Learn You a Haskell for Great Good! 教程做成 pdf 文档，一天了竟然完成不了 1/6. 未完成品见

https://www.sugarsync.com/pf/D050370_67_7970664814

---

2010.11.19/23:10 完成，地址同上。很多不完善的地方，有兴趣的同学可以自己修改，源文件 main.rar

 

同学参加 全国物流设计大赛 被拉去写了个 单配送中心的选址模型重心法的 matlab 程序。很久没碰过这东西想了好久才写出下面这些，对错不清楚运行未报错。 具体算法见 城市物流中心单点选址模型优化及方案评选

从论文中把这部分去掉更简洁（内容大部分来自《数学分析讲义》）

\usemodule[zhfonts]
\starttypescript[zhfonts]
\definetypeface [zhfonts][mm][math][cambria][default]
\stoptypescript
\usezhfonts[rm,12.05pt]
\setupinterlinespace[line=18pt]

\starttypescript [math] [modern,computer-modern,latin-modern,ams] [size]
     \definebodyfont [17.3pt,14.4pt,12pt,11pt,10pt,9pt][mm][mc=rsfs10 sa 1]
     \definebodyfont [8pt,7pt] [mm] [mc=rsfs7 sa 1]
     \definebodyfont [6pt,5pt,4pt] [mm] [mc=rsfs5 sa 1]
\stoptypescript
\definefamilysynonym [default] [scriptfamily] [mc]
\definefont [ralfsmithfs] [RalfSmithFormalScript sa \currentfontscale]
\def\scr #1{\ifmmode\hbox{\ralfsmithfs #1}\else\ralfsmithfs #1\fi}
\definetypeface [modern] [mm] [math] [modern] [ams] [encoding=texnansi]

\defineenumeration[remark]
	[text=Remark,
	location=serried,
	width=fit,
	headstyle=bold,
      headcolor=darkgreen,
      prefix=yes,
	prefixsegments=section:subsection,
	right={.~}]
\defineenumeration[remark1]
	[text=Remark,
	location=serried,
	width=fit,
	headstyle=bold,
      headcolor=darkgreen,
      prefix=yes,
	prefixsegments=section:subsection,
	right={.~}]
\defineenumeration[remark2]
	[text=Remark,
	location=serried,
	width=fit,
	headstyle=bold,
      headcolor=darkgreen,
      prefix=yes,
	prefixsegments=section:subsection,
	right={.~}]

\setupnumber[remark][way=bysubsection]
\setupnumber[remark1][way=bysubsection]
\setupnumber[remark2][way=bysubsection]
\defineenumeration[definition]
	[text=\qquad定义,
	location=serried,
	width=fit,
	counter=remark,
	style=normal,
	headstyle=bold,
   % headcolor=darkblue,
    prefix=yes,
	prefixsegments=section:subsection,
	right={~}]

\defineenumeration[proposition]
	[text=\qquad命题,
	location=serried,
	width=fit,
	counter=remark1,
	style=normal,
	headstyle=bold,
   % headcolor=darkblue,
    prefix=yes,
	prefixsegments=section:subsection,
	right={~}]

\defineenumeration[corollary]
	[text=\qquad引理,
	location=serried,
	width=fit,
	counter=remark2,
	style=normal,
	headstyle=bold,
   % headcolor=darkblue,
    prefix=yes,
	prefixsegments=section:subsection,
    indenting={first,always,2em},
	right={~}]

\definedescription[proof]
  [location=serried,
   width=broad,
	text=\qquad证明,
    headcolor=black,
    %headstyle=cap,
    %titlestyle=italic,
    %distance=1ex,
    style=normal,
    %titleleft=,
    %titleright=,
    %stopper=.,
    closesymbol=\math{\square},
    indenting={first,always,2em}]

\setuplayout
    [width=fit,
     height=fit,
     topspace=1cm,
     header=1cm,
     bottomspace=1.5cm,
     footer=1cm,
     backspace=3cm,
     leftmargin=1.5cm,
     cutspace=3cm,
     rightmargin=1.5cm,]
\setupinteraction[state=start,focus=standard,color=black]
\setupinteraction[state=start]
\setupindenting[always,2em,first]
\setuphead[indentnext=yes]
\setupitemgroup[itemize][packed]
\setupitemgroup[itemize][margin=2.0em]
\starttext
\startdefinition
$P$ 称为最简单图形，如果 $P$ 是有限个矩形的并．而这样的矩形称为标准矩形．
\stopdefinition
若用 $\mu(P)$ 表示最简单图形 $P$ 的面积，则很自然地我们要求其有如下性质：

\startitemize[n]
\item 对应每个有面积的图形 $P$，$\mu(P)$ 是非负的且单值确定的．
\item 边长为 $1$ 的正方形的面积等于 $1$．
\item $\mu(P)$ 是可加的，即若 $P=P_1\cup P_2$，$P_1\cap P_2=\emptyset$，则 $\mu(P)=\mu(P_1)+\mu(P_2)$．
\item $\mu(P)$ 是关于平面的任何运动都不变的．即如果 $P_1,P_2$ 可以借助绕某一点旋转，或通过平移，而彼此重合，那么 $\mu(P_1)=\mu(P_2)$．
\item $\mu(P)$ 是单调的，若 $P_1\subset P_2$ 则 $\mu(P_1)\le \mu(P_2)$．
\stopitemize

标准矩形可以不含于它的边上的任何一个点的子集．每个标准矩形都有面积，等于它相临两边的乘积．对于一般的平面有界图形 $P$，称一切包含 $P$ 的简单图形 $P_1$ 的面积 $\mu(P_1)$ 的下确界为 $P$ 的 Jordan 测度外测度，记为 $\mu^*(P)$．对应的称一切包含在 $P$ 内的简单图形 $P_2$ 的面积 $\mu(P_2)$ 的下确界为 $P$ 的 Jordan 测度内测度，记为 $\mu_*(P)$．

\startdefinition
$\mu(P)=\mu^*(P)$ 为图形 $P$ 的 Jordan 测度，如果 $\mu^*(P)=\mu_*(P)$．
\stopdefinition

我们来验证对于平面上的可测图形定义的非负函数 $\mu(P)$，具有那些最简单的图形所具有的单调性，关于平面运动的不变性，以及加性．

首先我们证明，可测图形的集合关于集合论的运算：集合的并、交、差，是封闭的．换言之，若图形 $P_1$ 和 $P_2$ 皆可测，则图形 $P_1\cup P_2$， $P_1\cap P_2$， $P_1 \backslash P_2$ 皆若尔当可测．

先证明两个集合的并的可测性．根据集合若尔当可测的准则，只需证明 $\mu(\partial(P_1\cup P_2))=0$．我们证明
\startformula
\partial(P_1\cup P_2) \subset \partial P_1\cup P_2.
\stopformula
任取 $x\in\partial(P_1\cup P_2)$．假设 $x\notin P_1,x\notin P_2$．那么点 $x$ 或是 $P_1$ 的内点，或是 $P_2$ 的内点，或者既是 $P_1$ 的外点又是 $P_2$ 的外点．由此推出，点 $x$ 相对于集合 $P_1\cup P_2$ 而言，或是内点，或是外点，而这与点 $x$ 属于集合 $P_1\cup P_2$ 的边界相矛盾．一次，两集合之并的边界是这两个集合的边界之并的子集合．

把可测集 $P_1$ 和 $P_2$ 放在一个标准正方形 $K$ 之中，那么集合 $K \backslash P_1$ 和 $K \backslash P_2$ 都是若尔当可测的，因为它们的边界包含在集合 $K,P_1,P_2$ 的边界的并集之中．由此推出集合
\startformula
P_1\cup P_2,\quad P_1\cap P_2=k \backslash [(K \backslash P_1)\cup (K \backslash P_2)]
\stopformula
都是可测集．

现考察函数 $\mu(P)$ 的单调性．若 $P_1\subset P_2$，则任何包含集合 $P_2$ 的最简单图形也都包含 $P_1$，因此 $\mu^*(P_1)\leq\mu^*(P_2)$．但因图形 $P_1$ 和 $P_2$ 都可测，所以
\startformula
\mu(P_1)=\mu^*(P_1)\leq\mu^*(P_2)=\mu(P_2).
\stopformula
这表明，函数 $\mu(P)$ 是单调的．

若尔当测度的平移不变性从最简单图形在平移之下面积不变，从而在平移之下量 $\mu^*(P)$ 和 $\mu_*(P)$ 不变这一事实推出．

进而，根据沙勒 (chasles) 定理，平面的任何运动都归结为对称，平移，以及绕一固定点的旋转．所以，为了完成若尔当侧度关于平面运动的不变性的证明，只需证明它关于平面绕一定点旋转的不变性．我们觉察到，在平面的旋转之下，最简单的图形的面积不变，然而它已不再是最简单的图形了．

于是，设给定若尔当可测图形 $P$．那么存在最简单的图形 $P_1,P_2$ 使得 $P_1\subset P\subset P_2$，且
\startformula
\mu(P_1)\leq\mu(P)<\mu(P_1)+\varepsilon,\quad \mu(P_2)-\varepsilon<\mu(P)\leq\mu(P_2),
\stopformula
而 $P_1$ 和 $P_2$ 皆可表示成有限个标准矩形的并集，在平面绕某不动点的旋转之下，图形 $P,P_1,P_2$ 分别变成可测图形 $Q,Q_1,Q_2$，且 $Q_1\subset Q \subset Q_2$．显然，只需要证明如果标准矩形在旋转之下变成了矩形 $H$，那么可将它含在一个开的最简单的图形 $H_1$ 中且让它包含一个闭的最简单图形 $H_1$，使得 $H_2\subset H \subset H_1$ 且差 $\mu(H_1)-\mu(H_2)$ 可以做到任意小．为此我们把矩形 $H$ 框在一个矩形 $H_0$ 中，$H_0$ 的边分别与 $H$ 平行且相距甚小．然后在 $H_0$ 内作最简单的图形，使之包含 $H$．它就是要找的 $H_1$．类似地构作图形 $H_2$．

现证若尔当测度的加性．我们首先看到，对于最简单的图形成立不等式
\startformula
\mu(A\cup B)\leq\mu(A)+\mu(B).
\stopformula
其次，设图形 $P_1$ 和 $P_2$ 是若尔当可测的且设 $P=P_1\cup P_2,P_1\cap P_2= \emptyset$．那么，根据集合的可测准则，图形 $P$ 是可测的，因为两个集合的并集的边界包含在它们边界的并集之中．我们来证明成立等式
\startformula
\mu(P)=\mu(P_1)+\mu(P_2).
\stopformula
根据图形 $P_1$ 和 $P_2$ 的可测性，对于任意的 $\varepsilon >0$，存在最简单的图形 $Q_1,Q_2,R_1,R_2$，使得 $Q_1\subset P_1\subset Q_2$，$R_1\subset P_2\subset  R_2$ 且
\startformula
\startmathalignment
\NC\mu(Q_1)\leq\mu(P_1)<\mu(Q_1)+\varepsilon,\quad \mu(Q_2)-\varepsilon<\mu(P_1)\leq\mu(Q_2),\NR
\NC\mu(R_1)\leq\mu(P_2)<\mu(R_1)+\varepsilon,\quad \mu(R_2)-\varepsilon<\mu(P_2)\leq\mu(R_2).\NR
\stopmathalignment
\stopformula
此外，对于满足条件 $Q_1\cup R_1= \emptyset$ 的最简单图形 $Q_1$ 和 $R_1$ ，我们有 $\mu(Q_1\cup R_1)=\mu(Q_1)+\mu(R_1)$，且同样，$\mu(Q_2\cup R_2)\leq\mu(Q_2)+\mu(R_2)$．因此，考虑到集合论的包含关系
\startformula
(Q_1\cup R_1)\subset (P_1\cup P_2)=P\subset (Q_2\cup R_2)
\stopformula
我们得到
\startformula
\startmathalignment
\NC \mu(Q_1)+\mu(R_1)\NC =\mu(Q_1\cup R_1)\leq\mu(P)\leq \mu(Q_2\cup R_2) \NR
\NC \NC \leq \mu(Q_2)+\mu(R_2)<\mu(Q_1)+\mu(R_1)+ 4 \varepsilon. \NR
\stopmathalignment
\stopformula
同样显然有
\startformula
\mu(Q_1)+\mu(R_1) \leq \mu(p_1) +\mu(P_2)<\mu(P_1) + \mu(R_1) + 2 \varepsilon.
\stopformula
由此求得
\startformula
|\mu(P)-\mu(P_1)-\mu(p_2)| +\mu(P_2)<4 \varepsilon.
\stopformula
而根据 $\varepsilon$ 的选取的任意性，有
\startformula
\mu(P)=\mu(P_1)+\mu(p_2).
\stopformula
这就证明了若尔当测度的加性．
\stoptext

Jordan Measure.pdf

在家里用着 linux mint gnome 觉得还可以，回到学校也想装一个。上次就想试试 linux mint debian （被那句"官方声称此系统是永远不必重装的系统"吸引了）有了前面几次的经历，觉得硬盘也不是很难，可马上就被 linux mint debian 打击了，网上找的方法： 均失败，hd-wubi，UltraISO 写入硬盘镜像也未成功，最后用 LinuxLive USB Creator 写入 U 盘成功引导安装了，安装后不能（反正我是没看到，找到那里可以改的）更改语言等一堆的问题，更麻烦的是删除之后用之前的方法不能清楚 mbr，最后只得下载 winpe 写入 U 盘，然后用 DiskGenius 重写 mbr。还好没出问题，不然同学的电脑 160 G 的数据丢了我可赔不起。还是这句中肯“目前来说这个版本还有很多不足