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

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

جزئیات بیشتر این محصول:

عنوان انگلیسی مقاله: Modelling Hardware Verification Concerns Specified in the e Language

عنوان فارسی مقاله: مسائل مرتبط به مدل سازی تایید سخت افزاری درزبان برنامه نویسی الکترونیک.

دسته: کامپیوتر و فناوری اطلاعات

فرمت فایل ترجمه شده: WORD (قابل ویرایش)

تعداد صفحات فایل ترجمه شده: ١۴

چکیده ترجمه:

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

کلیدواژه: تایید سخت افزاری، زبان برنامه نویسی e، مدل سازی جنبه گرا، موضوع/UML.

١. مقدمه

فناوری اطلاعات به ارائه مواد نیمه سانا در ارتباط با تکنولوژی وسایل نقلیه موتوری، ابزارهای الکترونیک صنعتی، ریزتراشه های کوچک و بخش های امنیتی و همچنین برنامه های کاربردی در ارتباطات می پردازد.

این اطلاعات برمبنای حق کپی رایت ACM ٢٠٠٩ می باشد. این نسخه ای از کتاب این محقق می باشد. آن در اینجا به اجازه ACM برای استفاده شما قرار داده شده است و هدف انتشار مجدد آن نمی باشد. نسخه نهایی آن در AOSD ٠٩ در کنفرانس بین المللی ACM در ارتباط با توسعه نرم افزاری جنبه گرا منتشر شده است.

این محصولات بر مبنای نوع آوری های آنالوگ و سیگنال های ترکیبی، فرکانس رادیویی، و تکنولوژی کنترل توان می باشد. این شرکت در حال حاضر تقریبا ٢٢٩٠٠ حق ثبت را در این فناوری ها دارا می باشد.

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

پرداخت و دانلود فایل

PDF: ترجمه مقاله مدل سازی تایید سخت افزاری در زبان برنامه نویسی الکترونیک

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

  • پروژه طراحی و ساخت دستگاه ic tester
    موضوع این پایان نامه طراحی و ساخت داستگاه ic tester و مسائل مختلف حول این مبحث میباشد. جزئیات بیشتر این محصول: پایان نامه جهت اخذ درجه کارشناسی عنوان کامل: طراحی و ساخت داستگاه ic tester دسته: مهندسی برق فرمت فایل:…
  • پروژه بررسی تفاوت دو زبان PHP و Asp.NET
    هدف از انجام این پروژه بررسی تفاوت دو زبان PHP و Asp.NET و مسائل مختلف حول این مبحث میباشد. جزئیات بیشتر این محصول: پایان نامه جهت اخذ درجه کارشناسی عنوان کامل: بررسی تفاوت دو زبان PHP و Asp.NET محقق: مهدی…
  • ترجمه مقاله الگوی برنامه نویسی منطق و…
    مقاله ترجمه شده با عنوان الگوی برنامه نویسی منطق و زبان برنامه نویسی پرولاگ. جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: The Logic Programming Paradigm and Prolog عنوان فارسی مقاله: الگوی برنامه نویسی منطق و زبان برنامه نویسی پرولاگ. دسته:…
  • ترجمه مقاله از ناپایداری تا ماندگاری…
    مقاله ترجمه شده با عنوان از ناپایداری تا ماندگاری در برنامه نویسی مقصود گرا. جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: From Transience to Persistence in Object Oriented Programming عنوان فارسی مقاله: از ناپایداری تا ماندگاری در برنامه نویسی مقصود…
  • ترجمه مقاله مقدمه ای بر زبان برنامه…
    مقاله ترجمه شده با عنوان مقدمه ای بر زبان برنامه نويسی scheme. جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: An Introduction to Scheme عنوان فارسی مقاله: مقدمه ای بر زبان برنامه نویسی scheme دسته: مهندسی کامپیوتر - برنامه نویسی فرمت…
  • پروژه ساخت یک سیستم نرم افزاری محاسبه…
    هدف از انجام این پروژه بررسی مراحل ساخت يک سيستم نرم افزاری محاسبه حقوق و مسائل مختلف حول این مبحث میباشد. جزئیات بیشتر این محصول: پایان نامه جهت اخذ درجه کارشناسی عنوان کامل: مراحل ساخت یک سیستم نرم افزاری محاسبه…
  • پروژه بررسی موضوع برنامه نویسی در دات…
    هدف از انجام این پروژه بررسی مفاهيم اوليه برنامه نويسی در دات نت و مسائل مختلف حول این مبحث میباشد. جزئیات بیشتر این محصول: پایان نامه جهت اخذ درجه کارشناسی عنوان کامل: بررسی مفاهیم اولیه برنامه نویسی در دات نت…
  • پروژه جاوا اسکریپت
    هدف از انجام این پروژه بررسی جاوا اسکریپت و مسائل مختلف حول این مبحث میباشد. جزئیات بیشتر این محصول: پایان نامه جهت اخذ درجه کارشناسی عنوان کامل: جاوا اسکریپت دسته: فناوری اطلاعات و کامپیوتر فرمت فایل: WORD (قابل ویرایش) تعداد…
  • پروژه طراحی سایت گالری عکس
    هدف از انجام این پروژه بررسی طراحی سایت گالری عکس و مسائل مختلف حول این مبحث میباشد. جزئیات بیشتر این محصول: پایان نامه جهت اخذ درجه کارشناسی عنوان کامل: طراحی سایت گالری عکس دسته: کامپیوتر و برنامه نویسی فرمت فایل:…
  • پروژه آشنایی با نرم افزارهای استفاده…
    هدف از انجام این پروژه آشنایی با نرم افزارهای استفاده شده در سیستم حقوق و دستمزدو مسائل مختلف حول این مبحث میباشد. جزئیات بیشتر این محصول: پایان نامه جهت اخذ درجه کارشناسی عنوان کامل: پروژه آشنایی با نرم افزارهای استفاده…
  • ترجمه مقاله موتور جستجوی با برنامه…
    مقاله ترجمه شده با عنوان موتور جستجوی با برنامه منبع باز و رایگان. جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: Nutch- Free and Open Source search engine عنوان فارسی مقاله: موتور جستجوی با برنامه منبع باز و رایگان دسته: کامپیوتر…
  • ترجمه مقاله بررسی رابطه بین…
    مقاله ترجمه شده با عنوان بررسی رابطه بین معماری و برنامه مترجم (کامپایلر). جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: An examination of the relation between architecture and compiler design leads to several principles which can simplify compilers and improve…
  • پروژه ارتباط با پایگاه داده‌های Access…
    هدف از انجام این پروژه ارتباط با پايگاه داده‌هاي Access درVisual Basic و مسائل مختلف حول این مبحث میباشد. جزئیات بیشتر این محصول: پایان نامه جهت اخذ درجه کارشناسی عنوان کامل: پروژه ارتباط با پایگاه داده‌های Access درVisual Basic دسته:…
  • ترجمه مقاله معماری سرویسگرا
    مقاله ترجمه شده با عنوان معماری سرویسگرا. جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: Service oriented architecture عنوان فارسی مقاله: معماری سرویسگرا دسته: کامپیوتر و فناوری اطلاعات فرمت فایل ترجمه شده: WORD (قابل ویرایش) تعداد صفحات فایل ترجمه شده: ١٣…
  • ترجمه مقاله تحلیل پایداری الگوریتم…
    مقاله ترجمه شده با عنوان تحلیل پایداری الگوریتم برنامه‌نویسی پویای هیروستیک، برای سیستم‌های غیرخطی. جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: Stability analysis of heuristic dynamic programming algorithm for nonlinear systems عنوان فارسی مقاله: تحلیل پایداری الگوریتم برنامه‌نویسی پویای هیروستیک،…
  • ترجمه مقاله مشخصه ذخیره سازی در برنامه
    مقاله ترجمه شده با عنوان مشخصه ذخیره سازی در برنامه نویسی. جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: Storage Class Specifiers in Programming عنوان فارسی مقاله: مشخصه ذخیره سازی در برنامه نویسی دسته: کامپیوتر و فناوری اطلاعات فرمت فایل ترجمه…
  • ترجمه مقاله تعهد واحد توسط برنامه…
    مقاله ترجمه شده با عنوان تعهد واحد توسط برنامه نویسی دینامیک برای بهینه سازی برنامه ریزی عملیاتی ریزشبکه و کاهش انتشار (گازهای گلخانه ای). جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: Unit commitment by dynamic programming for microgrid operational planning…
  • پروژه طراحی سایت گالری عکس
    هدف از انجام این پروژه سایت گالری عکس و مسائل مختلف حول این مبحث میباشد. جزئیات بیشتر این محصول: پایان نامه جهت اخذ درجه کارشناسی عنوان کامل: پروژه سایت گالری دسته: فناوری اطلاعات و کامپیوتر فرمت فایل: WORD (قابل ویرایش)…
  • ترجمه مقاله تعهد عملی نیروگاه های سیکل
    مقاله ترجمه شده با عنوان تعهد عملی نیروگاه های سیکل ترکیبی با استفاده از برنامه نویسی دینامیک. جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: Practical Commitment of Combined Cycle Plants using Dynamic Programming عنوان فارسی مقاله: تعهد عملی نیروگاه های…
  • ترجمه مقاله تکنیک پخش بار بهینه ی…
    مقاله ترجمه شده با عنوان تکنیک پخش بار بهینه ی جریان-توان پیوندی (هیبرید). جزئیات بیشتر این محصول: عنوان انگلیسی مقاله: A Hybrid Current-Power optimal Power Flow Technique عنوان فارسی مقاله: تکنیک پخش بار بهینه ی جریان-توان پیوندی (هیبرید). دسته: برق…