数学建模、原型建造和（）是基于计算机系统技术可行性研究的有效工具。