소장자료
LDR | 02286cam a22003378a 4500 | ||
001 | 0092397641▲ | ||
005 | 20180521071711▲ | ||
008 | 140210s2014 flua b 001 0 eng ▲ | ||
010 | ▼a2013048177▲ | ||
020 | ▼a9781466561557 (hardback)▲ | ||
035 | ▼a(KERIS)REF000017362011▲ | ||
040 | ▼aDLC▼beng▼erda▼cDLC▼dDLC▲ | ||
042 | ▼apcc▲ | ||
050 | 0 | 0 | ▼aTS183▼b.F67 2014▲ |
082 | 0 | 0 | ▼a670▼223▲ |
084 | ▼aTEC007000▼aTEC008000▼aTEC020000▼2bisacsh▲ | ||
090 | ▼a670▼bF723c▲ | ||
245 | 0 | 0 | ▼aFormal methods in manufacturing /▼cedited by Javier Campos, Carla Seatzu, Xiaolan Xie.▲ |
260 | ▼aBoca Raton :▼bCRC Press,▼c2014.▲ | ||
300 | ▼axviii, 698 p. :▼bill. ;▼c26 cm▲ | ||
490 | 0 | ▼aIndustrial information technology▲ | |
504 | ▼aIncludes bibliographical references and index.▲ | ||
520 | ▼a"Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems"--▼cProvided by publisher.▲ | ||
650 | 0 | ▼aManufacturing processes▼xMathematical models.▲ | |
650 | 7 | ▼aTECHNOLOGY & ENGINEERING / Electrical.▼2bisacsh▲ | |
650 | 7 | ▼aTECHNOLOGY & ENGINEERING / Electronics / General.▼2bisacsh▲ | |
650 | 7 | ▼aTECHNOLOGY & ENGINEERING / Manufacturing.▼2bisacsh▲ | |
700 | 1 | ▼aCampos, J.▲ | |
700 | 1 | ▼aSeatzu, Carla.▲ | |
700 | 1 | ▼aXie, Xiaolan.▲ | |
999 | ▼c정영주▲ |
Formal methods in manufacturing
자료유형
국외단행본
서명/책임사항
Formal methods in manufacturing / edited by Javier Campos, Carla Seatzu, Xiaolan Xie.
발행사항
Boca Raton : CRC Press , 2014.
형태사항
xviii, 698 p. : ill. ; 26 cm
서지주기
Includes bibliographical references and index.
요약주기
"Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems"-- Provided by publisher.
주제
ISBN
9781466561557 (hardback)
청구기호
670 F723c
소장정보
예도서예약
서서가에없는책 신고
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서