抽象空间

The stoical and global environment is given, which is abstracted with grid method before the workspace model of the robot being built. With the adoption of the ant colony algorithm, the foraging behavior of ant colony is simulated. According to the optimization condition, the robot tries to find a path which is optimal or optimal-approximate path from starting point to goal, that is global path planning.

本文讨论的机器人环境为静态全局环境已知，通过栅格法对已知环境进行抽象，建立机器人工作空间模型，并采用蚁群算法，模拟蚂蚁觅食行为，根据优化条件搜索出一条从指定起点到终点的最优或近似最优路径，即全局路径规划。

By using homeomorphism method and the extended inverse function theorem,the existence and uniqueness of the solution for the semi-linear pseudoparabolic equations is obtained.

首先在Hilbert空间中建立了强制不等式，利用同胚方法和抽象的反函数定理，得到了半线性伪抛物方程初边值问题解的存在性和惟一性定理。

Contemporary purveyors of the Way of Negation standardly amend Frege's criterion by requiring that abstract objects be non-spatial or causally inefficacious or both.

对抽象对象所需要的标准，当代对Frege的否定方法的标准修正是'非空间的『 non-spatial 』'或'因果上无力的『 causally inefficacious，不起因果作用的』'或两者一起。

Based on QoS space,this paper gives a way of multiple dimension modeling and analyzing of QoS management,and also gives the Integer Programming and Nonlinear Programming solution of this model.

该文以中国高速信息示范网重大课题核心路由器为分析背景，以QoS空间这一数学抽象概念为基础，建立了一个多维QoS管理模型，并且按照整数规划和非线性规划的思想，给出了该模型的求解方法。

In the end.we prove that the limit probability distribution of the Markov chains exists.

特别讨论了一种基于特殊选择的抽象进化算法，根据状态空间的分类，分析了这种特殊选择进化算法种群的一步转移概率矩阵的性质，最后证明了这种算法的Markov链存在极限概率分布。

In chapter 5, stating traditional local habitation characters such as continuity, variation ,integration and beyond present,by summing-up different designing tact such as"outwardly optimizing","abstracting and variation".

分析了白酒坊风情街以及周边的历史和现状，在大量实地调研考察的基础上，做到了白酒坊民俗风情街的景观设计的合理定位：即把江南小巷空间、江南传统民居建筑外装修和内装修的典型特点作为符号，运用到景观设计当中，与整个夫子庙风光带的景观设计达到了和谐统一，本章最后，通过分析白酒坊风情街景观设计的案例，总结出在景观设计的过程可以采取"表层优化"、"抽象变异"等不同的表现手法，来体现传统民居建筑符号的延续、变异、整合与超越。

We investigate strong wellposedness and solvability of higher order ab-stract Cauchy proublems in a sequentially complete locally convex space,estab-lishing a Hille-Yosida-Phillips type characterization theoremand obtaining a solvability result.

研究序列完备局部凸空间中高阶抽象Cauchy问题的强适定性与可解性。关于强适定性建立了一个Hille-yosida-phillips型特征刻划定理，并获得一个可解性结果。

As a application of the above results, some minimax inequalities and saddle point theorems can be obtained. In addition, fixed point theorems and section theorems, maximal element theorems and the existence theorems of equilibrium for abstract economies can also be discussed.

作为应用，可以得到L-凸空间中极大极小不等式和鞍点定理；进一步，还可以探讨不动点定理和截口定理，极大元定理和抽象经济的平衡存在性等问题。

The abstract result contains several concrete results in the literature and can also be used to deal with some new cases for resonant differential equations.In the introduction, we briefly introduce the development process of the variational methods. In Chapter 2, we list some basic knowledges refering to the variational methods, including the Sobobev space,—△ operator, the weak solution and the minimizing sequence methods and some minimax theorems. In Chapter 3, we introduce the research process of Hamiltonian system of second order and the semilinear elliptic problems, using the methods introduced previously. In Chapter 4, we prove the main theorem of the thesis, and apply it to the problems in the previous Chapter, and can also be applied to some new resonant cases.

在前言中，简要介绍了变分法的产生、发展过程，在第二章中我们介绍了有关变分法的一些基本知识，包括Sobolev空间，—△算子，弱解，极小化序列方法和一些极小极大定理，在第三章中我们介绍了非线性项有界或满足次线性条件，以及它满足推广的Ahmad-Lazer-Paul条件时，二阶Hamiltonian系统和半线性椭圆问题的研究历程，最后在第四章中我们证明了本论文的主要定理，并把它应用到第三章的问题中，使得前面的几种共振的情形都可以统一到这个抽象的结果中。

Body, feelings, thoughts, ideas, time, space, being and not-being, this or that ― nothing concrete or abstract you can point out to is you.

身体、感觉、思想、观念、时间、空间、在与不在、这个那个－－任何你可以比划的、无论具体或抽象、皆不是你。

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%的主要污染物排放，就是一个这样的例子。