توضیحات
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 todays 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.
————————————————————–
ترجمه ماشینی :
نمونه شده با مثال های ساخت واقعی، روش های رسمی در تولید راه حل های پیشرفته ای را برای مشکلات رایج در سیستم های تولید ارائه می دهد. با فرض کمی دانش در مورد نظریه سیستم های رویداد گسسته، این کتاب ابتدا مقدمه ای مفصل از مهم ترین فرمالیسم های مورد استفاده برای مدل سازی، تجزیه و تحلیل و کنترل سیستم های تولیدی (شامل شبکه های پتری، اتومات ها و جبر حداکثر به اضافه) ارائه می دهد و مزایا را توضیح می دهد. از هر روش رسمی سپس فرمالیسم های مختلف را برای حل مشکلات خاص برگرفته از دنیای صنعتی امروز به کار می گیرد، مانند مدل سازی و شبیه سازی، کنترل نظارتی (از جمله پیشگیری از بن بست) در یک محیط توزیع شده و/یا غیرمتمرکز، ارزیابی عملکرد (شامل زمان بندی و بهینه سازی)، تشخیص خطا و تجزیه و تحلیل تشخیص و پیکربندی مجدد.
شامل فصلهایی که توسط متخصصان برجسته در زمینههای مربوطه نوشته شدهاند، روشهای رسمی در تولید به محققان و مهندسین کاربرد کمک میکند تا اصول اساسی را مدیریت کنند و با اهداف کیفیت معمولی مقابله کنند. طراحی و بهره برداری از سیستم های تولیدی.
tag : دانلود کتاب روشهای رسمی در تولید , Download روشهای رسمی در تولید , دانلود روشهای رسمی در تولید , Download Formal Methods in Manufacturing Book , روشهای رسمی در تولید دانلود , buy روشهای رسمی در تولید , خرید کتاب روشهای رسمی در تولید , دانلود کتاب Formal Methods in Manufacturing , کتاب Formal Methods in Manufacturing , دانلود Formal Methods in Manufacturing , خرید Formal Methods in Manufacturing , خرید کتاب Formal Methods in Manufacturing ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.