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

این پایان نامه به بررسی نقش هم زمان مشارکت و امنیت در شبکه های اطلاعاتی می پردازد. ابتدا به معرفی کانال شنود به عنوان پایه ای ترین کانال برای بررسی امنیت از منظر نظریه ی اطلاعات می-پردازیم. پس از آن مدل های پایه ای توافق کلید محرمانه را بررسی می کنیم و سپس تعمیم این مدل ها را مورد مطالعه قرار می دهیم. در ادامه مسئله تولید هم زمان دو کلید در یک مدل که تلفیقی از مدل کانال و مدل منبع می باشد را م...

فرض کنیم g یک گراف باشد. تعداد راه هایی که می توان k یال غیر مجاور در این گراف را مشخص کرد با نماد m(g,k)‎ نمایش داده می شود. در این صورت اندیس هوسویا‎ به صورت رابطه ‎(1)‎ تعریف می شود: z(g)=?_(k?0)?m(g,k) . در این پایان نامه به مطالعه اندیس هوسویا پرداخته می شود و برای بعضی از کلاس های درخت ها مقدار ماکزیمم یا مینیمم این اندیس تعیین می گردد و در نهایت گراف های نظیر این مقادیر مشخص می شو...

در این مقاله مسئله زمان بندی فلوشاپ دو ماشین با در نظر گرفتن ورود غیر همزمان و با هدف کمینه سازی تعداد کارهای دیرکرددار بررسی شده است. در ابتدا پیچیدگی مسأله بررسی و ثابت شده که مسأله np hard است. بنابراین برای حل مسئله فوق یک الگوریتم ابتکاری که قابلیت حل مسائل با ابعاد خیلی بزرگ را دارد، ارائه شده است. همچنین به منظور حل بهینه مسئله از روش شاخه و کران با در نظر گرفتن الگوریتم ابتکاری به عنوان...

ارتقای کیفیت عملکرد دانشگاهها در گرو گروههای آموزشی توانمند و شایسته است. از این رو، ارزیابی عملکرد گروههای آموزشی یکی از مسئولیتهای مهم مدیران و مسئولان دانشگاهی برای توسعه حرفه‌ای و حفظ و ارتقای آموزش‌عالی است. هدف پژوهش حاضر بررسی عوامل مؤثر بر عملکرد آموزشی گروههای آموزشی دانشگاهی بود. روش پژوهش کیفی از نوع اکتشافی بود. جامعه آماری شامل اعضای هیئت علمی 15 دانشکده دانشگاه تهران و 75 گروه آمو...

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

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

مسأله واگذاری (تخصیص) درجه دوم (qap) ، به دلیل دارا بودن ساختار جالب یکی از مسأله های معروف چالش برامگیز در بهینه سازی ترکیبیاتی است. در این پایان نامه، به بررسی وتحلیل آزاد سازی های مختلف ارائه شده برای مسأله های واگذاری درجه دوم تعمیم یافته (gqap) می پردازیم: در این نوع از مسأله ها، m تسهیلات و n مکان به همراه فضای مورد نیاز تسهیلات، فضای موجود در مکان ها، هزینه استقرار تسهیلات، جریان بین تس...

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

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