According to the formal representation of ASP, the ASP domain and its concrete problems were also defined, and the procedures to solve ASP by using MIPS were presented.

• 根据装配序列规划问题的形式化描述，对装配序列规划领域及领域的具体问题进行了定义，给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。