递归

The first order predicate logic features, which appear in the axiom clause, include: existence quantifier'exist', universal quantifier'all','find, and'find all'.

语法正确性的检查与传统的语法分析程序所做的工作类似，采用递归子程序分析法。

It can also be used as a powerful tool in data base systems. A kind of Mini-LISP language used on VAX/VMS 11-780 and PDP11/45 under the support of RSX-11M operating system is presented with an introduction of the LISP language structure, composition and its programming ...

全文分三部分连载：第一部分介绍Mini-LISP的基本成份、简单原语和基本函数，是LISP程序设计的基础；第二部分介绍λ函数、递归函数及过程函数的表示法，并列举Mini-LISP的常用函数；第三部分介绍LISP语言在符号处理、人工智能和数据库系统设计中的应用实例。

We give a new 2-D graphical representation of protein sequences based on nucleotide triplet codons in the half complex plane, which has no degeneracy. Meanwhile using main characterization of complex vector: module and phase, we give a kind of numerical description of protein sequences.

利用这三个递归公式给出了RNA二级结构序列的1-D、2-D和3-D图形表示，进一步利用1-D图形表示给出了关于RNA二级结构序列频谱分析的方法。

In order to get the trees verisimilitude and reality,Random functions in the course of recursion and source programs written by Turbo C were used.

为了使生成的植物图像更加形象逼真，文章给出了在分形的递归过程中，调用随机函数来模拟自然界中树木的方法和用Turbo C编写源程序。

Test data structure on a non - recursive algorithm of the source is well-suited to beginners reference.

数据结构试验中一个有关于非递归算法的源程序，很适合于初学者参考。

But for a few special grammars, there maybe have a few conditions that don't accorder to recursive-descent paring method, so we sometimes should add some extra operations to deal with the transformation according to practical grammar.

但是，对于个别特殊的文法来说，可能存在特殊的不符合递归下降法的情形，因此，在转化时，可能要根据具体情况，适当增加一些转化步骤。

Subsequently, through the dynamic mechanisms of investment, the endogenesis of price, consideration of the resource constraints and the alternativity between productive factors, this paper completed the historic simulation to update key data, then built the closure criteria for baseline simulation, combined the dynamic recursive methord, finally assessed the long-term impact for member states in terms of policy changes under 4 scenarios. Different to the analysis from perspective of comparative static, the assessment of long-term economic impact was started from the macroeconomic point of view and import and export trade to reflect the relationship between short-term influence and long-term impact under 4 kinds of possible policy changes.

首先从CGE模型传统的比较静态的框架下，就GDP、贸易规模、双边贸易、贸易结构及产出水平、国民福利等方面来阐释各政策情景产生的冲击效果；然后通过投资动态机制与价格的内生化，考虑资源限制及生产要素间的替代性，以逐年递归动态求解方式，分国别从宏观经济、进出口贸易角度出发，对于成员国在政策变动后可能产生的远期影响进一步做出评估，以此来反映各种可能的政策变动对成员国经济的短期影响与长期影响之间的关系。

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次弹性函数。

Having dyadic and recursive subdivision on image,having integral on Beamlet in each sub-square,the straight lines were approximated under GLRT and reconstructed.

利用一种Beamlet变换算法来提取遥感图像中的线性特征，通过对遥感图像按二进、递归进行划分，利用灰度信息，积分计算每一小块图像中的Beamlets，结合梯度信息，通过广义似然比检验GLRT(generalized likeli-hood ratio testing)来检测判断符合条件假设的Beamlets，重建线性目标。

Applying RQA, we analyse the EMG of biceps brachii muscle and brachioradialis muscle under different loads, point out the percent recurrence of brachioradialis muscle is higher than that of biceps brachii muscle and more periodic.

应用RQA分析了肱二头肌及肱桡肌在不同负重下的肌电信号，发现肱二头肌肌电信号的递归点百分数均比肱肌高，有较强的周期性嵌入。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。