部分

This paper provides a method of variable integrity testing to detect the faults of software By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging As a consequence, the testing becomes more precise

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准1 引言软件测试的本质在于针对要测试的内容确定一组测试用例[1] 测试用例分为输入和输出两部分功能测试和结构测试等基本的软件测试方法，都比较关心测试用例的输入部分定义域的确定，而对测试用例的输出部分考虑得较少例如，边界测试和等价类测试[2 ] 只考虑测试用

A can bottom (16) having an approximately frustoconical portion (8) extending downardly and inwardly from the can side wall (4), an annular nose portion (16) extending downwardly from the approximately frustoconical portion, and a central portion (24) extending upwardly and inwardly from the nose.

一种罐头(16)，它具有一个从罐头侧壁(4)向下向内延伸的大致截顶圆锥部分(8)，一个从大致截顶圆锥部分向下延伸的环形凸出部分(16)，以及一个从凸起向上向内延伸的中心部分(24)。

In order to compensate for the difference in the height of the cold end center section and the hot end center section and the resulting difference in the distance between the hot and cold center section and between the hot and cold connecting plate duct assemblies, the main support pedestal panels include offsets which extend downwardly along the sides of the cold end center section to meet with the cold end connecting plate duct assemblies.

为了补偿冷气端中心部分与热气端中心部分的高度差，以及由此带来的热气和冷气端中心部分的距离差以及冷热气端连接板管道系统间的距离差，主承重支座板上有一偏移量，它沿着冷气端中心部分的侧面向下延伸直到与冷气端连接板管道系统相连。

This paper falls into four branches: in the first part, the genesis of psychology is reviewed, which is the early philosophical understandings of selfness, and the overall constructs of Buddhist self-view and criticism of egocentrism; in the second part, self understanding of conventional psychology and the "false self view of Buddhism are discussed; in the third part, self understanding of postmodern psychology schools and the "selflessness view" of Buddhism are compared; and in the last part, the "true self of Buddhism is explored.

本文主要分为四个部分，第一部分探讨了心理学的源头，即早期哲学对自我的认识，及佛教对于我的总体认识，和佛教对自我实有观的批判。第二部分探讨了传统心理学对自我的认识及佛教的"假我"之说。第三部分探讨了后现代心理学派对自我的认识，以及佛教的"无我"观。

The model in this paper takes the form as belowThe main contents and results in this paper are as follows:In section 1, we state our main analytical results on equilibria of the above system. First, several sufficient conditions for coexistence of the steady-state are given by the standard fixed-point index theory in cone. Second, the global structure of the coexistence solutions and their local stability are established by using bifurcation theory. Third, the multiplicity, uniqueness and stability of positive steady-state solutions to this system are derived by means of perturbation theory of eigenvalues, standard regularity theory, Sobolev embedding theorem and fixed-point index theory.

本文主要有两章内容：第一章研究了该模型正平衡解的性质，可分为三部分：第一部分运用极值原理、上下解方法和锥映射不动点指标理论得到正平衡解存在的充分条件；第二部分利用分歧理论给出了平衡态系统正分歧解的结构，并讨论了局部分歧解的稳定性；第三部分利用特征值扰动理论、标准椭圆正则化理论、Sobolev嵌入定理及指标理论讨论了正平衡解的多重性、唯一性及稳定性，并讨论了参数对解的影响。

The conclusion is that celeste color relate to the mica which contain chromium, the emerald jade has the same cause, the cause of green color of the green- pink jade has some relativity to epidote, green part of the white-green jade is found that the mineral is diopside which contain mass of iron and chromium.

通过显微镜下观察、电子探针、X射线粉晶衍射等常规岩石测试方法，并结合阴极发光，得出天蓝玉与翠绿玉的绿色部分主要为含铬的云母；绿粉玉中的绿色部分颜色产生与绿帘石有关，且由于Fe的含量比较高，造成了绿色部分比较暗淡，不鲜艳，且颜色较浅；绿白玉中绿色部分，经矿物分析主要为透辉石，且Cr、Fe含量都比较高，暗绿颜色成因与透辉石有关。

Among them the influence factor of the stock is mainly: Fund manager select stocks ability, investment style and ability to deal with the accident, national macroeconomy situation factor, the market value of stock usually have the direct influence to the fund net value; To bond part in the net value of the fund, interest rate and the investment ability of fund manager concerns the value level of this part of assets directly, because the securities regulator of our country has made the regulation to the proportion of the fund investment bond besides this, so, this proportion will restrict fund managers investment on the bond either, thus exercise an influence on some value of bond ; Besides stock and two bond, to another important component in the net value composition --The cash, we will all sum up its factor of exerting an influence for the mobile risk factor, namely the risk as a reasult of the exility of cash.

其中股票方面的影响因素主要是：基金经理的选股能力、投资风格和选时能力以及大盘走势与突发事件、国家宏观经济形势因素，股票市值通常受到这些因素的直接影响；对于基金净值中的债券部分来说，利率和基金经理的投资能力直接关系到这部分资产的价值高低，除此以外由于我国证券监管机构对基金投资债券的比例作了规定，因此，该比例也会制约基金经理在债券上的投资，从而对债券部分价值发生影响；除了股票和债券两部分以外，对于净值构成中的另一重要组成部分——现金，我们将对其产生影响的因素全部归纳为流动性风险因素，即由于现金的稀缺而导致的风险。

From the point of view, however, of its quantity, i.e. the separate sections into which it is divided, a tragedy has the following parts: Prologue, Episode, Exode, and a choral portion, distinguished into Parode and Stasimon; these two are common to all tragedies, whereas songs from the stage and Commoe are only found in some.

但从量的角度，即从可划分的各部分看，悲剧有以下组成部分：开场白、场次、出场和合唱部分，合唱部分分为进场歌和和唱歌；这两者是所有悲剧公共的部分，而台上所唱歌曲和哀歌只在一些悲剧中存在。

The approach of computational simulation is the finite element method.The whole research is combined by the following three parts. In part one, a program on quadtree method is compiled. It can automatically generate planar structures with all-quadrangular, good quality elements in high speed, and it can create data files on information of elements and nodes, which provide the foundation for finite element analysis. In part two, a program on finite element calculation is compiled by object-oriented method, During the simulation of fracture, the displacement and stress are calculated by the program.

本文的工作可分为三大部分：第一部分编制了四叉树法程序，通过它可对平面结构进行单元离散，快速自动生成质量较好的全四边形单元，并获得离散后的单元信息和节点信息，为有限元计算打下基础；第二部分利用面向对象方法编制了有限元计算程序，在破坏模拟过程中，利用它进行位移、应力分析；第三部分对脆性材料的破坏过程进行了模拟。

In the first chapter , we consider the law of iterated logarithm with finite partial sum. Under certain condition ,we extend the law of iterated logarithm with finite partial sum for the Wiener process to Gaussian process ; In addition, we apply the law of iterated logarithm of Chung to the finite partial sum condition.

第一章考虑有限项部分和的重对数律，在一定条件下，将 Wiener过程下有限项部分和的重对数律推广到高斯过程中，得到高斯过程下的有限项部分和的重对数律；另外，将Chung氏重对数律进一步推广到有限项部分和的情形下。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。