四人回去之后,一起讨论了一下,解决这个问题的方案。
这一次,依然是徐佑和楼嵩作为核心,负责把这个问题,转化为一個数学模型去解决。
罗文坤和林诗虽然远不及徐佑和楼嵩的水平,但在经过学习后,也算对这个模型的问题有一定的了解了,扮演着辅助的角色。
经过四人的共同努力,利用三天业余的时间,他们完成了数学模型的转化,并最终找到了bug的规律。
因为该品牌处理器的一些特殊构造,在转化后的数学模型中,会出现某些除法的计算结果,与真实值有微小的误差的现象。
正是这种误差,导致了软件卡死的情况。
而这,是可以通过修改代码进行修复的。
只要能够选中这些出现问题的除法算式,并在执行除法之前,让它们乘以一个常数,就可以修正这个误差了。
成功解决了这个问题之后,四人都是非常的兴奋。
“没想到这么难搞的问题,竟然这么容易就解决了啊!”
要不是亲自参与到其中,罗文坤都不会想到,解决这个问题的方法会这么简单。
不过有些问题,难点就是在bug的定位上。
如果不能准确的定位bug,从错误的方向入手,只会把问题变得更加复杂。
光是寻找到问题的真正原因,就相当于解决了99%的问题了。
“楼嵩的数学建模确实非常关键。要不是楼嵩提到,我根本就想不到,还能把整个问题转化成一个数学模型去解决。”徐佑说道。
通过这个过程,徐佑也认识到了自己计算机水平还是非常欠缺的。
或者说,徐佑还做不到很好的把数学和计算机相联系。
在这一点上,确实还是楼嵩更加厉害。
等之后,徐佑可得拖着行李箱,去图书馆好好淘淘书。
“还是你先确定问题的,我才能想到数学建模的方法。”楼嵩