递归性

Furthermore,the stability behavior and accuracy characteristics of the algorithmare proven by a spectral decomposition method.

在前人工作的基础上，提出了一种新的用于解决结构动力分析问题的时间积分方法——Taylor级数方法；建立了求解线性问题和非线性项可以表示为多元多项式形式的非线性问题的Taylor级数方法的理论，并给出递归求解通式；阐述了该方法的程序实施过程，给出了计算流程图，并在非线性有限元分析平台NFAP中嵌入了Taylor级数方法的计算模块；利用谱分解的方法分析了该方法的稳定性和精度特性，以封闭的解析形式给出了描述积分法特性的周期延长率和振幅衰减率的表达式；通过对该方法的理论分析和特性研究，阐述了该方法的可行性和高效性。

Chapter 5 proves the equivalence of Hopfield neural networks and Turing machine.

给出了用Hopfield网计算部分递归函数的构造性证明。

In Chapter 2, some popular penalties are brieflyintroduced, and the unboundedness of weights of RNN without penalty term is discussed.

在第二章我们简要介绍了几种常见的惩罚项，并从理论上对不带惩罚项的递归网络权值的无界性作了讨论。

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

It can be applied to schedulability analysis and judgment for real-time CORBA tasks covering recursive invocations.

可适用于含有递归调用的实时CORBA任务集的可调度性分析和判定。

Using this model, we prove the soundness of the semantics of the ALT.

其次，给出了ALT语言的语义模型，解决了递归类型定义引起的非直谓性。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。