نام پژوهشگر: بیژن وثوقی وحدت

طراحی وپیاده سازی واحد محاسبات ومنطقarm به صورت یک سیستم خطاپذیر
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1390
  نوید وفایی   بیژن وثوقی وحدت

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

مقطع نگاری امپدانس الکتریکی با استفاده از روش بلوکی تعمیم یافته
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده برق و کامپیوتر 1393
  سعید زاروی   امیر فتاحی

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