证明性的

The existence theorem of generalized weak efficient solutions with respect to variable, cone for a linear G〓teaux differentiable mapping is proved with set valued mapping fixed-point theorem and the relation between a vector optimization and a variational inequality problem. The existence of weak efficient solutions for multi-objective convex vector optimization is characterized.

建立映射在线性G〓teaux可微条件下关于可变锥的广义弱有效解的存在性及多目标凸向量优化问题在G〓teaux可微条件下弱有效解的特征，利用集值映射不动点定理及向量优化与变分不等式的关系证明线性G〓teaux可微锥凸映射关于可变锥的广义弱有效解的存在性定理。

The simulation results demonstrated the algorithm is stable, convergent and fair, and robust with respect to variants of stochastic delay and stochastically accessed users.

仿真证明，算法保证了闭环系统的稳定性、收敛性和公平性，对传输延迟的时变特性和用户的动态变化引起的测量误差具有较好的鲁棒性。

In the first section,the existence of solution for a class of non-linear systems with three -point boundary problem is obtained by applying the differential inequality theory .

在第一部分中，我们应用微分不等式理论证明了一类非线性系统三点边值问题解的存在性；在第二部分中，运用微分不等式理论研究了一类带有转向点的拟线性奇摄动边值问题的非单调内层解；在第三部分中，利用对角化方法研究了一类向量二点或者三点边值问题解的存在性，并获得解及它的一、二阶导数的渐近估计。

The motion control problems of uncertain robots is studied in this paper The main work consists of six parts 1 A novel robust outer-loop design method is proposed for the robot manipulators with constructed and unconstructed uncertainty The global convergence of the closed-loop system and the uniformly ultimate boundedness of tracking error when the continuous control law is used are proven The proposed method has better accuracy than the existing method.

本文研究具有不确定性的机器人的运动控制问题，主要工作由六部分组成：一、对具有结构型和非结构型不确定性的机器人提出了一种新的鲁棒外环设计方法，闭环系统的全局收敛性和连续化鲁棒控制器的终结有界性得到了证明，比已有方法有更好的跟踪精度。

CPU of airborne computer implements existing data acquisition of unpiloted vehicle with low efficiency. To improve the efficiency and to solve problems on reliability, real time and precision, the design of acquisition system based on DSP which can make a circuit acquisition for 54 channels data is put forward. After acquisition, the data can transfer between the system and CPU of airborne computer through dual-port RAM. The software and hardware methods to revise ADC on DSP are described. Evidences show that the system can meet with the flight control system on reliability, real time and precision.

现有无人飞行器数据采集均由机载计算机主处理器完成，效率较低，为了提高效率，解决数据采集的可靠性、实时性及精度等问题，设计了一种基于DSP处理器的数据采集系统，该数据采集系统能够对54路模拟量进行巡回采集，给出了系统的软硬件实现方法，在数据采集结束后，系统通过双端口RAM与机载计算机主处理器进行数据传递；为了提高DSP片内ADC的采集精度，给出了片内ADC的软硬件校正方法；实验证明，该系统具有较高的可靠性，能够满足飞行控制系统对传感器数据采集的实时性及精度要求。

Using augmented Dickey-Fuller test, the result shows that BDI logarithm series is nonstationary but the first difference is stationary, i. e. it is integrated of order one. High-level ARCH effect was certification in the BDI logarithm series by ARCH LM test, and GARCH (1, 1) model was used to eliminate the conditional heteroscedasticity. Through variance ratio test, the result shows, that the random walk hypothesis of BDI logarithm series can be rejected and international dry bulk shipping market is inefficient.

运用ADF检验方法对BDI的对数序列进行平稳性和单整检验，结果证明BDI对数序列是一个非平稳过程，经一阶差分后是平稳过程，即BDI对数序列是一阶单整过程；通过ARCH LM检验认为BDI对数序列存在高阶ARCH效应，并用GARCH(1，1)模型消除了残差序列的条件异方差性；通过方差比检验法对国际干散货航运市场的收益率序列进行了检验，结果显示BDI的对数序列的随机游走假设被拒绝，国际干散货航运市场不是一个有效的市场。

This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.

以D-ALCO的构建过程为基础，将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来，给出了D-ALCO的Tableau判定算法，证明了算法的可终止性、可靠性和完备性。

Applying the boundness and some propertities of the mean of integration, we get the sufficient condition of weak persistence in the mean, and the curve of demarcation between weak persistence in the mean and going-to death.

本文利用比较原理证明系统解的有界性，由解的有界性及积分均值的一些性质得到了种群弱平均持续生存的充分条件，并在一定条件下得到了种群弱平均持续生存与绝灭之间的分界曲线。

Applying the boundness and some propertities of the mean of integration, we get the sufficient condition of weak persistence in the mean, and the curve of demarcation between weak persistence in the mean and going-to death. An optima!

本文利用比较原理证明系统解的有界性，由解的有界性及积分均值的一些性质得到了种群弱平均持续生存的充分条件，并在一定条件下得到了种群弱平均持续生存与绝灭之间的分界曲线。

An explicit definition of local peak is shown, and the existence condition of local peak is given. It is proved that the GA is constringent at the neighbor of its local peak. The theoretical evidences of some improvements on GA are given, which points out the way forward for improving GAs performance.

关于遗传算法的收敛性研究的一些典型结果包括：文献 [2 ]分析了在种群规模无穷的情况下典型遗传算法的收敛性；文献 [3]证明了典型遗传算法不收敛，而如果对算法采取记录每一代中最佳个体的策略，则改进的算法收敛；文献 [4]提出了一种等价的遗传算法，并给出了收敛条件与收敛速度；文献 [5 ]研

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。