پایان‌نامه‌های مشابه

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

    پایان‌نامه۲۰۱۳وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضیمحسن قاسم زاده

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

  • درستی یابی گمنامی در منطق شناختی

    پایان‌نامه۲۰۱۲وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - پژوهشکده ریاضیاتحسین کلاته سیفری

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

  • توصیف و درستی یابی سیستم های نرم افزاری حساس به ایمنی با استفاده از نمودار حالت

    پایان‌نامه۲۰۱۴وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - پژوهشکده علوم کامپیوترحوریه علیجانی

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

  • دینامیک واکنش آمینو رادیکال با اتم اکسیژن با درون یابی سطح انرژی پتانسیل

    پایان‌نامه۲۰۱۴وزارت علوم، تحقیقات و فناوری - دانشگاه یاسوج - دانشکده علوم پایهمحبوبه قربانی

    واکنش nhx با اکسیژن و گونه های شامل نیتروژن نقشی مهم در طرح یا ایجاد آلوده کننده های nox در طول فرآیند های سوختن دارد. بنابراین فهم کامل بحرانی این فرآیند مهم است. در این تحقیق، مسیر های ممکن برای واکنش آمینو رادیکال با اتم اکسیژن در فاز گازی مورد بررسی قرار گرفته است سپس با استف

  • دینامیک واکنش رادیکال ایمیدوژن با نیتریک اکسید به کمک درون یابی سطح انرژی پتانسیل

    پایان‌نامه۲۰۱۴وزارت علوم، تحقیقات و فناوری - دانشگاه یاسوج - دانشکده علوم پایهفهیمه لیراوی

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

  • بهینه یابی سطح لغزش بحرانی شیروانیهای خاکی غیراشباع به روش جامعه پرندگان (pso)

    پایان‌نامه۲۰۱۵وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده فنیفرزانه ارشادی

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

اسناد مشابه