نام پژوهشگر: محسن رحمانی
محسن رحمانی ابوالفضل دلقندی
هدف اساسی این تحقیق بررسی تفاوت بین ارزشیابی ثروت سهامداران میتنی یر ارقام حسابداری و ارزشیابی بازار مبتنی بر ارزش افزوده اقتصادی می باشد علاوه بر این علت این تفاوت به کمک دوعامل مدیریت سود وحاکمیت شرکتی موردبررسی وآزمون قرارگرفته است. مدیریت سود به کمک اقلام تعهدی اختیاری سودوحاکمیت شرکتی به کمک نسبت هیأت مدیره ،وجودحسابرس داخلی و نسبت تمرکز سهامداران اندازه گیری شده اند. برای اجرای این تحقیق تعداد 102 شرکت به عنوان نمونه آماری از بین شرکتهای پذیرفته شده دربورس اوراق بهادارتهران به صورت تصادفی انتخاب گردیده اند.دربازه زمانی7ساله 1382 تا 1388 متغیر های تحقیق مورد مطالعه و بررسی قرار گرفته اند وجهت آزمون فرضیه های تحقیق ازروشهای آماری تحلیل همبستگی ومدل بندی رگرسیونی وهمین طور آزمونt,f استفاده شده است.نتایج بدست آمده حاکی ازآن است که تفاوت بین افزایش ثروت سهامداران مبتنی بر ارقام حسابداری با ارزشیابی مبتنی بر بازار معنادار می باشد و هیچ رابطه معنی داری بین تفاوت مزبور با اقلام تعهدی اختیاری سود وجود ندارد همچنین مشخص گردید که رابطه نسبت اعضای غیر موظف هیأت مدیره شرکتها با تفاوت محاسبه شده معنی دار می باشد، رابطه وجود حسابرسی داخلی و نسبت تمرکز مالکیت سهامداران با تفاوت محاسبه شده معنادار نیست.
احمدعلی افشاری نژاد محسن رحمانی
با رخ دادن حادثه در قسمتی از بزرگراه، پارامترهای ترافیکی نزدیک به محل حادثه دچار تغییرات می گردند که با استفاده از این تغییرات در داده های ترافیکی میتوان اقدام به کشف اتوماتیک حادثه توسط متدهای کشف اتوماتیک کرد. در این تحقیق کشف اتوماتیک حادثه با روش های هوشمند انجام شده است. با استفاده از داده های جمع آوری شده از نرم افزار pems و به کار گیری شبکه عصبی مصنوعی، کشف اتوماتیک حادثه مورد بررسی قرار گرفته شده است.
رزا یوسفیان وحید رافع
بمنظور تولید سیستم های ایمنی-بحرانی ، استفاده از روشهای رسمی یک روش کارآمد و موثر در این زمینه می باشد. سیستم های تبدیل گراف نیزیکی از پرکاربردترین آنها در توصیف مدل ها است. یکی از موانع بر سر راه وارسی مدل ، مشکل انفجار فضای حالت است. این موضوع باعث شده است که استفاده از سیستم های تبدیل گراف، کارایی خود را در حل مسائلی که دارای فضای حالت گسترده ای هستند، از دست بدهند. لذا هدف از انجام این تحقیق، ارائه راهکاری جهت حل مشکل انفجار فضای حالت در سیستم های تبدیل گراف به منظور وارسی مدل می باشد. در روش ارائه شده با استفاده از الگوریتم ژنتیک فضای حالت مسئله را به نحوی هدایت می کنیم تا از تولید کامل فضای حالت جلوگیری شود. با استفاده از این روش می توان بن بست را در مدل هایی که سیستم های تبدیل گراف، قادر به بررسی آنها نمی باشد، کشف کرد. الگوریتم مورد نظر در groove، که ابزاری برای وارسی مدل مبتنی بر تبدیل گراف می باشد، پیاده سازی شده است. همچنین در عین حال که این روش مشکل مزبور را حل می کند، برای بهینه سازی و افزایش کارایی در وارسی مدل هایی که دارای فضای حالت بسیار گسترده و پیچیده می باشند، از روش پردازش چند نخی نیز استفاده شده است. با استفاده از این تکنیک، می توان کاهش چشمگیری در مدت زمان وارسی مدل ایجاد کرد.
مجید فندروسی وحید رافع
سیستم های تبدیل گراف زمان دار برای مدل کردن سیستم هایی بکار می رود که زمان نقش اساسی را در آنها بازی می کند. ایده سیستم های تبدیل گراف زمان دار توسط «سیلویا گیاپای» و همکارانش مطرح شد. آنها روشی را برای وارسی این سیستم ها بیان نکرده و تنها به تعدادی مفاهیم اکتفا کردند. وارسی این سیستم ها با روش پیشنهادی این افراد و با استفاده از ابزارهای موجود مشکل خاصی دارد. این مشکل را با ارائه ی مثالی در نرم افزار groove تشریح و بررسی می کنیم. در این پایان نامه، ما تعریفی را برای سیستم تبدیل گراف زمان دار ارائه می دهیم و روش خودمان را بر اساس این تعریف تشریح می کنیم. ما مفهوم زمان را به این شکل در سیستم تبدیل گراف دخالت می دهیم: از آنجاییکه قوانین نشان دهنده ی انجام کار هستند، ما برای قوانین زمان مصرفی در نظر می گیریم. همچنین برای گراف میزبان، یک بازه ی زمانی معتبر تعریف می کنیم که با تبدیل قوانین این بازه تغییر می کند. این سیستم تبدیل گراف زمان دار توسط ابزار ما به ماشین خودکار زمان دار تبدیل می شود. همچنین ویژگی های زمان دار مورد نظر بصورت گراف بیان می شوند و ابزار ما آنها را به ویژگی های tctl ترجمه می کند. برای وارسی سیستم، ماشین خودکار زمان دار به همراه ویژگی های tctl به نرم افزار uppaal داده می شود. نهایتاً ابزار خودمان را برحسب زمان وارسی و حافظه ی مصرفی ارزیابی می کنیم.
کیانوش رشیدی وحید رافع
سیستم تبدیل گراف فرمالیسمی گرافیکی است بمنظور مشخص کردن جنبه های مختلف سیستم ها. یکی از تکنیک های رایج بمنظور بررسی سیستم های بیان شده با استفاده از سیستم تبدیل گراف عملیات وارسی مدل می باشد. هرچند، برای بسیاری از سیستم های پیچیده و بزرگ، تکنیک وارسی مدل با مشکلی به نام مشکل انفجار فضای حالت مواجه می شود که انجام عملیات وارسی مدل را غیر ممکن می سازد. در این پایان نامه پیشنهاد شده است که از عملیات بررسی مبتنی بر سناریو به منظور مقابله با مشکل انفجار فضای حالت استفاده شود. از اینرو، بمنظور بررسی مشخصات و ویژگی ها از طریق سیستم تبدیل گراف، در این پایان نامه پیشنهاد شده است که ویژگی ها و خصوصیات مورد نظر را به جای این که با استفاده از فرمول های منطق زمانی ltl یا ctl مشخص شوند، با استفاده از سناریوهای رفتاری مشخص شوند. به همین منظور از نمودارهای توالی جریان دار(lsc) بمنظور بیان خصوصیات استفاده شده است. در این کار، سمانتیک رفتاری و نحو? ارتباط نمودار lsc با گره ها و قوانین سیستم تبدیل گراف مشخص شده است. همچنین ویرایشگری به همراه الگوریتم های مورد نیاز بمنظور پیاده سازی راهکار مبتنی بر سناریو و راهنمایی پیمایش فضای حالت در ابزار groove پیاده سازی شده است. کارایی و کاربست پذیری راهکار نیز با استفاده از چند مثال مورد بررسی قرار گرفته است.
وحید نصرتی محسن رحمانی
امروزه یکی از پرکاربردترین روش های ارتباطی استفاده از سرویس ایمیل است. به موازات این افزایش روز افزون، نرخ هرزنامه ها نیز افزایش می یابد. تاکنون دسته بندهای مختلفی برای مقابله با هرزنامه ارائه شده است. با توجه به اینکه عمل دسته بندی بر اساس یک سری ویژگی صورت می گیرد کارآیی این دسته بندها تا حدود زیادی به روش کاهش ویژگی آن وابسته است. کاهش ویژگی می تواند به دو صورت انتخاب ویژگی (بر اساس معیار خاص) و استخراج ویژگی (با ترکیب ویژگی ها) صورت گیرد. روش های موجود عمدتا از یکی از این مکانیزم ها برای کاهش ویژگی استفاده می نمایند. روش کاهش ویژگی ارائه شده در این پایان نامه از ترکیبی از این دو روش برای ساختن بردار ویژگی نهایی استفاده می کند؛ به این طریق که ابتدا فرآیند انتخاب ویژگی باعث انتخاب زیرمجموعه ای از ویژگی اولیه شده، سپس استخراج ویژگی بر روی این زیرمجموعه اعمال شده و بردار ویژگی نهایی را می سازد. در این پایان نامه در مرحله انتخاب ویژگی از روش مشهور تکرار سند و در بخش استخراج ویژگی نیز چندین روش مورد بررسی قرار می گیرند. روش های استخراج ویژگی ارائه شده در این پایان نامه دارای سه رویکرد مختلف می باشند که عبارتند از: روش های مبتنی الگوریتم ژنتیک، روش های مبتنی بر خوشه بندی و روش های مبتنی بر بیزین کمکی. در روش های مبتنی بر الگوریتم ژنتیک عملیات استخراج ویژگی توسط یک ماتریس انتقال (بهینه شده با الگوریتم ژنتیک) انجام می شود. در روش مبتنی بر خوشه بندی، ویژگی ها خوشه بندی شده و هر خوشه به یک ویژگی نگاشت می شود. در رویکرد بیزن کمکی نیز دسته بندی بر اساس دو دسته بند صورت می گیرد که یکی از آنها مبتنی بر استخراج ویژگی و دیگری بدون استخراج ویژگی می باشد. نتایج بدست آمده از پیاده سازی و تجزیه و تحلیل روش های پیشنهادی نشان دهنده افزایش بهینگی دسته بندهایی می باشد که از این ویژگی ها استفاده می نمایند.
اشکان نیک آیین محسن رحمانی
کاهش نویز در بسیاری زمینه ها از جمله بهبود سیگنال ورودی پردازشگرهای صوتی جهت تشخیص گفتار و یا شناسایی گوینده و نیز گوشی های تلفن همراه و ... دارای اهمیت زیادی می باشد. تاکنون روشهای بسیاری جهت بهبود و اصلاح سیگنال گفتار با استفاده از طیف فرکانسی دوره کوتاه سیگنال گفتار ارائه شده اند. عموم این روشها فیلتری را ارائه می دهند که بهره آن تابعی از نسبت سیگنال به نویز بوده و در حوزه فرکانس پس از اعمال به طیف فرکانسی سیگنال نویزی، تخمینی از طیف فرکانسی سیگنال تمیز را به دست می دهند. این فیلترها دارای مقداری بین صفر و یک هستند. در فرکانسهایی که نسبت سیگنال به نویز بالاست، سعی در تقویت سیگنال می نمایند و بر عکس در فرکانسهای با نسبت سیگنال به نویز پایین، در جهت کاهش مولفه فرکانسی عمل می کنند. در این پایان نامه فیلترهایی جهت اصلاح طیف فرکانسی ارائه می شوند که برای تولید آنها از شبکه های عصبی استفاده می گردد. ورودیهای فیلتر که در اصل یک شبکه عصبی است فیلترهای پایین گذر مرتبه اول و یا شبکه های بازگشتی مرتبه اول هموارکننده ایست که جهت هموارسازی طیف توان کوتاه مدت سیگنال نویزی استفاده می شوند. در این پایان نامه سعی شده است روشی برای کاهش نویز از سیگنال گفتار دیجیتال با استفاده از شبکه های عصبی به منظور بهبود سیگنال توسط اصلاح طیف فرکانسی ارائه شود. در عمل چندین نوع فیلتر بر حسب نوع خروجی در نظر گرفته شده، بررسی شده و بهترین آنها معرفی می شود. در نهایت نتایج اعمال این فیلتر بر روی تعداد زیادی سیگنال نویزی با نتایج فیلتر تفاضل طیف توان، و با استفاده از معیارهای pesq ، nplr و snri مقایسه گردیده اند. با توجه به این که فیلتر تفاضل طیف توان مورد استفاده از پس پردازشگر جهت حذف نویز موسقیایی و شکل دهی نویز استفاده می کند، با این وجود نتایج حاصل از فیلتر شبکه عصبی معرفی شده کاملاً نزدیک به نتایج حاصل از اعمال فیلتر تفاضل طیف توان می باشد.
سیروس سیاحی محسن رحمانی
پردازش تصویر از جمله مباحث روز دنیا است و در بسیاری از کاربردها به یاری انسان آمده است. این دانش نوین با رشدی محسوس در بسیاری از زمینه ها نفوذ کرده و امروزه بسیاری از سیستم های کنترلی در قالب ماشین های بینایی از آن سود می برند. پردازش تصویر پس از ظهور خود به سرعت در زمینه هایی چون پزشکی، نظامی، صنعتی، هوافضا و روباتیک کاربرد گسترده ای پیدا کرد و اکنون شمار زیادی از سیستم های کنترلی بدان وابسته اند. در سال های اخیر دانشمندان جنبه های مختلف پیاده سازی الگوریتم های گوناگون پردازش تصویر را بر روی کامپیوترهای همه منظوره مورد بررسی قرار داده اند. امّا در بسیاری از موارد که از نظر زمان، هزینه، فضا و شرایط محیطی محدودیت وجود دارد، این کامپیوترها کارایی لازم را ندارند. اینجاست که استفاده از پلت فرمی که بتواند مستقل از این کامپیوترها الگوریتم های مورد نظر را اجرا کند، سودمند به نظر می رسد و این امری است که کمتر مورد توجه قرار گرفته است. استفاده از یک پلت فرم سخت افزاری علاوه بر افزایش سرعت اجرایی و صرفه-جویی در مصرف انرژی و هزینه، قابلیت تحرک سیستم را نیز به ارمغان می آورد. امّا مسلماً چالش های خاص خود و مشکلاتی متفاوت از اجرا روی کامپیوترهای همه منظوره را نیز دارد. هدف از این پژوهش بررسی و پیاده سازی برخی از الگوریتم های پایه ای پردازش تصویر بر روی پلت فرم های متحرک است. از این رو ابتدا پلت فرم های موجود از نظر ویژگی ها و کارایی مورد بررسی قرار گرفته و در حوزه ی کاربردهای پردازش تصویر مقایسه شده اند و در نهایت c6416 dsk از خانواده ی dspها و از شرکت ti انتخاب شده است. پس از انتخاب پلت فرم، برخی از الگوریتم های پایه ای پردازش تصویر که بیشتر به منظور بهبود کیفیت تصویر و رفع نویز و یا اعمال فیلترهای گوناگون روی تصویر به کار می روند، مورد بررسی قرار گرفته و پس از تست و اجرا در نرم افزار متلب روی پلت فرم منتخب پیاده سازی شده است. برای اجرای الگوریتم ها روی dsp ابتدا در محیط نرم افزار code composer studio شبیه سازی صورت گرفته و سپس بر روی بورد سخت افزاری آزمایش شده است. نتایج به دست آمده حاکی از برتری واضح dspها نسبت به اجرا روی pc است. همچنین از آنجا که پردازنده ی منتخب ممیزثابت است تأثیر قابل توجه کدنویسی به صورت ممیزثابت در مقابل ممیزشناور محسوس است. به علاوه بهینه سازی کد در زمان اجرای الگوریتم ها تأثیر قابل توجهی داشته است. در انتها نیز روشی نوین برای طراحی یک سنسور جابجایی مبتنی بر پردازش تصویر به منظور کنترل یک میزلرزه ارائه شده است. در واقع سیستم قبلی از یک کنترل حلقه بسته برای کنترل میز لرزه استفاده می کند. در این سیستم میزان جابجایی میز از طریق یک انکودر خطی محاسبه می شود که نتایج آن به عنوان فیدبک توسط کنترلر استفاده می شود. در سیستم جدید یک دوربین و برنامه ی پردازش تصویر جایگزین انکودر شده و پس از محاسبه-ی جابجایی میز به صورت بلادرنگ نتایج را از طریق شبکه برای کنترلر ارسال می کند. نتایج به دست آمده از سیستم مبتنی بر پردازش تصویر با سیستم قبلی قابل مقایسه است و مقایسات صورت گرفته امکان بهره مندی از مزایای سیستم جدید را فراهم می کند.
کیوان نجاتی محسن رحمانی
اثر کف دست یکی از ویژگی های بیومتریکی میباشد که در تشخیص هویت افراد کاربرد دارد. تشخیص هویت با کف دست، فازهای مختلفی دارد که مهمترین فاز آن استخراج ویژگیهاست. این فاز به قدری مهم است که عملکرد و دقت کلی سیستم به طور کلی به آن وابسته است. روشهای مختلفی برای استخراج ویژگی از کف دست مطرح شده است که در این پایان نامه برخی از آنها بررسی خواهد شد. سپس یکی از روشهای استخراج ویژگی با نام سیفت، بررسی خواهد شد، که به دلیل خواص منحصر به فرد آن از جمله مقاومت در برابر چرخش و تغییر ابعاد تصویر، یکی از بهترین روشهای استخراج ویژگی میباشد. اکثر روشهای استخراج ویژگی، در فاز دریافت تصاویر، تصاویر را توسط یک اسکنر دریافت میکنند که تصاویر بدست آمده از لحاظ چرخش و ابعاد معمولا تغییر ثایت هستند. هدف این پایان نامه ارائه روشی است که برای تصاویری که توسط دوربینهای دیجیتال از جمله وبکم لپتاب و غیره که دارای کیفیت متوسطی میباشند نیز بدست میآیند، بتوان استخراج ویژگی و تشخیص هویت را انجام داد. در این روش از یک پیش پردازش پیشنهادی نیز جهت استخراج مناسبتر ویژگیها استفاده شده است. همچنین اصلاحاتی در روش سیفت انجام شد که منجر به بهبود عملکرد آن گردید. کلیه روشهای این پایان نامه با زبان matlab پیاده سازی شده اند. همچنین برای ارزیابی عملکرد روش پیشنهادی، از پایگاه تصاویر iitd و casia استفاده شده است. نتایج حاصل نشان میدهد که دقت روش پیاده سازی شده 99/67 درصد میباشد که دقت بسیار خوبی را در مقایسه با روشهای دیگر دارد.
سهیل شاهوردی محسن رحمانی
در سال های اخیر استفاده از وسایل نقلیه بدون سرنشین هوایی (uav) در کاربردهای نظامی و غیرنظامی افزایش چشمگیری داشته که در طی آن تلاش های زیادی هم برای توسعه uavهایی که نیاز به نظارت و کنترل انسانی را حداقل می کنند انجام شده است. یکی از قسمت های اصلی و حیاتی در طراحی uavها، سامانه های هدایتی آن ها هستند. این سامانه ها وظیفه قرار دادن uav در موقعیت و مسیر پروازی معینی را به عهده دارند که می تواند فقط یک سامانه ساده ارتباط از راه دور باشد یا یک سامانه پیچیده که به صورت خودمختار با اطلاعات از قبل ذخیره شده و اطلاعاتی که از محیط دریافت می کند اقدام به هدایت و مسیردهی uav بدون دخالت کاربر کند. یکی از حوزه های فعال درزمینه ایجاد راه حل های هدایت خودمختار uav حوزه بینایی ماشین است که روش های ارزان و مؤثری را چه به عنوان مکمل و چه به عنوان جایگزین دیگر سامانه های هدایتی پیشنهاد می کند. دنبال کردن ساختارهای پیوسته¬ای مثل جاده، خط لوله، کانال، رودخانه و خط ساحلی توسط uav از موارد کاربرد بینایی ماشین در این زمینه هستند که کاربردهایی مثل تجسس و نظارت بدون استفاده از موقعیت یابی ماهواره ای را دارند. در پایان نامه حاضر جاده به عنوان ساختاری به منظور مسیردهی به uav انتخاب شد و روشی برای ردیابی مسیر جاده در تصاویر هوایی طراحی گردید که قادر است در صورت وجود انشعاب در مسیر جاده، برای هر انشعاب یک مسیر شناسایی کند، بنابراین uav می تواند با توجه به مأموریت تعیین شده یک مسیر را انتخاب کند. تمام قسمت های روش پیشنهادی با زبان c++ و با استفاده از کتابخانه متن باز opencv پیاده سازی شده اند، همچنین ارزیابی عملکرد روش پیشنهادی، روی تصاویر هوایی به دست آمده از یک شبیه ساز که با استفاده از flightgear، simulink و تصاویر googleearth برای این پروژه آماده شده است انجام گرفت و نتایج به دست آمده عملکرد قابل قبول روش پیشنهادی را نشان می دهند.
محسن رحمانی حمید صفدری
در این پایان نامه ابتدا موجک چبیشف نوع دوم را می سازیم. سپس یک روش محاسباتی را بر مبنای موجک چبیشف نوع دوم برای حا رده ای از معادلات انتگرو-دیفرانسیل فردهلم غیرخطی از مرتبه کسری ارایه می دهیم. عملگر انتگرال کسری ریمان-لیوویل ساخته می شود. تعریف کپیتو از عملگر دیفرانسیل کسری بیان می شود. ماتریس عملگر موجک چبیشف نوع دوم از عملگر انتگرال کسری ساخته می شود. سپس ماتریس عملگر انتگرال کسری بین می شود. و در نهایت به حل معادله انتگرو-دیفرانسیل غیر خطی از مرتبه کسری پرداخته می شود. و مثال های عددی را با روش موجک cas مقایسه می کنیم.
جهانگیر پچکم مهرداد هادی پور
امروزه فناوری سنجش از راه دور (تصاویر ماهواره ای) در کشاورزی، محیط زیست، ارتباطات و بسیاری از زمینه های دیگر، توانایی خود را به طور چشمگیری در تولید اطلاعات به اثبات رسانده است. یک مسئله اساسی در فناوری سنجش از راه دور، تعداد ویژگی های زیاد موجود، در مجموعه داده های اطلاعاتی حاصل از این فناوری است. تعداد ویژگی های زیاد، هم ازلحاظ مقدار حافظه ی مصرفی و هم ازلحاظ افزایش پیچیدگی محاسبات در هنگام طبقه بندی این مجموعه داده ها، زیان بار هستند، بنابراین باید تا حد ممکن تعداد ویژگی ها را کاهش داد. یکی از رویکردهای کلی کاهش ویژگی، استفاده از روش های انتخاب ویژگی است. الگوریتمrelieff، یکی از شیوه های رایج انتخاب ویژگی است که امکان استفاده در مجموعه داده های چند کلاسه و ناقص را دارد. این الگوریتم به هر ویژگی یک امتیاز که بیانگر میزان توانایی آن ویژگی در تمایز بین نمونه ها است، نسبت می دهد. در سال های اخیر، روش های مختلفی جهت بهبود الگوریتم relieff ارائه شده اند، اما همواره دو نقص اساسی، هم در الگوریتم relieff و هم در روش های اخیر، مشاهده می شود و آن ها عبارت اند از (1) در نظر گرفتن نمونه های پرت موجود در مجموعه داده ی ورودی، در محاسبات مربوط به امتیازدهی و(2) در نظر نگرفتن همبستگی، میان مقادیر ویژگی، در کلاس های مختلف، در محاسبات مربوط به امتیازدهی است. لذا هدف این پایان نامه بهبود الگوریتم relieff و برطرف کردن این نقیصه ها با استفاده از روش های پیشنهادی می باشد، سپس استفاده از این روش ها در افزایش دقت طبقه بندی تصاویر ماهواره ای است. در این پایان نامه دو روش پیشنهادی آورده شده است، در روش پیشنهادی اول مجموعه داده ورودی اصلاح شده است و در روش دوم، علاوه بر اینکه مجموعه داده ی ورودی اصلاح شده است، همبستگی، میان مقادیر ویژگی، در کلاس های مختلف به عنوان یک پارامتر منفی در امتیازدهی به ویژگی ها در نظر گرفته شده است. عملکرد روش های پیشنهادی به کمک مجموعه داده های معتبر دیگر نیز بررسی و نتایج به دست آمده نشان دهنده ی کارایی بهتر روش های پیشنهادی در مقایسه با روش های ماقبل است.
محسن پیرحیاتی محسن رحمانی
متن کاوی به دلیل حجم وسیعی از اطلاعات که به صورت متنی ذخیره شده، پتانسیل کاربردی بسیار بالایی دارد. یکی از مهمترین کاربردهای متن کاوی طبقه بندی متون به لحاظ موضوعی میباشد. در این مقاله سعی بر آن داشته ایم تا با توجه به روشهای مختلف طبقه بندی متون فارسی، روشی نوین در جهت افزایش دقت و کارآیی طبقه بندی متون ارائه دهیم. برای طبقه بندی متون یک روال پنج مرحله ای را در نظر گرفته ایم.مرحله جداسازی کلمات از خبر متن خبر به توکن هایی از کلمات شکسته می شود. در پیش پردازش، داده هایی که هیچ اطلاعات مفیدی درباره کلاس یک خبر ندارند حذف می شوند. گام های مورد نیاز برای پیش پردازش به ریشه یابی و حذف کلمات stop word تقسیم می شوند. برای استخراج ویژگی، روشهای تکرار سند و icf-uni بکار گرفته شده است. برای نمایش بردار ویژگی برای هر خبر از tfو tf-idf استفاده شده است.برای وزن دهی مجدد به بردار ویژگی روش جدیدی با استفاده از ارتباط بین ویژگی ها و موضوع خبر ارائه شده است. برای طبقه بندی متون نیز از الگوریتم های k نزدیک ترین همسایه و رده بندی بیزین چند متغیره با tf استفاده شده است. در این پایان نامه از مجموعه داده های همشهری که شامل بیش از 318 هزار مقاله در زمینه های مختلف (علمی ،اقتصادی ،سیاسی ،ادبی،ورزشی و غیره ) می باشد برای ارزیابی نتایج استفاده شده است. پیاده سازی روش پیشنهادی با ارائه آنتروپی در پیش پردازش برای حذف کلمات حشو و همچنین وزن دهی مجدد ویژگی ها موجب بهبود در نتایج کلی شده است و در بهترین حالت بازشناسی، اخبار اقتصادی با 30 درصد بوده است.
مهدی نجفی رضا رافع
امروزه با گسترش شبکه های کامپیوتری، بحث امنیت شبکه ها بیش از گذشته مورد توجه پژوهشگران قرار گرفته است. تشخیص نفوذ به عنوان یکی از ابزارهای اصلی برقراری امنیت در شبکه های کامپیوتری شناخته می شود. سیستم های تشخیص نفوذ به دو روش تشخیص الگو و تشخیص ناهنجاری تقسیم می شوند. روش های تشخیص الگو بر اساس الگوی حمله های شناخته شده کار می کنند و دارای نرخ تشخیص بالایی هستند اما توانایی تشخیص حملات جدید را ندارند. روش های تشخیص ناهنجاری توانایی شناسایی حملات جدید را دارند اما نرخ هشدار اشتباه در آنها بالاست. در تشخیص ناهنجاری ویژگی های زیادی وجود دارد که بعضی از این ویژگی ها تاثیر چندانی در تشخیص نفوذ نداشته و باعث انحراف در تشخیص نفوذ می گردند. انتخاب ویژگی یکی از موضوعات کلیدی در سیستم تشخیص نفوذ است. با انتخاب ویژگی های مهم و موثر می توان دسته بندی و عملکرد آن را بهبود بخشید. انتخابگر ویژگی وظیفه پیدا کردن زیرمجموعه ای از ویژگی ها برای بهبود دقت پیش بینی را دارد. در این پایان نامه از ترکیب الگوریتم های رقابت استعماری و الگوریتم ژنتیک برای انتخاب ویژگی های بهینه استفاده شده است. نتایج بدست آمده از پیاده سازی و تجزیه و تحلیل روش های پیشنهادی روی مجموعه kdd99 نشان دهنده افزایش نرخ تشخیص و کاهش نرخ هشدار اشتباه الگوریتم ترکیبی پیشنهادی نسبت به دو الگوریتم رقابت استعماری و الگوریتم ژنتیک می باشد.
مریم حمیدانور رضا رافع
در این پایان نامه، مدلسازی خطی و غیر خطی مسئله زمانبندی انرژی آگاه در شبکه های بی سیم بلادرنگ با در نظر گرفتن پدیده تداخل و با توجه به معیارهای انرژی مصرفی و قیدهای زمانی شبکه انجام شده است. هدف مدل های پیشنهادی کمینه کردن مصرف انرژی و کاهش تعداد هدر رفت بسته ها با بهره گیری از راهکار ارسال موازی و مسیریابی چند پرشی می-باشد. حل مدل خطی با استفاده از روش های ریاضی و حل مدل غیر خطی از طریق تکنیک های برنامه ریزی با محدودیت ها انجام شده است.
محسن رحمانی محمدرضا علیگودرز
بعد از اعتبارسنجی روش عددی، به بررسی اثر تغییر تعداد پره های راهنما، دیفیوزر، ایمپلر و افزودن اسپلیتر پرداخته و نتایج در قالب نمودارها بررسی شد. ملاحظه شد که بازده در تغییر تعداد پره های کمپرسور، تحت تأثیر عواملی تغییر پیدا می کند. به طوری که با افزایش تعداد پره های راهنما به 20 پره، همراه با افزایش اندک نسبت فشار، بازده حدود 0.64 درصد افزایش یافت. همچنین با کاهش پره های دیفیوزر به 20 پره، با ثابت ماندن تقریبی نسبت فشار، بازده حدود 0.25 درصد افزایش نشان داد.
زینب حیدری محسن رحمانی
رشد روزافزون تجارت الکترونیکی و استقبال مشتریان از این شیوه تجارت سبب ازدیاد حجم اطلاعات و تنوع محصولات و در نتیجه سخت شدن انتخاب برای مشتریان شده است. سیستمهای پیشنهاددهنده در حل این مشکل به کمک بشر آمده اند و در این راستا از شیوه پالایش اطلاعات استفاده می کنند که از جمله آنها روشهای خوشه بندی ترکیبی می باشد. یکی از روشها، ترکیب الگوریتمهای تکاملی با الگوریتمهای خوشه بندی پایه است. در این مقاله برای خوشه بندی دادهها الگوریتم ترکیبی gcm بکار گرفته شده که ترکیبی از الگوریتم ژنتیک با الگوریتم خوشه بندی c-means می باشد. با افزایش حجم اطلاعات یکی از مشکلات سیستمهای پیشنهاددهنده، مسئله مقیاس پذیری است که برای حل این مسئله از الگوریتم خوشه بندی c-means کمک گرفته شده است. این الگوریتم به افزایش دقت این سیستمها نیز کمک می کند. اما الگوریتم c-means خود از مشکل گیر افتادن در نقطه بهینه محلی رنج می برد که الگوریتم تکاملی ژنتیک برای حل آن به کار گرفته شده است. در این مقاله الگوریتم پیشنهادی با الگوریتم مشابه ای به نام gkm و الگوریتمهای پایه k-means، c-means مقایسه می شود. در ارزیابی این الگوریتمها مشخص شد الگوریتم پیشنهادی gcm نتایج بهتری نسبت به بقیه دربر داشته، دقت سیستم پیشنهادی را به طور چشمگیری بالا برده و مسئله مقیاس پذیری را حل کرده است.
علیرضا رحمان محسن رحمانی
ردیابی چشم در سال های اخیر موردتوجه پژوهشگران قرار گرفته است، به دلیل کاربردهای فراوانی که در حوزه های مختلف دارد ازجمله: واسط انسان و کامپیوتر، واسط کامپیوتر و مغز، روانشناسی و عصب شناسی، فنّاوری های کمکی و همچنین تبلیغات هوشمند و بسیاری موارد دیگر. در حال حاضر ردیابی چشم، نیاز به سخت افزارهای اضافی دارد که کار با آن برای افراد سختی هایی به همراه دارد. ازجمله سختی های آن می توان به این موارد اشاره کرد: نصب دستگاهی روی سر، نصب دستگاه هایی اطراف چشم و ثابت بودن سر در برخی موارد. همچنین هزینه بالای این دستگاه ها، میل به استفاده از آن را کاهش داده است. ارزیابی روش پیشنهادی روی پایگاه داده های مختلف، انجام شده و نتایج قابل قبولی به دست آمده است.
لیلا میرزایی گل محمدی وحید رافع
پردازش ابری یک تکنولوژی جدید در حوزه پردازش توزیع شده است که امکان به اشتراک گذاشتن سرویس ها در مقیاس گسترده را فراهم می آورد. این تکنولوژی به کاربران اجازه می دهد به سرویس ها دسترسی پیدا کنند بدون اینکه درباره نحوه کار یا کنترل کردن زیرساخت های سخت افزاری (و بعضا نرم افزاری) که از آنها استفاده می کنند دانش یا اطلاعاتی داشته باشند. ارائه دهندگان سرویس های محیط ابری سرویس های خود را بر اساس مدل های مختلفی ارائه می دهند که یکی از آنها «زیرساخت به عنوان سرویس(iaas)» می باشد. استفاده از این سرویس ها نیاز به صرف هزینه برای خرید، نصب و نگهداری زیرساخت های اختصاصی برای اجرای برنامه ها را از بین می برد. از مهمترین ویژگی های محیط ابر تغییر مقیاس بر حسب نیاز است که به آن «خاصیت ارتجاعی» می گویند. مالکان نرم افزارها می توانند بر حسب نیاز پردازشی برنامه خود، مقیاس منابع مورد استفاده را افزایش یا کاهش دهند. به بیان دیگر، معماری چنین نرم افزارهایی هنگام اجرا پیوسته در حال تغییر است. بر اساس این رفتار پویا بحث کیفیت سرویس در نرم افزارهای محیط ابر اهمیت و پیچیدگی بیشتری می یابد. تحلیل و مدلسازی ویژگی های کیفی در محیط پردازش ابری به دلیل پیچیدگی و مقیاس بسیار بزرگ سیستم کار دشواری است. بخاطر مشکل بودن مدلسازی تحلیلی اغلب رویکردهایی که برای ارزیابی ویژگی های کیفی در محیط ابر استفاده می شوند، بر اساس اندازه گیری هستند. این رویکردها نیاز به تجربه و اندازه گیری انواع بارکاری در پیکره بندی های مختلف سیستم دارند. در نتیجه بعد از پیاده سازی کامل و استقرار نرم افزار در محیط ابر قابل استفاده هستند. استفاده از رویکردهای مبتنی بر مدل این مشکل را نخواهد داشت. علاوه بر این موارد، استفاده از مدل و خصوصا مدل های تصادفی در عین حال که امکان در نظر گرفتن تعداد زیادی از پارامترهای موثر روی ویژگی های کیفی را فراهم می کند، امکان حل با پیچیدگی و هزینه کمتری را نیز خواهد داشت. هدف از این پروژه ارائه کردن یک مدل سطح بالا برای مدلسازی است که نیازمند جزئیات پیاده سازی نباشد. سپس با استفاده از این مدلسازی، محاسبه و ارزیابی کیفیت سرویس انجام خواهد شد. برای ارائه مدل از شبکه های پاداش تصادفی استفاده شده است. تلاش شده است این روش هم توسط کاربران ابر iaas و هم ارائه دهندگان سرویس های ابر iaas قابل استفاده باشد.
زهره صفاریان وحید رافع
گستردگی و ماهیت توزیع¬شده¬ی شبکه¬های کامپیوتری بستری مناسب برای نفوذ و آسیب وارد نمودن به پروتکل¬های درحال اجرا روی این شبکه¬ها پدیدآورده است. یکی از پروتکل¬های لایه¬ی ip که در معرض آسیب¬های ناشی از این بستر ناامن و حفاظت نشده قرار دارد، پروتکل mobile ipv6 (mipv6) است. mipv6 پروتکلی برای اینترنت ipv6 است که مشکلات ناشی از جابجائی و تغییرات ip گره¬ها در شبکه را حل می¬کند. مکانیزم بهینه¬سازی مسیر طراحی شده در پروتکل mipv6 که جهت کوتاه نمودن مسیر ارتباطی میان گره¬ها استفاده می¬شود و وظیفه¬اش بروزرسانی اطلاعات مکانی گره¬های در حال حرکت است، این پروتکل را در معرض بسیاری خطرات از جمله ربودن ارتباط میان دو گره و نقض جامعیت و امنیت بسته¬ها قرار می¬دهد. به همین دلایل در سال¬های اخیر پروتکل¬های بسیاری جهت تأمین امنیت بروزرسانی¬های mipv6 طراحی گردیده¬اند که وارسی امنیت و تحلیل آسیب¬پذیری¬های این پروتکل¬ها امری ضروری است. در این پایان¬نامه روالی صوری و مبتنی بر ماشین زمان¬دار برای تشخیص آسیب¬پذیری¬های موجود در فرآیند بهینه¬سازی مسیر ارائه شده در پروتکل mipv6 که با استفاده از روال بازگشت مسیر (return routability procedure) حفاظت می-شود، ارائه می¬دهیم. تلاش شده¬است که مدل پیشنهادی تمام مکانیزم¬های امنیتی لحاظ شده در فرآیند بهینه¬سازی مسیر پروتکل را پوشش دهد و مدلی نزدیک به سطح پیاده¬سازی باشد. مواد و روش ها: روال صوری پیشنهادی با استفاده از ابزار وارسی مدل uppaal روی پروتکل mipv6 پیاده گردید و ویژگی های امنیتی پروتکل با استفاده از این ابزار روی مدل حاصل از رویه ی پیشنهادی وارسی شدند. نتایج: سناریوهای مختلفی از حملات ربودن ارتباط، مرد میانی و جعل پیغام بازگشت به خانه با روش پیشنهادی روی پروتکل mipv6 بدست آمده است. همچنین روال صوری پیشنهادی عدم امکان رخ داد حمله¬ی بازپخش روی این پروتکل را نشان می دهد. بحث: در اثر وارسی ویژگی¬های امنیتی پروتکل روی مدل پیشنهادی موفق به تشخیص غالب حملاتی گردیده¬ایم که تا کنون برای mipv6 در متون مختلف عنوان شده¬اند، همچنین برخی رخنه¬های امنیتی و راه¬های نفوذ جزئی¬ای که در کارهای قبلی به آن¬ها اشاره¬ای نگردیده¬بود از طریق روال صوری پیشنهادی شناسائی شدند. متد و راهکارهای استفاده شده در طراحی مدل پیشنهادی مسیری مناسب برای مدلسازی و وارسی امنیت پروتکل¬های بسیاری که جهت حفظ امنیت بهینه-سازی مسیر در پروتکل mipv6 طراحی گردیده¬اند می¬گشاید.
زهرا دست انبویه محسن رحمانی
سرعت زیاد تولید اطلاعات جدید، تبلیغات و... در محیطهای مجازی و به خصوص در فروشگاههایمجازی منجر شده است، که پیدا کردن اطلاعات و دانش مرتبط در میان حجم انبوهی از اطلاعات کار بسیار وقت گیر وحتی نا امیدکنندهای باشد، سیستم های پیشنهاددهنده تلاش بر این است تا با حدس زدن شیوه تفکر کاربر به وی مناسبترین و نزدیکترین آیتم به سلیقه او را شناسایی و پیشنهاد کند.دراین پایان نامه یک سیستم پیشنهاد دهنده مبتنی بر زمان و ویژگی به سه شیوه در دو فاز آنلاین و آفلاین پیادهسازی میشود،در روش اول و در فاز آفلاین به خوشهبندی کاربران سیستم بر اساس ویژگی محصولات خریداری شده پرداخته و در فاز آنلاین میزان علاقهمندی کاربر هدف به آیتم تخمین زده می شود، در روش دوم و سوم فاز آنلاین یکسان اما فاز آفلاین متفاوت است. .نتایج ارزیابی این سه شیوه حاکی از این است که هر سه شیوه نسبت به روش سنتی فیلتر همبستگی عملکرد بهتری را دارا هستند و نیز روش های دوم و به ویژه سوم عملکرد بهتری نسبت به روش اول دارند.
الهام اشراقیان وحید رافع
در این پایان نامه، روشی به منظور ارزیابی کارایی معماری سرویس گرا، با استفاده از سیستم تبدیل گراف و زبان مدل سازی کارایی pepa پیشنهاد شده است. با استفاده از این روش فراهم کننده ی سرویس می تواند در زمان طراحی سرویس نهایی، توافق نامه ی پیشنهادی اش را از دیدگاه ویژگی های کارایی بررسی کند و موارد صحیح و دقیقی را ارائه نماید. علاوه براین فراهم کننده ی سرویس می تواند سرویس های تشکیل دهنده ی ترکیب سرویس را بررسی کند و تعداد و نوع مناسب آن ها را بر اساس تعادلی از هزینه و زمان به دست آورد. روش ارائه شده می تواند به ترکیب سرویس ایستا و ترکیب سرویس پویا اعمال شود و تحلیل های کمّی را با استفاده از الگوریتم و ابزار پیشنهادی این پایان نامه فراهم سازد. صحت این روش با استفاده از چندین موردمطالعه ی شناخته شده (به عنوان محک) بررسی شده و نتایج آن ضمیمه شده است. نتایج به دست امده در این پایان نامه با نتایج به دست آمده در پژوهش های دیگر سازگار است.
محسن رحمانی حسین حمزه لو
نقشه های شتاب طیفی به روش احتمالی برای ایران در محدوده 44 - 54 طول جغرافیایی و 5/26 - 40 عرض جغرافیایی بر اساس تحلیل خطر زمین لرزه و با استفاده از داده های تاریخی ، دستگاهی و چشمه های لرزه زا ارائه گردیده است. بدین منظور چشمه های فعال در منطقه مورد مطالعه شناسایی و به صورت چشمه های خطی و ناحیه ای مدل گردید پارامترهای لرزه خیزی برای هر یک از چشمه ها محاسبه گردید. با استفاده از روابط کاهندگی و ترکیب روابط به روش درخت منطقی ، نقشه های شتاب طیفی برای دوره بازگشت های 75، 475، 975و 2475 سال برای اولین بار ارائه شد. این نقشه ها به منظور نشان دادن خطر لرزه ای منطقه مورد مطالعه به شکل سطوح خطر مختلف ارائه شده اند.
الهه بیاتی محسن رحمانی
: از دیرباز تاکنون تکنیک های متعددی برای شناسایی افراد به وجود آمده است. در این میان سیستم های تشخیص هویت مبتنی بر بیومتریک از صحت و اطمینان بیشتری برخوردارند. این سیستم ها باید به گونه ای طرح ریزی شوند تا بتوانند بر اساس ویژگی های رفتاری و فیزیکی افراد نسبت به شناسایی مطمئن آن ها اقدام کنند. یافته های ما به روش استخراج ویژگی های تصاویر بیومتریکی با بکارگیری مفهوم بعد فراکتال اشاره دارد، که در مقایسه با روش های موجود، نتایج بهتری ارائه می دهد. لازم به ذکر است که روش پیشنهادی با روشی کاملا جدید بهبود داده شده که در مطالعات دیگر محققان مشاهده نشده است.
محسن رحمانی مسعود رشیدی نژاد
چکیده ندارد.
محسن رحمانی احمد اکبری
کارایی سیستمهای بازشناسی در حضور نویز کاهش می یابد. در این پایان نامه روشهای مقاوم کردن سیستم بازشناسی در برابر نویز دسته بندی شده و از بین آنها روشهای مبتنی بر داه بررسی می شود. روشهای مختلف تفاضل طیف ، جبران کپسترال، نگاشت ضرایب و روشهای مبتنی بر ویژگیهای مقاوم تحلیل شده اند. یک رابطه جدید برای تسطیح نویز در تفاضل طیف و یک لیفتر جبران کننده برای وزندهی ضرایب کپسترال پیشنهاد شده است . همچنین ایده تخمین ویژگیهای مقاوم از ویژگی های نویزی ارائه شده است . نرخ بازشناسی با استفاده از پیش پردازنده های پیشنهادی افزایش داشته است . نگاشت ضرایب کپسترال نویزی با شبکه های عصبی نتایج قابل قبولی داشته است . بین همه روشها، نگاشت ضرایب تفاضل کپسترال میانگین با استفاده از شبکه عصبی بهترین نتیجه را دارد.
محسن رحمانی مهدی شهیدی
مادهء 306 ق. م اداره اجازه اموال غایب ، محجور و امثال آنان را تحت شرایطی اجازه می دهد. اداره مال غیر یک واقعه حقوقی است که در میان اسباب تعهد جای مستقل و مختص به خود دارد و ماهیت آن با وکالت ، ایقاع، دارا شدن غیر عادلانه، شبه عقد و امثال آنها که در حقوق برخی از کشورها مطرح است ارتباطی ندادر. ماده مذکور از تاسیسی حقوقی در قانون مدنی فرانسه بنام "اداره امور غیر" اقتباس شده است . قانون مدنی ایران این نهاد حقوقی را در ردیف الزاماتی که بدون قرارداد حال می شوند قرار داده است . برای مشروعیت تصرفات مدیر در مال غیر، اعمال او باید در جهت مصالح مالک ، با قصد احسان به وی و برای رفع یک ضرورت اقتصادی صورت پذیرد بنحوی که عدم دخالت یا تاخیر در دخالت به ضرر صاحب مال بیانجامد. در صورت فراهم آمدن شرایط، اداره مال غیر شامل هر نوع تصرف قانونی و مادی می گردد و برای نفوذ تصرفات نیاز به تنفیذ و اجاره مالک ندارد. اداره کننده مال غیر علاوه بر اینکه مستحق اخذ مخارج مفید و ضروری اداره می باشد می تواند اجرات المثل اعمال مادی را که شخصا برای اداره مال غیر انجام داده و عرفا دارای اجرت بوده است مطالبه کند ضمن اینکه موظف به استمرا اعمال اداره و بکاربردن توجه شخص متعارف می باشد. صاحب مال نیز ملزم به ایفای تعهداتی است که مدیر بنام خود یا بنام مالک ولی در هر صورت بحساب مالک در قبال اشخاص ثالث پذیرفته است . مدیرعامل غیر جز در صورت تعدی و تفریط در مال غیر مسئول نمی باشند. مدیر در اداره مال غیر مانند هر امین دیگری تنها در شرایطی ضامن می باشد که مرتکب تعدی یا تفریط گردد و در غیر اینصورت عدم ضمان او به استناد قاعده احسان و مهمتر از آن، به استناد حکم قانونگذار که او را در شرایط خاص مجاز به دخالت در اموال غیر دانسته است محرز می باشد. اصلاح ماده 306 ق. م بنحوی که در برگیرنده همه جوانب موضوع و بیانگر حدود الزامات اداره کننده و صاحب مال باشد می تواند در احیاء و ذی اثر بودن تاسیس حقوقی اداره مال غیر نقش اساسی داشته باشد.