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

 طراحی مدل-محور با Simulink/Stateflow همخوانی دارد و در صنعت به طور گسترده ای مورد استفاده قرار گرفته اند. در واقع Simulink محیطی برای بررسی و طراحی مدل-محور سیستم های نهفته ی کنترل می باشد که زبان مدل سازی گرافیکی بصری را ارائه می دهد که یادآور نمودارهای مداری است و به همین دلیل برای مهندس درحال تمرین جذاب به نظر می رسد. همچنین، StateFlow جعبه ابزاری است که ابزارهای لازم برای مدل سازی و شبیه سازی سیستم های واکنشگر را از طریق نمودار سلسله مراتبی حالت ارائه می دهد و با این کار دامنه ی Simulink را به شکل های ترکیبی و حالت-محور کنترل نهفته اراقاء می دهد. مدل سازی، بررسی و طراحی با استفاده از Stateflow Simulink/ به استانداردی عملی در صنعت سیستم های نهفته مبدل شده است.

بعلاوه، Simulink/Stateflow و استیت فلو به شبیه سازی گسترده طبق محاسبات عددی تایید نشده وابسته هستند تا نیازمندی هخای سیستم را تایید کنند. این امر مستعد پوشش غیرکامل سیستم های باز و عدم صحت بررسی نتایج می باشد که در نتیجه ی خطاهای عددی ایجاد می شود. در نتیجه ی این امر، ممکن است خطاهای مدل طی شبیه سازی سناسایی نشوند. به محض اینکه چنین سیستم نادرستی ایجاد شود، خطای سیستم باعث ایجاد بحران به خصوص در زمینه های حساس به امنیت می شود.

تکنیک های تایید صوری به اصلاح خطاها و مشکلات شبیه سازی کمک می کنند. به طور نمونه، استاندارهای صنعتی از جمله DO-178C, IEC 61508, EN 50128, ISO 26262 از بکارگیری روش های صوری یا نیمه صوری به عنوان مکمل روش های رایج حمایت می کنند تا سیستم های نهفته ای با سطوح امنیت بالا ایجاد شوند.

در واقع، Simulink از آنالیز صوری مدل های S/S حمایت می کند. این مهم از طریق استفاده از ابزار تایید کننده ی طراحی Simulink (Simulink Design Verifier) انجام می گیرد که با اقتباس روش های صوری خطاهای نهفته در طراحی را بدون حرکت های شبیه شازی گسترده شناسایی می کند. با این حال، در حال حاضر این ابزار قادر است تا بلوک های مدل که در نتیجه ی خطاهای سطح پایین مانند سرریز عدد صحیح، منطق مرده، نقض دسترسی آرایه، تقسیم بر صفر  ایجاد شده اند را شناسایی کند. این مدل ویژگی های سطح مدل کامل با جنبه های فیزیکی و محیطی را در نظر نمی گیرد. از سوی دیگر، روش های صوری موجود در پیشینه که به مدل های S/S با پیوستگی زمانی می پردازند فاقد بیان و یا مقیاس پذیری هستند. نیازمندی های قوی ایمنی و سیستم های نهفته برای S/S تکنیک های تایید صوری موثرتری راملزم میدارد.

این کتاب رویکرد صوری جدید و به روزی به نمودارهای پیوستگی زمانی S/S را ارائه می کند. این رویکرد از آنجا قیاسی نامگذاری شده است که به زبان مدل سازی شبیه فرایند و سیستم تایید قیاسی ایجاد شده بر اساس زبان  وابسته است. تایید صوری مدل های S/S با ایجاد یه رابط به نام برگردان های دوسوئه، بین مدل های S/S و مدل های صوری در CSP ترکیبی ایجاد می شود که زبان مدل سازی صوری برای سیستم های ترکیبی گسسته-پیوسته است. از طریق چنین رابطی،  مدل های S/S در ابتدا به HCSP تبدیل شده و صحت چنین تحولی از طریق تاییدیه های صوری یا برگردان معکوس از HCSP به S/S و هم-شبیه ساز تایید می شود. این مسیری به سمت تایید مکانیکی مدل S/S را ایجاد می کند چراکه آنالیز صوری مدل های HCSP توسط سیستم قیاسی تاییدی به نام Hybrid Hoare Logic حمایت می شود که با استفاده از کمک تایید تعاملی به نام Isabelle/HOL اجرا می شود.

رویکرد ارائه شده دارای ویژگی های بارز زیر می باشد: اول اینکه زبان HCSP دارای مجموعه ای غنی از شکلهای هندسی با ترکیب اولیه هستند که مدل سازی همزمانی ها و ارتباطات متعدد نمدار S/S را تسهیل می کند، دوم اینکه استدلال قیاسی مبتنی بر HHL مدل های HCSP ترکیبی بوده و تکنیک های نسل ثابت قدرتمندی اجرا می شوند تا به دینامیک پیوسته  بپردازد و از اکتشاف جامع فضای حالتی جلوگیری کند و مقیاس پذیرتر است. سوم اینکه موثر و مفید بودن روش از طریق مطالعات موردی واقعی که از صنایع ریلی و هوایی نشئت می گیرند نشان داده می شود.

این کتاب محققان، فارغ التحصیلان، و مهندسان در حوزه های روش های صوری و سیستم های نهفته مخاطب قرار می دهد. این کتاب به خواننده روش قیاسی مبتنی بر HCSP/HHL و بکارگیری ابزارهای موجود برای تایید صوری نمودار S/S را می آموزد. بعلاوه، برای کسانی که با روش های صوری آشنایی ندارند، کتاب دانشی کلی پیرامون عناصر اساسی و تکنیک های رایج در ایجاد رویکرد قیاسی تایید صوری به خصوص برای سیستم های نهفته ارائه می دهد. در نهایت، بررسی مطالعات موردی موفق خواانده را قادر می سازد تا درک کند که چطور روش های صوری می توانند به صنعت واقعی کمک کنند، و ترغیب می شوند تا رویکرد پیشنهادی را استفاده یا حتی روش های صوری خودشان را در کارهای آتی ایجاد کنند.

لینک دانلود

نوشته کتاب بررسی تصویری نمودارهای Simulink/Stateflow ( رویکردی قیاسی ) اولین بار در ايران متلب. پدیدار شد.

یکی دیگر از عوامل دلسرد کننده مردم از یافتن زیرساختهای ماشین شان و اینکه انها در واقع چطوری کار می کنند این است که  windows  و Mac OS X هر دو بندهایی در توافقنامه شان دارند که شما را از اصلاح کد هایی که انها نوشته اند منع کرده است.حتی اگر شما پول خوبی برای ان پرداخت کرده باشید، به شما اجازه ی اینکه این بیت ها را بردارید و دوباره کنار هم بچینید را نمیدهد.علاوه بر این، اگرچه کامپیوتر در اطراف ما هست ولی اکثر مردم از انچه در اطرافشان می گذرد غافلند.

ورود رزبری پای  Raspberry Pi                                                                                                 

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

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

منشا  pi

نگاهی به اولین مدل رزبری پای

اسلات کارت حافظه خارجی SD

رزبری پای نمی تواند با هر حافظه ای بیاید، پس شما باید کارت حافظه خارجی خود را برای ذخیره سیستم عامل و فایل هایتان تهیه کنید. خوبی ان  این است که شما تنها برای انچه که می خواهید استفاده کنید هزینه پرداخت می کنید- شما می توانید £8  برای کارت حافظه 4GB ، 200 £ برای کارت حافظه 128GB یا هرچیزی بین این ها،  پرداخت کنید.

خروجی ویدیوی RCA

در تلویزیون های قدیمی تر، یک کانکتور ویدئوی RCA وجود داشت. که  در حال حاضر حذف شده است، و به جای ان یک رابط مشابه از طریق جک 3.5mm و یا از طریق برد در  پای صفر ، آمده است.

جک صوتی 3.5mm

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

سیستم در چیپ

این واحد کوچک ، واقعا باهوش است: شامل یک پردازنده 700MHz ARM 11  و پردازنده گرافیکی  4 GPU است.  مکان رم در بالای سیستم در چیپ است: مدل A   ما 256MB می گیرد در حالیکه مدل B با 512MB می اید.

پورت USB

مدل B  پای ، دو پورت USB دارد. که برای اتصال به صفحه کلید و موس کافی است. اصلاحات اخیر چهار پورت ( B+ ، رزبری پای 2 ) یا فقط یک پورت در حالت  پای صفر و A+ دارند.

اتصال دهنده برق

برق ورودی برای  پای از اتصال میکرو  USB استاندارد 5 ولتی استفاده می کند ، به این معنی که شما می توانید منبع تغذیه بسیار ارزانی را تهیه کنید. و اگر شما یک تلفن اندروید داشته باشید ، در حال حاضر یک منبع تغذیه مناسبی دارید.

خروجی  HDMI

تیم طراحی فرض کرده است که اکثر مردم  هم به یک تلویزیون و هم یک صفحه نمایش متصلند، بنابراین یک خروجی HDMI برای اتصال به تلویزیون های جدید و صفحه نمایش کامپیوتر وجود دارد.

اترنت

مستقیم به اینترنت وصل شوید، مگر اینکه شما یک مدل رزبری پای A یا  پای صفر داشته باشید که اتصال اترنت نداشته باشد- در این حالت شما مجبورید این کار را  با اداپتور بی سیم USB انجام دهید.

لینک دانلود

ایران متلب در حال تهیه فیلم آموزشی Raspberry  Pi در متلب می باشد. علاقه مندان می توانند در زیر این صفحه با دادن نظر علاقه خود برای تهیه این آموزش را برای ما ارسال کنند. بعد از تهیه برای علاقه مندان ایمیل خواهد شد.

نوشته راهنمای جامع Raspberry  Pi در متلب اولین بار در ايران متلب. پدیدار شد.

در حال تهیه

نوشته فیلم آموزشی simmehanics در simulink اولین بار در ايران متلب. پدیدار شد.

جعبه ابزار stateflow يک مثال از ساختار ماشين حالت محدود می باشد. يک ماشين حالت محدود نمايشی از يک سيستم پيشامد رانشی ( Event Driven System ) می باشد. در يک سيستم پيشامد رانشی ، سيستم ممکن است يک گذر از يک حالت به يک حالت از پيش تعريف شده براساس شرايط تعريف شده داشته باشد. يک روش برای طراحی سيستمهای پيشامد رانشی ، مدلسازی رفتار سيستمها برحسب شرايط گذر بين سيستمها می باشد. يک حالت بر اساس رخ دادن پيشامدها فعال می گردد. Stateflow براساس مفاهيم ساختار ماشين حالت محدود توسط Harel طراحی گرديد

Stateflow به شما اجازه می دهد که بیان گرافیکی و جدولی را با هم ترکیب کنید تا نحوه عملکرد یک سیستم به رخدادها (events) و سیگنال های ورودی و شرایط بر مبنای زمان را مشخص کنید.

بیان های گرافیکی و جدولی شامل دیاگرام انتقال حالت و flow chart و جدول های انتقال حالت و جدول های صحت (truth) می باشد.

برخی از کاربردهای stateflow در کنترل با ناظر و زمان بندی امور (task) و مدیریت خطا (fault) می باشد.

برخی از مزیت های کلیدی statflow :

مدلسازی گرافیکی سیستم های منطقی پیچیده

توانایی اجرای عملیات موازی و سلسله مراتبی

امکان استفاده از دیاگرام حالت و جداول انتقال حالت و ماتریس های انتقال حالت

استفاده از توابع متلب در بیان الگوریتم ها

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

قابلیت مدلسازی و شبیه سازی ماشین های حالت Moore و Mealy

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

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

لینک سفارش

خلاصه 1 :

لینک دانلود (کیفیت بالا)

لینک آپارات

لینک یوتیوب

خلاصه 2 :

لینک دانلود (کیفیت بالا)

لینک آپارات

لینک یوتیوب

خلاصه 3 :

لینک دانلود (کیفیت بالا)

لینک آپارات

لینک یوتیوب

خلاصه 4 :

لینک دانلود (کیفیت بالا)

لینک آپارات

لینک یوتیوب

تصاویری از این فیلم آموزشی stateflow:

نوشته فیلم آموزشی stateflow در MATLAB اولین بار در ايران متلب. پدیدار شد.