查询词典 constructive existence proof

God cannot alter the past; that is why he is obliged to connive at the existence of historian.

神不能改变过去；惟其如是，他就不能不对历史家的存在一只眼开一只眼闭了。

God cannot alter the past;that is why he is obliged to connive at the existence of histonjans.

神不能改变过去，惟其如是，他不得不对历史学家的存在睁一眼闭一眼。

It takesthe weighted average of the L2 norm of the difference of the observation and thesolution of the system and the L2 norm of the difference of conormal derivativeat the different sides of the interface for every subdomain as cost functional andthe smooth coefficients of the subproblem and the value of solution of the originalproblem at interface as identification parameters;Using the property of continu-ous functional defined on compact set,the existence of the optimal solution of theidentification problem is proved;The necessary conditions of optimality charac-terized by the system equation,the adjoit equation and the variational inequalitysimultaneously are given by introducing the conception ofdifferential andadjoit variable;An algorithm is devised and its flow graph is given.

其次，针对分片光滑动力系统的特征，结合正演过程的区域分解算法，建立了分片光滑系统的分解区域参数辨识模型，该模型以子区域上解的实测值与计算值之差的L2范数和界面两侧的通量差的L2范数的加权平均作目标泛函，各子问题的光滑系数及界面上真解的值为待辨识参量；利用紧致集上连续泛函的性质，证明了子区域上参数辨识问题最优辨识参量的存在性；引入微分的概念，借助伴随变量，给出了由系统方程，伴随方程和变分不等式共同表征的最优性必要条件；根据此必要条件设计了算法，给出了算法的程序框图。

And the whole subsequent development of the family presupposes the existence of the consanguine family as a necessary preparatory stage.

家庭后来的全部发展，使我们不能不承认这一点，因为这种发展要求这一家庭形式的存在作为必然的最初阶段。

I am conscious of my own existence in time.

我意识到我自己的存在是在时间中被规定的。

Contrary to common sense, all existences depend on the consensual existence of all others.

与常识相反，一切实体的存在都取决于其他物体的同感存在。

In order to reduce the design conservativeness, a condition for the existence of a parameter-dependent separator is proposed, and further the filter design can be converted into the optimization problem involving linear matrix inequalities.

为进一步降低设计的保守性，文中还给出了一种依参数分离算子的滤波器存在条件，并将滤波器设计转化为线性矩阵不等式表述的凸优化问题。

It is worthy of researching and exploring the definition and understanding of consignor in particular because of the existence of many viewpoints and ideas about it.

尤其是对于交货托运人的定义和理解，理论上和实践上存在很多观点和看法，值得我们研究。

It is worthy of researching and exploring the definition and understanding of consignor in particular because of the existence of many viewpoints and ideas ab

尤其是对于交货托运人的定义和理解，理论上和实践上存在很多观点和看法，值得我们研究。

The control inputs guarantee the asympototical stability, and the global existence and uniqueness of solutions for the initial value problems of systems under some consistency conditions also.

第二节，我们将变结构控制的思想应用到一类带变秩系数阵的线性时变广义系统，以确保系统运动过程中出现的新的相容性条件的满足，从而确保系统初值问题解的整体存在唯一性。

We are in a good position to meet your requirements.

我们完全可以满足你方的需求。

We are all pervade d with a sense of disaster.

我们普遍有大祸降临的感觉。