我又开始在针尖上数天使了，但这次林云同我一起数。

在建立数学模型的过程中，我发现林云的数学能力不如我，但她的知识面很广，对多门科学都有相当深的造诣，这是她的专业所要求的。她在计算机方面的能力很强，数学模型都是经她的手变成程序的。她的程序具有可视化结果输出，如果模型在数学上成功，则屏幕上会出现一个三维的球状闪电，其内部的精细结构纤毫毕现，它消失时的能量释放过程也用慢镜头表现的很清楚，换一个画面还可以在一个三维坐标系中观察其运动轨迹。同我以前的程序输出的那些干巴巴的数据表和曲线相比，这远不止是直观和美观的问题：以前的数据出来时，要经过费时烦琐的非系才能知道模型是否成功，但现在这些事情都由计算机自动完成。这个软件使我们对球状闪电的理论研究发生了质的变化。

球状闪电的数学模型可以做出无数个，这就像命题作文，你只要建立一个符合物理定律并在数学上自治的系统，使得被电磁力约束的能量形成一个稳定的球状，并满足迄今为止已知的球状闪电的特性即可。但作到这点并不容易，有一位天文学家说过一句很有意思的话：恒星这东西，如果不是其确实存在，本来可以很容易证明它不可能存在的。这话对球状闪电也很适用，构想一种机制，将以光速行进的电磁波被禁锢在那样一个小球中，是一件让人发疯的事。

但如果有足够的耐心和钻牛角尖的狂热，这种书写模型还是能够建立起来的，至于它们能否经得起实验的验证则是另外一码事了，事实上我几乎已经肯定它们在实验上是不会成功的。我们已完成的几个数学模型都只在数学上表现出球状闪电的部分特性，有一些特性可能在一个模型中无法表现而在另一个模型中轻而易举地出现，但没有一种能表现全部已知特性。

除了前述的被禁锢的电磁波外，另一个最神秘的特性是球状闪电释放能量时的选择