函数序列

Under the assumptuion that the lower bound of the density of the observed nonlinear AR (1) time series is known, we prove that the nonlinear wavelet estimator of the conditional mean function g, which is similiar with the one introduced in Chapter 2, still has the same good adaptive properties for this kind of nonlinear AR (1) series on account of the moment inequalities and exponential type inequalities for strong mixing processes.

在假设观测序列的的密度函数的下界已知的条件下，我们利用关于强混合过程的矩不等式以及指数型不等式证明了类似于上一章的小波估计对于非线性AR（1）模型中条件均值函数的非参数函数估计仍然具有优良的自适应性质，并同样给出了数值模拟的结果分析。

With the method, tendency of measured value was analyzed, harmonic mode was checked by using autocorrelation function, the relation between spectrum parameters was analyzed and Fourier coefficient was calculated based on the theory of Fourier series. Finally, the significance of every period was tested and dominant period determined so as to establish the prediction model.

首先对实测序列进行趋势项分析；其次用自相关函数进行谐波模式检验；然后根据函数的傅立叶级数展开理论，分析谱参数之间的函数关系，计算傅氏系数；最后采用F分布检验法对周期进行显著性检验，确定主要周期，从而建立预报模型。

By using the techniques of an explicit criterion to determine the number of real roots of a univariate polynomial in ( [13] , [73] ); B-net form of bivariate splines function; discriminant sequence of polynomial (cf. [13] , [73] ) and the number of sign changes in the sequence of coefficients of the highest degree terms of sturm sequence, this paper determines the number of real intersection points two piecewise algebraic curves whose common points are finite.

3：利用杨路，张景中，侯晓荣在文献（[13]，[73]）中关于一元多项式实根的显式判准，以及二元样条函数的B-网形式，多项式的判别序列和Sturm序列的最高次数项系数序列的变号数，本文给出了两个分片代数曲线的实交点数的计算公式。

Further more, based on the analysis of Bayesian AR model and MA model , we analyzed the Bayesian ARMA model and its mathematical structure. Mainly analyzed the Bayesian ARMA(1,1) model, and constructed the model condition likelihood function and the parameters posterior distribution.

同时，以时间序列AR模型及MA模型的贝叶斯分析为基础进行了时间序列ARMA模型的贝叶斯分析，从分析ARMA模型的数学结构开始，重点进行了ARMA(1，1)模型的贝叶斯分析；构建了模型的条件似然函数和参数的先验分布，推导其参数的条件后验密度和边缘后验密度；并借用一组SAS软件模拟的ARMA(1，1)序列，通过WinBUGS进行仿真分析。

A set of equally long finite sequences is said to be complementary sequences if the sum of autocorrelation functions of the sequences in that set is zero except for a zeroshift term.

补码是一种由多个等长的序列组成的、具有良好的自相关性特性的序列集。补码集中每个序列的自相关函数的和在除了零点外的其他任何点上均为零。

Firstly, system model depicted by TSIOA is transformed into an USTGSS (untimed stable label transition graph of symbolic state) which does not contain abstract time delay transitions. Then, the testing methods based on LTS are used to the generate transition sequences from USTGSS according to structural coverage criteria. Finally, a process of constructing and executing the test cases is given, in which object functions of time delay variables are imported, and time delay variables used in the transition sequences are solved dynamically by linear programming techniques.

该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state，简称USTGSS)；然后采用基于标号迁移系统(labeled transition system，简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

Trace function. periodic sequence. trinomial property. correlation.Hamming correlation. linear complexity.

迹函数，周期序列，三项式特性，相关函数，Hamming相关函数，线性复杂度

In this paper, first we define a kind of transformation on the sequences of Boolean functions, and then analyze the changes of nonlinearity, algebraic degree and balancedness of Boolean functions under the transformation.

本文首先定义了对布尔函数的序列的一种变换，并分析了进行此种变换后布尔函数的非线性度、代数次数与平衡性的变化情况，最终在此基础上提出一种新的递归构造方法，可以构造出非线性度很高的n元m阶n-m-1次弹性函数。

The data of the company management is essentially an unstationary time sequence. Regarded as a signal, the time sequence is decomposed into different frequency channels. Then wavelet decomposition and reconstruction are used to analyze and forecast the time sequence.

把公司管理上的数据看成一个非平稳的时间序列，利用小波函数将该时间序列分解到不同的频率通道上，然后将分解后的信号当作近似的平稳时间序列，用一些传统的统计方法进行预测。

The wavelet function corresponding to a certain scale can be regarded as the transfer function of a band-pass filter according to the definition of CWT, thus, sampling the signal and the wavelet function respectively, the wavelet coefficients at this scale can be obtained by convolving the two time series.

根据CWT的定义，可将某一尺度下的小波函数看作一带通滤波器的传递函数，于是对信号和小波函数分别进行采样后，再利用快速傅里叶变换实现两个序列的线性卷积，便能求出相应尺度下的小波系数。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。