- 更多网络例句与证明用的相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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重组核蛋白抗原具有较高的活性。
- 更多网络解释与证明用的相关的网络解释 [注：此内容来源于网络，仅供参考]
-
CERTIFICATION：证明
NCARB已经发展出一套全国承认的记录保存系统一评议会记录(Council Record),其记录参与者的教育、训练和性格,以用来确认考试、注册登记和NCARB出证明(Certification)的资格.
-
COLLECTIVE MARK：集体(团体)商标(指一集体机构拥有的、该集体机构各成员均可使用的商标)
Certification mark 证明商标(指用来证明商标质量、原料、制造工艺或其他特征的商标,又称为... | Collective mark 集体(团体)商标(指一集体机构拥有的、该集体机构各成员均可使用的商标) | Register of trademarks 商标注...
-
correctness proof：正确性证明
Kodosky介绍了一个名为"自动程序框图验证"的研究,以期能将"正确性证明(correctness proof)"加入到虚拟仪器程序框图源代码之中. 用户可以通过名为定理模块的图形结构用正确性断言(correctness assertion)来评注他的程序框图. 用LabVIEW编译程序框图时,
-
demonstrate：证明
大多数智慧技能可以用"确定"(identify)、"分类"(classify)、"证明"(demonstrate)或"生成"(generate)这样的动词来描述. 这些动词,正如加涅、博瑞格和维格(1992)书中所说的那样,与一些特定的活动有关,如将类似物体分组、将一件事与另一件事区分,
-
gravitational force：吸引力
但是爱因斯坦发现相对论以后,却说因为有地心吸引力(Gravitational Force)等的影响,光线会弯曲,而不一定是直的. 爱因斯坦发表了这个理论后,有些人不能接受,因为他是用数学证明出来的. 但是后来通过观察星辰的运转证明了他的理论是对的.
-
declaration in support：作证明用的声明
declaration for correction of error in register 登记册内更正事项声明书 | declaration in support 作证明用的声明 | declaration of abandonment of appeal 放弃上诉声明书
-
orthocenter：垂心
反过来说,证明A,, F, E四点共圆等於解释了为何B会是的内心(同学不妨一试). 不过,笔者在这里想介绍另一种证明内心的技巧. 这是利用轨迹概念去决定内心的一种方法,掌握这方法之后,关於证明垂心(orthocenter)的问题亦可用类似的手法去处理.
-
proof spirit：含标准烈度的酒
proof 不能透入的, 防...的, 证明用的 (形) | proof spirit 含标准烈度的酒 | proofread 校正, 校对; 做校对工作 (动)
-
witness：证明
159)证明(witness)观念已经误导了许多人,使他们对神圣灵的影响形成错误的概念. 他们用这一词意指一种内在的直接暗示,仿佛上帝与一人暗语,直接测试他,用一种秘密的声音或印象告诉他,他是上帝的子民. 他们并没有认识到,
-
prove = turn out to be：证明
9.corner 本词除了表示"角落"当动词用,还表示"走投无路" | 10.prove = turn out to be 证明 | 11.complain : complain that......当"及物动词的用法