兰姆问题的解,使用该程序可以在半空间中求得精确解