证明

Article 21 The creditors shall, if reporting their claims, submit the proof of the claims and the lawful and valid identification certificates, an authorized reporter shall submit the valid identification certificate of the authorizer, the power of attorney and the proof of the claims.

第二十一条债权人申报债权应当提交债权证明和合法有效的身份证明；代理申报人应当提交委托人的有效身份证明、授权委托书和债权证明。

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-模拟及组合证明。

At the beginning of this thesis, the author gives the definition and the equivalent definition of convex function, and then proves the equivalent relationship between them. Secondly the author proposes the decision theorem of convex function which provides a judgment basis of whether a function is a convex function. Thirdly the author summarizes and proves the convex function's operational, basic, differential and integral property. Finally the author proves several famous convex function inequalities, such as Jensen inequality, Holder inequality, Cauchy inequality. The author also provides the application of these inequalities and illustrates the importance of convex function's basic inequality and integral property in the proving process.

本文开始给出了凸函数的定义及等价定义，并证明了它们之间的等价关系；接着提出了凸函数的判定定理，对一个函数是否是凸函数提供判断依据；然后对凸函数的运算性质、基本性质、微分性质、积分性质四个方面的性质进行了总结，并给予了证明；最后证明了凸函数的几个著名不等式詹森不等式、赫尔德不等式、柯西不等式，给出了这几个不等式的一些应用实例，并举例说明凸函数的基本性质和积分性质在不等式证明过程中的重要作用。

At the beginning of this thesis, the author gives the definition and the equivalent definition of convex function, and then proves the equivalent relationship between them. Secondly the author proposes the decision theorem of convex function which provides a judgment basis of whether a function is a convex function. Thirdly the author summarizes and proves the convex function's operational ,basic , differential and integral property. Finally the author proves several famous convex function inequalities, such as Jensen inequality, Holder inequality, Cauchy inequality and Minkowski inequality. The author also provides the application of these inequalities and illustrates the importance of convex function's basic inequality and integral property in the proving process.

本文开始给出了凸函数的定义及等价定义，并证明了它们之间的等价关系；接着提出了凸函数的判定定理，对一个函数是否是凸函数提供判断依据；然后对凸函数的运算性质、基本性质、微分性质、积分性质四个方面的性质进行了总结，并给予了证明；最后证明了凸函数的几个著名不等式詹森不等式、赫尔德不等式、柯西不等式和闵可夫斯基不等式以及这几个不等式的应用，并举例说明凸函数的基本性质和积分性质在不等式证明过程中的重要作用。

This paper has comparatively analyzed four aspects of confession corroboration rule of the USA and Japan,they are the proof object、the evidence qualification、the proof degree of corroborative evidence and the confession of codefendant. Corroborative evidence should not only be able to corroborate confession and prove the truth of cases,but also prove the truth to a considerable degree.

本文对美国和日本自白补强规则中的补强证据证明对象、证据能力和证明程度以及共犯自白等方面进行了比较，认为补强证据应当具有证据能力，它不仅可以补强自白，还应当能够证明案件事实，并且应达到相当的证明程度。

Inequality proof of various ways, they were: use derivative testify inequality nature, Includes using functional monotonicity and extreme value, the function and the concave and convex inequality, proving is concave and convex function in the original definition of equivalent definitions and a lemma is proposed on the basis of relevant concave and convex function of several theorems about inequality, and briefly discusses how to use the definitions and theorems in proof of inequality.

不等式的证明方法多种多样，它们分别是：用导数性质证明不等式；包括利用函数单调性，极值与最值，函数凹凸性证明不等式，其中在给出凹凸函数原始定义等价的解析定义和一个引理的基础上提出有关凹凸函数关于不等式的几个定理，并简要阐述了利用定义和定理在证明不等式中的运用。

Currently all the previous researches about deniability in group key establishment protocols were based on the Random Oracle assumption.

给出了一个标准模型下可证明安全和可证明可否认性的高效的群密钥协商协议，并基于DDH假设和伪随机函数集的存在性假设一同给出了其安全证明和可否认性证明。

The sameness of postmodernism and Socrates is that they all prore the ignorance of man to the terminal truth、 terminal meaning: Socrates made a factual provementthrough nis failure to pursue the terminal meaning of the conceptions, while postmodernism made a theoretic provement through illustrating the difference 、dissemination,、 trace.

后现代主义与苏格拉底的一致之处是他们都证明了人对终极真理、终极意义的"无知"：苏格拉底通过对那些概念的终极意义的追寻的失败对此作出了事实的证明，后现代主义则进行了理论的证明，即通过论证文本意义的分延、播撒、踪迹、替补等证明其终极意义的不可获致，证明对终极意义的追寻是一个无限的过程，这恰好符合苏格拉底对话的情形，因此二者可以互为佐证。

The summary results are below:1. GUS expression under the driving of the BjCHI1 promoter (-1060/+17) was essentially undetectable in the young seedlings under normal growth conditions. GUS activity was first detected in the stigma of young flowers, peaked in the young siliques, and decreased when the siliques became older. No GUS expression was found in the mature siliques, seeds or root.2. The BjCHI1 promoter (-1060/+17) was inducible by NaCl, PEG, wounding and MeJA treatments. High levels of GUS expression were detected in the transgenic tobacco and Arabidopsis plants after wounding, NaCl, PEG, and MeJA treatment, indicating that the BjCHI1 promoter responses to both biotic and abiotic stresses.3. RT-PCR analysis confirmed that the expression of the BjCHI1 gene in B. juncea was inducible by PEG and NaCl.4. The transcription start site was determined by 5′-RACE, and was located at the 17th nucleotide upstream of the translation initiation codon of the BjCHI1 gene.5. A -805/+17 promoter fragment was enough to response to wounding and MeJA induction, which was proved in transgenic tobacco and Arabidopsis plants. The 397 bp region between -805 and -409 of the BjCHI1 promoter contains a cis-acting element that is essential for the wounding and MeJA inducibility.6. The -695/-620 region was necessary but not sufficient to confer MeJA-responsive expression. A T/G-box locates in -353 play an important role in the expression of the BjCHI1 gene in response to MeJA treatment. The 76 bp region is coupled with the T/G-box to confer full MeJA-inducible transcription of the BjCHI1 gene.

主要结果如下：1、利用转基因拟南芥植株分析表明，正常生长条件下，BjCHI1启动子(-1060/+17)驱动GUS基因主要在花柱中表达，幼嫩的荚也有表达，并随着果荚的成熟而减弱，成熟的果荚、种子和根没有显示GUS活性。2、BjCHI1启动子(-1060/+17)能驱动GUS基因在转基因烟草和拟南芥中响应伤害的诱导，转基因拟南芥的分析还证明BjCHI1启动子也受MeJA、NaCl和PEG的诱导，证明BjCHI1启动子是一个伤害、MeJA、NaCl和PEG等生物和非生物因素诱导启动子。3、RT-PCR进一步证明芥菜中BjCHI1基因也受NaCl和PEG的诱导表达。4、5′-RACE法鉴定了BjCHI1启动子的转录起始位点，位于翻译起始位点ATG上游第17个碱基A.5、转基因烟草和拟南芥分析证明，-805/+17的启动子片段足以响应伤害和MeJA的诱导，-805和-409之间397 bp的启动子片段含有对伤害和MeJA诱导必要的元件。6、本明烟叶片瞬时表达系统分析证明，一段76 bp的序列(-695/-620)对BjCHI1启动子响应MeJA的诱导是必要的，但不足以响应MeJA的诱导，位于-353的T/G-box也参与MeJA的诱导。76 bp的序列(-695/-620)与T/G-box协同起作用，赋予BjCHI1启动子MeJA诱导性。

How when we are in a Doubt or Hesitation, whether to go this Way, or that Way, a secret Hint shall direct us this Way, when we intended to go that Way; nay, when Sense, our own Inclination, and perhaps Business has call'd to go the other Way, yet a strange Impression upon the Mind, from we know not what Springs, and by we know not what Power, shall over-rule us to go this Way; and it shall afterwards appear, that had we gone that Way which we should have gone, and even to our Imagination ought to have gone, we should have been ruin'd and lost: Upon these, and many like Reflections, I afterwards made it a certain Rule with me, That whenever I found those secret Hints, or pressings of my Mind, to doing, or not doing any Thing that presented; or to going this Way, or that Way, I never fail'd to obey the secret Dictate; though I knew no other Reason for it, than that such a Pressure, or such a Hint hung upon my Mind: I could give many Examples of the Success of this Conduct in the Course of my Life; but more especially in the latter Part of my inhabiting this unhappy Island; besides many Occasions which it is very likely I might have taken Notice of, if I had seen with the same Eyes then, that I saw with now: But 'tis never too late to be wise; and I cannot but advise all considering Men, whose Lives are attended with such extraordinary Incidents as mine, or even though not so extraordinary, not to slight such secret Intimations of Providence, let them come from what invisible Intelligence they will, that' I shall not discuss, and perhaps cannot account for; but certainly they are a Proof of the Converse of Spirits, and the secret Communication between those embody'd, and those unembody'd; and such a Proof as can never be withstood: Of which I shall have Occasion to give some very remarkable Instances, in the Remainder of my solitary Residence in this dismal Place.

有时，我们会陷入无所适从的境地，踌躇不定不知道该走哪条路才好。这时候，内心常常会出现一种暗示，指示我们走这条路，虽然我们原来想走的是那条路。不仅如此，有时我们的感觉、愿望、或我们的任务明明要我们走那条路，可是心里忽然灵机一动，要我们走这条路；这种灵机也不知道是从哪里来的，也不知道出自什么影响，可就是压倒了原来的一切感觉和愿望，使我们走这条路。结果，后来的事实证明，如果我们当初走了我们自己想走的路，或者走了我们心目中认为应该走的路，我们则早已陷于万劫不复的境地。反复思索之后，我自己定下了一条规矩：每当自己心里出现这种神秘的暗示或冲动，指示我应做什么或不应做什么，我就坚决服从这种神秘的指示，尽管我不知道为什么该这么做或该这么走，我知道的只是心里的这种暗示或冲动。在我一生中，可以找出许许多多这样的例子，由于我遵循了这种暗示或冲动而获得了成功，尤其是我流落到这个倒霉的荒岛上以后的生活，更证明了这一点。此外还有许多例子。当时我若能用现在的眼光去看待，是一定会意识到的。但是，世上有许多道理，只要有一天能大彻大悟，就不算太晚。我奉劝那些三思而后行的人，如果在他们的生活里，也像我一样充满了种种出乎寻常的变故，或者即使没有什么出乎寻常的变故，都千万不要忽视这种上天的启示，不管这种启示是什么看不见的神明发出的。关于这一点，我不准备在这里讨论，也无法加以阐明。但这种启示至少可以证明，精神与精神之间是可以交往的，有形的事物和无形的事物之间是有神秘的沟通的。而且，这种证明是永远无法推翻的。关于这一点，我将用我后半生的孤寂生活中一些很重要的例子加以证明。

Objective: To study the effect of polycythemia on blood oxygen saturation.

裴蕾目的：观察RBC剧增而引起的高粘血症对血氧饱和度的影响。

Based on SIMPLER algorithm in the curvilinear body-fitted coordinates, the calculations were performed for Pr=0.7, Re=10~1000 on non-orthogonal non-staggered grids which are generated by elliptic equation systems.

采用曲线坐标系下压力与速度耦合的SIMPLER算法，数值研究了周期性渐扩渐缩波纹通道内脉动流动与换热情况，流动Re数的范围为10~1000，Pr数为0.7。