特种设备行政许可申请解析

《特种设备行政许可申请解析》以特种设备许可申请为纲，分别以特种设备概念、特种设备许可项目、特种设备许可范围、特种设备许可分级实施、特种设备许可条件以及特种设备申请程序、申请资料等专题进行介绍，概述每个专题基本内容，说明相关法律法规的主要要求，特别是结合一些最新文件和规定进行阐述，使读者对每个专题能有一综合性的完整概念。同时将相关法律法规条款或其主要内容摘要于后，以便于集中学习和对照，因此对于特种设备行政许可的申请和管理工作具有较强的实用性。《特种设备安全监察条例》对于锅炉、压力容器、压力管道、电梯、起重机械、客运索道、大型游乐设施和场（厂）内机动车辆等特种设备的生产、使用、检验检测的行政许可作出了明确规定。2100433B

作　者：徐福安 著出 版 社：中国标准出版社ISBN：9787506652261出版时间：2009-04-01版　次：1页　数：421装　帧：平装开　本：16开所属分类：图书 > 法律 > 法律实务

解析分层亦称解析谱系。按照量词复杂性对解析关系所作的递归论分层。与算术分层类似，任何解析关系可以用算术关系加上有穷个交替出现的二阶函数量词ᗄ′与∃′表示，依照量词个数，可以将该解析关系纳入具体的解析分层Σ¹_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对二阶量词ᗄ′封闭。

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

材料申请：

1、有BOM：依BOM做生产需求分析单，查库存，分析材料用量，制订“采购申请单”。

2、无BOM（样品及未批量生产的产品）：分析用量，查库存，制订“采购申表单”。

3、交采购部下采购单。采购单的转入（来源）单据号为采购申请单。

产品申请：

1、有BOM：依BOM分析用量，查库存，制订“采购申请单”。

2、无BOM：直接申请需要的产品，交上级审核批准，交采购部采购产品。