دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods in Manufacturing
دانلود کتاب روشهای رسمی در ساخت
مشخصات کتاب
Formal Methods in Manufacturing
ویرایش: نویسندگان: Javier Campos, Carla Seatzu, Xiaolan Xie سری: Industrial Information Technology ISBN (شابک) : 9781466561564, 9781466561557 ناشر: CRC Press سال نشر: 2014 تعداد صفحات: 716 [703] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 42 Mb
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Formal Methods in Manufacturing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی در ساخت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی در ساخت
که با مثال‌های ساخت واقعی نشان داده شده است، روشهای رسمی در تولید راه‌حل‌های پیشرفته‌ای را برای مشکلات رایج در سیستم‌های تولید ارائه می‌کند. با فرض کمی دانش در مورد نظریه سیستم های رویداد گسسته، این کتاب ابتدا مقدمه ای مفصل از مهم ترین فرمالیسم های مورد استفاده برای مدل سازی، تجزیه و تحلیل و کنترل سیستم های تولیدی (شامل شبکه های پتری، اتومات ها و جبر max-plus) ارائه می دهد، و مزایای آن را توضیح می دهد. از هر روش رسمی سپس فرمالیسم های مختلف را برای حل مسائل خاص برگرفته از دنیای صنعتی امروز به کار می گیرد، مانند مدل سازی و شبیه سازی، کنترل نظارتی (از جمله پیشگیری از بن بست) در یک محیط توزیع شده و/یا غیرمتمرکز، ارزیابی عملکرد (شامل زمان بندی و بهینه سازی)، تشخیص خطا و تجزیه و تحلیل تشخیصی و پیکربندی مجدد.
شامل فصل‌هایی که توسط متخصصان برجسته در زمینه‌های مربوطه نوشته شده‌اند، روشهای رسمی در تولید به محققان و مهندسین برنامه‌ها کمک می‌کند تا اصول اساسی را مدیریت کرده و با اهداف کیفیت معمولی در ارتباط باشند. طراحی و بهره برداری از سیستم های تولیدی.
توضیحاتی درمورد کتاب به خارجی
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.
