NDA combines perfectly the marina technical know-how with the urban planning &architecture expertise, and has created various innovative and state-of-art marina resorts. 恩蒂埃将码头水岸方面的技术专长与建筑规划领域的深厚功力完美结合起来，从而打造出众多艺术化的游艇码头度假村。
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. 根据装配序列规划问题的形式化描述，对装配序列规划领域及领域的具体问题进行了定义，给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。
