recursion theorem

用法例句

Sub-ontology,atom ontology,and the recursive definition of ontology are made under summarization of the existing results.

总结已有的研究成果,基于统一本体层次化和模块化的思想,提出子本体、原子本体以及本体的递归定义,为本体建立科学的分类体系和一致的逻辑理论打下了基础。

Besides of meeting more needs from users, in the latest version of the collecting sub database of the oil and gas production dynamic database, a kind of bran new recursive definition mode is successfully used to replace the former attributive definition mode by way of a.

目前该库在满足更高需求的前提下 ,通过分析关键数据的内在联系 ,在升级版的汇总库中采用了全新的递归定义模式来取代过去的定语定义模式 ,并取得了良好的实际效

Summarizing the results of the calculation we obtain a recursive definition of Sn,and the result that Sn can be generated by the binary elements,which may facilitate us to have further researches on abstract groups.

并将结果用于Sn(n=2,3,4,5,6)进行验证,表明了程序判断的正确性,对计算结果进行归纳获得了Sn的递归定义及Sn可由二元生成等结果,可为进一步研究抽象群提供方便。

Both of them have the feature of recursive negation and can be explained generally by the feature.

实际上这两类悖论从语言生成的角度看都具有递归否定的特点,因此可以用递归否定这一语言结构性质来统一语法悖论和语义悖论。

Fusion Identification Method for Gas-Liquid Two-Phase Flow Regime Based on Recurrence Quantification Characteristics

基于递归定量特征的气-液两相流流型融合识别

Application of Fourier, Wavelet and Recurrence Quantification Analyses to Classification Coding and Non-coding Sequences and Protein Structure Classes;

傅立叶、小波、递归定量分析在区分编码和非编码序列以及蛋白质结构类中的应用

Study on Stability of Recurrent Neural Networks with Perturbation;

扰动作用下递归神经网络稳定性研究

Stability Analysis of a Class of Recurrent Neural Network Model;

一类递归神经网络模型的稳定性研究

Recurrence quantification analysis based on surface EMG signal feature extraction and classification

基于递归量化分析的表面肌电特征提取和分类

Asymptotic Properties of the Recursive Kernel Estimate of a Probability Density Function under Negative Association;

NA随机变量递归密度核估计的渐近性质

Dynamic Support Vector Machine Regression Based on Recurrent Strategy and Its Applications

基于递归策略的动态支持向量机及其应用研究

Support Vector Machine-Recursive Feature Elimination for localized feature selection

面向局部特征的支持向量机递归特征消除

Application of linear regression method to analysis of oil and gas production rate decline

线性回归方法在油气产量递减分析中的应用

Recursion of Gauge Block Automation Choice

量块组合(38块组)自动选择的递归算法实现

Assignment of an object to a single target is recursively defined as follows.

一个对象向单个目标的赋值递归地定义如下。

A RECURSIVE UTILITY OPTIMIZATION PROBLEM UNDER UNCERTAINTY;

不确定情况下的一类递归效用优化问题(英文)

Almost Surely Exponential Stability of Stochastic Recurrent Neural Networks with Time-varying Delays

随机变时滞递归神经网络的几乎指数稳定性

Global Exponential Stability of Stochastic Recurrent Neural Networks with Time-varying Delays

变时滞随机递归神经网络的全局指数稳定性

Unified approach for robust stability analysis of delayed recurrent neural networks

时滞递归神经网络鲁棒稳定性分析的统一方法

New approach for robust stability analysis of delayed recurrent neural networks

新的时滞递归神经网络鲁棒稳定性分析方法

Recursive TimeOuts is the total number of recursive query sending timeouts.

递归超时是指递归查询发送超时总数。

The Application of Recursion and the Design of the Gray Code Generation;

递归调用和Gray码生成的双递归设计