دفاعیه دکتری در دانشکده مهندسی کامپیوتر

  آقای مهندس علی اصغر صفایی، دانشجوی دوره دکتری دانشکده مهندسی کامپیوتر، روز دوشنبه بیستم تیرماه سال 90 از رساله خود با عنوان «پردازش پرس و جوی بلادرنگ در سیستم های مدیریت جریان داده» دفاع نمود.

  چکیده این رساله که راهنمایی آن را دکتر مصطفی حق جو بر عهده داشتند به شرح زیر می‌باشد.

  چکیده پایان نامه:

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

  واژه‌های کلیدی : پردازش بی‌درنگ پرس‌وجو، جریان داده، نقشه پرس‌‌‌وجو .