查询词典 high-proof

In the thesis , we give combinatorial proof of some q-identities using integer partition.In the thesis some vital identities with binomial coefficient are given with their combinatorial proof, and the q-analogues of some identities are offered with corresponding combinatorial proof using integer partition.

本文给出了一些重要的二项式系数恒等式的组合证明或组合解释，并从分拆的角度给出了一些q-恒等式的组合证明，其中突出的成果是给出了平方和恒等式的一个直接的组合证明并给出了偶数平方和与奇数平方和的q-模拟及组合证明。

The proof system is the core of the civil suit system and the proof limitation system is the core of the proof system.

证据制度是民事诉讼制度的核心，而举证时限制度又无疑是证据制度的核心。

However, Single assignment of burden of proof cannot adapt to actual judicial practices with the complicated objective. Therefore, we have established the principle of assignments of burden of proof in the administrative procedure law. we shall insist the guidence of human rights and judicial fairness, and establish a multi-layered and synthetical system of assignment according to the condition that claimer undertake the responsibility of proof.

单一的举证责任分配原则，是无法适应复杂的行政诉讼实践需要的，以公民权对抗行政权的行政诉讼，其诉讼宗旨注定了行政诉讼举证责任分配原则的确立，应在坚持保障人权和司法公正的法律理念指导下，建立起一个以请求权人承担权利形成要件的证明责任为基础、以遇有疑问时有利于自由民等标准为补充的多层次综合分配体机制。

With a definite standard of proof, provided that the weight of proof met the standard, the factum probandum is to be proved and the burden of proof of parties is discharged, then the judge can regard the existence of the facts as the basis of judgment.

在一定的证明标准下，一旦证据的证明力达到这一标准，就认为待证事实得到了证明，即当事人卸除证明负担，法官可以该事实的存在作为裁判的依据。

In response to the difficulties in verifying his proof, in January of 2003, Hales launched the "Flyspeck project"("xxxxal Proof of Kepler") in an attempt to use computers to automatically verify every step of the proof.

数学是来不得半点虚假的，Hales在1997年借助计算机，完全证明了Kepler猜想，得到公认，文章即将发表在Annals of Math上，Hales本人也在ICCM上作了45分钟报告。

And made a comparison between the Han nationality and the BouYei nationality students in learning geometric proof, we sum up the defferences between learning geometric proof abilities and the general proof process.

针对问卷和测查题的定量统计分析和个案定性分析，得出被试学生学习几何证明的一般过程和证明能力发展的差异情况，在此基础上进行了几何证明的微型教改实验，得到以下的结果： 1。

CLERK'S OFFICE STATE OF NEW YORK l,the SCHENECTADY COUNTY CLERK ,Clerk of the County of Schenectady ,and also Clerk of the Supreme and County Courts ,being Courts of Record held therein,do hereby certify that michoc'J Love whose name is subscribed to the Certificate of acknowledgment or proof of the annexed instrument ,and thereon written ,or whose name is subscribed to the annexed instrument ,and thereon written ,or whose name is subscribed to the annexed jurat,,was at the time of taking such acknowledgment,or proof,or of administering such oath oraffirmation ,a Notary Public –commissioner of Deeds in and for said County ,residing therein ,duly commis-sioned and sword and authorized by the laws of the State of Now York to take the acknowledgments an sworn and proofs of deeds of conveyances ,for land,tenements,or heredita-ments and to administer oaths or affirmations in said County ,And further,that I am well acquainted with the handwriting of said officer and verily believe that the signature to said jurat or certificate of acknowledgement or proof is genuine IN TESTIMONY WHEREOF ,I have hereunto set my hand affixed the seal of said Courts and County ,this day of August ,2007 DEPUTY COUNTY CLERK

店员的办公室纽约的州 l，SCHENECTADY 县店员， Schenectady 的县的店员和至高和县法院，作为在其中拿着的记录的法院，的店员也藉此证明那一 michoc'J 名字被订购承认的证书或者被并吞的器具的证明的爱，和在那上面书面，或谁的名字被订购被并吞的器具，和在那上面书面的或谁的名字被订购被并吞的 jurat，，在采取如此的承认或证明的时候，或管理如此的誓约 oraffirmation，公证人民众-行为的委员在和为说的县，在其中住，的确 commis-sioned 和刀剑而且被拿承认的现在省约克的法律授权一宣誓和运输的行为的证明，为土地、房屋或者 heredita-ments 和在说的县中管理誓约或肯定，而且促进，哪一我很好地熟悉说的官员的笔迹而且实在相信签字到说承认或者证明的 jurat 或者证书是真正的在证言，什么的，我已经到此为止设定我的手使说的法院和县的印章附于了，2007 年八月的这天代理人县店员不对举报我得了

L,the SCHENECTADY COUNTY CLERK ,Clerk of the County of Schenectady ,and also Clerk of the Supreme and County Courts ,being Courts of Record held therein,do hereby certify that michoc'J Love whose name is subscribed to the Certificate of acknowledgment or proof of the annexed instrument ,and thereon written ,or whose name is subscribed to the annexed instrument ,and thereon written ,or whose name is subscribed to the annexed jurat,,was at the time of taking such acknowledgment,or proof,or of administering such oath oraffirmation ,a Notary Public –commissioner of Deeds in and for said County ,residing therein ,duly commis-sioned and sword and authorized by the laws of the State of Now York to take the acknowledgments an sworn and proofs of deeds of conveyances ,for land,tenements,or heredita-ments and to administer oaths or affirmations in said County ,And further,that I am well acquainted with the handwriting of said officer and verily believe that the signature to said jurat or certificate of acknowledgement or proof is genuine

l时， schenectady县秘书，秘书的县schenectady ，也是秘书的最高人民法院和县法院，法院的纪录，因此，特此证明michoc'j爱他的名字是订阅了该证书的确认或证明对所附文书，并就此写，或他的名字是认购所附文书，并就此写，或他的名字是认购所附朱拉特，，当时的考虑，如确认，或工作证明，或管理这类宣誓oraffirmation ，公证机构-专员的事迹，并表示，县，居住的地方，适当处长sioned和剑，并授权由该州的法律制定的，现在纽约采取认知，一种宣誓和实证的事迹运输工具，为土地，物业单位，或heredita 1912年和管理宣誓或誓词中说，县，并进一步，我熟悉的笔迹的表示，官に相信签字，以表示，朱拉特或证书的确认或证明是真实的

Through the analysis of inspection and test results of lightning proof safe facilities and equipments of a certain ammunition depot ,deficiency and problems are found in the construction and setting of lightning proof safe facilities such as geographic position,lightning proof device,grounding device,and height of safe lightning conductor based on formula.

针对这些问题，提出防雷装置设置的改进措施，以期为弹药仓库防雷安全提供理论和技术的参考。

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.

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

The work of this paper is as follows: 1. Looking back the progressing history of the linear motor, introducing the features of the elevator driven by linear induction motor, radicating the topic of this paper "the digital frequency variable control of the elevator bi-side direct driven by linear induction motor". The research of this paper covers the conventional VVVF control, space vector based VVVF control, vector control and DTC.

本文主要开展了以下几个方面的工作： 1 回顾了直线电机发展历史，电机的驱动技术演变，特别是针对直线电机的驱动，简要介绍了直线感应电机驱动电梯的优点和不同结构类型，对传统的v／f控制，基于空间矢量法的v／f控制，矢量控制，和基于电压空间矢量的直接转矩控制进行了比较，确立了本课题的研究主题：直线感应电机双边直推式驱动电梯的全数字变频控制。

The article combines with the treatment of a superficial civil air defense work to introduce how the grouting method to improve the performance of the backfill soil.

文章从治理漂浮人防工事的角度提出了注浆技术在改善回填土性质方面的应用，并详细阐述了注浆技术的施工流程。