1) Planning via Model Checking
模型检测规划
2) Model Checking Planner
模型检测规划器
3) inspection planning
检测规划
1.
Research on automatic inspection planning for multi-sensor integrated coordinate measuring machines;
基于多传感器集成的三坐标测量机自动检测规划系统研究
2.
Development of CAD-based inspection planning system for CMM
基于CAD的三坐标测量机检测规划系统的开发
3.
A comprehensive survey about the study and development of automatic inspection planning is given in the field of the choice of probe and probe orientation, the determination of the number and positions of the measured points, the planning of the inspection path, the collision detection and collision .
从测头和测头方向的选择、测量点数目及其位置的确定、检测路径的规划、碰撞检查和碰撞规避问题等几方面对自动检测规划的研究和发展做了较全面的综述 ,并对提高检测规划的可靠性和效率提出了几点建
4) planning as model checking
基于模型检验的规划
1.
Survey of planning as model checking;
基于模型检验的规划综述
5) model checking integrated planning system
模型检验集成规划系统
6) planning model
规划模型
1.
The application of planning model to the making of long-term programme of gold mine;
规划模型在黄金矿山长远规划中的应用
2.
Transmission planning models and assessment systems for planning schemes in market environment;
市场环境下输电网规划模型和规划方案评价体系研究
3.
Comprehensive evaluation model and planning model for general assignment problem are established in this paper.
针对研究生录取问题,建立了模糊综合评价模型和一般指派问题的规划模型。
补充资料：城市总体规划与国土规划、区域规划的关系
国土规划、区域规划、城市总体规划是在不同层次、涉及不同地域范围的发展规划。国土规划、区域规划、城市总体规划组成一个完整的规划系列，国土规划和区域规划应当是城市总体规划的重要依据。而全国和区域性的江河流域、土地利用等专业规划则是国土和区域规划的重要组成部分，城市土地利用规划又是城市总体规划的重要组成部分。
我国的国土规划、区域规划以及江河流域规划、区域性土地利用总体规划等工作起步较晚，目前正在有计划、有重点地逐步展开，还没有法定的审批程序和审批成果。而全国绝大多数城市总体规划已经各级政府按法定程序审批，并在不断完善和深化，在实际工作中存在着相互联系和交叉的情况，因此本法原则确定应当相互协调的关系是必要的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条