查询词典 puppe exact 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.

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

The trinomial property of sequence In the respect of research on trinomial property of sequence, I have given a different proof to prove the main result in [2] , and have raised the exact enumeration formula of the number of binary sequences with period d that have a fixed positive integers pair as a trinomial pair, most important of all, I have given an efficient algorithm to find out all the trinomial pairs of a given sequence, and hence completely solved all the problems associated with trinomial property of sequences.

2序列的三项式特性在序列三项式特性的研究方面，本文对[2]的主要结论给出了不同的证明，而且给出了以固定的正整数对为三项式对的周期为d的二元序列的精确计数，给出了求解给定序列的所有三项式对的有效算法，从而完美地解决了与序列三项式特性相关的问题。

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)在整周期采样时，对被测信号进行采样得到信号序列，而参考序列由数学运算得到，通过计算信号序列和参考序列的互相关函数就可实现锁定检测。

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。

Limit theorems for the integration of function sequence with respect to weak convergence probability measure sequence are proved under the condition of the weak tight, which have been used to research the some convergence of expectant functional sequence,and a sufficient condition for the epi-convergence of expectant functional sequence is obtained.

提出了弱胎紧的概念，并在弱胎紧的条件下证明了函数序列关于弱收敛概率测度序列积分的极限定理，用其研究了期望泛函序列的若干收敛性，得到了期望泛函序列的、上图收敛的一个充分条件。

Based on the existed theory of mareoids and fuzzy matroids, this thesis studies the closed regular fuzzy matroid and its fundamental sequence, the fuzzy base and its algorithm of closed fuzzy matroids, the fuzzy circuit and its algorithm of closed fuzzy matroids and so on. The main contributions of this thesis are as follows: 1 The necessary and sufficient condition of closed regular fuzzy matroid and a property of its fuzzy dual matroid are found by studying some properties of closed regular fuzzy matroid. 2 By studying some properties of fuzzt bases of closed fuzzy matroid, the necessary and sufficient condition of judging fuzzy bases of closed fuzzy matroids and some corollaries are found. In the end, an algorithm of obtaining a fuzzy base is given. 3 By studying some properties of fuzzt circuits of closed fuzzy matroid, some necessary and sufficient conditions of using its fundamental sequence to express fuzzy circuits are found. An algorithm of obtaining a fuzzy circuit is given. 4 By studying the fundamental sequence of closed regular fuzzy matroid, some necessary and sufficient conditions of fundamental sequence of closed regular fuzzy matroid are found.

本文在现有拟阵和模糊拟阵理论的基础上，研究了闭正规模糊拟阵及其基本序列，闭模糊拟阵的模糊基及算法、模糊圈及算法等内容，现分述如下： 1研究了闭正规模糊拟阵的一些性质，得到了闭正规模糊拟阵的充要条件及其模糊对偶拟阵的一个性质； 2研究了闭模糊拟阵模糊基的性质，找到了闭模糊拟阵模糊基的充要条件和几个推论，最后还给出了求模糊基的算法； 3研究了闭模糊拟阵模糊圈的性质，找到了用基本序列来表达模糊圈的几个充要条件，并给出了求模糊圈的算法； 4研究了闭正规模糊拟阵的基本序列，找到了闭正规模糊拟阵的基本序列的几个充要条件。

It is possible that houses were outrageously priced one year ago and that they are still priced much higher than the national average.

情况有可能是，这里的房价曾贵得离谱，现在的房价仍然远高于全国的平均指数。

This is a mother's love for her child.

这是母亲对孩子的关爱。