سفارش تبلیغ
صبا ویژن

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

  • عنوان لاتین مقاله: Modelling Hardware Verification Concerns Specified in the e Language
  • عنوان فارسی مقاله: مسائل مرتبط به مدل سازی تایید سخت افزاری درزبان برنامه نویسی الکترونیک.
  • دسته: کامپیوتر و فناوری اطلاعات
  • فرمت فایل ترجمه شده: WORD (قابل ویرایش)
  • تعداد صفحات فایل ترجمه شده: 14
  • ترجمه سلیس و روان مقاله آماده خرید است.

خلاصه

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

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

  • فرمت: zip
  • حجم: 0.62 مگابایت
  • شماره ثبت: 411

خرید

مطالب مرتبط


ترجمه مقاله سیستم ایمنی مصنوعی برای پخش بار اقتصادی دینامیکی

دسته: برق

حجم فایل: 558 کیلوبایت

تعداد صفحه: 12

سیستم ایمنی مصنوعی برای پخش بار اقتصادی دینامیکی+ نسخه انگلیسی

Artificial immune system for dynamic economic dispatch

پخش بار اقتصادی پویا عبارت است از برنامه ریزی بهینه برای توان خروجی ژنراتورهای شبکه به همراه پیش بینی تقاضای بار در یک دوره ی زمانی مشخص با در نظرگرفتن محدودیتهای نرخ شیب ژنراتورها. این مقاله [الگورتیم] سیستم ایمنی مصنوعی را، بر پایه ی قانون همتاسازی انتخابی، برای حل مسئله ی پخش بار اقتصادی دینامیک دنبال می کند. این الگوریتم از همتاسازی تطبیقی، هایپر-بلوغ، کاربر مسن، و انتخاب رقابتی را [برای رسیدن به نتیجه] استفاده می کند. برای تأیید کارآیی الگوریتم بکار رفته، نتایج عددی یک سیستم [آزمایشی] با 10 واحد، به همراه تابع هزینه ی سوخت غیرهموار ارائه شده است. نتایج بدست آمده از الگوریتم مورد نظر [این مقاله] با نتایج ناشی از روش های بهینه سازی ازدحام ذرات و برنامه نویسی تکاملی مقایسه شده اند. از نتایج عددی [حاصله] می توان دریافت که الگوریتم سیستم مصنوعی ایمنی قادر است تا راه حل بهتری را در زمینه ی کمینه سازی قیمت و زمان محاسبه ارائه کند.

1-مقدمه

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

خرید

مطالب مرتبط


عنوان پروژه: امنیت دیجیتالی ssl

دسته: امنیت

حجم فایل: 3621 کیلوبایت

تعداد صفحه: 80

عنوان پروژه: امنیت دیجیتالی ssl

فهرست مطالب

1- مقدمه

1-1امضای دیجیتال و امنیت دیجیتالی چیست 4

1-2گواهینامه دیجیتالی چیست و چرا ما به یکی نیاز داریم 5

1-3ثبت نام برای یک گواهینامه دیجیتالی 6

1-4پخش کردن گواهینامه دیجیتالی 6

1-5انواع مختلف گواهینامه دیجیتالی 7

1-6سطوح مختلف گواهینامه های الکترونیکی 7

1-7 امضای دیجیتالی از دید برنامه نویسی 8

1-8چگونه یک امضای دیجیتالی درست کنیم 9

1-9نحوه عملکرد یک امضای دیجیتال 11

1-9نحوه ایجاد و استفاده از کلید ها 12

1-10حملات ممکن علیه امضاء های دیجیتالی 12

1-11مرکز صدور گواهینامه چیست 13

1-12 رمزنگاری چیست 14

1-13اهداف CA 15

1-14نکاتی در مورد گواهینامه ها 16

1-15تشخیص هویت از طریق امضای دیجیتالی 16

1-16امضای دیجتالی زیربنای امنیت تبادلات الکترونیکی 17

1-17گفتگو با دبیر کمیته IT دفتر مطالعات فناوری ریاست جمهوری 18

2- SSL چیست؟

2-1 InstantSSL چیست 25

2-2 تکنولوژی پیشرفته تائید کردن (Authentication 25

2-3 دسترسی آنلاین به پروفایل تجاری تان 25

3- مفاهیم رمز گذاری

3-1 معرفی و اصطلاحات 25

3-2 معرفی الگوریتمهای رمزنگاری 27

3-3 رمزنگاری کلید – عمومی 28

3-4 مقدار Hash 29

3-5 آیا شما معتبر هستید ؟ 30

3-6 سیستمهای کلید متقارن 33

3-7 سیستمهای کلید نامتقارن 35

4- ساختار و روند آغازین پایه گذاری یک ارتباط امن

4-1 پروتکل های مشابه 41

5- مفهوم گواهینامه در پروتکل SSL

5-1 مراکز صدور گواهینامه 42

5-2 مراحل کلی برقراری و ایجاد ارتباط امن در وب 43

5-3 نکاتی در مورد گواهینامه ها 44

5-4 تشخیص هویت 45

6 – مشکلات و معایب SSL

6-1 مشکل امنیتی در SSL 60

6-2 مشکلات تجارت الکترونیکی در ایران 60

ضمیمه 1: پیاده سازی SSL در Windows 2000 Server 62

ضمیمه 2: پراکسی (Proxy 66

واژه نامه 77

فهرست منابع 78

چکیده

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

مقدمه

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

خرید

مطالب مرتبط


مطالعه مکان یابی تجهیزات ساده

چکیده

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

مقدمه

دو دهه اخیر شاهد رشد زیادی در زمینه تحقیقات مربوط به مسئله مکان یابی بوده است. این مورد اصلا جای شگفتی ندارد زیرا تصمیم گیری های مکان یابی به عنوان یکی از حوزه های سودده O. R کاربردی می باشد و چالش های نظری فراوانی مطرح می گردد. به هر حال، در میان قواعد مد نظر قرار گرفته بیشمار، تنها چهار مورد از آن ها: یعنی، مسئله مکان یابی تجهیزات ساده، و مسئله تخصیص نمایی- که به عنوان مسئله مکان یابی نمونه اولیه می باشند- نقش برجسته خاصی را ایفا می کنند. اگر فعالیت های اولیه همچون 1-MEDIAN فرمات در اوایل دهه 1600 و مسئه 1-CENTER سیلوستر سال 1857 نادیده گرفته شوند، تمام این چهار مسئله وارد مرحله شکل ارائه شده شان در دوره 1957-64 می گردند.

در مقایسه با و، که در کتاب هایی چون فرانیسی و وایت (1974) ، کریستوفید (1975) ، جکوبسن و پروزن (1978) ، هندلر و میرچاندانی (1979) و در بررسی انجام شده توسط کراروپ و پروزان (1979) ، مورد بحث قرار گرفته اند، ما برای مدت زمانی تلاش بیهوده ای را برای تفسیر کامل با تمرکز خاص بر روی مسئله مکان یابی تجهیزات ساده (SPLP) انجام دادیم. این موشوع جالب توجه می باشد، زیرا با مد نظر قرار دادن برآورد تقریبی تعداد مقالاتی که به هر یک از این نمونه ها اشاره می کند و با توجه به کاربردان در تصمیم گیری های ذنیای واقعی، به نظر می رسد که SPLP بیشتر توجهات را به سمت خود جلب می کند. به ترتیب تاریخ، بررسی و خلاصه ای از پیشرفت ها در این زمینه را می توان در آثار بالینسکی و اسپیلبرگ (1969) ، رول و همکارانش (1970) ، الون و همکارانش (1971) ، هانسن (1972) ، الشافی و هالی (1974) ، فرانسیس و وایت (1974) ، کافمن (1975) ، سالکین (1975) ، یاکوبسون (1977) ، گینگارد و اسپیلبرگ (1977) ، یاکوبسون و پروزن (1978) و کونوجولز (1978) مشاهده کرد.

خرید

مطالب مرتبط


برنامه ضرب زنجیره ای ماتریسها در سی شارپ

دسته: برنامه نویسی

حجم فایل: 20 کیلوبایت

تعداد صفحه: 1

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

خرید

مطالب مرتبط