go top

model checking integrated planning system

  • 模型检验集成规划系统

网络释义专业释义

  模型检验集成规划系统

基于MIPS和子装配体识别的装配序列规划问题研究--《桂林电子科技大学》2008年硕士论文 题,是个典型的NP难题。一般的装配序列规划方法或者存在组合爆炸问题,或者无法保证生成最优的装配序列。鉴于模型检验集成规划系统(Model Checking IntegratedPlanning System, MIPS)在一般领域规划中取得的优异成绩,对采用MIPS解决ASP问题及子装配体识别问题进行了研究。主要工作如

基于8个网页-相关网页

  • 模型检验集成规划系统

·2,447,543篇论文数据,部分数据来源于NoteExpress

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定