سورنا فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

سورنا فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

دانلود پایان نامه اندازه گیری و کنترل کیفیت

اختصاصی از سورنا فایل دانلود پایان نامه اندازه گیری و کنترل کیفیت دانلود با لینک مستقیم و پر سرعت .

دانلود پایان نامه اندازه گیری و کنترل کیفیت


دانلود پایان نامه اندازه گیری و کنترل کیفیت

پایان نامه اندازه گیری و کنترل کیفیت

 

 

 

 

 

 

لینک پرداخت و دانلود *پایین مطلب* 

فرمت فایل:Word(قابل ویرایش و آماده پرینت)

تعداد صفحه:147

حجم پایان نامه:20mb

چکیده :

1-تاریخچه اندازه گیری در جهان

سابقه اندازه گیری به عهد باستان باز می گردد و می توان آن را به عنوان یکی از قدیمی ترین علوم به حساب آورد .

در اوایل قرن 18 جیمز وات (JAMES WATT) مخترع اسکاتلندی پیشنهاد نمود تا دانشمندان جهان دور هم جمع شده یک سیستم جهانی واحد برای اندازه گیریها به وجود آورند . به دنبال این پیشنهاد گروهی از دانشمندان فرانسوی برای به وجود آوردن سیستم متریک (METRIC SYS) وارد عمل شدند .

سیستم پایه ای را که دارای دو استاندارد یکی «متر» برای واحد طول و دیگری «کیلوگرم» برای وزن بوده ، به وجود آوردند . در این زمان ثانیه (SECOND) را به عنوان استاندارد زمان (TIME) و ترموسانتیگراد را به عنوان استاندارد درجه حرارت مورد استفاده قرار می دادند .

در سال 1875 میلادی دانشمندان و متخصصات جهان در پاریس برای امضاء قراردادی به نام پیمان جهانی متریک (INTERNATIONAL METRIC COMVENTION) دور هم گرد آمدند . این قرارداد زمینه را برای ایجاد یک دفتر بین المللی اوزان و مقیاسها در سورز (SEVRES) فرانسه‌ آماده کرد. این مؤسسه هنوز به عنوان یک منبع و مرجع جهانی استاندارد پابرجاست .

امروزه سازندگان دستگاههای مدرن آمریکایی ، دقت عمل استانداردهای اصلی خود را که برای کالیبراسیون دستگاه های اندازه گیری خود به کار می برند ، به استناد دفتر

استانداردهای ملی (N.B.S)تعیین می نمایند .

لازم به یادآوری است دستگاه های اندازه گیری و آزمون به دلایل گوناگون از جمله فرسایش ، لقی و میزان استفاده ، انحرافاتی را نسبت به وضعیت تنظیم شده قبلی نشان می دهند .

هدف کالیبراسیون اندازه گیری مقدار انحراف مذکور در مقایسه با استانداردهای سطوح بالاتر و همچنین دستگاه در محدوده «تلرانس» اصلی خود می باشد .

تعریف اندازه گیری :

اندازه گیری یعنی تعیین یک کمیت مجهول با استفاده از یک کمیت معلوم و یا مجموعه‌ای از عملیات ، با هدف تعیین نمودن تعداد یک کمیت .

صحت :

نزدیکی نتیجه انداره گیری یک کمیت را با میزان واقعی آن کمیت گویند ، این مقدار به صورت درصدی از ظرفیت کلی دستگاه می باشد .

رواداری :

حداکثر انحراف یک قطعه ساخته شده از اندازه خاص خودش را گویند .

دقت :

نزدیکی میزان تفاوت نتایج حاصل از چند اندازه گیری متوالی را مشخص می نماید . دقت دستگاه دلالت بر صحت دستگاه ندارد .

تکرارپذیری :

نزدیکی مقدار خروجیهای یک دستگاه در شرایطی که مقدار ورودی به دستگاه ، روش اندازه گیری شخص اندازه گیرنده ، دستگاه اندازه گیری ، محل انجام کار ، شرایط محیطی یکسان باشد .

دامنه و میزان تغییرات :

حداقل و حداکثر ظرفیت اندازه گیری یک دستگاه را محدوده آن دستگاه گویند .

خطای ثابت :

خطایی که به طور ثابت که در تمام مراحل دامنه اندازه گیری با دستگاه همراه می باشد که این خطا با کالیبره کردن دستگاه برطرف خواهد شد.

خطای مطلق :

نتیجه اندازه گیری یک دستگاه منهای مقدار واقعی اندازه برداشت شده را گویند .

تصحیح :

مقدار عددی که به نتیجه تصحیح نشده یک اندازه گیری افزوده می شود تا یک خطای سیستماتیک فرضی را جبران نماید .

منابع خطای اندازه گیری :

تمام پارامترهای مراحل تولید و مشخصات نهایی تولید بایستی به منظور رعایت صحت استاندارد به وسیله Q.C ارزیابی شوند . طراح سیستم اندازه گیری بایستی روشی را اتخاذ نماید تا میزان خطا در خروجی دستگاهها کاهش یابد و حداکثر خطای باقی مانده شناسایی شوند .

خطاهای ناشی از دستگاه اندازه گیری :

عیوب باطنی دستگاه

استفاده غیرصحیح از دستگاه

اثرات بارگذاری دستگاه

خطاهای ناشی از مشاهده در اندازه گیری :

این نوع خطا شامل وضعیت های مختلف در هنگام خواندن دستگاه نشان دهنده با زوایای مختلف می باشد .

تجزیه و تحلیل اطلاعات اندازه گیری :

جمع ارقام اندازه گیری شده

تعداد دفعات

- استفاده از روش میانگین یا عدد میانی (MEAN AND MEDIAN VALUES)

ــــــــــــــــــــــــــــ = میانگین  

استاندارد

بین المللی

استاندارد

اولیه یا ملی

استاندارد ثانویه

(آزمایشگاه)

استاندارد عملی

وسایل و تجهیزات تولید

هرم استانداردهای کالیبراسیون

وسایل اندازه گیری :

وسایل اندازه گیری باید دارای خصوصیات مقیاس شناسی مورد نیاز برای کاربرد موردنظر مانند دقت ، پایداری ، محدوده ، ریزنگری (RESOLUTION) را دارا باشد .

کاربرد برچسبهای کالیبراسیون

به منظور نشان دادن وضعیت دستگاهها بعد از انجام کالیبراسیون از برچسبهایی استفاده

می شود . این برچسبها در اندازه ها و رنگهای مختلف می باشد . قطعاتی که امکان نصب برچسب بر روی آنها نیست با چسباندن باندهای رنگی که هر رنگ مشخص کننده تاریخ انقضای کالیبراسیون در ماه بخصوصی است صورت می گیرد .

اگر دستگاهی مانند سیستم های مورد استفاده در مایعات چرب و شیمیائی و یا مواد‌آلی که ضدچسب است و امکان چسباندن هیچ نوع برچسب یا باند رنگی نباشد از رنگهای روغنی مشخص کننده تاریخ انقضای کالیبراسیون می توان استفاده کرد . این برچسبها عموماً به صورت حروف مقطعه می باشد که به شرح زیر است :

- عدم نیاز به کالیبراسیون

NCR=NO CALIBRATION REQUIRED

- عدم نیاز به کالیبراسیون دوره ای

NPCR=NO PERIODIC CALIBRATION REQUIRED

- قبل از استفاده کالیبره شود .

C.B.U=CALIBRETE BEFORE USE

- برچسب اعتباری کالیبراسیون

CALIBRATION VOID IF SEAL BROKEN

این برچسب به شکل یک نوار مستطیی و یا دایره ای برای کاربرد در موارد مختلف طراحی شده و معمولاً در صورت پارگی برچسب ، کالیبراسیون از اعتبار ساقط است . در مواقع ضرورت مثل تعویض فیوز اطمینان دستگاه ویا جایگزینی باطری های فرسوده که سبب باز شدن دستگاه گردیده باید به وسیله یک کارت اضافی هشدار دهنده ذکر و به دستگاه آویزان گردد تا احتمال دستکاری دستگاه توسط افراد غیرمجاز از بین برود . در این کارت باید تاریخ باز شدن دستگاه‌، دلیل باز شدن و عملیات صورت گرفته بر روی دستگاه به وضوح با تأیید و امضاء سرپرست قسمت مربوط ذکر گردد .

نمونه ای از یک برچسب کالیبراسیون

IDENTIFICATION

AUTHORITY

CALIBRATION

SPECIAL

FUNCTION

ACCURACY

DATE CALIBRATED

CALIBRATED BY

DATE DUE

نیازمندیهای آزمایشگاه دستگاه های اندازه گیری دقیق

آزمایشگاه مکانی است با خصوصیات ویژه که مجاز به داشتن استانداردهای مرجع است و مسئولیت کالیبراسیون ، تأئید و تعمیر و نگهداری وسایل اندازه گیری دقیق را عهده دار می باشد . در برنامه مترولوژی و کالیبراسیون که مجموعه ای متشکل از استانداردهای اندازه گیری ، نیروی انسانی متخصص و مجرب ، وسایل سنجش و تجهیزات اندازه گیری دقیق و منابع علمی موردنیاز برای یک سیستم جامع از امکانات آزمایشگاهی منطبق با استانداردهای جهانی است ، آزمایشگاه تجهیزات اندازه گیری دقیق از ارکان مهم محسوب می شود . شرایط محیطی در یک آزمایشگاه اندازه گیری دقیق بیشترین میزان تأثیر را در کیفیت عملیات کالیبراسیون دستگاه ها دارد .

موارد زیر شامل شرایط محیطی آزمایشگاه کالیبراسیون محسوب می شوند :

روشنایی :

مقدار نور موردنیاز یک آزمایشگاه بین 50 تا 150 فوت شمع است . به طوری که روی میز کار ایجاد سایه نکند در شرایطی که نیاز به نور بیشتر برای دستگاه های بسیار دقیق باشد می توان از لامپهای اضافی استفاده کرد .

دما :

میزان دما آزمایشگاه بایستی بطور دایم تحت کنترل باشد . دما مورد نیاز برای آزمایشگاه الکترونیک و برای بخش مکانیک است .

فشار

مقدار فشار داخل آزمایشگاه بایستی بیشتر از فشار بیرون باشد . این امر باعث

جلوگیری از ورود گرد و غبار به داخل آزمایشگاه می شود . CLEAN ROOM باید فشار مثبت حداقل اینچ آب بیشتر از فشار هوای بیرون داشته باشد .

گرد و غبار

آزمایشگاه از لحاظ عدم وجود ذرات گرد و غبار به کلاسهای مختلف تقسیم می شود . این کلاسها شامل 300000 ، 100000 ، 10000 ، 1000 و بین 100 تا 1000 است .

هر چه شماره این کلاسها کمتر شود وجود ذرات گرد و غبار هم به همان نسبت کمتر است و کلاس برای انجام آزمایشات دقیق تر مناسبتر است .

رطوبت :

مقدار رطوبت نسبی آزمایشگاه بین 35 تا 55 درصد است . مقدار رطوبت محل همانند دما بایستی دایماً کنترل شود .

لرزش :

محیط آزمایشگاههای اندازه گیری دقیق باید به نحوی طراحی شوند تا حتی الامکان از انواع لرزشهای احتمالی به دور باشند ، یا لرزشهایی که سبب کاهش راندمان کار کالیبراسیون می شوند به نحوی حذف شوند .

صدا :

مقدار صدا بایستی کمتر از باشد .

 

کنترل امواج مغناطیسی :

این امواج در اندازه گیری‌های میرایی و فرکانس اثر دارد . در آزمایشگاه معمولاً اطاقی تحت عنوان اطاق فاراده یا SHIELDING ROOM برای کنترل امواج مغناطیسی وجود دارد که از فلز مس ساخته شده است و دارای میرایی است .

سایر امکانات :

یک محفظه بسته (AIR LOCK) و یک کفش پاک کن برقی با سیستم مکش سرخود باید در مبادی ورودی آزمایشگاهها نصب گردد . اطراف دربها و پنجره و دیواره های متحرک که امکان نفوذ گر و غبار از آنها وجود دارد باید کاملاً ایزوله شود تا از نفوذ ذرات خارج به داخل جلوگیری کرد . برای تأمین درجه حرارت کل آزمایشگاهها و اطاقها یک سیستم تهویه مرکزی استفاده شود 

و...

NikoFile


دانلود با لینک مستقیم


دانلود پایان نامه اندازه گیری و کنترل کیفیت

پایان نامه کارشناسی مهندسی الکترونیک - فاصله سنج اولتراسونیک با قابلیت اندازه گیری دما (برنامه نویسی به زبان C)

اختصاصی از سورنا فایل پایان نامه کارشناسی مهندسی الکترونیک - فاصله سنج اولتراسونیک با قابلیت اندازه گیری دما (برنامه نویسی به زبان C) دانلود با لینک مستقیم و پر سرعت .

پایان نامه کارشناسی مهندسی الکترونیک - فاصله سنج اولتراسونیک با قابلیت اندازه گیری دما (برنامه نویسی به زبان C)


پایان نامه کارشناسی مهندسی الکترونیک - فاصله سنج اولتراسونیک با قابلیت اندازه گیری دما (برنامه نویسی به زبان C)

 

 

 

 

تاکنون پروژه های زیادی با موضوع فاصله سنج اولتراسونیک با میکروکنترلر AVR اجرا شده اند که برنامه نویسی اغلب آنها به زبان اسمبلی و بیسیک بوده که در نرم افزار Bascom نوشته شده اند. اما در این پروژه قصد داریم تا برنامه نویسی را به زبان C و در نرم افزار Codevision انجام دهیم. مدار مورد استفاده در این پروژه همان مدار استفاده شده در پروژه فاصله سنج کتاب پروژه های علمی با میکروکنترلرهای AVR می باشد.همان طور که می دانیم هر شخص طراح می بایست دارای سه خصوصیت باشد:

  • دایره اطلاعاتی بالایی داشته باشد، یعنی علم به روز و ابزارات جدید را خوب بشناسد.
  • شناخت خوبی از سخت افزار داشته باشد (طراحی PCB، شناخت سنسور، میکروکنترلر و ...)
  • از یک زبان برنامه نویسی آگاهی کامل داشته باشد (زبان C، پاسکال، اسمبلی و ...)

دو مورد اول به مراتب از مورد سوم پیچیده تر می باشند و هرکسی توانایی طراحی سخت افزار و مدار آنالوگ را ندارد. با این حال برنامه نویسی اصولی و صحیح (برنامه نویسی ماژولا) نیز قواعد خاص خود را دارد. در این پروژه سعی شده است تا به اختصار به هر بخش پرداخته شود. در پروژه قصد داریم دستگاهی را طراحی و پیاده سازی نماییم که بتواند فاصله اجسام مقابل، تا خود را بدون تماس دستگاه با آن اجسام اندازه بگیرد. برای این کار به یک جفت سنسور فرستنده و گیرنده مافوق صوت نیاز داریم. سنسور فرستنده اولتراسنیک امواج مافوق صوت را تولید می کند و سنسور گیرنده اولتراسنیک امواج باز تابیده شده از اجسام را دریافت می نماید. با اندازه گیری زمان رفت و برگشت امواج صوتی و با دانستن سرعت صوت، مسافت طی شده توسط صوت و هم چنین فاصله دستگاه تا جسم مورد نظر به راحتی محاسبه خواهد شد. از میکروکنترلر ATmega8 در این پروژه استفاده شده است که چند وظیفه اساسی دارد:

  • تولید سیگنال پالس با فرکانس 40khz که در مدار فرستنده مورد استفاده قرار می گیرد.
  • اندازه گیری زمان رفت و برگشت امواج صوتی بازتابیده شده از اجسام
  • اندازه گیری دما
  • محاسبه فاصله و نمایش آن بر روی نمایشگر

در طی مراحل طراحی با مشکلاتی روبرو هستیم که مهمترین آنها متغیر بودن سرعت صوت در دماهای مختلف و تضعیف سیگنال دریافتی توسط سنسور گیرنده است که در ادامه به رفع آنها پرداخته شده است...

پایان نامه مورد نظر مشتمل بر دو (2) فصل، 46 صفحه، تایپ شده، به همراه تصاویر، با فرمت pdf جهت دانلود قرار داده شده و فصل بندی پروژه به ترتیب زیر می باشد:

فصل اول: سخت افزار و توضیح قطعات سخت افزار

  • سخت افزار
  • میکرو کنترلر AVR
  • سنسور اولتراسونیک
  • تقویت کننده عملیاتی
  • خازن
  • مقاومت الکتریکی
  • ترانزیستور
  • دیود
  • تنظیم کننده ولتاژ
  • ال سی دی کاراکتری
  • لیست قطعات فاصله سنج
  • مدار فاصله سنج

فصل دوم: نرم افزار

  • برنامه نویسی میکروکنترلر
  • منطبق برنامه
  • شروع برنامه نویسی به زبان C
  • برنامه نویسی ماژولار
  • منابع

جهت خرید پایان نامه کارشناسی مهندسی الکترونیک - طراحی فاصله سنج التراسونیک با قابلیت اندازه گیری دما (برنامه نویسی به زبان C) به مبلغ فقط 4000 تومان و دانلود آن بر لینک پرداخت و دانلود در پنجره زیر کلیک نمایید.

!!لطفا قبل از خرید از فرشگاه اینترنتی کتیا طراح برتر قیمت محصولات ما را با سایر فروشگاه ها و محصولات آن ها مقایسه نمایید!!

 

!!!تخفیف ویژه برای کاربران ویژه!!!

با خرید حداقل 10000 (ده هزارتومان) از محصولات فروشگاه اینترنتی کتیا طراح برتر برای شما کد تخفیف ارسال خواهد شد. با داشتن این کد از این پس می توانید سایر محصولات فروشگاه را با 20% تخفیف خریداری نمایید. کافی است پس از انجام 10000 تومان خرید موفق عبارت درخواست کد تخفیف و ایمیل که موقع خرید ثبت نمودید را به شماره موبایل 09365876274 ارسال نمایید. همکاران ما پس از بررسی درخواست، کد تخفیف را به شماره شما پیامک خواهند نمود.


دانلود با لینک مستقیم


پایان نامه کارشناسی مهندسی الکترونیک - فاصله سنج اولتراسونیک با قابلیت اندازه گیری دما (برنامه نویسی به زبان C)

محافظه کاری حسابداری و مدل های اندازه گیری آن PPT

اختصاصی از سورنا فایل محافظه کاری حسابداری و مدل های اندازه گیری آن PPT دانلود با لینک مستقیم و پر سرعت .

محافظه کاری حسابداری و مدل های اندازه گیری آن PPT


محافظه کاری حسابداری ومدل های اندازه گیری آن PPT

نام محصولپاورپوینت محافظه کاری حسابداری ومدل های اندازه گیری آن 

فرمت : PPT

تعداد اسلاید: 40

زبان : فارسی

سال گردآوری : 94

 

 

تاثیر حسابداری محافظه کاری شرطی و غیر شرطی بر ارزش شرکت

محافظه کاری شرطی

طبق تعریف بال وشیواکومار ) 5992 ( محافظه -کاری شرطی عبارتست از تاکید زیاد روی شناسایی به موقع زیان. بر اساس این نوع محافظه کاری ، کاهش سودهای حسابداری منعکس کننده یک زیان اقتصادی هم می باشد.یعنی شناخت به موقع زیان در صورت و جود اخبار بد ونامطلوب (بنی مهد و باغبانی 1388)بنابراین می توان محافظه کاری شرطی را نوعی محافظه کاری نامید که دارای خصوصیات زیر باشد.

1-نوعی محافظه کاری که توسط استاندارد های حسابداری الزام شده باشد .

 

 

¨2-مربوط به رویداد های گذشته باشد.

  3-تابع اخبار باشد

محافظه کاری غیر شرطی:

طبق تعریف بال 2005 محافظه کاری غیر شرطی یعنی تمایل حسابداری به سمت گزارش گری حداقل ارزش دفتری حقوق صاحبان بیور و رایان 2005 انتخاب روش ها و ارزش دفتری خالص دارایی را مستقل از اخبار اقتصادی درمحافظه کاری غیر شرطی می باشد.

بنابراین می توان محافظه کاری را نوعی محافظه کاری نامید که دارای خصوصیات زیر باشد.

1-مربوط به رویدادهای آینده باشد   2-مستقل از اخبار بد باشد.

 

 

¨بر اساس تحقیقات انجام گرفته محافظه کاری از طریق محدود کردن رفتار های فرصت طلبانه مدیران  باعث افزایش ارزش شرکت دیگر محافظان محافظه کاری استدلال می کنند که بطور بالقوه تحریف اطلاعات وتخصیص منابع می تواند ارزش شرکت را از بین ببرد (گیگلر و همکاران 2009)
¨جامعه آماری تحقیق را شرکت های پذیرفته شده در بورس اوراق بهادار تهران تشکیل می دهد و قلمرو زمانی تحقیق با در نظر گرفتن اطلاعات نزدیک به زمان تحقیق یک دوره 6 ساله طی دوره زمانی  سال 84 تا 90 تعین شده است و نمونه آماری به روش حذفی وبا در نظر گرفتن شرایط زیر انتخاب شده است .
¨1-از ابتدای سال 84 در بورس پذیرفته شده باشند .
¨2-صورت های مال انها از سال83تا سال 93 در دسترس باشد .
¨3-وقفه معاملاتی بیش از شش ماه نداشته باشند .
¨

4-دوره مالی منتهی به 29 اسفند باشند

5-شرکت های برگزیده متعلق به صنایع بورسی و بانکها و نهادهای پولی و واسطه گری مالی نباشند .

با توجه به شرایط بالا از مجموع شرکت های پذیرفته شده بورسی 76شرکت برگزیده شد. و به منظور بر خورداری از فراگرد مبتنی بر روش شناسی علمی فرضیه های پزوهشی زیر بیان می شوند .

 

فرضیه اول :بین حسابداری محافظه کاری شرطی و ارزش شرکت رابطه مستقیم و معناداری وجود دارد .

فرضیه دوم: بین حسابداری محافظه کاری غیر شرطی و ارزش شرکت رابطه مستقیم و معنا داری وجود دارد .

بری اندازه گیری محافظه کاری شرطی از مدل بال و شیوا کومار استفاده شده است این مدل به شرح زیر است
Accit= α0+ α 1DCFO it+ α 2CFOit+ α
3CFOit *DCFOit+eit
در این مدل acc  کل اقلام تعهدی و dcfo متغیر مجازی در صورتی که تغیر جریان های نقدی عملیاتی نسبت به سال قبل منفی باشد و در غیر این صورت صفرcfo جریان های نقدی عملیاتی .
این مدل معیاری برای اندازه گیری محافظه کاری شرطی می باشد برای اندازه گیری محافظه کاری بر اقلام تعهدی و جریان های نقدی عملیاتی تاکید دارد و از جریانهای نقدی عملیاتی برای تعین اخبار خوشایند وناخوشایند استفاده می کند دراین مدل a3 به عنوان معیار محافظه کاری در نظر گرفته می شود .
 
 

دانلود با لینک مستقیم


محافظه کاری حسابداری و مدل های اندازه گیری آن PPT

بکارگیری بررسی مدل برای برنامه های PLC در اندازه و سطوح صنعتی

اختصاصی از سورنا فایل بکارگیری بررسی مدل برای برنامه های PLC در اندازه و سطوح صنعتی دانلود با لینک مستقیم و پر سرعت .

بکارگیری بررسی مدل برای برنامه های PLC در اندازه و سطوح صنعتی


بکارگیری بررسی مدل برای برنامه های PLC در اندازه و سطوح صنعتی

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 ،برای بیان و تایید رویکرد مطرح شده انجام و ارائه شده است.


دانلود با لینک مستقیم


بکارگیری بررسی مدل برای برنامه های PLC در اندازه و سطوح صنعتی