نام پژوهشگر: رویا داودی

بررسی و تحلیل واژگان مشکل نهج البلاغه در خطب 104تا127
thesis سایر - دانشکده علوم حدیث 1390
  رویا داودی   محمد دزفولی

کتب مختلف چه شروح نهج البلاغه، و چه کتبی که به صورت مو ضوعی به نهج البلاغه پرداخته اند؛ به بحث در زمینه فقه اللغه وارد شده اند؛ اما این نکته قابل توجه است که ما آثاری که صرفاً به بررسی فقه اللغه نهج البلاغه پرداخته باشند، و معانی آن ها را واکاوی نموده و به کاربرد احتمالی معانی یک کلمه در عبارات مختلف این کتاب پرداخته باشند در اختیار نداریم. در این تحقیق در حد توان به این مهم پرداخته شد به طوری که با روش کتابخانه ای ابتدا شکل صرفی، ریشه و اصل کلمه بیان گردید، در این میان برخی از ریشه ها دارای بیش از یک اصل بودند که برای تقریب معنا به ذهن برای هر اصل مثالی ذکر گردید. برای بیان اصل هر واژه کتاب معجم المقاییس اللغه ابن فارس در اولویت قرار گرفت، سپس کتب دیگر در صورت پرداختن به این مسئله آورده شد. معانی واژه منتخب بر اساس کتب لغت کهن مورد بررسی قرار گرفت تا معنای رایج کلمه در زمان صدور آن به دست آید، در کنار کتب لغت از کتب غریب القرآن و غریب الحدیث استفاده شد. در انتهاء اگر تفاوتی بین کلمات مشابه در کتب مختلف ذکر شده بود بیان گردید، تا جایگاه کلمات و بلاغت آن ها نمایان گردد. بعد از بررسی لغوی با استناد بر آیات قرآن بر معنای ذکر شده تاکید شد، ضمن این که کاربردهای دیگر از آن لغت در نهج البلاغه که دارای همان معنا بود ذکر گردید، سپس حدیثی از احادیث معصومین :که حاوی کلمه مورد نظر بود درج گردید. و در صورت امکان با استناد بر یک بیت شعر و ضرب المثل که حاوی لغت مذکور یا مشتقات آن بود کار بررسی لغت ادامه یافت، ودرانتهاء با نتیجه گیری کار بررسی به پایان رسید. لازم به ذکر است، در بخش نتیجه گیری میزان اهتمام شارحان به لغت مذکور مورد بررسی قرار گرفت، و نظرات آن ها نیز ذکر گردید. متن خطب مورد بررسی بر اساس نهج البلاغه آقای دکتر سید محمد مهدی جعفری ولی کاربردهای دیگر در نهج البلاغه بر اساس نهج البلاغه دکترصبحی صالح تنظیم گردید. در فصل سوم برخی کلمات به عنوان نمونه در شروح و ترجمه های منتخب مورد بررسی قرارگرفت، مبنا بررسی های انجام شده نیز نتایج به دست آمده در فصل پیش بود؛ به طوری که کلمات و توضیحات ارائه شده از سوی شارحان و مترجمان با اصل واژه مورد نظر و هم چنین تفاوت های ذکر شده ما بین دو واژه مشابه مقایسه شد، و از این طریق کاستی ها و خطاهای احتمالی نمایان گردید، و درانتهاء در صورت امکان شرح وترجمه دقیق تر نیز مشخص گردید.

مکانیابی خودروهای خدمات اضطراری با در نظر گرفتن ورود گروهی تقاضاها
thesis وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده مهندسی 1392
  رویا داودی   فرزاد دهقانیان

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