位置：成果数据库 > 期刊 > 期刊详情页
基于模型检验集成规划系统的装配序列规划
  • 期刊名称：计算机集成制造系统, 2008,14(9): 1781-1790
  • 时间：0
  • 相关项目：装配序列生成的符号技术研究
同期刊论文项目
装配序列生成的符号技术研究
期刊论文 25
同项目期刊论文
装配序列规划问题求解的一种混合算法
Abstract Model Checking for Web Services
生成有向装配连接图有向割集的递归收缩算法
The Symbolic OBDD Scheme for Generating Mechanical Assembly Sequences
基于符号二叉决策图的装配序列生成技术
基于免疫算法的装配序列规划问题求解
基于OBDD的有向图的存储与操作研究
基于OBDD的拆卸序列表示模型的优化
装配几何可行性判别的符号OBDD技术研究
装配序列生成的符号OBDD技术研究
基于有序二叉决策图的装配序列符号表示方法
柔性制造系统中生产调度求解的一种符号算法
Symbolic OBDD Representations for Mechanical Assembly Sequences.
基于一阶混杂Petri网的柔性制造系统粗糙控制
网络传感器操作系统设计
基于混杂Petri网的柔性制造系统免疫调度算法
基于Petri网启发式搜索的装配序列规划
生产时间可变间歇过程的Petri网模型及其调度
求解装配序列规划的一种多智能体进化算法
基于符号有序二叉决策图的装配序列生成技术
柔性制造系统中生产调度问题求解的一种符号算法
模糊柔性制造系统的混杂Petri网建模与调度
基于模型检验集成规划系统的机械装配序列规划
装配序列生成的有序二叉决策图技术研究