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

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

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

در این مقاله، برای اولین بار طراحی یک کنترلگر h∞ فازی غیر-pdc مبتنی بر رویتگر برای سیستمهای فازی t-s دارای اغتشاش با متغیرهای مقدم قواعد نامعلوم ارائه می گردد. بر خلاف روشهای غیر-pdc موجود، در روش ارائه شده از متغیرهای واقعی فرایند در معادلات کنترلگر استفاده نگردیده است. هم چنین با بهرهگیری از رویکرد افزونگی توصیفگر، بهرههای رویتگر و کنترلگر از طریق حل تعدادی از نابرابریهای ماتریسی خطی اکید ...

هدف اصلی ما در این رساله ارائه شرایطی است که با استفاده از آنها بتوان مسئله برنامه ریزی نیمه معین(sdp)ساده شده از مسئله تخصیص درجه دوم (qap) را به وسیله روش های نقطه درونی حل کرد. برای این منظور ابتدا مسائل برنامه ریزی خطی(lps) را معرفی می کنیم. روش نقطه درونی برای مسائل lp را شرح می دهیم. سپس مسائل sdp را معرفی می کنیم و با توجه به رابطه lp و sdp الگوریتم های نقطه درونی lp را به sdp توسیع می د...

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

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

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

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

در این پایان نامه به تعمیم مسأله عمومی تخصیص generalized assignment problem(gap می پردازیم. یک مسأله np-hard است و عبارت از مسأله تخصیص مجموعه ای از کاذها به مجموعه ای از ماشین ها با صرف حد اقل هزینه است، بگونه ای که هر کار باید تنها به یک ماشین تخصیص داده شود، ولی به هر ماشین که دارای ظرفیت محدودی است، بیش از یک کار می تواند تخصیص داده شود. به لحاظ کاربردی بودن مسأله، مجموعه کارها تنها بیانگر ...