Modular Cradle; Flexible Fixture; Assembly System; Mathematical Programming; Optimization;
机译:集成本体和优化的分区操作系统的正式规范和分析
机译:利用本体和形式概念分析整合异构旅游信息
机译:集成分布式本体并减少冗余关系的正式方法
机译:一体化形式形式本体论和CAD系统的整合
机译:整合形式语言理论和数学建模以解决睡眠和昼夜节律应用中出现的问题
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:与宏观参数方法的形式本体和CAD集成