退出
我的积分:
中文文献批量获取
外文文献批量获取
古天龙; 张勐;
桂林电子科技大学;
计算机学院;
广西;
桂林;
541004;
装配序列规划; 模型检验; 规划领域定义语言; 谓词逻辑; 时态逻辑;
机译:用于集成装配序列规划和装配线平衡的多目标离散粒子群优化算法
机译:基于模型检验的程序缺陷验证(假设开发现场)-使用检验支持工具进行稳定的检验
机译:集成2自由度高速并联机械手的结构和输入设计:基于模型的灵活方法
机译:机械部件自动装配序列规划系统
机译:用于通过三维测量机对机械零件进行尺寸和几何检验的集成信息模型。
机译:对有症状的泌尿生殖医学门诊参加者进行性传播感染的多病原体即时检验的成本收益和成本效益的基于模型的评估
机译:立陶宛规划系统中集成规划的各个方面立陶宛规划系统中集成规划的问题
机译:沿海海洋动力学应用雷达(CODaR)和短期预测系统(sTps)的集成:表面电流估计到搜索和救援最优规划系统(saROps)
机译:检验规划设备,检验规划系统和检验规划方法
机译:机械停车装置操作规划系统,其运行规划方法,操作规划计划,机械停车装置
机译:作业机械的行进路径的规划系统,方法及作业机械
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。