查询词典 imbedding theorem

This article investigates the two-point boundary value problem to a coupled system of nonlinear fractional differential equations. By applying growth conditions on the nonlinear terms, we obtain an existence result of solutions. Our analysis relies on the Schauder fixed-point theorem and the reduction of the considered problem to the equivalent coupled system of integral equations.

本文讨论非线性分数阶微分方程耦合系统的两点边值问题，应用Green函数，将其转化为等价的积分方程耦合系统，并设非线性项在无穷远处有增长条件，应用Schauder不动点定理证明解而非限于正解的存在性。

At the aspect of refrainment of harmonic, the construction and theorem of power filter is introduced, which is used commonly.

在谐波抑制方面，对目前广泛应用的无源滤波器组成和原理进行深入分析。

N this paper, a new method for theorem proving of PTL based on constructing semantic refutation tree is presented.

本文通过对近10年命题时态逻辑定理证明方法的研究，提出了一种新的证明方法，前人的工作基于对公式的现时部分和后时部分的分解，本文的工作是基于语义反驳树构造。

Based on this definition, the curvature、regular and integral properties of the general offset curve are discussed. As a result, J.steiners celebrated theorem of the oval is developed.

并在此基础上做相应的讨论，研究其正则性、曲率和积分性质，推广了J.steiner关于卵形线的外等距线所围面积的一个著名定理。

In chapter six"The problem of sampling and interpolating signal in noise", According to generalized sampling theorem one, An exponential weighting algorithms is proposed and error performance is analyzed, the results are development and complement of relative literature.

第六章"噪声中信号的内插恢复问题"中，针对广义采样定理一，提出了指数加权恢复算法，并对其性能进行了分析和计算，对有关文献中的结论作了补充和发展。

Morishima's beautiful generalization of this Marx-Sraffa theorem,which can be stated as giving sufficient conditions for a subset of the goods to keep invariant relative prices as the profit rate changes, belongs to my Class A rather to Class B or Class C.

森岛通夫关于马克思－斯拉法定理很好的归纳，即可以被描述为在利润率改变的情况下为以一系列的商品保持不变的相对价格给出充分的条件，这属于我等级A的范畴而不是等级B或等级C。

O To describe the Chinese remainder theorem and its application.

o讨论中国剩余定理及其应用。

Classic Chinese Remainder Theorem solving program, you have to import the solution congruence theorems can be solved by!

经典的中国剩余定理求解程序，输入你所要解的同余式即可按定理求解！

This tinkering led them to apiece of ancient maths known as the Chinese remainder theorem.

这次改变使他们联想到了古老的数学问题——中国剩余定理。

A packet marking scheme to traceback the source of distributed denial of service based on Chinese remainder theorem was proposed.

提出了一种基于中国余数定理的包标记方案，对分布式拒绝服务攻击的来源进行追踪。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。