本项目采用多学科结合的方法，充分利用先进的3S技术方法，从地质体的遥感信息源的定性、定量分析入手，通过地质构造和矿化蚀变等的遥感图像处理和信息提取、详细地质解译，以及构造变形场应力场的"分层"解析，物、化、遥等多源地学信息的复合与综合图像处理和定量分析，建立有关矿床的自然源模型，建立具有实用价值的成矿环境遥感信息场"分层"解析与无模型矿床预测理论及方法。 2100433B

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

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

《钼精矿价格动态预测方法、理论及模型》系统地梳理了钼资源市场及其供求关系，分析了钼精矿市场及价格影响因素，介绍了钼精矿价格预测方法、预测理论及预测模型，实现了基于EMD-ARIMA-LSTM的钼精矿市场价格时间序列多步预测及仿真实验、基于改进PSO-GRNN及灰色-马尔科夫模型的钼精矿价格动态预测、基于GM（1，1）和指数平滑法的动态组合预测，并进行了钼精矿价格敏感性分析。该书对钼精矿价格预测、预测理论模型的构建及仿真实验具有较好的指导及参考意义。

《钼精矿价格动态预测方法、理论及模型》可供钼矿生产、加工、销售企业相关技术人员及研究人员参考使用，也可供价格预测领域有关人员参考。

相对解析分层(relativized analytical bierarchy)是解析分层概念的相对化。即对相对算术关系依量词复杂性进行的递归论分层。具体地，对自然数集A，相对A的解析分层Σ^1,A_n，π^1,A_n与Δ^1,A_n可递归定义如下：

1.Σ^1,A₀=π^1,A₀={R：R为相对A的算术关系}。

2.Σ^1,A_{n 1}={(∃′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈π^1,A_n}。

3.π^1,A_{n 1}={(ᗄ′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈Σ^1,A_n}。

4.Δ^1,A_n=Σ^1,A_n∩π^1,A_n。

Σ^1,A_n，π^1,A_n与Δ^1,A_n中的关系分别称为Σ^1,A_n关系，π^1,A_n关系与Δ^1,A_n关系。此外，用Δ^1,A_w表示∪{Σ^1,A_n∪π^1,A_n：n∈w}，即所有相对A的解析关系的集合。