查询词典 absolutely summable sequence

For each type of testing, a necessary and sufficient condition is defined, under which a test sequence of an FSM is synchronizable. In this paper a new model—synchroniable digraph is proposed, which can judge whether there exist any synchronizable test sequence for a given specification without synchronization operation, and which can transform its nonsynchronizable test sequence to synchronizable test sequence if the answer is true. A method to judge how to add external synchronization operations in a nonsynchronizable test sequence to change it to synchroniable one is also proposed.

提出了一种新的同步测试序列生成模型——同步有向图，它可以判断一个给定的协议规格是否可以在不需要外部同步操作的情况下，产生同步测试序列；如果可以产生，则此生成模型可以将非同步测试序列转化为相应的同步测试序列；另外此生成模型还可以用来选择为测试系统增加外部同步通道的方法。

It is less known that the method used in this proof was mentioned for the first time at a conference of the Academy of Natural Sciences of the Serbian Royal Academy of Sciences in Belgrade in 1929, where Karamata introduced the notion of majorizability as a new condition of convergence for Abel summable series.

这是非常少有人知道，该方法在这方面的证据使用的，以及在一个自然的塞尔维亚皇家科学院在贝尔格莱德科学院于1929年，中国科学院会议首次提出在Karamata的一项新条件的majorizability概念收敛阿贝尔summable系列。

And many kinds of ways that any summable functions expande to FOURIER progression in symmetrical and dissymmetrical area that was defined , and

以及定义在对称和非对称区域上的任意可积函数展开成FOURIER级数的各种方法，并以典型算例说明其在数学中的应用。

The Ed1 sequence develops ascending and falling cycle in this area; the Ed2 sequence mainly develop the falling cycle; and Ed3 sequence develops ascending and falling cycle; the Ed4 sequence mainly develop the ascending cycle.

其中，Ed1层序在全区呈对称分布；Ed2层序主要发育下降半旋回；Ed3层序旋回对称明显，全区均有分布；Ed4层序在研究区内主要发育上升半旋回。

In this paper ,on one hand ,we establish the weakly asymptotic order of the classical Bernstein interpolation sequence approximate functionin the Wiener space(or 1-fold integrated Wiener space),on the other hand,we discuss the asymptotically order for the average error of Lagrange interpolation sequence, Hermite-Fejer interpolation sequence and Hermite interpolation sequence based on the Chebyshev nodes on the 1-fold integrated Wiener space.

本文一方面确定了经典的Bernstein多项式算子列逼近函数时在Wiener空间(或1-重积分Wiener空间)下的平均误差的弱渐近阶；另一方面确定了基于第一类Chebyshev多项式零点的Lagrange插值算子列、Hermite-Fejer插值算子列和Hermite插值算子列在1-重积分Wiener空间下的平均误差的弱渐近阶。

The examples show that not only two binary complementary sequence pair sets can be used to construct a new binary complementary sequence pair set,but also it can be extended to the design of new binary complementary sequence pair set through several individual ones. This method can extend the existence space of binary complementary sequence pair set.

通过实例表明利用该方法不仅可由两个二元互补序列偶集构造生成新的二元互补序列偶集，并可推广到由多个二元互补序列偶集构造新的二元互补序列偶集的设计中，从而扩展了二元互补序列偶集的存在空间。

In this dissertation, digital lock-in detection techniques under integer period sampling and non-integer period sampling are separately investigated (1) Under integer period sampling, digital signal sequence is acquired through sampling the measured signal, but digital reference sequence is acquired through mathematical operation, then digital lock-in detection can be realized by calculating crosscorrelation function of digital signal sequence and digital reference sequence Harmonic measure is also analyzed, and a method of measuring harmonic of a periodic signal under aliasing is put forward.

本文对使用采样ADC把模拟信号转换为数字信号并通过计算数字信号的相关函数来实现锁定检测的技术进行了研究，在此基础上设计了一个多功能的数字LIA并在一些科学实验中进行了应用。本文对整周期采样和非整周期采样时的数字锁定检测技术分别进行了研究。(1)在整周期采样时，对被测信号进行采样得到信号序列，而参考序列由数学运算得到，通过计算信号序列和参考序列的互相关函数就可实现锁定检测。

To seek new infinite sequence exact solutions to nonlinear evolution equationsNEE(s, the formula of nonlinear superposition of the solutions of the second kind of elliptic equation are given, infinite sequence exact solutions to combined KdV with varible coefficients and forcible term is constructed with the aid of symbolic computation system Mathematica, which include Jacobi-like elliptic function solutions, infinite sequence soliton-like solutions and infinite sequence triangular function solutions.

为了获得变系数非线性发展方程的无穷序列精确解，给出第二种椭圆方程解的非线性叠加公式，借助符号计算系统Mathematica构造了带强迫项变系数组合KdV方程的无穷序列精确解。这里包括无穷序列类Jacobi椭圆函数解、无穷序列类孤子解和无穷序列三角函数解。

Guided by the theory of sequence stratigraphy, using the data of seismic, drill, well-logging and core, and adopting the multiplex geophysical techniques of well-logging and seismic composite analysis, 3D seismic interpretation, well-logging inversion, isochronism slicing and Stratimagic seismic facies analysis, this paper goes deep into studying some technical problems about the establishment of isochronal sequence stratigraphy framework, the prediction of sedimentary microfacies distribution and the prediction of the subtle reservoirs, and then preliminarily establishes a set of techniques about high resolution sequence stratigraphy research and subtle reservoir exploration, which is guided by the theory of modern sequence stratigraphy and armed with advanced geophysical interpretation techniques.

本文以层序地层学理论为指导，综合利用地震、钻井、测井和岩芯等资料，充分应用井-震综合分析技术、三维地震解释技术、井约束反演技术、等时地层切片技术和Stratimagic地震相分析技术等手段，深入研究了井-震等时层序划分、沉积微相展布及隐蔽油藏分布预测等技术难题，初步形成了一套以现代层序地层学理论为指导，以先进的地球物理解释技术为手段的高分辨率层序地层学研究和隐蔽油藏预测技术方法体系，并将该技术方法体系在四方坨子地区进行了试用，取得了明显成效。

If the sequence is already in the last permutation, then next_permutation reorders the sequence to be the lowest permutation and returns false. Otherwise, it transforms the input sequence into the next permutation, which is the lexicographically next ordered sequence and returns true.

如果序列已经是在最后一个排列中，则 next_permutation 将序列重新排列为最低排列并返回 false；否则，它将输入序列变换为下一个排列，即字典序的下一个排列，并返回 true。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。