四人回去之後,一起討論了一下,解決這個問題的方案。
這一次,依然是徐佑和樓嵩作為核心,負責把這個問題,轉化為一個數學模型去解決。
羅文坤和林詩雖然遠不及徐佑和樓嵩的水平,但在經過學習後,也算對這個模型的問題有一定的了解了,扮演著輔助的角色。
經過四人的共同努力,利用三天業餘的時間,他們完成了數學模型的轉化,並最終找到了bug的規律。
因為該品牌處理器的一些特殊構造,在轉化後的數學模型中,會出現某些除法的計算結果,與真實值有微小的誤差的現象。
正是這種誤差,導致了軟件卡死的情況。
而這,是可以通過修改代碼進行修複的。
隻要能夠選中這些出現問題的除法算式,並在執行除法之前,讓它們乘以一個常數,就可以修正這個誤差了。
成功解決了這個問題之後,四人都是非常的興奮。
“沒想到這麽難搞的問題,竟然這麽容易就解決了啊!”
要不是親自參與到其中,羅文坤都不會想到,解決這個問題的方法會這麽簡單。
不過有些問題,難點就是在bug的定位上。
如果不能準確的定位bug,從錯誤的方向入手,隻會把問題變得更加複雜。
光是尋找到問題的真正原因,就相當於解決了99%的問題了。
“樓嵩的數學建模確實非常關鍵。要不是樓嵩提到,我根本就想不到,還能把整個問題轉化成一個數學模型去解決。”徐佑說道。
通過這個過程,徐佑也認識到了自己計算機水平還是非常欠缺的。
或者說,徐佑還做不到很好的把數學和計算機相聯係。
在這一點上,確實還是樓嵩更加厲害。
等之後,徐佑可得拖著行李箱,去圖書館好好淘淘書。
“還是你先確定問題的,我才能想到數學建模的方法。”樓嵩說道。