نام پژوهشگر: فاخته سلطانی
محمد رضا بهرامی اصل فاخته سلطانی
سیستم خبره یک برنامه کامپیوتری می باشد که توانایی تصمیم گیری یک شخص خبره را تقلید می کند و از هر حیث مانند یک شخص خبره عمل می کند. این سیستم دانش انسان را برای حل مسائلی استفاده می کند که به هوش انسانی نیاز دارد. سیستم خبره، دانش خبرگی را به شکل حقایق و قواعد در کامپیوتر نمایش می دهد. ایران با شتاب فراوان به سمت صنعتی شدن پیش می رود و با توجه به منابع عظیم گاز و نفتی در کشور مسلماً صنایع نفت و گاز و پتروشیمی در اولویت های دولت برای توسعه می باشند. امّا باید در نظر داشت که یک توسعه مسولانه و پایدار نیاز به بررسی دقت اثرات دراز مدت زیست محیطی دارد. در چند ساله اخیر، معرفی استانداردهای سختگیرانه محیط زیستی در زمینه تصفیه پساب منجر به استفاده از فرآیندهای پیشرفته تر برای تصفیه پساب شده است. به همین نسبت، این امر موجب پیچیدگی سیستم های طراحی، کنترلی و نظارتی در تصفیه خانه های پساب شده است. در چنین وضعیتی، گاهی اوقات مهارت های اپراتور و تخصص حرفه ای برای کنترل بهینه فرآیندهای تصفیه و حتی تصمیم گیری برای طراحی فرآیندهای جدید کافی نیست. در چنین وضعیتی سیستم های خبره می توانند به عنوان ابزارهای پشتیبان قابل اطمینان به تصمیم گیری اپراتورها کمک کنند. این تحقیق نحوه طراحی و پیاده سازی سیستم خبره برای تعیین حالت های اسیدی در یک تصفیه خانه را نشان می دهد. این سیستم از روش مبتنی بر قواعد برای جمع آوری داده ها و از تکنیک استنتاج زنجیره پیشرو استفاده می کند. برای طراحی سیستم خبره مذکور از microsoft visual studio 2008 استفاده شد و کد نویسی سیستم در زبان برنامه نویسی c# و در محیط ویندوز انجام شد.
ایرج اصولی فاخته سلطانی
چکیده ﺷﺒﮑﻪﻫﺎی اﻗﺘﻀﺎﯾﯽ ﺳﯿﺎر، ﺷﺒﮑﻪﻫﺎﯾﯽ ﻫﺴﺘﻨﺪ ﮐﻪ ﮔﺮهﻫﺎی ﺷﺒﮑﻪ ﻣﺘﺤﺮک می باشند و زﯾﺮ ﺳﺎﺧﺖ ﺛﺎﺑﺘﯽ ﻧﺪارﻧﺪ. ﺑﺮﺧﻼف ﺷﺒﮑﻪ ﻫﺎی ﺑﯽﺳﯿﻢ ﻣﻌﻤﻮل ﮐﻪ از ﻃﺮﯾﻖ ﯾﮏ اﯾﺴﺘﮕﺎه ﭘﺎﯾﻪ ﺑﺎ ﯾﮑﺪﯾﮕﺮ ارﺗﺒﺎط ﺑﺮﻗﺮار ﻣﯽﮐﻨﻨﺪ، در ﺷﺒﮑﻪﻫﺎی اﻗﺘﻀﺎﯾﯽ ﭼﻨﯿﻦ زﯾﺮ ﺳﺎﺧﺘﯽ وﺟﻮد ﻧﺪارد و ﮔﺮه ها در اﯾﻦ ﺷﺒﮑﻪ ﺑﺮای ﺑﺮﻗﺮاری ارﺗﺒﺎط ﻣﺘﮑﯽ ﺑﻪ ﻫﻤﮑﺎری ﯾﮑﺪﯾﮕﺮ ﻫﺴﺘﻨﺪ. از ﻃﺮف دﯾﮕﺮ ﺳﺎدﮔﯽ در ﺑﺮﭘﺎﯾﯽ ﭼﻨﯿﻦ ﺷﺒﮑﻪﻫﺎﯾﯽ ﻣﺴﺘﻘﻞ از ﻫﺮ ﻣﮑﺎن و زﻣﺎﻧﯽ، روز ﺑﻪ روز ﺑﻪ ﻣﺤﺒﻮﺑﯿﺖ اﯾﻦ ﺷﺒﮑﻪﻫﺎ ﻣﯽاﻓﺰاﯾﺪ. ﻫﺮﭼﻨﺪ، اطمینان از ﻋﻤﻠﮑﺮد درﺳﺖ و ﺗﺎﻣﯿﻦ اﻣﻨﯿﺖ و ... از جمله مسائلی هستند که در خصوص این شبکه ها باید مد نظر قرار بگیرند. ﺣﻤﻠﻪ ﻻﻧﻪﮐﺮﻣﯽ ﯾﮑﯽ از ﺷﺪﯾﺪﺗﺮﯾﻦ ﺣﻤﻼتی است که امنیت ﺷﺒﮑﻪ را ﺗﻬﺪﯾﺪ ﻣﯽکند. اﯾﻦ ﭘﺎﯾﺎن ﻧﺎﻣﻪ ﺑﺮ روی ﺣﻤﻠﻪ ﻻﻧﻪ ﮐﺮﻣﯽ ﻣﺘﻤﺮﮐﺰ ﻣﯽﺷﻮد و ﯾﮏ ﭘﺮوﺗﮑﻞ ﻣﺴﯿﺮﯾﺎﺑﯽ اﻣﻦ ﻣﺒﺘﻨﯽ ﺑﺮ ﭘﺮوﺗﮑﻞ ﻣﺴﯿﺮﯾﺎﺑﯽ aodv، ﺑﻪ ﻧﺎم wbrp ( ﭘﺮوﺗﮑﻞ ﻣﺴﯿﺮﯾﺎﺑﯽ دورزﻧﯽ ﺣﻤﻠﻪ ﻻﻧﻪﮐﺮﻣﯽ) را اراﺋﻪ ﻣﯽدﻫﺪ. wbrp از ﻣﻘﺪار آﺳﺘﺎﻧﻪ اﺳﺘﻔﺎده ﻧﻤﯽﮐﻨﺪ و ﯾﮏ ﻣﺴﯿﺮ اﻣﻦ ﺑﺮای دور زدن ﮔﺮهﻫﺎی ﺑﺪاﻧﺪﯾﺶ ﻓﺮاﻫﻢ ﻣﯽﮐﻨﺪ. ﺑﺮ اﺳﺎس وﯾﮋﮔﯽﻫﺎﯾﯽ ﮐﻪ ﯾﮏ ﺣﻤﻠﻪ ﻻﻧﻪﮐﺮﻣﯽ دارد، ﭘﺮوﺗﮑﻞ ﭘﯿﺸﻨﻬﺎدی ﻫﺮ ﮔﺮه ﻣﻮﺟﻮد در ﺷﺒﮑﻪ را ﻗﺎدر ﺑﻪ ﺗﺼﻤﯿﻢﮔﯿﺮی در ﺗﺒﺎدل ﺑﺴﺘﻪﻫﺎی ﻣﺴﯿﺮﯾﺎﺑﯽ در ﻣﯿﺎن ﻫﻤﺴﺎﯾﻪﻫﺎی ﺧﻮد ﻣﯽﺳﺎزد. ﻫﺮ ﮔﺮه ﻣﯽﺗﻮاﻧﺪ ﺑﺎ محاسبه ﺿﺮﯾﺐ ﺗﻐﯿﯿﺮات زﻣﺎن رﻓﺖ و ﺑﺮﮔﺸﺖ ﺑﺴﺘﻪ hello در ﻣﯿﺎن ﻫﻤﺴﺎﯾﻪﻫﺎی ﺧﻮد ﮔﺮه ﻣﻈﻨﻮن را ﺗﺸﺨﯿﺺ ﺑﺪﻫﺪ و آن را از ﺷﺮﮐﺖ در ﻣﺴﯿﺮﯾﺎﺑﯽ از ﺟﺎﻧﺐ ﺧﻮد ﻣﺤﺮوم ﮐﻨﺪ، در ﻧﻬﺎﯾﺖ ﻣﺴﯿﺮ اﻣنی ﺑﺪﺳﺖ آﯾﺪ. نتایج شبیه¬سازی توسط شبیه¬ساز ns2 نحوه کارکرد این پروتکل را نشان می¬دهد، این پروتکل¬ در برابر حمله لانه کرمی از مقاومت لازم و خوبی برخوردار است و نرخ بسته های حذف شده توسط گره های بداندیش را کاهش می دهد. کلمات کلیدی : شبکه های اقتضایی سیار، پروتکل مسیریابی بنا به اقتضای aodv، حملات لانه کرمی، ضریب تغییرات
محمد رضا رجبی دهنوی فاخته سلطانی
در پردازش زبان های طبیعی و بازیابی اطلاعات متنی، یافتن متون مشابه از اهمیت بالایی برخوردار بوده و دارای کاربردهای فراوانی است. یافتن متون مشابه جزء دسته¬ی سیستم¬های پیچیده می¬باشد و معادل دستی ندارد. هدف از انجام این طرح، ارائه روشی جدید است که بتواند سوالات مشابه با سوال کاربران در مسائل شرعی و بخش احکام نماز را تشخیص دهد و پاسخ صحیح را به کاربر پیشنهاد دهد. رهیافت¬های متفاوتی برای یافتن متون مشابه وجود دارد که در این طرح از روش نزدیک¬ترین همسایگی استفاده شده است. ویژگی در نظر گرفته شده برای این سیستم n-gram می¬باشد و از معیار مشابهت dice جهت اندازه¬گیری شباهت متون استفاده گردیده است. برای ساخت این سیستم نیاز به یک پیکره عظیم از متون است؛ اما با توجه به اینکه این پیکره برای احکام نماز هنوز تهیه نشده است، از یک خزنده وب جهت جمع¬آوری سوالات استفاده گردید. با توجه به اینکه مجموعه سوالات موجود برای آموزش سیستم مورد نظر کافی نبود، پیشنهاد جدید استفاده از یک فرهنگ طیفی (گنج¬واژه - تزاروس) جهت توسعه بردار ویژگی¬ها می¬باشد. جهت ارزیابی نتایج از معیارهای دقت، بازخوانی و معیار f استفاده شده است. نتایج آزمایشات قبل از استفاده از تزاروس و همچنین ریشه¬یابی در بهترین حالت برابر 61% و با استفاده از تزاروس و عملیات ریشه¬یابی برابر 74% می¬باشد که نشان از بهبود دقت دارد.
یحیی حیدری فاخته سلطانی
در دنیای امروز فرآیندهای پلیمریزاسیون جزء مهم¬ترین فرآیندها در مهندسی شیمی محسوب می¬شوند. در نتیجه بهینه¬سازی آنها نقش کلیدی در مهندسی شیمی ایفا می¬کند. از آنجایی که این فرآیندها پیچیده بوده و عموماً دارای اهدافی در تعارض با هم هستند، نیازمند آن هستیم که آنها را به صورت چند هدفه بهینه سازیم. از طرفی همین مهم بهینه¬سازی آنها را توسط متدهای ریاضی دشوار کرده و موجب استفاده از الگوریتم¬های تکاملی به ویژه ورژن¬های مختلفی از الگوریتم ژنتیک در بهینه¬سازی آنها شده است. در این پایان¬نامه برای بهینه¬سازی یک راکتور پلیمریزاسیون بستر سیال که در نرم¬افزار کامسول مدل شده است، الگوریتم nsga-ii-sjg در محیط متلب پیاده¬سازی شده و به نرم¬افزار کامسول لینک شد. در پایان نتایج حاصل از آن با الگوریتم nsga-ii و الگوریتم ژنتیک موجود در جعبه-ابزار متلب مقایسه شد. نتایج حاصل از ارزیابی نشان داد که این الگوریتم عملکرد خوبی داشته و نتایج قابل قبولی ارائه داده است.
مریم مرادی وحید رافع
وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای به توصیف خصوصیات ساختاری و رفتاری سیستم های نرم افزاری کمک می کنند. اما مشکل عمده این سیستم¬ها در وارسی مدل، انفجار فضای حالت است، به این ترتیب که در صورت گستردگی ابعاد مسئله، یا با بزرگ شدن فضای حالت مدل، فرایند مدلسازی به کندی صورت گرفته و سیستم با کمبود حافظه مواجه شده و قادر به ادامه وارسی نمی باشد. لذا هدف از انجام این پژوهش، پیشنهاد راهکاری جهت مقابله با مشکل انفجار فضای حالت در وارسی سیستم های تبدیل گراف است. به این منظور، با بهره گیری از الگوریتم پرندگان ، راهکاری جهت کاوش فضای حالت در سیستم های تبدیل گراف ارائه شده است. ایده این راهکار این است که به جای تولید کل فضای حالت، آن را در جهت رسیدن به یک حالت خطا در وارسی مدل، به طور مثال، بن بست، هدایت کند. همچنین جهت جلوگیری از مشکل به دام افتادن در بهینه های محلی در راهکار مبتنی بر الگوریتم پرندگان، تکنیک جدیدی نیز که مبتنی بر ترکیب الگوریتم پرندگان و الگوریتم جستجوی گرانشی است، پیشنهاد شده است. به منظور بررسی روش های پیشنهادی و ارزیابی نتایج، الگوریتم های ذکر شده در ابزار groove که یکی از ابزارهای مدلسازی تبدیل گراف است، پیاده سازی شده و نتایج آن جهت ارزیابی ارائه شده است.
امین نظری وحید رافع
شبکه های حسگر بی سیم نوع خاصی از شبکه های موردی می باشند که با توجه به کاربردهای متنوعشان از جمله کنترل محیط فیزیکی پیرامون، استفاده در صنایع نظامی و پزشکی توجه بسیاری از محققان را به خود جلب کرده اند. از جمله مسائل چالش برانگیز در اینگونه شبکه ها، بحث توان مصرفی گره های تشکیل دهنده شبکه و تاخیر در تحویل داده ها به مقصد میباشد. بسیاری از پروتکلهای مسیریابی طراحی شده در این حوزه، تمرکز خود را برای نیل به یکی از دو هدف ذکر شده معطوف کرده اند. طراحی پروتکل هایی که هر دو جنبه را در نظر داشته باشد، می تواند کارایی بهتری داشته باشد. پروتکل مسیریابی ارائه شده در این پایان نامه که ترکیبی از روشهای انتشار هدایت شده و الگوریتم بهینه سازی مورچه ها و سیستم فازی است، برای برآوردن نیازهای ذکر شده، در دو فاز طراحی و پیاده سازی شده است. فاز اول، با ارسال پیامی از ایستگاه مرکزی به گرهها آغاز میگردد، در این فاز گرهها ناحیه بندی شده و همسایگان روبه جلو خود را شناسایی میکنند. در فاز دوم گرهها بر اساس اطلاعات بدست آمده در فاز قبل برای یافتن مسیرهای بهینه، مورچه های پیشرو را به سمت مقصد ارسال نموده و در مقصد، از بین مسیرهای پیدا شده تعدادی از آنها که شایستگی بیشتری دارند، با استفاده از سیستم فازی انتخاب میشوند، سپس مورچه های پسرو، میزان فرومون مسیرهای بهینه را بروزرسانی میکنند تا ارسال داده ها از طریق آن مسیرها انجام شود. همانگونه که در ادامه مشاهده خواهد شد این پروتکل نسبت به برخی از پروتکلهای موجود عملکرد بهتری از نظر تاخیر و کارایی انرژی دارد.
مرتضی هاشمی فاخته سلطانی
امروزه شبکه های کامپیوتری به ویژه اینترنت جزء جدایی ناپذیری از زندگی انسان ها شده اند. با توجه به افزایش سرعت شبکه های کامپیوتری، میزان ارائه ی خدمات عمومی، علمی، اقتصادی، اجتماعی و ... روی این بستر، در مقایسه با گذشته به طور چشم گیری افزایش یافته است. علاوه بر این، بسیاری از سازمان ها و شرکت ها خدمات خود را روی اینترنت ارائه می کنند. در چنین شرایطی نیاز به فراهم کردن بستری امن برای تبادل اطلاعات ضروری است. در گذشته به منظور تأمین امنیت شبکه ها، از سیستم های دیوار آتش و نرم افزارهای ضدویروس استفاده می شد. اما همانطور که اشاره شد با توجه به رشد فزاینده ی حجم اطلاعات مورد تبادل روی شبکه ها و همچنین افزایش پیچیدگی و توسعه ی انواع جدید حملات، لازم است در کنار استفاده از سیستم های موجود، راهکارهای جدیدی نیز اندیشیده شود. در سال های اخیر توسعه ی سیستم های تشخیص نفوذ (ids) توجه محققان را به خود جلب کرده است. این سیستم ها با پایش و بررسی اطلاعات مورد تبادل روی شبکه، سعی می کنند حملات را تشخیص دهند. در حقیقت با روند افزایش پهنای باندی شبکه ها و نیاز به پویش بی وقفه داده های آن، سیستم های تشخیص نفوذ تحت شبکه هم می بایست همگام با آن توسعه پیدا کنند. در این شرایط روش های معماری متمرکز جواب گوی شبکه های امروزی نیست. این روش ها در تشخیص حملات چندمرحله ای و نگهداری وضعیت انواع ارتباطات و مرودات پروتکلی درجریان، به علت وجود یک نقطه ی سرویس دهی، دچار افت گذردهی می شوند. ایجاد سیستم های تشخیص نفوذ توزیع شده نیاز به تمهیداتی برای معماری شبکه ای، نرم افزار مناسب برای عملکرد توزیع شده و تقسیم ترافیک شبکه بین بخش های موازی دارد. هدف از انجام این تحقیق بهبود کارایی سیستم های تشخیص نفوذ، با تلاش در برقراری ارتباط میان دوحوزه ی زیر است. • سیستم های تشخیص نفوذ • پردازش موازی به منظور بالا بردن کارایی سیستم های تشخیص نفوذ، دستیابی به سرعت پردازش بالاتر یک معماری بر اساس کامپیوتر های مجهز به پردازنده های گرافیکی پیشنهاد می شود. نتایج آزمایش سیستم پیشنهادی حاکی از به کارگیری موفقیت آمیز پردازنده ی گرافیکی در سیستم های تشخیص نفوذ است و سیستم پیاده سازی شده موفق به بهبود 3 برابری بهره ی سرعت در فرآیند تطبیق الگو شده است.
رضا ارشد رضا رافع
رایانش ابری یک مدل رایانشی بر پایه اینترنت است و فرصتهای جدیدی برای محققان به منظور بررسی مزایا و معایب آن در اجرای برنامه های علمی مانند جریان کارها فراهم کرده است. زمانبندی جریان کاری بر روی سیستم های توزیع شده در طی سالها به طور گسترده ای مورد مطالعه قرار گرفته است. الگوریتم های بسیاری ارائه شده اند که هدفشان پیدا کردن زمانبندی براساس نیازمندی های کیفیت سرویس کاربر می باشد. هدف بسیاری از راه حل های ارائه شده، محیط تور یا محیطهای شبیه به آن بوده است. این به این معنی است که عموما کاهش زمان اجرای برنامه ی کاربردی، هدف زمانبندی بوده است، تعدادی محدودی از منابع در دسترس بوده و هزینه ی اجرا به ندرت در نظر گرفته شده است. روش ارائه شده در این پژوهش مبتنی بر الگوریتم بهینه سازی رقابت استعماری (ica) است. الگوریتم ica یک روش جستجوی تکاملی است که از یک پدیده اجتماعی-انسانی الهام گرفته شده است. به طور کلی این الگوریتم به فرآیند استعمار، به عنوان مرحله ای از تکامل اجتماعی-سیاسی بشر نگریسته و با مدلسازی ریاضی این پدیده تاریخی، از آن به عنوان منشا الهام یک الگوریتم قدرتمند در زمینه بهینه سازی بهره می گیرد. در این پژوهش یک روش ایستای زمانبندی جریان کاری در ابر با هدف کاهش هزینه و با محدودیت مهلت زمانی ارائه شده است. رویکرد ما ویژگی های اساسی زیرساخت به عنوان سرویس، مانند منابع محاسباتی نامحدود و ناهمگن را در نظر می گیرد. نتایج نشان می دهد که روش پیشنهادی از نظر درصد موفقیت رسیدن به مهلت زمانی و متوسط هزینه، عملکرد بهتری نسبت به روش pso دارد.
زهرا دست انبویه محسن رحمانی
سرعت زیاد تولید اطلاعات جدید، تبلیغات و... در محیطهای مجازی و به خصوص در فروشگاههایمجازی منجر شده است، که پیدا کردن اطلاعات و دانش مرتبط در میان حجم انبوهی از اطلاعات کار بسیار وقت گیر وحتی نا امیدکنندهای باشد، سیستم های پیشنهاددهنده تلاش بر این است تا با حدس زدن شیوه تفکر کاربر به وی مناسبترین و نزدیکترین آیتم به سلیقه او را شناسایی و پیشنهاد کند.دراین پایان نامه یک سیستم پیشنهاد دهنده مبتنی بر زمان و ویژگی به سه شیوه در دو فاز آنلاین و آفلاین پیادهسازی میشود،در روش اول و در فاز آفلاین به خوشهبندی کاربران سیستم بر اساس ویژگی محصولات خریداری شده پرداخته و در فاز آنلاین میزان علاقهمندی کاربر هدف به آیتم تخمین زده می شود، در روش دوم و سوم فاز آنلاین یکسان اما فاز آفلاین متفاوت است. .نتایج ارزیابی این سه شیوه حاکی از این است که هر سه شیوه نسبت به روش سنتی فیلتر همبستگی عملکرد بهتری را دارا هستند و نیز روش های دوم و به ویژه سوم عملکرد بهتری نسبت به روش اول دارند.
الهه بیاتی محسن رحمانی
: از دیرباز تاکنون تکنیک های متعددی برای شناسایی افراد به وجود آمده است. در این میان سیستم های تشخیص هویت مبتنی بر بیومتریک از صحت و اطمینان بیشتری برخوردارند. این سیستم ها باید به گونه ای طرح ریزی شوند تا بتوانند بر اساس ویژگی های رفتاری و فیزیکی افراد نسبت به شناسایی مطمئن آن ها اقدام کنند. یافته های ما به روش استخراج ویژگی های تصاویر بیومتریکی با بکارگیری مفهوم بعد فراکتال اشاره دارد، که در مقایسه با روش های موجود، نتایج بهتری ارائه می دهد. لازم به ذکر است که روش پیشنهادی با روشی کاملا جدید بهبود داده شده که در مطالعات دیگر محققان مشاهده نشده است.