带移位运算的模型机的设计与实现