نام پژوهشگر: الهه ظهوریان آزاد
سمیه توده کشت سیدسعیدالرضا اسلامی
یکی از مطالعات پایه ای زمین ساختی پهنه بندی لرزه زمین ساختی می باشد. اگر به این مقوله از نقطه نظر کاربردی پرداخته شود، آنگاه می توان بر اساس نظریه تکتونیک صفحه ای، هدف پهنه بندی را تقسیم بندی ناحیه به مناطقی با میزان دگرشکلی لرزه ای متفاوت قرار داد. در این تحقیق برای نیل به این هدف و تقسیم بندی ایران به مناطق مذکور، روش عددی پیشنهاد شده است. در روش پیشنهادی دو عامل گسل و زمین لرزه تاثیرگذار هستند متغیرهای مربوط به این دو عامل، دگرشکلی لرزه ای را تعریف می کنند. در محدوده ایران شبکه بندی هندسی صورت گرفت و مراکز داده تعریف شد. با اندازه گیری هر یک از متغیرها در محدوده هر مرکز داده، پایگاه داده های لرزه زمین ساختی گردآوری شد. اساس تحلیل آماری مدنظر، تعیین اختلاف دگرشکلی لرزه ای بین هریک از محدوده ها و تخصیص یک کمیت نسبی به آن است. بر اساس این کمیت نسبی که در اینجا ضریب دگرشکلی لرزه ای نام دارد قیاس های بعدی انجام گرفت. نتایج حاصله به صورت نقشه منحنی های هم ارز دگرشکلی لرزه ای ترسیم گردید. در این نقشه ها مناطق با فعالیت لرزه زمین ساختی بالا جداسازی و با یک نقشه مرجع لرزه زمین ساختی مقایسه شد. نتایج این مطالعه و نقشه های حاصله می-تواند از گامهای نخستین تبیین خطر لرزه باشد.
ایمان خسروی مشیزی الهه ظهوریان آزاد
در این پایان نامه یک مسأله تصاحب سرمایه چند مرحله ای در نظر می گیریم که در آن سهم ها را با قیمت هایی که در طول زمان به تصادف تغییر می کنند، خریداری می کنیم تا آن ها را برای تقاضاهایی که در آینده در یک مقطع زمانی خاص به میزان تصادفی دریافت می کنیم ارائه دهیم. اثباتی از همگرایی برای الگوریتم برنامه ریزی پویای تقریبی، که در آن از یک طرح بهره برداری محض استفاده می شود، و به وسیله ی پاول در ارائه شده است را مورد بازبینی و ارزیابی قرار داده تا بتوانیم در آینده از آن در مسائل حل نشده ی مشابه استفاده کنیم. یک مزیت این الگوریتم این است که به شناخت توزیع احتمالی قیمت ها یا میزان تقاضاها و حتی به هیچ فرضی درباره ی شکل تابعی آن ها نیازی ندارد. الگوریتم و اثبات آن تنها بر این واقعیت استوارند که تابع هدف مورد نظر خانواده ای از توابع مقعر قطعه قطعه خطی است.
عبدالمطلب شیخعلی الهه ظهوریان آزاد
در این پایان نامه توقف بهینه آسانسورهای بیکار تکی و چندتائی را تحت شرایط ترافیک سبک مورد بررسی قرار می دهیم. هدف مینیمم کردن مجموع هزینه های مورد انتظار از پارک کردن و اعزام آسانسور(که خود شامل هزینه های متحمل شده انتظار مسافران می باشد) است. ابتدا حالت آسانسور تکی را تحت یک سیاست نزدیک بین وابسته به حالت که همواره آسانسور بیکار را در طبقه آزاد شده قرار می دهد، بررسی می کنیم. بر اساس نتایج بدست آمده در سیاست نزدیک بین نشان می دهیم که سیاست بهینه وابسته به حالت غیر نزدیک بین برای اعزام آسانسور آزاد، میانه وابسته به حالت، یک توزیع وزن دار را فراخوانی می کند. سپس حالت سخت تر دو آسانسور را در نظر گرفته، عبارتی برای میانگین تابع فاصله اعزام بدست می آوریم. نشان می دهیم که تابع هدف برای سیاست نزدیک بین غیر محدب است، دیده می شود که سیاست غیر نزدیک بین به وضعیت دو آسانسور بیکار وابسته است. با استفاده از نتایج بدست آمده از سیاست نزدیک بین سیاست بهینه وابسته به حالت را محاسبه می کنیم، سپس حالت چندگانه آسانسورها را مورد بررسی قرار می دهیم ویک فرمول بازگشتی کلی را برای پیدا کردن میانگین تابع فاصله اعزام فراهم می کنیم. در پایان مدل های قبلی را با متحد کردن یک هزینه ثابت برای پارکینگ آسانسورهای بیکار تعمیم می دهیم.
فاطمه کیان نژاد الهه ظهوریان آزاد
هدف، ترجمه یک متن داده شده از زبان مبدأ(مثلا انگلیسی )به زبان هدف (مثلا فارسی )است.دنباله مبدأکه شامل j لغت است را با e1....ej...ej و دنباله هدف که شامل i لغت است را با e1...ei...ei نمایش می دهیم . از میان همه دنباله های هدف ممکن ، محتمل ترین دنباله ای که بر اساس قانون تصمیم بیز حاصل شده باشد را انتخاب می کنیم. در این پایان نامه به بررسی روش های ارائه شده برای ترجمه ، در ترجمه یک متن از زبان انگلیسی به زبان فارسی می پردازیم . ابتدا پنج مدل ترجمه که توسط شرکت ibm طراحی شده را بررسی کرده سپس مدل های زبان و همترازی دیگری را تحت عنوان مدل های توسیع یافته ارائه می دهیم در نهایت یک الگوریتم برنامه ریزی پویا برای ماشین ترجمه آماری داده می شود که به کمک این الگوریتم می توان به یک ترجمه مناسب رسید.
امین کرابی الهه ظهوریان آزاد
در این پایان نامه، ابتدا با مفاهیم اساسی شبکه مانند: دور، درخت، درخت فراگیر و غیره آشنا شده و از آنجا که فهم مساله درخت فراگیربه شناخت مساله یافتن کوتاهترین مسیر وابسته است، ابتدا به تعریف مساله یافتن کوتاهترین مسیر می پردازیم. پس از تعریف مساله کوتاهترین مسیر، به تعریف مساله درخت فراگیر کمینه پرداخته و شرایط لازم جهت بهینگی درخت فراگیر کمینه را بیان می کنیم. سپس مساله درخت فراگیر کمینه را در حالت های مختلف، با مقادیر ثابت و بازه ای مورد بررسی قرار خواهیم داد. در حل مساله درخت فراگیر کمینه با مقادیر ثابت، از الگوریتم های «کروسکال، پریم و سولین» استفاده می کنیم. دراین سه الگوریتم، یال ها با مقادیر کمتر به ترتیب وارد درخت شده و این عمل تا زمانی ادامه پیدا خواهد کرد که با اضافه شدن یال جدید به درخت، دور ایجاد شود. سپس مساله درخت فراگیر کمینه با مقادیر بازه ای را بررسی می کنیم.در زندگی روزمره به دلایل متعددی قادر به تخمین قیمت واقعی یال ها نیستیم، زیرا تخمین قیمت واقعی یال ها به عوامل متعددی مانند شرایط ترافیکی، تصادف، شرایط آب و هوایی و غیره که پیش بینی آن ها بسیار مشکل است، وابسته است. به همین علت به جای استفاده از یک مقدار ثابت، از یک بازه عددی که تقریبی از قیمت واقعی یال ها به حساب می آید، استفاده می کنیم. در این پایان نامه برای یافتن درخت فراگیر کمینه با مقادیر بازه ای، دو روش «حل برنامه ریزی عدد صحیح مختلط» و «تجزیه بندر» پیشنهاد می شود که به مراتب از روش های پیشنهاد شده اخیر سریع تر است
فاطمه حمیدی راد الهه ظهوریان آزاد
هدف از این پایان نامه بررسی مسئله مسیر یابی خودرو با مدت زمان سفر تصادفی وابسته به لحظات آغاز سفر در سطوح مختلف تراکم ترافیک است. مدت زمان سفر بین دو مکان نه تنها به فاصله بین آنها بلکه به عوامل دیگر از جمله زمان شروع سفر در روز ، شرایط آب و هوا و تاثیر مشکلات دنیای واقعی بستگی دارد. در این پایان نامه مدلی براساس مدت زمان سفر وابسته به لحظه آغاز سفر که از دیدگاه نظریه صف در نظم سرویس به ترتیب ورود صدق کند ارائه می شود روش ما بر پایه کارهای پیشینی است که در آنها تراکم ترافیک با روش های تحلیلی نظریه صف مورد بررسی قرار می گیرد.
مصطفی امیراحمدی الهه ظهوریان آزاد
.در این پایان نامه یک روش خودآموز جدید در طبقه بندی نیمه نظارتی با استفاده از الگوریتم بهینه سازی مورچگان، معرفی خواهیم کرد. در طبقه بندی نیمه نظارتی تعداد زیادی داده یدون برچسب همراه با تعداد کمی داده برچسب دار به صورت هم زمان برای بهبود دقت طبقه بندی استفاده می شود. روش پیشنهادی در این پایان نامه هیچ فرضی راجع به چگونگی توزیع داده ها ندارد. همچنین نیازی به تنظیم پارامتر آزاد توسط کاربر نمی باشد. الگوریتم پیشنهادی با استفاده از تعدادی داده مصنوعی و نیز تعدادی داده طبیعی از نظر دقت، بیشینه و کمینه با اندازه متوسط $ f_1 $ ارزیابی می شود. نتایج بدست آمده با دو روش طبقه بندی نظارتی و سه روش طبقه بندی نیمه نظارتی مقایسه می گردد. همچنین این الگوریتم از نظر آماری با استفاده از آزمون تی زوجی مورد تایید می باشد. نتایج تجربی بالقوه بودن الگوریتم پیشنهادی را نشان می دهد.