若干个

To conquer limitations of existing techniques for developing loop invariants, professor Xue Jinyun, who is imbursed under two National Nature Science Foundation of China, systematically research the theory and method of loop invariants and advanced the new definition and developing strategies for loop invariants. Based on above, he presented efficiency method of developing algorithmic program, Partition-and-Recur Approach, and its developing environment which bring into important play in formal method.

为了克服已有循环不变式开发技术存在的局限性，薛锦云教授在两个国家自然科学基金课题&若干新的算法程序设计和证明方法研究&和&实用的软件形式化方法及其开发工具的研究&的资助下，对循环不变式的理论和方法进行了系统的研究，提出了关于循环不变式的新定义和新的开发策略，并在此基础上形成了一种实用的算法程序形式化开发方法及其开发环境，在复杂算法程序及软件形式化开发中发挥了重要作用。

It base on correlative theory of environment landscape and expounds define and inscape of modern environment landscape design. From inscape and taste of environment landscape, discusses some characters of modern environment landscape design.

文章基于环境景观的相关理论，阐述了现代环境景观设计的定义和它的构成要素，从现代环境景观的构成和审美两个角度，探讨了现代环境景观设计的若干特征。

The carbonate reservoir is characterized by the fact that the azimuth of fractures is related with structural axis, the developmental extent of fractures and structural location are close related to dip of structure, low-dipping structural axis has not growth fractures. Otherwise, growth fractures, density of fractures are related thickness of layer, more thickness, then less density of fractures. Intra-fracture of layer is main. Some marlstone and anhydrite barriers exist in the reservoir, and become some non-connected oil-water system.

结果表明：碳酸盐岩油藏为裂缝的发育程度与构造位置及构造倾角的大小有关，构造轴部倾角小裂缝不发育，构造翼部倾角大，裂缝发育；裂缝发育密度随着单层厚度增加而逐渐减小；裂缝以层内缝为主，穿层大裂缝少；油藏中存在若干泥质灰岩和膏盐的隔夹层，形成多个连通不畅的油水分布系统。

Some of these returns could be reshipped to other customers, but many were either destroyed or held and sold at auction as remainders

若干退书可以重新装运卖给个其他顾客，但是大部分要么被销毁，要么被作为剩货来拍卖。

Whereas only a decade ago there were half a dozen big territorial disputes, the prickliest today is over a couple of islands between Iran and the United Arab Emirates and perhaps a brewing row between a future independent Kurdistan and a rump Iraq.

十年前，这里还存在着多个严重边界冲突，今天，仅剩下的冲突是伊朗和阿拉酋之间关于若干岛屿的冲突，或许未来独立的库尔德斯坦会与残余的伊拉克之间也会有边界冲突。

Two common examples would be where your spouse makes a damaging admission about some issue in the case, or communications with paramours.

两个常见的例子，将在你的配偶做出损害约取若干问题的情况下，或通信与paramours。

Two common examples would be where your spouse makes a damaging admission about some issue in the case, or communications with paramours.

两个常见的例子是当你的配偶做出有损收约若干问题的情况下，或信函狂砍。

With nearly one million words of print in the Ballantine/Del Rey series alone, eighty-five episodes of powerful animation, an equal number of comic book adaptations, numerous art and role-playing books, and supplemental source material including several college theses it should be clear that Robotech has traveled a great distance since "HAL," Haruhiko Mikimoto, sat down at his desk one day and inked the first sketch of raven-haired songbird, Lynn-Minmei.

拥有Ballantine/Del Rey系列印刷的上百万的文字，85集精彩的动画，类似数量的漫画改编，无数的美术和角色扮演书籍，以及来源于若干大学论文的补充素材，这一切都清楚地说明：自从美树本晴彦坐在他桌前画下了第一个黑发女歌手明美的形象的那一天起，太空堡垒已经广为传播了。

This thesis first re-explain the application ofgovernmental accounting according to the subject postulates of the four basis postulates, and suggest that the viewpoint of differentiating accounting recording subject and reporting subject and makes some suggestions how to establish the reporting subject in the Chinese government . Secondly, this thesis puts forward a viewpoint that we should take basis of accounting as a basic postulates of government accounting, and an analysis on the initializing mechanism and realization mechanism of governmental accounting worldwide, and last this thesis makes some suggestions on the Choice base of Chinese governmental accounting.

首先对现有四个基本假设中的主体假设在政府会计中的应用进行重新解释，提出区分记账主体和报告主体的观点以及对如何确立中国政府会计的报告主体提出建议：其次，主张将会计基础作为政府会计的一项基本假设，并结合国际社会政府会计实践对政府会计运用权责发生制和收付实现制进行了分析，提出中国政府会计基础选择的若干建议。

The algorithm only needs to solve an ill-posed linear system and a well-posed minimization problem and requires only the knowledge of the near field measurements of the scattered fields due to point source fields at a finite number of incidence and observation points distributed over a limited aperture.

该算法只需求解一个不适定的线性系和一个适定的非线性最小化问题，而且只需要点源入射场的散射场在某个有限孔径中若干有限个入射和测量点上的近场测量信息。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。