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

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

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

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

فرض متداول مسائل بهینه سازی این است که قابلیت دسترسی یک جزء، به عنوان یک مقدار ثابت در بازه (1و0) قرار می گیرد. ولی قابلیت دسترسی یک جزء، به طور جداگانه با توجه به تأثیر عوامل دیگری می تواند تغییر کند و معقول به نظر می رسد که آن را به عنوان یک عدد غیردقیق مثبت با مقادیر بازه ای در نظر بگیریم، به عنوان مثال عواملی چون فاکتورهای انسانی، تسهیلات انباری و سایر فاکتورهای محیطی بر قابلیت دسترسی هر یک...

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

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

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

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

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