概述
6 [' D: {. m3 R# ?, _众多外汇和加密货币交易者都希望从短期走势当中获益,但缺乏可以帮助他们奋斗的基本面信息,因而备受困扰。 而这恰是标准时间序列技术可以提供帮助的地方。 George Box 和 Gwilym Jenkins 开发出可以说是最受尊崇的时间序列预测方法。 尽管已经取得了许多大幅进步,改进了原始方法,但其基本原则在今天依旧适用。- }" F/ r5 r3 D4 p7 B9 T
他们方法的衍生物之一是自回归综合移动平均线(ARIMA),其已成为时间序列预测的流行方法。 它是一类模型,用于捕获数据序列中的时间依赖关系,并提供了针对非稳态时间序列进行建模的框架。 在本文中,我们将采用函数最小化 Powells 方法作为基础创建 ARIMA 训练算法,并利用 mql5 编程语言实现。
7 U* P; n3 i k8 C0 P+ LARIMA 概览
5 y% I: S. l3 h; V7 `. @8 VBox 和 Jenkins 表示,大多数时间序列可以由两个框架中之一个或两个来建模。 其一是自回归(AR),这意味着序列的值可以由与其先前的值相关性来解释,而当中的恒定偏移量和微小的差异,通常称为创新或噪声。 请注意,在本文中,我们将噪声或误差部分称为创新。 创新解释了无法解释的随机变化。
2 ]& J5 h# M( U! C2 yARIMA 模型的第二个框架是移动平均线(MA)。该模型指出,序列的值是特定数量的前期创新项、当前创新、和恒定偏移量的比例和。 还有许多其它统计条件可以定义这些模型,但我们不会深入研究细节。 网上有许多资源可以提供更多信息。我们对它们的应用更感兴趣。* C: N. K9 e( E* @ n; S9 J
我们不会受限于纯 MA 和 AR 模型,我们可以将它们组合在一起,生成称为自回归移动平均模型(ARMA)的混合模型。 在 ARMA 模型当中,除了恒定偏移量和当前创新项外,我们还指定了有限数量的滞后序列和噪声项。9 h- J" e- @: c$ h" [$ z" e
影响所有这些框架应用的基本要求之一是,被建模的序列必须是稳态的。 取决于您对稳态定义的严格程度,到目前为止所描述的模型在技术上都不适合应用于金融时间序列。 这就是 ARIMA 的用武之地。 数学积分是微分的逆向。 当非稳态时间序列相差一次或更多次时,成果序列通常具有更好的稳态。 首先对序列进行微分,可以将这些模型应用于成果序列。ARIMA 中的 “I” 是指逆向(积分)所应用的差分的要求,以便将建模的序列返回到其原始域。: G1 S+ C. D: f5 ^
自回归模型标注法' x9 w0 B: s; Z
有一个标准标注法来管控模型的描述。 AR 项(不包括常数项)的个数通常称为 p。 MA 项表示为 q,且 d 表示原始序列差异的次数。 使用这些术语,ARIMA 模型被指定为 ARIMA(p,d,q)。 纯过程可以描述为 MA(q) 和 AR(p)。 没有差分的混合模型写为 ARMA(p,q)。 此标注法假定这些术语是连续的。 例如,ARMA(4,2) 表示序列可以用 4 个连续的 AR 项,和两个连续的创新项来描述。 采用 ARIMA,我们可以通过将 p、q 或 d 指定为零值来描绘纯过程。 例如,ARIMA(1,0,0) 简化为纯 AR(1) 模型。! X7 t* l) C: R, Y7 [' s M# P/ }% g
大多数自回归模型指定各自的项是连续的,分别是 AR 项从滞后 1 到滞后 p,及 MA 项滞后 q。 将要演示的算法将允许指定 MA 和/或 AR 项的非连续滞后。 该算法将引入的另一个灵活性是能够指定模型是否带有恒定偏移量。
) z! L7 K- s1 w5 O$ [例如,可以构建由以下函数定义的模型:
) {; e- [6 u/ t* ?y(t) = AR1* y(t-4) + AR2*y(t-6) + E(t) (1)& j7 u3 {- y) |% b% g: |2 o
上面的函数描述了一个纯 AR(2) 过程,该过程没有恒偏移量,当前值由前期第 4 和第 6 时隙的序列值定义。 标准标注法没有提供指定这种模型的方法,但我们不必被这些限制所束缚。# N; ] T: h6 J* V2 U( b' a2 t
计算模型系数和恒定偏移量
. U D& a3 p1 l5 r0 j模型可以具有必须经计算的 p+q 系数。 为此,我们使用模型的规范对已知序列值进行预测,然后将预测值与已知值进行比较,并计算误差的平方和。 最优系数将是产生最小误差平方和的系数。
" ]; N {/ _7 C0 S' o( @* A在进行预测时必须小心,无限延伸的数据并不可用,因此会施加限制。 如果模型规范有任何 AR 项,我们只能跳过与所有 AR 项的最大滞后值对应的数值个数之后,再开始进行预测。
B2 r! U8 H' j! h6 U$ t8 Z使用上面(1)指定的示例,我们只能从时隙 7 开始进行预测。 因为任何超前的预测都会在序列开始之前引用未知值。+ K* {9 L m) [7 K5 x. _
应该注意的是,如果(1)有任何 MA 项,此时该模型将被视为纯自回归,因为我们还没有创新序列。 随着预测的推进,一系列的创新数值就会不断积累。 回到这个示例,第 7 处时隙的第一个预测将利用人工初始 AR 系数进行计算。2 j% ]2 R, Q' [4 q/ X* ]# o
计算出的预测值与第 7 处时隙的已知值之间的差值就是该时隙的创新值。 如果指定了任何 MA 项,则当相应的创新滞后值已知时,在计算预测时将包含它们在内。 否则,MA 项将清零。 在纯 MA 模型的情况下,遵循类似的过程,除了这次,如果应包含恒定偏移量,则将其初始化为序列的均值。# g9 I3 _% ~. h2 W: E
刚才讲述的方法只有一个明显的局限性。 已知序列需要包含与其所应用模型按顺序等量的数值。 更多的项和/或滞后越大,我们需要的值就越多,才能有效地拟合模型。 然后,通过应用相应的全局最小化算法来优化系数,从而完善训练过程。 我们将采用的最小化预测误差的算法是 Powells 方法 。 该实现于此应用的详情记录在文章利用指数平滑进行时间序列预测之中。
' C5 W P D, @' k7 Z: cCArima 类
$ f3 o3 X# G5 q* \# `3 [% cARIMA 训练算法将被包含在 Arima.mqh 文件定义的 CArima 类当中。 该类有两个构造函数,每个构造函数初始化一个自回归模型。 默认构造函数创建一个具有恒定偏移量的纯 AR(1) 模型。* |. ~' \8 |( z% ^* e
CArima::CArima(void)
* i' f/ B0 j8 j{
; [" A) d8 ?6 I$ Zm_ar_order=1;/ C4 G. j( w* Q; `3 }
//---9 R5 m7 w$ v2 M/ s4 b( f) D9 o
ArrayResize(m_arlags,m_ar_order);9 y0 z$ w; D, Y+ L$ F3 \) h3 K
for(uint i=0; i<m_ar_order; i++)
; f% g" o$ d4 |$ n& r' Im_arlags=i+1;
( m4 M! O- G0 G( a* W//---
* s6 K. X7 ^' Qm_ma_order=m_diff_order=0;
, [' |9 `- R" um_istrained=false;' D) @, j- F ^' f: A. Q' M5 B
m_const=true;/ @7 }; p% t1 j7 R& X ]0 ]. f
ArrayResize(m_model,m_ar_order+m_ma_order+m_const);
& q* g2 [( Q6 [) \) t3 O a& N2 ^ArrayInitialize(m_model,0);
" h; i7 b( x& t1 A. ^9 P m) PCArima::CArima(const uint p,const uint d,const uint q,bool use_const_term=true)% u ]; V7 C B3 t5 y! v0 ]
{
* m1 W/ d: |. M' v" J8 Qm_ar_order=m_ma_order=m_diff_order=0;! ~8 R7 c- @3 D6 g
if(d)
3 t3 e: @6 Z7 X' g" Q" V9 w" vm_diff_order=d;
+ d. r& a3 m/ V# ]+ E) G3 Uif(p)" @& U/ \' i8 Z6 R
{
' \2 e4 z8 a4 U7 j, S3 _m_ar_order=p;
/ A0 b7 {. ~, G2 \ArrayResize(m_arlags,p);
8 f. ]; |: Q% d9 H) dfor(uint i=0; i<m_ar_order; i++)
+ Y2 g0 F" B+ Ym_arlags=i+1;! [3 W; a% ^6 w4 H& r
}+ E) v b* ?( r y
if(q)
9 K7 |: s2 y7 h9 B0 _5 g{
7 t6 v- M* E# G Y' um_ma_order=q;: T8 j) {0 |0 e3 G7 B# t4 T' Q
ArrayResize(m_malags,q);9 @1 B0 m, X! s2 w h. X N9 f7 H" }
for(uint i=0; i<m_ma_order; i++) I2 x; N$ `0 x) |' }( y
m_malags=i+1;
: o. s3 A9 b! ^# z% x3 |}6 M( C( u+ O; S. [4 j0 Y
m_istrained=false;
( r1 Z5 \3 R3 d. ^ v# Z5 O4 Rm_const=use_const_term;
% O3 H8 e3 T# O! I! O1 wArrayResize(m_model,m_ar_order+m_ma_order+m_const);
' {+ G) M o7 GArrayInitialize(m_model,0);( w6 {. i% I/ ^7 d' K1 `
}
7 N8 j' {5 O8 o; L4 b+ B* x, i% _& S除了提供的两个构造函数外,还可以使用重载的 Fit() 方法之一来指定模型。 这两种方法都把建模的数据序列作为其第一个参数。 第一个 Fit() 方法只有一个参数,而第二个方法需要更多的四个参数,所有这些参数都与上表中所记录的参数相同。
1 f5 W4 C8 [; k) h+ Bbool CArima::Fit(double &input_series[])
7 y3 e; R8 n* r+ R{
2 L6 @( p; d; \1 Z7 Z7 guint input_size=ArraySize(input_series);- D' w- j3 p. d! j9 l/ R/ Z
uint in = m_ar_order+ (m_ma_order*2);" b d% M: r2 R# y1 ~/ i: K
if(input_size<=0 || input_size<in)! G5 I) ~1 N K8 {( a# { @
return false;
' \3 O+ ]4 [: Z# Oif(m_diff_order)1 V7 [1 n* {: Q0 x; Q
difference(m_diff_order,input_series,m_differenced,m_leads);2 U' Z- S- D1 h+ k
else
( Z Q; g" p" E/ j6 |& E/ RArrayCopy(m_differenced,input_series);
& ? N9 o9 H! W1 M# U/ I9 q2 h. u" PArrayResize(m_innovation,ArraySize(m_differenced));2 M, a& @8 |* Q5 S
double parameters[];
$ r% L' e$ P. ~2 c6 A' r. KArrayResize(parameters,(m_const)?m_ar_order+m_ma_order+1:m_ar_order+m_ma_order);9 v0 z+ G* K* C! [+ X9 r
ArrayInitialize(parameters,0.0);
6 Q6 ~2 ?) H3 d1 r9 V, D- wint iterations = Optimize(parameters);
M) ]# m2 ]6 b/ k3 [% Sif(iterations>0)
$ a3 g: j. T8 h4 {' o, `m_istrained=true;2 z- }# U7 N% U0 R/ ]& x$ T
else; U9 r+ n6 K. U- m4 f- ~: V c
return false;6 K: N* h K+ P& g; \
m_sse=PowellsMethod::GetFret();
' ?1 e, k$ {3 g6 A0 _* mArrayCopy(m_model,parameters);
3 g+ {; T7 z$ w( q8 ereturn true;
% y/ H0 E# |2 M: f}
4 `) U, ~1 g @& J. G! ?调用更多参数的方法会覆盖以前指定的任何模型,并且还假定每一项的滞后是彼此相邻的。 两者都假定第一个参数指定的数据序列并无差别。 因此,如果由模型参数指定,则会应用差别。 这两种方法都返回一个布尔值,表示模型训练过程的成功或失败。 |