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

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

این پایان نامه معادلات لیاپانوف تعمیم یافته و همچنین کاربرد این معادلات را در پایداری سیستمهای توصیفی بررسی می کند.

موضوع این پژوهش بیان یک قضیه توسیع تعمیم یافته در مورد کدهای خطی است که در سال2012 توسط ماروتا و یوشیدا به اثبات رسیده است.

گراف g 2توسیع پذیر نامیده میشود هرگاه هر دو یال مستقل از هم ان در جورسازی کامل ازgقرار گیرند.نشان می دهیم یک گراف کیلی از مرتبه ی زوج 2-توسیع پذیر است اگر وتنها اگر با هیچیک از موارد ذکر شده در قضیه اصلی پایان نامه یکریخت نباشد.

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

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

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