ناشر تخصصی کنفرانس های ایران

لطفا کمی صبر نمایید

Publisher of Iranian Journals and Conference Proceedings

Please waite ..
CIVILICAWe Respect the Science
ناشر تخصصی کنفرانسهای ایران
عنوان
مقاله

ارائه رویکردی صوری جهت مدل سازی ئ درستی یابی ویژگی خود سازی در سامانه های نهفته

تعداد صفحات: 6 | تعداد نمایش خلاصه: 354 | نظرات: 0
سال انتشار: 1394
کد COI مقاله: ICIKT07_100
زبان مقاله: فارسی
(فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد)

راهنمای دانلود فایل کامل این مقاله

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

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

لطفا قبل از اقدام به خرید اینترنتی این مقاله، ابتدا تعداد صفحات مقاله را در بالای این صفحه کنترل نمایید.

برای راهنمایی کاملتر راهنمای سایت را مطالعه کنید.

خرید و دانلود فایل مقاله

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

قیمت این مقاله : 0 تومان

آدرس ایمیل خود را در کادر زیر وارد نمایید:

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

علی طریحی - دانشکده علوم و مهندسی کامپیوتر دانشگاه شهید بهشتی
حسن حقیقی
فریدون فریدون

چکیده مقاله:

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

کلیدواژه ها:

خودسازي ، سامانه هاي نهفته ،توصيف صوري ، DNA مصنوعي

کد مقاله/لینک ثابت به این مقاله

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

https://civilica.com/doc/388742/

نحوه استناد به مقاله:

در صورتی که می خواهید در اثر پژوهشی خود به این مقاله ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید:
طریحی، علی و حقیقی، حسن و فریدون، فریدون،1394،ارائه رویکردی صوری جهت مدل سازی ئ درستی یابی ویژگی خود سازی در سامانه های نهفته،هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش،ارومیه،،،https://civilica.com/doc/388742

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

مدیریت اطلاعات پژوهشی

صدور گواهی نمایه سازی | گزارش اشکال مقاله | من نویسنده این مقاله هستم

اطلاعات استنادی این مقاله را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.

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

مشخصات مرکز تولید کننده این مقاله به صورت زیر است:
نوع مرکز: دانشگاه دولتی
تعداد مقالات: 16,946
در بخش علم سنجی پایگاه سیویلیکا می توانید رتبه بندی علمی مراکز دانشگاهی و پژوهشی کشور را بر اساس آمار مقالات نمایه شده مشاهده نمایید.

مقالات پیشنهادی مرتبط

مقالات مرتبط جدید

به اشتراک گذاری این صفحه

اطلاعات بیشتر درباره COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.

پشتیبانی