第273节（2 / 2）

{qjik}k(z/t)=∑(jik=s)n(jik=q)(xi)(wj)(rk)；(j=0，1，2，3……；i=0，1，2，3……；k=0，1，2，3……)

{qjik}k(z/t)=[xak(z±s±n±p)，xbk(z±s±n±p)，……，xpk(z±s±n±p)，……}∈{dh}k(z±s±n±p)……

(1－ηf2)(z±3)=[{k(z±3)√d}/{r}]k(z±m±n±3)=∑(ji=3)(ηa＋ηb＋ηc)k(z±n±3)；

(1－η2)(z±(n=5)±3)：(k(z±3)√120)k/[(1/3)k(8＋5＋3)]k(z±1)≤1(z±(n=5)±3)；

w(x)=(1－η[xy]2)k(z±s±n±p)/t{0，2}k(z±s±n±p)/t{w(x0)}k(z±s±n±p)/t……

le(sx)(z/t)=[∑(1/c(±s±p)－1{nxi－1}]－1=n(1－x(p)p－s)－1。

这是一个由正则化组合系数和解析延拓组成的复合方程组，解起来非常的麻烦。

当时徐云做出的唯一判断，便是最后一道方程的解一定是个比值。

不过今天有了足够的时间，他便又发现了一个情况。

只见他在方程的第三行和第五行边画了两根线，又打了个问号。

表情若有所思：

“似乎……”“这张纸片的复合方程组，可以分成三个部分计算？”

众所周知。

正则化理论，最早是为解决不适定问题而提出的。

长期以来人们认为，从实际问题归结出的数学问题总是适定的。

早在20世纪初。

hadamard便观察到了一个现象：

在一些很一般的情况下，求解线性方程的问题是不适定的。

即使方程存在唯一解，如果方程的右边发生一个任意小的扰动，都会导致方程的解有一个很大的变化。

在这种情况下。

如果最小化方程两边之差的一个范函，并不能获得方程的一个近似解。

到了20世纪60年代。

tikhonov，ivanov和phillips又发现了最小化误差范函的加正则项。

即正则化的范函，而不是仅仅最小化误差范函，就能得到一个不适定的解题的解序列趋向于正确解。

换而言之。

第一部 分的方程组，其实是一个描述渐变区域的序列集合。

甚至可能是……

图像？

想到这里。

徐云顿时来了兴趣。

从4d/b2可以判断，这应该是一个涉及到旋转曲面的问题。

第二行的∑(jik=s)n(jik=q)(xi)(wj)则可以确定曲面与经线成了某个定角。

既然是定角，那么就可以假设定模型λ=(a，b，π)，以及观测序列o=(o1，o2，……，ot)。

那么就有α1(i)=πibi(o1)，i=1，2，……，n

αt＋1(i)=[j=1∑nαt(i)aji]bi(ot＋1)，i=1，2，……，n

十五分钟后。

看着面前的结果，徐云若有所思：

“极大化的模型参数吗……”

随后他思索片刻，继续在纸上写下了一道公式：

q(λ，λ)=i∑logπi1p(o，iiλ)＋i∑(t=1∑t－1logaitit＋1)p(o，iiλ)＋i∑(t=1∑tlogbit(ot))p(o，iiλ)。

这是一个很简单的投影曲线，并且圆锥对数螺线上任一点的挠率也与该点到轴的距离成反比。因此可以化简成另一个表达式。

δt(i)=i1i2，……，it－1maxp(it=i，t－1，……，i1，ot，……，o1iλ)，i=1，2，……，n

解着解着，徐云的表情也愈发凝重了起来。

两个小时后。

徐云看着面前的图纸，眉头紧紧的拧成一团：

“好家伙，第一组方程的化解项，居然是一个观测态的方程？”

观测态方程其实是个很奇怪的玩意儿，它在数学中的释义比较复杂，但在物理中的释义却很简单：