查询词典 convolution theorem

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

In the paper we generalize the while-rule in Hoare calculus to an infinite one and then present a sufficient condition much weaker than the expressiveness for Cook'2 relative completeness theorem with respect to our new axiomatic system.

程序推理使用的抽象机器与物理机器的差距降低了推理的精确度，为了缩小这个差距，本文提出了一个带位级别抽象的新抽象机，在这个机器里，二进制整数以纯语法的方式被表示成位矢量而不是非负整数。

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

A general model supporting the most commonly used scheduling algorithms for multi-core CPU is constructed by a PTL formula S, and the desired property of the system is described by a PTL formula F, then whether the system possesses the property can be identified by proving whether or not S implying P is a theorem based on the axiomatization of PTL.

使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S，并将系统期望的性质描述为PTL公式P，在PTL公理系统的基础上，通过证明S蕴含P是否为一个定理来验证系统是否具备该性质。

Applying the law of conservation of mass,movement theorem of steady flow , and applying the mathematical method of stream function with the consideration of the axis symmetry,the three components of velocity quantum of the flow are deduced in detail.

本文详细阐述了旋风分离器内流动在球坐标系中的数学表述和结果，应用质量守恒定律和定常流动的运动定律，在轴对称的考虑下，用流函数方法详尽推导了流动的三个速度分量。

In the fourth chapter,first of all,a metric space is derived by the Loeb measure space which is a standard measure space,follow that the Completeness,separability and the Baire theorem are expressed.

第四章中，首先由Loeb测度这个标准测度空间导出度量空间，接着讨论了该度量空间的完备性和可分性以及其Baire定理(来源：A8525B52C论文网www.abclunwen.com)。

By constructing suitable Banach space and applying integral equation, an existence theorem is established.

通过构造适当的Banach空间并且利用相应的积分方程我们对于边值问题建立了一个解的存在定理。

The purpose of this part is to study the delay differential systems in Banach space using the method of fixed point theorem.

一方面在非时滞的情况下通过构造比较函数，利用Brouwer不动点定理得到非时滞微分方程正周期解的存在唯一性，及周期解全局吸引的充分条件。

In this paper, an extended divide and conquer algorithm is intended proposed, which is for solving the real symmetric band generalized eigenvalue problem under distributing environment Eigenvalue partition theorem is presented and proved Based on divide and conquer by extension, this algorithm computes generalized eigenpaires of symmetric band matrix pencil by bisection and generalized Rayleigh quotient iteration Theoretic analysis and numerical results show that this algorithm is better than the classic software package LAPACK when bandwidth is small and the scale is large Combined with multisection, which has good parallelism, it got good effects under distributed environments

提出了分布式环境下计算对称带状广义特征值问题的一种扩展分治算法，给出了特征值分割定理及其证明算法在扩展分治的基础上，利用二分压缩结合广义Rayleigh商迭代计算广义特征对理论分析和数值实验表明，对于窄带宽大规模的广义特征值问题，该分治算法明显优于LAPACK软件包结合并行性好的多分法，在分布式环境下获得了很好的并行效果1 引言本文研究了对称带状广义特征值问题Ax =λBx ( 1)的并行计算，其中，A ，B均为半带宽为r的n阶实对称带状矩阵且其中之一是正定的本文总假设B是正定的求解此问题有两种传统方法，第1种方法是通过计算矩阵B的Cholesky分解，将问题( 1)转化为标准特征值问题[1～3] ，进一步

Then we use the diagram of Venn to analyse and predigest the theorem proof. And it is also used in probability addition and multiply、conditional probability、total probability formula、 Bayes formula to simplify the calculation of probability. So it is easy to understand and master.

进而利用Venn图分析、简化概率性质的证明以及Venn图在概率的加法与乘法、条件概率、全概率公式和贝叶斯公式中的应用，简化概率的计算，便于学习者理解和掌握。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。