Two forms of gray prediction model and optimization model