现代逻辑分为递归理论,模型理论,证据理论,是密切相关的理论计算机科学。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
数理逻辑的延伸符号逻辑到其他领域,特别是研究模型理论,证据理论,集理论,并递归理论。
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
在此基础上,采用深度优先遍历的递归理论和数据库技术,实现了流域节点间关系的计算机存储。
In these foundations, the recursion theory of depth first traversal, database technology and visual programming technology are employed to computer memory, which is expressed to node relations.
本文对一种规则的栅格状网络进行了理论分析,并分别针对两种路由准则,采用递归方法推导出了评价网络性能的计算公式。
This paper analyses a regular grid network for two kinds of routing standard theoretically, and derives recursive formular to find the network performance.
分析了一种基于卡尔曼滤波理论的时域递归低通滤波算法。
A time domain recursive low pass filtering algorithm based on Kalman filtering theory is analyzed.
在经典测试理论的基础上,提出了一种约束试卷生成的参数模型,并根据该模型设计了一种自动试卷生成的递归算法。
Based on the classic examination theory, a constraint-based parameter model of generating examination paper is proposed and a recursive arithmetic based on the model is designed.
这个递归模型在理论上要先测量顾客期望、顾客对质量的感知和顾客对价值的感知,最后计算出顾客满意度。
This recursive model is used to measure customer expectation , the perception of customer for quality and value before final calculation makes customer satisfactory degree.
本文基于一个全连接递归网络结构,给出一种新的信息理论的盲源信号分离准则。
A new information theory criterion for blind source separation based on a recurrent neural network is proposed.
从素基数DFT出发,应用数论理论讨论了一种应用二阶递归滤波结构的算法及零因子转换算法(ZFT)。
Based on the prime radix DFT and number theory, an algorithm using the second order recursive filter and the zero factor prime radix Fourier Transform (ZFT) is presented.
基于线性代数与矩阵理论,给出利用LDLT分解计算实对称矩阵特征值的递归算法。
A recursive algorithm for calculating the eigenvalues of a real symmetric matrix based on LDLT decomposition is given.
作为滤波理论的应用,我们研究了一类部分可观测的递归线性二次最优控制问题。
As an application of filtering theory, we study one kind of partially observed linear quadratic recursive optimal control problem.
这样,就将这类换能器类比为递归型数字滤波器,并可由数字网络理论分析和模拟换能器。
In this way, this kind of transducer is taken analogous to recursive digital filters, and it is possible to analyse and simulate the transducers based on the theory of digital network.
一种新的基于数字滤波器理论的全互连复值递归神经网络训练方法被提出。
A new training approach for the training algorithm of a fully connected recurrent neural network based on the digital filter theory is proposed.
本文把四种方法统一写成递归格式,从理论上研究其共性特征,然后从递归公式所构造的数字滤波器的传递函数与理论传递函数比较的角度进行了分析。
The accuracy and the existent problem of forward difference method are analyzed on the basis of comparing the transfer function of recursive formula with theoretical transfer function.
本文把四种方法统一写成递归格式,从理论上研究其共性特征,然后从递归公式所构造的数字滤波器的传递函数与理论传递函数比较的角度进行了分析。
The accuracy and the existent problem of forward difference method are analyzed on the basis of comparing the transfer function of recursive formula with theoretical transfer function.
应用推荐