لینک پرداخت و دانلود *پایین مطلب*
فرمت فایل:Word (قابل ویرایش و آماده پرینت)
تعداد صفحه69
فهرست مطالب
پیشگفتار
4
مقدمه
8
فصل اول؛آشنایی با PLC
12
آشنایی با PLC
13
محاسن PLC
16
معایب سیستم های رله کنتاکتوری
16
واحد های تشکیل دهنده PLC
19
مفهوم کنترلرهای قابل برنامه ریزی PLC
23
زمان پاسخ گویی Scan Time
23
قطعات ورودی
24
قطعات خروجی
24
نقش کنترلرهای قابل برنامهریزی (PLC) در اتوماسیون صنعتی
25
مقایسه تابلوهای کنترل معمولی با تابلوهای کنترلی مبتنی بر PLC
25
طراحی مدار فرمان توسط کامپیوتر
27
پروسه کار یکPLC
27
مواردکاربردPLC
27
تفاوت PLC با کامپیوتر
28
حافظه بکار رفته درPLC
28
انواع حافظه ها
29
انواع واحد های حافظه
31
PLC های زیمنس
32
فصل دوم ؛ زبان های برنامه نویسی PLC
33
استانداردهای زبانPLC
34
زبان های برنامه نویسی درPLC
35
اصطلاحاتPLC
37
ظرفیتPLC:
38
فصل سوم ؛ برنامه STEP - 5
44
برنامه STEP-5
45
فصل چهارم؛ برنامه نویسی به زبانLADER
49
برنامه نویسی به زبانLADER
50
شمارنده ها یا کانترها
55
مقایسه کننده هاCOMPRATOR
56
فصل پنجم؛ آشنایی با S7
57
آشنایی با خانواده S7
58
فرمت آدرس دهی در S7
60
نرم افزاری های جنبی و مرتبط با STEP7
63
منابع و مآخذ
66
پیشگفتار
اتوماسیون صنعتی به بهره گیری از رایانه ها بجای متصدیان انسانی برای کنترل دستگاه ها و فرایندهای صنعتی گفته میشود. اتوماسیون یک گام فراتر از مکانیزه کردن است . مکانیزه کردن به معنی فراهم کردن متصدیان انسانی با ابزار و دستگاه هایی است که ایشان را برای انجام بهتر کارشان یاری میرساند. نمایانترین و شناخته شده ترین بخش اتوماسیون صنعتی ربات های صنعتی هستند.
امروزه کاربرد اتوماسیون صنعتی و ابزار دقیق در صنایع و پروسه های
خورد . کنترل پروسه و سیستمهای اندازه گیری پیچیده ای که در صنایعی همچون نفت ، گاز ، پتروشیمی ، صنایع شیمیایی ، صنایع غذایی ، صنایع خودرو سازی و غیره بکار می آید نیازمند ابزارالات بسیار دقیق و حساس می باشند . پیشرفتهای تکنیکی اخیر در کنترل فرایند و اندازه گیری پارامترهای مختلف صنعتی از قبیل فشار ، دما ، جریان و غیره باعث افزایش کیفیت محصولات و کاهش هزینه های تولید گردیده است .
به طور کلی برخی از مزایای اتوماسیون صنعتی از این قبیل اند:
- تکرارپذیری فعالیتها و فرایندها
- افزایش کیفیت محصولات تولیدی
- افزایش سرعت تولید (کمیت تولید )
- کنترل کیفیت دقیقتر و سریعتر
- کاهش پسماندهای تولید (ضایعات)
- برهمکنش بهتر با سیستمهای بازرگانی
- افزایش بهره وری واحدهای صنعتی
- بالا بردن ضریب ایمنی برای نیروی انسانی و کاستن از فشارهای روحی و جسمی
در حال حاضرارتقاء سطح کیفی محصولات تولیدی در صنایع مختلف و در کنار آن افزایش کمی تولید ، هدف اصلی هر واحد صنعتی می باشد و مدیران صنایع نیز به این مهم واقف بوده و تمام س
برای دریافت اصل مقاله شماره 4 را به 09903207833 تلگرام نمایید.
Abstract—Programmable Logic Controllers (PLCs) are embedded
computers widely used in industrial control systems.
Ensuring that a PLC software complies with its specification is a
challenging task. Formal verification has become a recommended
practice to ensure the correctness of safety-critical software but
is still underused in industry due to the complexity of building
and managing formal models of real applications. In this paper,
we propose a general methodology to perform automated model
checking of complex properties expressed in temporal logics (e.g.,
CTL, LTL) on PLC programs. This methodology is based on
an Intermediate Model (IM), meant to transform PLC programs
written in various standard languages (ST, SFC, etc.) to different
modeling languages of verification tools. We present the syntax
and semantics of the IM and the transformation rules of the ST
and SFC languages to the nuXmv model checker passing through
the intermediate model. Finally, two real cases studies of CERN
PLC programs, written mainly in the ST language, are presented
to illustrate and validate the proposed approach.
چکیده
کنترلر های منطقی برنامه پذیر PLC ،ها کامپیوترهای نهفته و طراحی شده ای اند که در سیستم های کنترل صنعتی کاربرد های فراوانی دارند.اطمینان از اینکه یک نرم افزار PLC با ویژگی هایش تطابق داشته باشد ،امری چالش بر انگیز است.درستی یابی رسمی یکی از اقدامات توصیه شده برای اطمینان از صحت و درستی نرم افزار است اما هنوز به دلیل دشواری و پیچیدگی ساختار و مدل های رسمی مدیریت در موارد کاربردی واقعی در همه ی صنایع مورد استفاده قرار نمیگیرد.در این مقاله ما یک روش کلی برای اجرای بررسی مدل خودکار از ویژگی های پیچیده ی مطرح شده در CTL و LTL بر برنامه های PLC را مطرح میکنیم.این روش مبتنی است بر مدل واسطه ای و میانجی IM ،برای تبدیل برنامه های PLC نوشته شده به زبان های استاندارد مختلف ST و SFC و به زبان های مدل سازی مختلف از ابزار های درستی یابی و وارسی.در این تحقیق ما ترکیب لغوی و معنایی IM و قوانین تبدیل زبان های ST و SFC را به بازبینی کننده ی مدل nuXmv از طریق مدل واسطه ای و میانجی را بیان نموده ایم.نهایتا دو مطالعه ی موردی حقیقی از برنامه های CERN PLC نوشته شده به زبان ST ،برای بیان و تایید رویکرد مطرح شده انجام و ارائه شده است.
لینک پرداخت و دانلود *پایین مطلب*
فرمت فایل:Word (قابل ویرایش و آماده پرینت)
تعداد صفحه:19
فهرست و توضیحات:
مقدمه
توضیح مختصری در مورد PLC چیست ؟
PLC
.در ایران بیشتر از PLCهای ساخت شرکت زیمنس در صنعت استفاده میشود.ما هم به توضیح این نوع PLCها میپردازیم.البته ناگفته نماند که PLCهای شرکت کنترونیک که یک PLC ایرانی است هم در صنعت کاربرد بسیار زیادی دارد.اما به دلیل نزدیکی زبان برنامه نویسی که PLCهای این شرکت با PLCهای زیمنس دارد صرفا به معرفی PLCهای زیمنس بسنده میکنیم.PLCهای زیمنس خود بر دو نوع هستند.1-STEP5 و 2-STEP7 که هر کدام خود بر گونه های مختلف تقسیم می شوند.در حال حاضر استفاده از نوع STEP5 رو به کاهش است و به سبب قابلیت و امکانات بیشتر از نوع STEP7 استفاده میکنند.STEP7 خود از 3 مدل تشکیل شده است.مدل اول STEP7-200 که برای پروسه های کوچک استفاده میشود.مدل دوم STEP7-300 است که برای پروسه های متوسط به کار میرود و نوع سوم STEP7-400 است که برای پروسه های کاری بزرگ در صنعت اتوماسیون استفاده میشود.نوع STEP7-200 به صورت Compact یا فشرده است یعنی تمامی سخت افزاری که قبلا درباره آن صحبت کردیم یک جا است.اما در نوع STEP7-300 و STEP7-400 اینطور نبوده و این نوع PLCها به صورت ماژولار می باشند.یعنی هر بخش از سخت افزار به صورت جداگانه قرار رارد.بیشترین مزیت این نوع آن است که میتوان ورودی و خروجی ها را بسته به نوع پروسه کاریمان کم یا زیاد کنیم و همچنین CPU و منبع تغذیه قابل تغییر است.
دانلود گزارش کارآموزی رشته برق کار با دستگاه Plc بافرمت ورد وقابل ویرایش تعدادصفحات 60
گزارش کارآموزی آماده,دانلود کارآموزی,گزارش کارآموزی,گزارش کارورزی
این پروژه کارآموزی بسیار دقیق و کامل طراحی شده و جهت ارائه واحد درسی کارآموزی میباشد
پروژه کارآموزی کار با دستگاه Plc :
پیشگفتار : در طول دوره کارآموزی در زمینه های مختلف فعالیت نمودم و با تجارت ارزنده ای آشنا شدم ، آشنایی با برخی از دستگاههای Plc را می توان به عنوان شاخص ترین فعالیت انجام شده در طول این دوره معرفی نمود ، در این پروژه به بررسی آموخته های اینجانب در طول دوره کاراموزی می پردازیم . مقدمه : پیالسی :در دنیای برق دو فناوری مهم با نام PLC شناخته میشوند یکی کنترلر های منطقی برنامه پذیر و دیگری حامل خطوط قدرت در این مقاله کنترلر های خطی برنامه پذیر برسی شده اند: مخفف (به انگلیسی: Programmable Logic Controller) که معادل فارسی «کنترلگر منطقی برنامهپذیر» است، رایانهٔ کنترلگر تک منظورهای است که به دلیل ویژگیهای خاصّش بیشتر برای کنترل فرآیندهای مکانیکی یا صنعتی مانند خطوط تولید استفاده میشود. مفهوم PLC PLC یا کنترلگر منطقی برنامهپذیر: برنامه پذیر است. یعنی رایانه است. اما یک رایانهٔ ویژه برای منظوری ویژه PLC ست. یعنی با دانستن اصول ساده و پایهٔ منطق که پیشنیازی هم ندارد، میتوان اساس کار آن را درک و تحلیل کرد. PLC کنترلگر است. مانند مدار فرمان الکتریکی. PLC منطقی ست. برخلاف مدار فرمان الکتریکی. مزیت PLC نسبت به رایانه PLC برخلاف یک رایانهٔ عادی غیر صنعتی: برای کار در شرایط سخت ساخته میشود. شامل: غبار رطوبت گرما و سرما نویز الکتریکی و نوسان برق و.. برنامههای داده شده به PLC در حافظهٔ آن ذخیره میشوند. PLC دو نوع حافظه دارد :موقّت (که یا با یک باتری پشتیبانی شود) و دائم. برای انجام وظیفهٔ ویژه اش، امکان اتصال و کنترل ورودیها و خروجیهای زیادی را برای حسگرها و محرکهای متعدد و گوناگون دارد. قابلیت خواندن و پردازش مقادیر و متغیّرها. شامل: مقادیر لیمیت سوییچها متغییرهای آنالوگ (مانند مقادیر حسگرهای گرما و فشار) موقعیتها در سیستمهای موقعیتیاب را دارد. قابلیت فعّال نمودن دستگاههای خاص. شامل: موتورهای الکتریکی سیلندرهای پنوماتیکی یا هیدرولیکی رلههای مغناطیسی و سیمپیچها خروجیهای آنالوگ را فعال کند. مزیت PLC نسبت به مدار فرمان PLC جایگزین مناسب مدار فرمان الکتریکی ست. اما چون منطقی ست، بهتر است. کنترل منطقی از کنترلی ست که در آن صدور فرمانها نیازمند برآورده شدن تعدادی توابع و خواستهای منطقی باشد ساختار ساختار PLC مشابه ساختار رایانهاست. شامل: پردازنده و حافظهٔ نیمههادی قسمت پردازنده دارای ارتباطاتی با قسمتهای مختلف داخل و خارج خود میباشد. حافظهٔ را توضیح خواهیم داد ماژلهای I/O منبع تغذیه در PLCهای کوچک همهٔ موارد (پردازنده، I/O، منبع تغذیه در یک واحد و در PLCهای بزرگتر هر یک در واحدی مجزّا جای داده شدهاند. حافظهٔ PLC دو نوع است: ROM یا حافظهٔ دائم (Read only memory)تراشهایست خاص؛ حاوی برنامهای که: توسط کارخانه سازنده تعبیه شدهاست. وظیفهای مشابه سیستمعامل DOS در رایانههای شخصی دارد در حین عملیات CPU نمیتواند تغییر یابد یا پاک شود. حتّی به هنگام فطع تغذیه CPU RAM یا حافظهٔ موقّت (Random Access memory) تراشهایست نیمههادی که میتوان در آن برنامه نوشت. ابزار برنامه نویسی، که معمولاً یک واحد پردازنده با صفحه نمایش و صفحه کلید میباشد (بعنوان مثال یک کامپیوتر شخصی، یک PLC در خانواده زیمنس) بهعنوان یک واحد مجزا از طریق سیم به واحد اصلی متصل است. برنامه در این حافظه ذخیره میشود امکان برنامهریزی، تغییر و پاک کردن آنها توسط برنامهریز وجود دارد. حافظهٔ موقّت میتواند از نوعی غیر از RAM انتخاب شود. اطلاعات موجود در حافظههای RAM با قطع تغذیه، پاک میگردند. اغلب CPUها مجهز به یک باتری پشتیبان هستند. بنابراین اگر تغذیه ورودی فطع شود و درپیآن منبع تغذیه نتواند ولتاژ سیستم را تامین کند، باتریِ پشتیبان، برنامهٔ ذخیره شده در RAM را حفظ میکند. انواع PLCها در صنعت PLC بیش از یکصد کارخانه با تنوع بسیار در طراحی و ساخت انواع مختلف PLC فعالیت میکنند. PLCها را میتوان از نظر اندازه، حافظه، تعداد ورودی/خروجی، وسعت عملیات (محلی یا وسیع) و ... دستهبندی نمود. باید توجه داشت که برای ارزیابی قابلیت یک PLC باید ویژگیهای دیگری مانند پردازنده، زمان اجرای یک سیکل، سادگی زبان برنامه نویسی، قابلیت توسعه و ... را در نظر گرفت.