LOGIC PROGRAMMING FOR MACHINE TOOLS

机译：机床的逻辑编程

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Logic programming is a very important issue in programming for machine tools, especially for decision-making for machine operations. First, this paper presents a survey on some of the mathematical approaches for logic programming. Second, it presents a case study on logic programming a flexible manufacturing cell.

机译：逻辑编程是机床编程中非常重要的问题，尤其是对于机床操作的决策。首先，本文对逻辑编程的一些数学方法进行了概述。其次，本文介绍了对柔性制造单元进行逻辑编程的案例研究。

著录项

来源
《IFIP 207; IFIP(International Federat; ;》|2006年|717-722|共6页
会议地点
作者
Reggie Davidrajuh;
展开▼
作者单位

Department of Electrical Computer Engineering, University of Stavanger, Norway;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;企业生产管理;
关键词
logic programming; mathematical approach; machine tools;

机译：逻辑编程数学方法机械工具;

相似文献

外文文献
中文文献
专利

1. USING LOGIC PROGRAMMING FOR IMPROVE AND INCREASE THE RELIABILITY OF TOOLS AND EMBEDDED MACHINE TO AVOID SOME "MISSION CRITICAL? IN FLEXIBLE MANUFACTURING LINES [J] . Gheorghe MARC, Maria Loredana BOCA Fiability and Durability . 2014,第1期

机译：使用逻辑编程来提高和提高工具和嵌入式机器在柔性生产线上避免某些“关键任务”的可靠性
2. Petri Nets and Ladder Logic for Fully-Automating and Programmable Logic Control of Semi-Automatic Machines and Systems | Science Publications [J] . Ahmad M. Jaradat, Anas N. Al-Rabadi, Mahmoud A. Barghash, American journal of engineering and applied sciences . 2011,第2期

机译：Petri网和梯形逻辑，用于半自动机器和系统的全自动和可编程逻辑控制科学出版物
3. Petri Nets and Ladder Logic for Fully-Automating and Programmable Logic Control of Semi-Automatic Machines and Systems [J] . Mahmoud A. Barghash, Osama M. Abuzeid, Anas N. Al-Rabadi, American journal of engineering and applied sciences . 2011,第2期

机译：Petri网和梯形逻辑，用于半自动机器和系统的全自动和可编程逻辑控制
4. TELIOS: A Tool for the Automatic Generation of Logic Programming Machines [C] . Alexandros C. Dimopoulos, Christos Pavlatos, George Papakonstantinou Artificial intelligence applications and innovations III . 2009

机译：TELIOS：自动生成逻辑编程机的工具
5. Parallel virtual machine for functional logic programming. [D] . Alqaddoumi, Abdulla. 2016

机译：用于功能逻辑编程的并行虚拟机。
6. Structure-activity relationships derived by machine learning: the use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming. [O] . R D King, S H Muggleton, A Srinivasan, 1996

机译：通过机器学习得出的结构与活动的关系：通过归纳逻辑编程使用原子及其键连接性来预测诱变性。
7. TELIOS: A tool for the automatic generation of logic programming machines [O] . Dimopoulos, AC, Pavlatos, C, Papakonstantinou, G 2009

机译：TELIOs：用于自动生成逻辑编程机器的工具

LOGIC PROGRAMMING FOR MACHINE TOOLS

摘要

著录项

相似文献

相关主题

期刊订阅