For any formal theory in which basic arithmetical facts are provable , it is possible to construct an arithmetical statement which , if the theory is consistent , is true but not provable or refutable in the theory 对任何基本算术事实是可证明的形式理论来说，如果该理论是一致的，那么就可以构造一个算术陈述，它是正确的，但无法使用该理论证明或推翻。
In chapter 3 , we discussed the propagation of the atom laser beam , with the transverse independent of gravitate direction , which had non - conservation quality factor based on the theory of abcd formulation of propagation of a time - dependent quantum system 第三章：本章在含时量子系统的schrdinger形式理论的基础上初步讨论原子激光? ?这种品质因子不守恒的含时量子系统的传输问题。
However , the theory gets into dilemma when it tries to explain some kinds of criminal acts found in the amended criminal law which became effective in 1997 , for these criminal acts have two kinds of mental faults , including both indirect intention and recklessness 虽然人们在对这些罪名的罪过形式进行分析判定时,所依据的无一例外都是通行的罪过形式理论,但得出的结论却不尽相同,有的甚至完全相反。
We give a mathematical proof for the model - approximately independence of anc coefficient . combining a concrete nuclear reaction , we check up the model - approximately independence of anc coefficient with numeric calculation . under the el transition condition , a expressions with anc coefficient to compute the cross section of radiative capture reaction has been given in this thesis 我们对anc系数的近似模型无关性给出了一个数学形式理论证明，并结合具体的核反应，利用数值计算验证了anc系数的近似模型无关性；在e1跃迁情况下，我们给出了一个用anc系数计算辐射俘获反应截面的计算公式。
The taking this into consideration , then becomes this article . the article divides into four parts . the first part , is about the government income form theory , mainly is makes some theories to this article research the preparation , introduced the government income form and its the choice , as well as standard government income form ; the second part , the government income form international comparison and the model , mainly introduced the mature market economy country government income form and the management aspect success experience and its the multi - our country ' s enlightenment ; the third part , elaborated the government 第一个部分,是关于政府收入形式理论,主要是对本文的研究做一些理论的准备,介绍了政府收入形式及其选择,以及规范的政府收入形式;第二个部分,政府收入形式的国际比较与借鉴,主要介绍了成熟市场经济国家的政府收入形式及管理方面的成功经验及其对我国的启示;第三个部分,论述了政府收入形式结构现状以及形成原因,传统计划经济时期的政府收入形式状况,并对转轨时期中国税费关系的矛盾进行了分析;第四个部分,在前文的研究基础上,提出了规范我国政府收入形式的总体思路与对策建议。
According to the traditional theory on criminal fault in china , there are four concrete criminal faults , namely direct intention , indirect intention , recklessness and negligence , and every kind of criminal acts has one and only one corresponding mental fault , moreover it ’ s impossible for one kind of criminal act to have two kinds of faults 根据我国通行的罪过形式理论,一种犯罪只能有绝对排它的一种罪过形式:或是故意,或是过失,非此即彼,而不可能跨种越类、亦此亦彼。同时,现行刑法明文规定: “过失犯罪,法律有规定的才负刑事责任” 。
An effective quality factor representing both the interaction between atoms within the atom laser and the quality factor is introduced to study the propagation of the atom laser beam . we derive the abcd formulation of the propagation of an atom laser beam with arbitrary beam profile including the interaction between atoms within the atom laser by means of the theory of quantum mechanics 因此，本章在schrsdinger形式理论的基础上，引入守恒的有效品质因子来讨论有效品质因子守恒的的含时量子系统?原子激光(考虑了原子激光内部原子间相互作用)传播子的有效abco形式。
In chapter 2 , a schrodinger formulation for paraxial light beam propagation of the real and comprehensive refractive indexes is represented . the equation for the atom laser beam wave - function is also given by a schrodinger equation , which is similar to the equation of the time - dependent system . therefore , it is possible to investigate the propagation of an atom laser beam 第二章：本章介绍了傍轴光束在实数折射率介质和复数折射率介质中传输的schrdinger形式理论，同时指出由于原子激光的传输满足schrdinger方程，与含时量子系统的传输方程类似，故利用含时量子系统的schrdinger形式理论来研究原子激光的传输是可行的。
The equation for the quasi - continuous atom laser beam wave - function is given by schrodinger equation , the beam width , divergence curvature radius and quality factor were introduced to represent the atom laser beam whose transverse potential could be separated . for the conservative quality factor system in some direction , we can ge t the propagator of abcd formulation 本文在含时量子系统传播子的abcd形式理论的基础上，引入某一方向的束宽、发散角、曲率半径和品质因子等光束传输参数来表征横向势能满足x和y分量相互独立的原子激光的传输。
