数学建模的基本概念与意义 — 数学填空题
题目
某课题组研究城市十字路口信号灯配时问题，记录如下：甲，观察车流，明确“到达车流量”与“绿灯时长”是影响路口通行效率的主要变量；乙，假设车流到达服从某一统计规律，用数学关系刻画车流量、绿灯时长与平均延误之间的关系；丙，代入实际观测数据求出最优绿灯时长；丁，将所得配时方案用于路口试运行，比较实测平均延误与模型预测值，据此调整模型假设。上述过程中，属于“模型建立”的是____（填甲/乙/丙/丁），属于“模型检验”的是____（填甲/乙/丙/丁）。