解析分层亦称解析谱系。按照量词复杂性对解析关系所作的递归论分层。与算术分层类似，任何解析关系可以用算术关系加上有穷个交替出现的二阶函数量词ᗄ′与∃′表示，依照量词个数，可以将该解析关系纳入具体的解析分层Σ¹_n或π¹_n中。形式地，具体的解析分层Σ¹_n，π¹_n，Δ¹_n可递归定义如下：

1.Σ¹₀=π¹₀={R：R为算术关系}。

2.Σ¹_{n 1}={(∃′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈π¹_n}.

3.π¹_{n 1}={(ᗄ′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈Σ¹_n}。

4.Δ¹_n=Σ¹_n∩π¹_n.

Σ¹_n，π¹_n与Δ¹_n中的关系分别称为Σ¹_n关系、π¹_n关系与Δ¹_n关系，此外，Δ¹_w定义为：∪{Σ¹_n∪π¹_n：n∈ω}，即所有解析关系的集合。此外，对n≥1，Σ¹_n关系可表示成下形范式：

(∃′f₁)(ᗄ′f₂)…(Q_nf_n)(Qx)

R(f₁，…，f_n，f_{n 1}，…，f_{n p}，x，x₁，…，x_q)，

其中若n为偶数，Q¹_n为ᗄ′，Q⁰为∃⁰；若n为奇数，Q¹_n为∃′，Q⁰为ᗄ⁰；而R为递归关系。π¹_n关系也可表示成以ᗄ′开头的类似表达式.解析分层还具有如下封闭性：

1.Σ¹_n，π¹_n，Δ¹_n对合取、析取运算与一阶量词封闭。

2.Δ¹_n对否定运算封闭。

3.R∈Σ¹_n，当且仅当ᒣR∈π¹_n；

R∈π¹_n，当且仅当ᒣR∈Σ¹_n。

4.对n≥1，Σ¹_n对二阶量词∃′封闭，π_n对二阶量词ᗄ′封闭。

关于解析分层的其他性质，参见“解析枚举定理”。此外，与算术分层不同，Δ¹₁≠Σ¹₀=π¹₀=Δ¹₀，Δ¹₁的关系称为超算术关系。

电力网络分析及其应用是电气工程专业研究生的一门课程。书中重点介绍了电力网络基本知识、分析方法及其在工程中的应用。全书共9章，分别介绍了电力网络概论、电力网络的矩阵方程、电力网络的等值变换、电力网络的灵敏度分析、容差网络故障的区间分析及可测点的选择、电力网功率流图原理及其应用、电力网络的状态方程、电力网接地网故障诊断技术和电力网络分析的计算机实现等内容。 为了便于读者学习，书中除了详细阐述基本原理外，还附有分析应用示例、计算数据和形图。读者通过学习能系统掌握电力网络理论的分析方法。

特创论与智慧设计论

神创论是主流一神论信仰的基础理论，人类创世论同样是其所暗指蕴含的。有些将上帝看作创造者的生物神创论普遍地被主流一神论的信徒们所相信。由于进化论被大多数知识份子所接受，生物神创论失去了影响。但是近十年出现了在神学，哲学和科学领域上抵制神创论的趋势，包括智慧设计论在内，这些通常被叫做“神创论”或“特创论”。

不同类型的神创论也因为不同的理论依据的争论而著名。因此出现了宗教神创论，哲学神创论，和科学神创论。实际上，这些不同类型的神创论经常相重复。不管怎样，科学神创论，特别是智慧设计论是利用科学论据而避免宗教或神学的涉及；但不管如何演变始终脱离不了自然神学的中心教义“设计实例”。

为什么将智能设计论列为特创论？

国内媒体、主流科学界都将智慧设计论看做等同于神创论的，但并没有说明为什么。首先影片中，美国打压智能设计论，其根本原因是：知识分子普遍有一个担心，如果接受智慧设计论就等同于接受“人是被创造的”，人们的认识将被颠覆。文明时代，科学与宗教所构建的社会平衡将被打破；各种极端宗教将会打着文化的旗号复苏。最终民主政治将转化为一种新神权政治。

另一方面，智慧设计论其核心“设计实例”源于自然神学的中心教义，要说明这个教义就得从托马斯·阿奎纳谈起。其“第一推动”的概念最早就源于阿奎纳，他认为任何的运动都有其推动者，万物追溯到尽头就是“第一推动”，生命也是“第一推动”的产物。自然神学其思想方法就是以经验理性为基础，以自然秩序为中心，同时尊重历史与社会结构；找出“自然设计”的证据来证明上帝的存在；而不求助于启示和圣经。所以说“智慧设计论“和自然神学是同源，故将其列为特创论。