多项式模型

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

In terms of the theory of algebraic geometry, the problem of characteristic polynomial assignment of the closed-loop systems is transferr.

以代数几何方法为工具，将此闭环系统的特征多项式配置问题转化为判别有理映射是否为到上的，推导出多输入的 2 D广义系统Roe sser模型由状态反馈几乎任意配置特征多项式系数的充分条件。

Secondly, by the P-L estimation of survivor function, this paper proposed the regression models of polynomial cumulative hazard function distribution models, respectively in the case of complete date and random right censoring date; meanwhile generalized least squares estimations of unknown parameters were proposed respectively using two steps algorithm and principal component analysis algorithm.

与已有的关于多项式危险函数模型的研究成果相比，首先本文在统计模型的构造上充分考虑了累积危险函数乘积限估计量的非独立性，给出了协方差矩阵的估计；其次在模型检验方面，本文利用非参数回归分析方法，充分利用了数据本身的信息，减少了对回归关系假定的主观因素，因而分析结果更为可靠。

Based on polynomial interpolation and approximation theory,a Chebyshev orthogonal basis neural network is constructed in this paper.

根据多项式插值和逼近理论构造一个切比雪夫正交基神经网络，其模型采用三层结构并以一组切比雪夫正交多项式函数作为隐层神经元的激励函数。

Both simulations and data analysis demonstrated that the random regression model with Legendre polynomial as submodels is more effective than the functional mapping with Logistic curve as submodel in mapping dynamic trait loci

模拟和实例分析结果都证明：以Legendre多项式为子模型的随机回归模型定位策略是有效的，优于用Logistic曲线为子模型的函数定位策略

Based on polynomial curve-fitting theory, a Laguerre orthogonal basis feed-forward neural network is constructed.

根据多项式理论，构造了一种以Laguerre正交多项式作为隐层神经元激励函数的前向神经网络模型。

When these coefficients are quadratic functions of the porosity, specific constituent orthogonal weighting coefficients are derived from these orthogonal conditions along with a discussion about how to extend the applicable range of the constituent orthogonal weighting coefficients in the orthogonal coordinates. Based on the combination of the theory of critical porosity and the constituent model, it presents a specific example of the constituent model that includes two transforming points. The reasonability of above-mentioned theories is shown by comparison of theoretical calculations and measured data on effective elastic moduli of clean sandstone or sandstone analogs saturated with pure water.

再次，结合弹性模量组分关系方程与正交基函数理论，推导组分加权系数的正交条件；基于正交条件，提出组分加权系数为孔隙度二次多项式时正交组分加权系数的构造方法以及正交组分加权系数适用范围的拓展方法；结合临界孔隙度理论，提出一个基于两个状态分界点的组分模型实例；比较组分模型的计算结果与前人关于砂岩弹性模量的实验结果，证明了组分孔隙介质模型理论的合理性。

Iterative algorithm; real orthogonal polynomial; parameter identification; partial fraction; experimental modal analysis

应用部分分式实正交多项式构建频响函数幅值平方的分析模型，规避了原有复正交多项式的复杂计算。

In addition, an experimental system using C language is established, including modules such as representation of waveform polynomial, decision of path senstization, delay computing, clocking based on single-period sensitization, clocking based on multi-period sensitization, test generation considering noise and transformation from bit-level waveform polynomial to word-level polynomial model. They respectively used to test models and techniques proposed in this paper.

另外，：基于C语言本人设计开发了一个实验软件系统，该系统包括波形多J一贞式表示模块、敏化通路判定模块、延时计算模块、单周期敏化的最小时钟周期精确确定模块、多周期敏化的最小时钟周期确定方法模块、考虑噪声的测试生成模块和位级波形多项式描述转化成字级多项式描述模块，分别用于对本文各章中提出的自动化设计的模型和方法进行实验验证。

To quantificationally describe trip mode transfer rules,the comparability between trip mode transfer and quantum jump was analyzed in detail,and a trip mode transfer model was put forward according to quantum energy level jump theory.

为定量描述出行方式转移规律，分析了出行方式转移与量子跃迁的相似特性，根据量子能级跃迁理论建立了出行方式转移模型，通过分析长春市居民出行调查数据，推导了出行方式转移的多项式拟合公式，分别采用2~4次多项式标定了拟合系数，并且进行了相关性检验。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。