中分

With the investigation of the domestic and foreign literature systematically, the bases on the domestic and foreign present research and the comprehensive utilizations of the various knowledge of fluid mechanics in porous medium, reservoir engineering, mathematical physics, perforation completion, numerical simulation and so on, this article takes numerical simulation of gas reservoir of water solubility as the research aim which has completed following research works and obtained the corresponding research results: it analyzes the nature of the Water-soluble gas and formation water as well as the influent factors of the solubility through the study of massive materials; It establishes mathematical models three-dimension, the dual medium, the gas-water phase through the way of finite difference in the migration of water-soluble gas, which describes the entire process of release, migration and production in formation, where it considered the problems of variable bubble point; According to the numerical models of gas reservoir of water solubility it provides solution procedure that based on black oil model; It discovers that there will obtain the good effects in the lowly speed of development through simulation; the reinjection of formation water may largely enhance the produce degree of water-soluble gas when we consider reinjection in simulator; It considered the influence of perforated completion on development so as to increase the simulator"s versatility, It discovers that the simulator may reflect the conditions of development when we exanimate he simulator"s reliability with the empirical datum.

本文以水溶性气藏数值模拟研究为研究目标，在系统调研国内外文献、深入分析国内外研究现状的基础上，综合利用渗流力学、油气藏工程、数学物理方法、射孔完井以及数值模拟理论等多方面的知识，完成了以下研究工作并取得相应的研究成果；①通过对大量的资料调研，分析了水溶气、地层水性质、储层地质性质以及影响气体在水中溶解度的因素。②考虑到由于高压产生的大量水力裂缝，采用有限差分方法建立水溶气运移的三维、双重介质、气-水两相全隐式数学模型，该模型描述了水溶气在地层中的释放、运移和采出的整个过程。③在原有黑油模型的基础上，根据水溶性气藏数值模型编制了该数值模型的求解程序，该程序可以求解单重、双重介质两种情况。④通过模拟不同开采速度对水溶气开发效果的影响，发现开采速度较慢的时候可以取得较好的开采效果。⑤在模拟器中考虑了注水对水溶性气藏开发的影响，地层水回注可以大幅度提高水溶气的采出程度。⑥为增加模拟器的通用性，在模拟器中考虑了射孔完井方式对开采的影响。⑦检验模拟器计算的可靠性，发现在使用实验数据对水溶性气藏进行模拟时，模拟器可以很好的反映气藏开发的状态。

In some real-world problems, the mapping of the variational inequalities does not have any explicit forms and only the function value can be evaluated or observed for given variables.

现实世界中，变分不等式问题中的映射没有具体表达式而只能在计算过程中对给定的自变量观测到相应的函数值。

The third part presents the collection of patent indicators horizontally from the point of patent exterior characteristics, such as quantity, time, geography and citing. The following part unfolds the usage of patent indicators in government, organization and technology field with real-life cases and highlights the core patent indicators from these fields. The last partof this dissertation summarizes the application of patent indicators and problems of patent analysis and suggested corresponding solutions.

全文共分6章：第一章主要阐述本文的研究内容、研究意义、研究方法和国内外研究现状；第二章论述专利的特点和进行专利分析的理论与实践基础，论证专利分析的可行性及其在战略决策中可发挥的作用；第三章对专利分析的指标进行梳理和定义，主要从横向层面上对专利分析指标进行了归类和简单的意义解释；第四章从纵向层面上探讨专利分析指标在国家、机构、技术领域决策中的应用，通过实例应用，筛选出各层次分析的核心指标；第五章结论，对专利指标的应用及指标应用中存在的问题进行归纳、思考和探讨。

The Taylor formula holds the very important status in the differential calculus, especially in solves in some concrete problems to have the extremely important application, for instance the proof inequality, the judgment improper integral collects the divergence, asks the function the limit, asks the function the higher order derivative, determines certain complex progressions to collect the divergence, solves certain differential equation, as well as approximate calculation in and so on application, therefore this article will do the thorough research to these seven aspects.

摘 要：泰勒公式在微分学中占有非常重要地地位，尤其在处理1些具体的茄题中有10分重要的应用，比如证明不等式，判断广义积分的敛散性，求函数的极限，求函数的高阶导数，判定某些复杂级数的敛散性，求解某些微分方程，以及近似计算等中的应用，因此本文将对这七个方面做深入的研究。关键词：泰勒公式；不等式；广义积分；极限；高阶导数；复杂级数；微分方程

First of all, the report introduced evolution, achievments and problems in the study of anisotropy in the inner of earth. The first-order hyperbolic system of equations is work out, which is used to describe the wave motion in 2D transversely isotropic media. Utilizing the characteristics of free-divergence, We have imposed MacCormack theme that is used to simulate multicomponent records in anisotropic media and have developed a fast high order vectorized finite-difference algorithm adapted for the vector supercomputer.

本文首先阐述了地球内部介质各向异性研究的沿革、成就和问题，接着给出了描述二维横向各向同性介质中波动的一阶双曲型方程，利用其自由发散特性，构制了各向异性介质中多波多分量地震记录数值模拟的MacCormack算式，导出了适用于并行计算的二维横向各向同性介质中波动的有限差分模拟算子，该算子具有可并行化计算、相位差小等优点。

Compared with the comparison group,the number of children who have positive history of hypersusceptibility and familys disease are markedly different. 2.Compared with the comparison group, the number of children not only between the congruity constitution and non-congruity constitution,but also between the Fei-Pi constitution and Pi-Shen constitution have significant difference.AH the children in CVA group are non-congruity constitution types.Of all the children with Fei-Pi constitution types,there is much more distributing in CVA group than that of comparison group. 3.The criterion of constitution types which is adopted in this research can be recommended in some degree and area. 4. there is a hypothesis that probably the particular constitution which caused the CVA in the episode of CVA.

1、与对照组相比，CVA患儿有过敏史及相关疾病家族史人数比较差异极其显著。2、两组儿童调和质人数和非调和质人数比较差异极其显著，CVA组患儿均为非调和质；CVA组和对照组儿童非调和质中A、B型差异极其显著，CVA组B型体质分布偏多，CVA组与对照组肺脾质儿童中也以CVA组B型体质分布居多。3、本研究所采用的体质分型标准在CVA患儿的体质研究中可以在一定范围内一定程度上采用。4、CVA患儿病因上可能存在体质发病途径。

Simons [30] proved the non-existence theorem for stable integral current in acompact Riemannian submanifold isometrically immersed into a unit sphere andvanishing theorem for homology groups. In 1984, Y. L. Xin [47] generalized theLawson-Simon\'s nonexistence theorem for stable integral current and vanishingtheorem for homology groups to the case of compact submanifolds in Euclideanspace, and gave several important applications.

Simons运用Federer-Fleming存在性定理[19]和几何测度论中变分技巧证明了单位球面中紧致黎曼子流形上稳定积分流的不存在性定理和同调群消没定理[30]。1984年，忻元龙将Lawson-Simons稳定积分流的不存在性定理和同调群消没定理拓广到了欧氏空间中紧致子流形的情形，并给出了若干重要的应用[47]。1997年，K。

Simons [30] proved the non-existence theorem for stable integral current in acompact Riemannian submanifold isometrically immersed into a unit sphere andvanishing theorem for homology groups. In 1984, Y. L. Xin [47] generalized theLawson-Simons nonexistence theorem for stable integral current and vanishingtheorem for homology groups to the case of compact submanifolds in Euclideanspace, and gave several important applications.

Simons运用Federer-Fleming存在性定理[19]和几何测度论中变分技巧证明了单位球面中紧致黎曼子流形上稳定积分流的不存在性定理和同调群消没定理[30]。1984年，忻元龙将Lawson-Simons稳定积分流的不存在性定理和同调群消没定理拓广到了欧氏空间中紧致子流形的情形，并给出了若干重要的应用[47]。1997年，K。

For example, we analyzed why this construction came into being in Chinese, the essential reason is that t here is not the distinction of verb's definite form and indefinite form,(改为: there is no distinction between verb's definite form and indefinite form)and, parataxis in sentence making.

如我们考察了一个汉语中连动结构产生的原因，汉语中连动结构产生的根本原因有两条：汉语动词没有限定形式和非限定形式之分，以及汉语中的意合组句的方式。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新