نام پژوهشگر: احمد توحیدی
آمانج خرمیان کوروش زیارتی
بسیاری از مسائل سخت را میتوان بصورت یک گراف فضای حالت مدل کرد طوری که با جستجوی هوشمندانه در آن گراف با استفاده از توابع مکاشفه ای پذیرفتنی و سازگار، حل مسئله اصلی برای یافتن پاسخ بهینه تسریع گردد. نخستین الگوریتمهای جستجوی مکاشفه-ای همچون a*، نیاز به میزان حافظه زیادی دارند. ida* نتیجه ادغام a* با الگوریتمی به نام جستجوی تکرار عمقی است که نیاز به حافظه زیادی ندارند. این تکنیکها بعلت عدم نیاز به حافظه بالا و در نتیجه عدم ارجاعهای مکرر به حافظه زمینه تحقیقاتی جدیدی را فراهم کردند. با افزایش ظرفیت حافظه های کامپیوتری روشهای نوینی در این زمینه ارائه شدند. الگوریتم جستجوی پیرامونی با استفاده بهینه از حافظه تخصیص داده شده به آن، کارایی جستجوی مکاشفه ای را بهتر میکند. همچنین پایگاه الگویی داده ها با در اختیار داشتن حافظه کافی، نوع جدیدی از توابع مکاشفه ای را ارائه میدهد که روشهای یاد شده را تسریع میبخشد. در این تحقیق تعدادی از این تکنیکها، الگوریتمها و داده ساختارهای مربوط به آنها را بررسی کرده و روش جدیدی را برای انتخاب ترتیب گره ها در الگوریتم ida* ارائه میکنیم. همچنین در مرحله درهمسازی مربوط به الگوریتم a*، تعدادی روش مبتنی بر روابط ریاضی همچون رتبه بندی و فاکتورادیک را به منظور فراهم کردن یک جدول درهم سازی که برای گره های تولید شده در الگوریتم a* به اندازه کافی بزرگ باشد ارائه و پیاده سازی میکنیم. طرح ما برای انتخاب گره که his-tree نام دارد یک ترتیب بندی دوباره و پویای گره های جلویی است که برای آن دسته از مسائلی که در حالت ساده ida* بطور پیش فرض خوب مرتب سازی نشده اند بهتر از استراتژی های پیشین خود عمل میکند. ما در این استراتژی امتیازهایی را برای گره های جلویی در یک داده ساختار درختی ذخیره میکنیم و این امتیازها برای تصمیم گیری بر روی ترتیب گره ها در تکرار بعدی در الگوریتم ida* مورد استفاده قرار میگیرند.
سید ریوف خیامی احمد توحیدی
نظر به افزایش روزافزون بکارگیری فناوری اطلاعات در سازمانها، و پیشرفت و تغییر سریع این فناوری، مدیریت آن در سازمانهای امروزی به یک مبحث راهبردی تبدیل شده است. این فناوری به مثابه شبکه عصبی بدن انسان در تمامی فعالیت های اصلی مدیریت مانند: کسب و جمع آوری و ذخیره سازی اطلاعات، تصمیم گیری و ابلاغ فرامین و دستورات بسیار مثمر ثمر می باشد. معماری سازمانی فناوری اطلاعات یا به اختصار معماری سازمانی، با توصیفی کل نگر و جامع از کارکردهای فناوری اطلاعات در سازمان، سعی می نماید که پیچیدگی استفاده این فناوری را کاهش داده و موجب بازدهی بیشتر این ابزار در راستای نیل به اهداف سازمانی شود. معماری سازمانی شامل مجموعه ای از مدلهای توصیف کننده عملکرد مولفه های مختلف این فناوری با جنبه های گوناگون کاربرد آنها در یک سازمان می باشد. بدین شکل مدیریت توسعه و نگهداری فناوری اطلاعات در سازمان بهتر انجام می شود. با توجه به حوزه وسیع اثر طرحهای معماری سازمانی، شایسته است قبل از اجرائی شدن و انجام هزینه های کلان مربوطه، مزایا و معایب طرح های پیشنهادی مورد ارزیابی قرار بگیرند. در این صورت به مقدار زیادی از اتلاف منابع سازمانی جلوگیری خواهد شد. روشهای ارزیابی بجز انتخاب طرح مناسب از بین چند پیشنهاد، می توانند نقاط ضعف و قوت وضعیت فعلی را نیز بهتر مشخص نموده و راهکارهای توسعه این فناوری را برای سازمان در آینده آشکار تر نمایند. هدف از این پایان نامه ارائه روشی برای تحلیل و ارزیابی طرحهای معماری سازمانی مبتنی بر دانش ارزیابی معماری نرم افزار، جهت دستیابی به یک معماری خوب و مناسب می باشد. بدین شکل دو فاز اصلی پژوهشی مورد توجه قرار گرفت، که نتایج حاصل نیز در این راستا بدست آمده است. در فاز اول بررسی تحلیلی مستندات و منابع موجود در حوزه ارزیابی معماری نرم افزار و چگونگی بیان یک معماری خوب و مناسب، و در ادامه ارائه راهکاری برای ارزیابی آن مورد توجه قرار گرفت. در فاز دوم با تاکید بر نتایج بدست آمده از فاز اول و مطالعات وسیع و تجربیات عملی در حوزه معماری سازمانی، ویژگیهای یک معماری سازمانی خوب و مناسب مشخص، و سپس راهکارهائی جهت سنجش ویژگیهای مورد نظر در حوزه معماری سازمانی پیشنهاد شده است. با توجه به اینکه از ابتدا تاکید بر انجام یک پروژه علمی و کاربردی به جهت پاسخگوئی به یک نیاز واقعی در صنعت فناوری اطلاعات بوده است، راهکار ارائه شده در پروژه عملی نیز مورد استفاده قرار گرفت. بدین صورت امتیازات این روش، هم در مقایسه مستقیم با سایر روشهای موجود ارزیابی معماری سازمانی و هم در کاربرد عملی بخوبی مشخص گردید. بدین شکل مشخص شده که این روش با استفاده از معیارهای قابل اندازه گیری یک روش مستقل از تیم ارزیاب برای ارزیابی و تحلیل نقاط قوت و ضعف یک طرح معماری سازمانی ارائه می نماید. همچنین براساس روش پیشنهادی می توان ارجحیت طرحهای پیشنهادی را مشخص نمود. در واقع روش ارزیابی ارائه شده به مدیران ارشد اطلاعات سازمان در توجیه دلایل تغییر وضعیت فناوری اطلاعات و یا انتخاب یک طرح از بین طرحهای پیشنهادی معماری سازمانی، کمک شایانی می کند.
رامین براتی محمد هادی هادوی
چکیده ندارد.
منصوره شهرکی مقدم احمد توحیدی
آنچه در این پایان نامه ارائه شده است ، در راستای برآوردن دو هدف اساسی است ، مستندسازی سیستم ثبت نام فعلی دانشگاه شیراز و سپس ارائه طرح یک سیستم ثبت نام توزیع شده برای این دانشگاه.
هومان تحیری احمد توحیدی
هدف از انجام پروژه جاری، بکارگیری تکنیکهای پردازش زبان طبیعی برای استخراج دیتا از گزارشهای دندانپزشکی است .
مازیار صالحی احمد توحیدی
با افزایش روزافزون حجم اطلاعات در دسترس از طریق اینترنت و اینترانت ها، نیاز به ابزارهایی برای کمک به کاربران جهت بهتر یافتن، فیلتر کردن و مدیریت این منابع بیشتر حس می شود. روشهای هوش مصنوعی، با داشتن انعطاف پذیری و قابلیتهای وفقی می توانند ما را در فائق آمدن بر پیچیدگی ایجاد چنین ابزارهایی یاری دهند. این پایان نامه با استفاده از یک روش عامل گرا به مقوله مدلسازی یک سیستم بازیابی اطلاعات متنی می پردازد. روش عامل گرا که روش نوظهوری در مهندسی نرم افزار محسوب می شود، سعی دارد تامدولهای نرم افزاری را بصورت موجوداتی خودکار و هوشمند با قابلیت همکاری با یکدیگر برای رسیدن به اهداف مورد نظر مدل کند. در این پایان نامه براساس تکنیک های مدلسازی پیشنهاد شده توسط سایر محققین، یک تکنیک عامل گرا ارائه شده و با استفاده از آن یک سیستم نمونه بازیابی متن مدلسازی شده است. در حوزه بازیابی اطلاعات متنی روشهای مختلف بازیابی مورد بررسی قرار گرفته و کارآیی آنها با استفاده از مجموعه های استاندارد (medline,cranfield) ارزیابی شده است. در این پروژه تکنیک latent semantic indexing (نمایه سازی معانی پنهان) برای استخراج وابستگی ها و روابط کلمات و متون مورد استفاده قرار گرفت و همچنین یک الگوریتم ژنتیک برای ارتقا کارآیی فرآیند تطبیق سئوالات کاربر با متون پیاده سازی شد.
علیرضا سجادیه احمد توحیدی
همچنانکه اطلاعات بیشتری بصورت الکترونیکی در دسترس قرار می گیرد. ابزارهای یافتن اطلاعات مورد علاقه برای کاربران نیز مهمتر می شود. از یک طرف، کاربران می خواهند بتوانند با کنترل حجم وسیع اطلاعات نیازهای خود را برطرف کنند و از طرف دیگر می خواهند با واسطهای سطح بالاتر از کارهای تکراری کامپیوتری رهایی یابند. یک راه حل برای هر دو مشکل، طراحی یک سیستم فیلتر کردن اطلاعات با قابلیت یادگیری است. در این پایان نامه سیستمی برای فیلتر کردن اطلاعات متنی با قابلیت یادگیری طراحی و پیاده سازی شده است. کاربران سوالات خود را در سیستم می گذارند و مستندات مربوط به هر پرسش توسط پنج عامل هوشمند نرم افزاری تحلیل می شود و سپس برای کاربران فرستاده می گردد. سه عامل با توجه به سوال کاربر، مستندات قبلی مورد علاقه او و گروهی که کاربر متعلق به آن است هریک ارزشی را به سند نسبت می دهند. چهارمین عامل با ترکیب این ارزشها، ارزش نهایی را بدست می آورد و عامل پنجم با توجه به ارزشهای حدس زده شده توسط عوامل دیگر و ارزش واقعی که کاربر به مستندات قبلی داده است مقدار ارزش را اصلاح می کند. با این فرآیند میزان دقت سیستم نسبت به حالتی که تنها سوال کاربر در نظر گرفته می شد خیلی بهتر می شود. در اینجا برای استخراج روابط کلمات و وابستگی ها از نمایه سازی معانی پنهان (lsi) استفاده شده است و مجموعه مورد آزمایش مجموعه استاندارد cranfield می باشد.
منصوره شهرکی مقدم احمد توحیدی
آنچه در این پایان نامه ارانه شده است، در راستای برآوردن دو هدف اساسی است، مستندسازی سیستم ثبت نام فعلی دانشگاه شیراز و سپس ارائه طرح یک سیستم ثبت نام توزیع شده برای این دانشگاه.سیستم ثبت نام دانشگاه شیراز شامل یک سری برنامه های کاربردی است که ارتباط کاربر را با آن برقرار می کند. قلب این سیستم شامل یک برنامه اصلی است که همچون برنامه های کاربردی آن، به زبان پایه pll نوشته شده است و ارتباط داده ای برنامه های کاربردی را با داده های سیستم ثبت نام که در قالب یک سری فایل اطلاعاتی ذخیره شده اند، برقرار می سازد.طبق آنچه در مستندسازی سیستم ثبت نام دانشگاه شیراز بدست آمد، افزایش تعداد کاربران، پارامتر قابل ملاحظه ای است که در سیستم متمرکز به محدودیت مواجه خواهد شد و برعکس در یک سیستم توزیع شده استفاده از قابلیتی به نام محلی سازی داده ها و اجرای برنامه های کاربردی، هرگونه محدودیتی را در این زمینه رفع می کند. به همین منظور الگوریتمی توزیع شده به فرم top-down جهت تطبیق خصوصیات سیستم ثبت نام به گستره ای از گره های شبکه پیشنهاد گردید.مهمترین بخش در الگوریتم پیشنهادی قطعه قطعه سازی (fragmentation) افقی و عمودی جداول اطلاعاتی میباشد. قطعه قطعه سازی عمودی با تکنیک spliting انجام گرفت و جداول جدید که در قالب 9 نوع مختلف گروه بندی میشوند، بین گره های مختلف شبکه ثبت نامه که تنها از سه نوع گره faculty- node, main, - node و group - node تشکیل گردیده، توزیع شد. سپس در عمل کارایی این الگوریتم در توزیع داده های سیستم ثبت نام دانشگاه شیراز نسبت به مدل متمرکز فعلی محک زده شد. براساس نتایج مشاهده شده، توزیع داده ها و ذخیره سازی هر گروه داده در گروه ای که بیشتر به آن نیاز دارد، سرعت کار و عملکرد سیستم را افزایش می دهد.طبق آزمایشات عملی صورت گرفته، هر چه تعداد کاربران درگیر با عملیات ثبت نام در سیستم مربوطه افزایش یابد، برتری مدل توزیع شده نسبت به مدل متمرکز بیشتر نمایان می شود. بعلاوه هرچه تعداد درخواست ها و تقاضاهای بیشتری از سوی کاربران روانه شبکه سیستم ثبت نام گردد، ترافیک اعمال شده در مدل توزیع شده، رشد کمتری نسبت به ترافیکی خواهد داشت که در مدل متمرکز به شبکه اعمال می شود. این دو خصوصیت یافته های بسیار مهمی هستند که پیاده سازی سیستم ثبت نام دانشگاه به فرم توزیع شده را تشویق می کنند.
فرهاد خون جوش احمد توحیدی
در این رساله، طراحی و پیاده سازی یک کامپایلر بهینه ساز سیلیکون برای سنتز سطح بالا مورد مطالعه قرار می گیرد. مزیت اصلی این روش، کوتاهتر بودن توصیف سطح بالا نسبت به انواع سطح پائین آن می باشد. از اینرو نوشتن و درک این توصیفات، و نیز تغییرات آتی آنها بسیار ساده تر خواهد بود. این مزایا موجب کاهش خطا و افزایش سرعت در شبیه سازی سیستمهای بزرگ شده و طراحی چنین سیستمهایی را ساده تر و در مدت کوتاه تر امکان پذیر می کند. زبان سخت افزاری vhdl هم اکنون به عنوان یک مجموعه واحد، طراحی و شبیه سازی سیستمهای پیچیده را امکان پذیر می کند. مزیت عمده زبان سخت افزاری vhdl به عنوان زبان سنتز و مشخصات، آن است که قابلیت توصیف سخت افزار را در تمام سطوح تجرد دارا می باشد. تبدیل مشخصه سطح بالا به یک نمایش داخلی، اولین مرحله در سنتز سطح بالا است. پس از این مرحله تبدیلاتی در جهت بهینه سازی رفتار بر روی آن اعمال می شود. زمانبندی و تخصیص، مراحل دیگری می باشند که رفتار توصیف شده را به یک ساختار سخت افزاری تبدیل می کنند. لازم به ذکر است که هر مرحله را می توان بطور مجزا طراحی و پیاده سازی کرد، که این مسئله ناشسی از مستقل بودن مراحل سنتز از یکدیگر می باشد. در این رساله، ابتدا به بررسی زبان vhdl پرداخته و با توجه به مسئله سنتز سطح بالا، زیر مجموعه ای از این زبان توصیف می شود. سپس گرامر این زیر مجموعه در محیط یک کامپایلر-کامپایلر به نام lex&yacc پیاده سازی شده و نهایتا کامپایلر مورد نظر طراحی و تولید می شود. لازم بذکر است که علاوه بر تبدیل یک برنامه رفتاری به نمایش داخلی، به منظور نمایش نحوه عملکرد کامپایلر یک نمایش میانی نیز برای آن در نظر گرفته شده است. نرم افزار فوق در محیط ms-windows با زبان borland c++ طراحی شده و بعلاوه از محیط یک کامپایلر-کامپایلر به نام lex&yacc استفاده شده است.