抽象空间

The logical negation is also used in the precondition of the prototype action.Based on the set of prototype actions and the complementary abstract state space,the applicable abstract actions of certain abstract state can be obtained easily.

原型行动中同样引入了逻辑否定表示行动的执行条件，根据原型行动和互补的抽象状态空间，可以很容易得到抽象状态上的可执行抽象行动。

By introducing the generating method and the expanding method,a complementary abstract state space can be constructed using the generating method on goal state once and the expanding method several times in turn.They are useful tools for designers to construct the complementary abstract state space in an easy way,where the complementarity of abstract states means that each ground state can only be represented by one abstract state and all the ground states can be represented by all the abstract states.

然后又提出了抽象状态空间的生成方法和扩展方法，从一个准确描述的的目标抽象状态开始，使用一次生成方法和多次扩展方法，可以让设计者很容易的得到一个规模适度的互补抽象状态空间，即每个基本状态只有一个抽象状态来表示，所有的抽象状态又能表示所有的基本状态。

For a very complex domain,it is rather difficult for the designer to give a perfect state space and criterion for judgement.

对于复杂的领域，设计者很难给出完善的互补抽象状态空间，也很难对给出的互补抽象状态空间进行评价。

Li Hui has repeatedly expressed his insecurities towards life through rays of laser lights; the smoky ambience created by the fogger stressed the tensions one can feel in an abstract space.

李晖不断透过雷射光束表达他对生命的不安全感；烟雾缭绕的氛围加深了一个人在抽象空间中所能感受到的紧绷感觉。

This project also obtained several limit theorems for some important dependent random variables and stochastic processes, such as the Strassen law of the iterated logarithm for negatively dependent random variables, strong limit theorems for mixing random vectors in Banach spaces, sample path properties for two-parameter fractional Wiener processes, and so on.

随机环境中的随机变量与随机过程的研究在国内外相当活跃，本项目主要研究它们的极限性质，着重研究了随机风景中随机变量与随机过程的极限性质，主要取得了以下几个结果：首先对简单对称的Kesten-Spitzer随机游动在低阶矩的条件下给出了强逼近，大大减弱了前人要求任意阶矩的条件，然后对独立风景中的一般随机变量给出了强逼近的一般性结果，由此导出在风景和随机变量都只具有低阶矩的条件下的独立但不同分布、混合相依变量的强逼近，在只有弱高于二阶矩的条件下得到了重相对数律和弱收敛；给出了连续时间参数的Brown风景中Brown运动和稳定风景中稳定过程的滞后增量和连续模等精确样本轨道性质；同时给出了一些重要的相依随机变量和过程的若干极限定理，如负相关随机变量的Strassen重对数律、抽象空间上混合相依变量的一些强极限定理成立的充分必要条件、两参数分数Wiener过程的样本轨道性质等。

Newtonian fluid mechanics, nuclear physics, the theory of boundary layer.

近十年来，抽象空间中的常微分方程理论已经发展成为现代数学中的一个新的重要的分支(见[4，11，12])。

Singular boundary value problems are considered in many problems, but, people can get better results, using theories of function to study these problems.

然而，在抽象空间中对奇异边值问题的研究，还不是很多，刘衍胜教授在文[4]中做过一些探讨，本文第一章把原文作了一般性推广，并给出了算子全连续的条件，然后利用不动点定理得到了正解的存在性。

As an application of continuous wavelet transform,we discuss the relationsbetween some differemtial equaltions and the integral equations by using thecontinuous wavelet transform in 〓,vector function space andabstract function space respectively;prove that they are equivalent not only in theweak topology but also in the strong topology.

作为连续小波变换的应用，分别利用〓上的，多元函数空间上的，向量函数空间上的和抽象函数空间上的连续小波变换分别得到了某些线性微分方程，某些线性偏微分方程，某些向量线性微分方程和某些抽象函数的微分方程分别等价于其相应的积分方程，证明了它们不仅在弱收敛意义下而且在范数收敛意义下是等价的。

None. But this would appear to be another unreflective application of the unpersuasive inference noted above. In this case: Sets are abstract; abstract objects do not exist in space.

但是，这显然是前面那个没有说服力的推理的未经反思的使用——在这里，集合是抽象物，抽象物不存在在空间里，所以，集合必然不存在在空间里——但是，前述示例使得，有理由怀疑这个推理的信服力。

However, it can only implement the limited operation to the spatial objects, cannot carry on transformation, index, interlink age and excavation to the spatial data, and hard integrate other information with combining map variable to set up and analysis new variable. Meanwhile, relational model in the traditional DBMS and the object- oriented modeling do not completely suit the spatial application domain. The relational model can handle topological relation well, but shows inabilities to that complicated level crossing the spatial region. Object-oriented model using software method based on the principle of the customer defined data type supports the abstract data type, especially spatial abstract data type, and possesses polymorphism and inheritances, and it can deal with topological and the layer relation, but hardly processes important continuous phenomenon in space.

GIS是当今操作有关空间信息的成熟工具和技术，但其只能对空间对象进行有限的操作，不能对空间数据进行变换、索引、链接和挖掘，难以集成其他信息来构建和分析新变量；而传统数据库管理模型中的关系模型和面向对象建模也不完全适合空间应用这一领域，关系模型能够较好地处理拓扑关系，但对表示横跨空间区域的复杂层次却无能为力；面向对象模型的软件方法支持抽象数据类型，特别是空间抽象数据类型，具有继承性和多态性，能够处理拓扑和层次关系，但难以处理空间中重要的连续性现象。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。