证明用的

LIU Hui's Cyclotomic Method is one of the greatest achievements in the history of mathematics in China,even in the world,in which the special approach to understand the infinity and the method to solve it are presented.

有的著作认为在极限公式limx→0sinxx=1的证明中，要用到圆的面积公式S=21Lr，而对后者的证明中必须要用到重要极限limx→0sinxx=1，从而犯了循环论证的错误。魏晋刘徽的"割圆术"是对无限问题的独特认识和致用的处理方式，是为证明圆面积公式而设计出来的一种方法。

The purplish, bandy-legged, grey dog was running merrily along at the side of the road; sometimes picking up a hind leg, and skipping along on three paws as a sign of content and briskness, or barking at the crows that perched on the carrion.

有时，为了证明它的敏捷和满足，它提起一只后腿，用三条腿跳，然后又用四条腿跑，狂吠着向栖在死尸上的乌鸦奔去。

The proof of fundamental theorem of algebra involves much algebra knowledge which is difficult to understand.

代数学基本定理的经典证明用到较多的代数知识，且难以理解，文章探讨用数学分析的方法予以证明。

The Diels-Alder cycloadditions of [60] fullerene for preparation of optical limitingmaterials are discussed in chapter 3 and 6. Soluble cycloaddition derivatives of 〓aresynthesized by the reaction of 〓 with indene,1,1'-biindene andcyclopentadiene derivatives.〓Particular, the Diels-Alder cycloaddition of 〓 with1,1'-biindene under controlled conditions affords the stable monoadduct 〓〓of novel structure, which was confirmed by HPLC, FTIR, FD-MS,〓NMR,〓 NMR, HMQC and HMBC spectra, Its two bridgehead cage carbons resonate at70.91ppm, The 〓 NMR spectra showed 38 lines consistent with the 〓 symmetryassociated with [6,6] addition. The 〓 shows similar optical limitingproperties to that of 〓 in toluene for 8ns laser at wave length 532nm. Moreover, thehigh solubility of this adduct in polar solvents such as THF, acetone enables itsincorporation into sol-gel glass matrix. The thin films prepared via the sol-gel methodshow improved OL behaviour compared to those of 〓. The langmuir-Blodgett filmformation and uv-visible absorption of 〓 are also investigated. LBmonolayer of this compound is prepared on the air-water interface at 〓 mol/l. In chapter 4, three water-soluble derivatives of [60] fullerene: fullerol(1), theaddition product (2)of fullerol (1)with polyvinylpyrrolidone and fumaric acidderivative of 〓(3) are synthesized and characterized.

通过Diels-Alder环加成反应，用茚〓和1，1'-联茚〓及取代茂合成了一系列可溶性的〓环加成衍生物，发现可控制反应条件，使1，1'-联茚与〓反应，并高产率地得到具有新颖结构的单加成物，用HPLC、FTIR、FD-MS 及〓、HMQC、HMBC等多种波谱技术对其结构进行表征，测得它的两个〓杂化的桥头碳的化学位移为〓ppm，证明生成的衍生物为6∶6闭式环加成，〓NMR谱中共给出38个信号，表明〓联茚衍生物分子具有〓对称性；在波长532nm，脉冲宽度8ns的激光下，〓联茚衍生物的甲苯溶液的光限幅性能与〓的甲苯溶液相近，由于〓联茚单加成衍生物熱稳定性好，在四氢呋喃，丙酮等极性溶剂中溶解性好，能分别均匀地掺入溶胶-凝胶中，已发现它的溶胶(so1)光限幅性能优于纯〓的光限幅性能；使用Langmuir-Blodgett技术将〓联茚衍生物在空气和水的界面进行了LB单层膜和多层膜实验以及UV-Vis吸收谱研究，通过等温压缩曲线测试，证明浓度为〓〓时，〓联茚衍生物能够形成单层膜。

This paper, by means of Rolle theorem, introduces constant method to demonstrate mean value theorem for differential calculus and attains the corresponding supplementary function of the demonstrating method.

借助于Rolle定理，用待定常数法证明了微分中值定理，得到了该证明方法的辅助函数簇，这种证明方法对解决同类问题有很好的推广应用价值。

One reason is that the model is an algebra method and it is based on the theory of minimal element. It can give more credible proof. Another reason is that the model tries to prove security of protocols, rather than check them. Thirdly, the model is simple and easy to use, and proof can be finished by manual. Moreover, graphic description makes its proof more comprehensible. Fourthly, there is much research work related to the model, which gives me a good springboard.

首先，该模型是一种代数方法，以极小元等理论为基础，可以给出可信度较高的证明；其次，该模型不是验证协议，而是试图证明协议的安全性；第三，该模型简单、易用，可以手工的方式完成证明，而且图形表示使其证明更加直观；第四，关于该模型有许多相关的研究工作，这为进一步工作打下了良好的基础。

He also extended quasi-geostrophic non-acceleration theorem to primitive equation non-acceleration theorem.

他在国际上首创湿倾斜涡度发展理论和全型垂直涡度方程，成功地揭示青藏高原西南涡和夏季江淮流域的暴雨发展机理，揭示副热带高压形态变异的成因；证明创新的原始方程中的无加速定理以及大气运动的动力强迫和热力强迫的调配率；开展创新性气候动力研究，揭示中高纬和热带海气相互作用差异的机理及厄尔尼诺影响台风频率的机制，继承和发展了我国学者关于青藏高原对大气环流和天气气候影响的研究；在国际上首次把亚洲季风爆发分为三个阶段，证明由于中高纬度的强地转性和斜压性使其海气相互作用的特征与热带显著不同；首次用数值模式提出厄尔尼诺影响台风的机制，得到国际上的高度评价。

Through a new analysis on the essential relationship between Russell's Paradox and Cantor's proof on the uncountability of real number set and the proof on the Cantor's Theorem of , a mysterious error was found:the very same logic contradiction was applied in both Russell and Cantor's work.

分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系，发现康托在这两个非构造性证明中所依赖的、用对角线法所构造出的矛盾其实就是罗素悖论中所揭示的逻辑矛盾。

LIU Hui's Cyclotomic Method is one of the greatest achievements in the history of mathematics in China,even in the world,in which the special approach to understand the infinity and the method to solve it are presented.

有的著作认为在极限公式limx→0sinxx=1的证明中，要用到圆的面积公式S=21Lr，而对后者的证明中必须要用到重要极限limx→0sinxx=1，从而犯了循环论证的错误。魏晋刘徽的&割圆术&是对无限问题的独特认识和致用的处理方式，是为证明圆面积公式而设计出来的一种方法。

With ultrasonic wave and lysozyme, the recombination N protein is split from bacteria. We dissolve it in guanidine hydrochloride, purify it with Ni〓 affinity chromatography column and renature it in vitro. By testing the antigen of the purified N protein, it shows that its activity is very high.

建立了用超声波和溶菌酶裂解菌体，用盐酸胍溶解，Ni〓亲合层析柱纯化及体外复性等方法，经检测证明纯化的VSV重组核蛋白抗原具有较高的活性。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。