نام پژوهشگر: ناصر نعمت بخش

ارائه یک طرح ریزنده درخواست برای گرید معنایی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی و مهندسی 1388
  حسن محمدخانی   ناصر نعمت بخش

طرح ریزی درخواست یکی از مهمترین مراحل برای برآورده کردن خواسته کاربر در محیط گرید معنایی می باشد. دراین پروژه یک طرح ریزنده درخواست برای گرید معنایی ارائه می گردد. این طرح ریزنده را sws-fdd می نامیم. این طرح ریزنده در مرحله اول از مترجم owls2pddlجهت تبدیل توصیف سرویس و مسئله که به فرم owl-s می باشد، به توصیف دامنه و مسئله معادل در زبان pddl استفاده می کند. هر دو توصیف توسط طرح ریزنده هوش مصنوعی fdd به منظور ایجاد یک طرح برای حل مسئله در دامنه داده شده و حالت جاری، مورد استفاده می گیرند. در مرحله دوم وظیفه طرح ریزی pddl به وظیفه طرح ریزی چند مقداری معادل که ساختار مناسبتری دارد، تبدیل می شود. این کار با استفاده از تکنیک های استنتاجی ثابت برای گروه بندی مسند های به هم مرتبط و الگوریتم های بسترسازی کارا برای نمونه سازی اپراتورها و قواعد، انجام می شود. در مرحله سوم که به آن مرحله جمع آوری دانش گفته می شود، ساختمان داده های گراف های سببی، گراف های انتقالی دامنه، تولید کننده های مابعد و ارزیاب های قاعده به منظور استفاده در قسمت جستجو، ایجاد می شوند. در مرحله بعد که جستجو نام دارد از دو الگوریتم جستجوی اول- بهترین اکتشافی چندگانه و الگوریتم جستجوی گسترشی تکرار متمرکز به موازات هم استفاده شده است. یکی از مهمترین مزیت های این طرح ریزنده این است که از تجزیه سلسله مراتبی وظیفه در داخل یک چهارچوب طرح ریزی اکتشافی استفاده می کند. مزیت دیگر استفاده از این طرح ریزنده استفاده از متغیر های حالت چند مقداری می باشد. که این کار توانایی استدلال خودکار را بیشتر می کند. این امر برای ارزیابی اکتشافی، تجزیه وظیفه و جنبه های دیگر طرح ریزی مناسب می باشد و همچنین ساختار وظایف طرح ریزی را ساده تر می کند.

گسترش معنایی پرس و جو
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی و مهندسی 1389
  مژگان شبان زاده حبیب آبادی   محمدعلی نعمت بخش

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

توسعه رجیستری uddi جهت ترکیب پویای سرویس های وب
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی و مهندسی 1389
  حامد رضایی   ناصر نعمت بخش

در این رساله به توسعه رجیستریِ uddi سرویس های وب جهت برآورده کردن نیازهایی که یک کاربر می تواند از لحاظ معیار های کیفیت سرویس داشته باشد پرداخته شده است. علاوه بر این رجیستری به یک سیستم امتیازدهی به سرویس ها و کسب و کارها مجهز شده است. این سیستم می تواند علاوه بر رتبه بندی کسب و کارها و سرویس ها، به کسب و کارها و ناشران اطلاعاتی را درباره چگونگی نقش آفرینی هر سرویس در سرویس های مرکب ایجاد شده بدهد. در این راه ابتدا ساختار رجیستری بگونه ای گسترش داده شده است که توانایی ذخیره معیارهای مختلف کیفیت سرویس را داشته باشد. سپس به تجهیز رجیستری به یک الگوریتم بهینه سازی چند هدفه انبوه ذرات پرداخته ایم که با توجه به اطلاعات ثبت شده در ارتباط با معیارهای کیفیت سرویس قادر به ترکیب سرویس ها به صورت پویا و چندهدفه می باشد. هدف از ترکیب سرویس به صورت پویا ساخت سرویس های با ارزش افزوده به وسیله انتخاب و آمیختن سرویس های موجود به صورت مناسب می باشد. بیشتر روشهای ترکیب سرویس پویای ارائه شده که معیارهای کیفیت سرویس را در نظر می گیرند، با استفاده از یک متد وزن دهی به معیارها به مسئله مانند یک مسئله تک هدفه نگاه می کنند و سعی در بهینه سازی تک هدفه آن می نمایند. در این صورت امکان نادیده گرفتن بسیاری از جواب های ممکن، وجود دارد. مسئله ترکیب سرویس ها بصورت چند هدفه یک مسئله np-hard می باشد. یکی از روشهای برخورد با این مسائل استفاده از الگوریتمهای تکاملی می باشد. در این رساله با توجه به سرعت و سادگی الگوریتم بهینه سازی انبوه ذرات در مقایسه با سایر الگوریتمهای تکاملی، جهت ترکیب سرویس ها از این الگوریتم استفاده نموده ایم. جهت ایجاد سیستم امتیازدهی به کسب و کارها و سرویس ها نیز ساختارها و متدهای پایه مرتبط با کسب و کار و سرویس در رجیستری بگونه ای گسترش یافته اند که قابلیت ذخیره، واکشی و بروزرسانی امتیازهای اعطا شده به کسب و کارها و سرویس ها را داشته باشند. علاوه بر این متدهایی نیز به رجیستری افزوده شده است که به ما توانایی بیشتری جهت کار با ساختارهای جدید را می دهد.

سیستم دسته بندی چندگانه برای تشخیص پویای امضاهای عربی وفارسی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی و مهندسی 1388
  عزت الصوص   ناصر نعمت بخش

در سالهای اخیر مسئله تشخیص الگو از اهمیت خاصی در کامپیوتر برخوردار بوده است در خیلی از مسائل تشخیص الگو ما نیاز داریم تا بهترین مجموعه خصیصه را انتخاب وآن را با مناسبترین دسته بند دسته بندی کنیم, در سیستم های کلاسبندی چندگانه به جای انتخاب بهترین خصیصه ها به دنبال بهترین مجموعه از دسته بند ها می رویم و بهترین روش ترکیب بین این روشها برای نتیجه ی نهایی انتخاب می کنیم, در این تحقیق هفت تا مجموعه خصیصه ودوتا الگوریتم کلاسبندی استفاده کردیم با روش رای گیری اکثریت برای ترکیب , الگوریتم های استفاده شده برای این مسئله فاصله اقلیدسی و روش نوین بافت خصیصه است که یک روش جدیدی که مبتنی بر نگاشت خصیصه از فضای عدد به فضای بافت ؛ روش دسته بندی چندگانه نتایج بسیار امیدوار کننده ی به ما داد برای بهینه سازی عمل دسته بندها از الگوریتم ژنتیک استفاده کردیم ونتایج باز هم بهتر شده است 95%.واز کلاسبندی تکی که بهترین جواب آن 85% بوده است خیلی بهتراست.

سیستم تشخیص جهت اشاره دست با کاربرد در خانه های هوشمند
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان 1390
  ناصرعلی آفرین   ناصر نعمت بخش

خانه های هوشمند امروزه به عنوان یکی از بخش های مهم سیستم های مدیریت جامع ساختمان مورد توجه واقع شده اند. خانه های هوشمند با هدف ایجاد آسایش و امنیت برای ساکنان به سرعت در حال توسعه می باشند. امروزه تکنیک های مختلفی برای اتوماسیون ساختمان های بزرگ به کار گرفته می شود از قبیل: کنترل نور، کنترل دما، کنترل درها و پنجره ها و سیستم های امنیتی. در خانه های هوشمند نور توسط سیستم های کنترلی همیشه در حال کنترل است و تغییرات شدید نوری کمتر در آن اتفاق می افتد. در این تحقیق سعی شده است که روشی برای تشخیص جهت اشاره دست در تصاویر دوبعدی که از دوربین موجود در اتاق گرفته می شود، ارائه شود. لازم به ذکر است که تصاویر به صورت جریانی از فریم ها می باشد و به صورت یک عکس جدا و خارج از جریان نیست. لذا برای انجام این امر، مراحل زیر در این پژوهش انجام شده است: حذف زمینه : در این مرحله، زمینه از تصویر حذف می شود. تشخیص صورت: در این مرحله با جستجوی تصویر حاصل از مرحله قبل، صورت پیدا می شود و حذف می شود. تشخیص پوست: در این مرحله نواحی پوستی باقی مانده از مرحله قبل شناسایی می شود. تشخیص دست در حالت اشاره: در تصویر حاصل از مرحله قبل، باید به دنبال نوک انگشت گشت. در صورتی که فقط یک نوک انگشت پیدا شد، در قدم های بعدی، حالت های مشابه اشاره از حالت اشاره تمایز داده میشوند. تشخیص جهت اشاره: برای انجام این امر، نقطه ثقل دست(o) و نزدیک ترین نقطه روی دست به مرکز ثقل(p) و نوک انگشت (f) محاسبه می شود، حال بردار (pf) ? جهت اشاره دست را نشان میدهد. نتایج حاصل از اجرای 50 دور آزمایشات با زوایای مختلف و در ساعات مختلف روز در محیط منزل، نشان داد روش نسبت به تغییرات ملایم نور محیط دارای تحمل مناسبی است. متوسط میزان تشخیص های درست حالت های اشاره این روش در شرایط مختلف 91% است و دارای 85% تشخیص های درست حالات غیر اشاره میباشد. میزان تشخیص های های درست کلی، حدود 90% بود. در طی آزمایشات بیش از 80% نمونه های تست، نمونه های صحیح از اشاره دست بود.

تشخیص چهره در صحنه های ویدئویی با استفاده از روشهای هوشمند پردازش تصویر
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان 1390
  علی رضا توفیقی   سید امیر حسن منجمی

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

تشخیص کد های پستی دست نویس فارسی بر روی پاکت های پستی به کمک روش های هوشمند پردازش تصویر
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی و مهندسی 1389
  زهرا کامرانیان مارنانی   ناصر نعمت بخش

در این پروژه یک سیستم کامل جهت شناسایی کدپستی های دست نویس فارسی بر روی پاکت های پستی با استفاده از شبکه های عصبی مصنوعی پیاده سازی شده است. در حال حاضر در کشور، دسته بندی پاکت ها در اداره ی پست به صورت دستی انجام می گیرد. بنابراین ارایه ی سیستم خودکاری با دقت و سرعت بالا برای جایگزینی سیستم های دستی، به نظر ضروری و مفید می رسد. با تشخیص کدهای پستی توسط کامپیوتر، دسته بندی پاکت ها بسیار ساده تر و سریعتر خواهد شد و این امر موجب بهبود عملکرد اداره پست می شود. در این سیستم دو نوع پاکت مورد بررسی قرار می گیرند: پاکت های پستی حاوی کادر برای درج کدپستی و پاکت های پستی فاقد کادر. ابتدا کشف محل کدپستی و جداسازی ارقام آن در هر دو نوع پاکت انجام می شود. در این مرحله، برای پاکت های حاوی کادر، گام های باینری کردن، جداسازی مولفه های همبندی و کشف کادر، جداسازی ارقام داخل کادر، تغییر ابعاد و حذف نویز انجام می شود. این مرحله در پاکت های فاقد کادر، با یافتن خطوط زمینه، جداسازی مولفه های همبندی، استخراج ویژگی از مولفه ها، کلاس بندی و ارایه ی الگوریتمی جهت تعیین محل درج کدپستی صورت می گیرد. در این جا استخراج ویژگی برای تمایز مولفه های رقمی و غیر رقمی انجام می شود. این ویژگی ها عبارتند از: نسبت ارتفاع به پهنا، جهت و نسبت ارتفاع/ پهنا به ارتفاع/ پهنای مولفه های همسایه. پس از جداسازی ارقام کدپستی، مرحله ی استخراج ویژگی صورت می گیرد. در این مرحله دو روش استخراج ویژگی ارایه شده است: استخراج ویژگی های آماری و استفاده از ویژگی های تطبیق قالب. ویژگی های آماری عبارتند از: جثه، نسبت ارتفاع به پهنا، نسبت پهنای بالا به پایین، نسبت ارتفاع چپ به راست، تقارن افقی و عمودی، تعداد گذر، وجود حفرهو فاصله تا پیکسل ابتدایی. در مرحله ی بعد تصاویر ارقام بر اساس ویژگی های استخراج شده کلاس بندی می شوند. در کلاس بندی، شبکه های عصبی سه لایه ی پس انتشار خطا مورد استفاده قرار گرفته اند. سه شبکه ی عصبی برای کلاس بندی ایجاد شده است. شبکه ی عصبی اول مبتنی بر ویژگی های آماری، شبکه ی عصبی دوم مبتنی بر ویژگی های تطبیق قالب و شبکه ی عصبی سوم مبتنی بر ترکیب ویژگی های آماری و تطبیق قالب است. سپس یک الگوریتم رأی گیری برای افزایش نرخ شناسایی پیشنهاد شده است. میانگین دقت این سیستم بر روی 2100 نمونه ی آزمایشی در پاکت های حاوی کادر، 97/5% است. همچنین دقت شناسایی این سیستم بر روی 420 نمونه ی آزمایشی در پاکت های فاقد کادر به میزان 92/2% می باشد.

بهبود مستمر کیفیت سرویس گردش کارهای مبتنی بر سرویس های وب
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی و مهندسی 1390
  افشین محمدی الاگوز   ناصر نعمت بخش

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

ارائه چارچوب پویا برای کروگرافی سرویسهای وب مبتنی بر ماشین حالت uml
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - پژوهشکده فنی و مهندسی 1390
  آزاده ملت اردکانی   ناصر نعمت بخش

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

تشخیص و بازیابی چهره ها بر مبنای وی‍‍‍ژگی های بصری و با استفاده از شبکه های عصبی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی و مهندسی 1389
  ملیحه ساوج   سید امیرحسن منجمی

pca و lda دو روش شناخته شده و اساسی در استخراج ویژگی و کاهش ابعاد فضای مشخصه سیگنال هستند و به طور گسترده ای در مسائل با ابعاد بالا مانند تشخیص چهره به کار گرفته می شوند. ولی نقاط ضعف این دو روش در مواجهه با تعداد کم نمونه ها و ابعاد زیاد تصاویر چهره، محققان را بر آن داشت تا تمهیداتی در زمینه بهبود این نقاط ضعف انجام دهند. روش هایی همچون 2dpca، 2dlda، ?(2d)?^2 pca و ?(2d)?^2 lda حاصل این تمهیدات در جهت بهبود روش های pca و lda کلاسیک بوده اند. ما در این تحقیق، ابتدا به بررسی و مقایسه بیشتر این روش ها ازنظر کارآیی و سرعت خواهیم پرداخت. به همین منظور کلیه این روش ها را روی سه مجموعه داده ای orl، yale و ar اِعمال کرده و میزان دقت و سرعت هریک از آن ها را با درنظر گرفتن تعداد نمونه های تعلیم متفاوت، محاسبه و مقایسه می نماییم. نتایج این آزمون ها حاکی از آن است که پیشنهاد روش ?(2d)?^2 pca از میان این متدها به عنوان روشی قابل اطمینان و با زمان اجرایی مناسب در زمینه استخراج مشخصه های تصاویر چهره، منطقی به نظر می رسد. در ادامه با تکیه بر نتایج قبلی، روشی جدید بر مبنای روش های pca و lda پیشنهاد کردیم و به تحلیل و بررسی نتایج حاصل از به کارگیری آن بر روی سه مجموعه مذکور پرداختیم. نتایج حاصله گویای کارآیی و سرعت بیشتر استفاده از روش ?(2d)?^2 pca به عنوان پیش پردازش lda، نسبت به دیگر روش های مبتنی بر pca و lda می باشد. استفاده از این روش در برخی موارد تا 20% بهبود به دنبال داشته است. در نهایت، با توجه به گسترش روزافزون کاربردهای عملیِ فیلترهای گابور و شبکه های عصبی مصنوعی در مباحث پردازش تصاویر و تشخیص الگو، برآن شدیم تا تأثیرات این دو مبحث مطرح در دنیای کنونی را بر متد پیشنهادی خود بیازماییم. با توجه به کارآیی و زمان های اجرای حاصله، استفاده صِرف از روش پیشنهادی همراه با یک عملگر فاصله اقلیدسی به منظور کلاس بندی، مطلوب تر و منطقی تر به نظر می رسد.

هماهنگی تطبیق-پذیر سرویس های وب در سازمانهای مجازی فدرالی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده برق و کامپیوتر 1391
  فرهاد مردوخی   کامران زمانی فر

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

حل مسئله ی جدولزمانبندی برنامه درسی دانشگاه با استفاده از یک روش هیورستیک ترکیبی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده مهندسی برق و کامپیوتر 1391
  وسام ابراهیم   ناصر نعمت بخش

ساختن جدولزمانی برنامه درسی دانشگاه کار سخت است که در آن مجموعه ای از حوادث باید در زمانهای و اتاقهای واقع شده مناسب برنامه ریزی بشوند,هدف مسئله جدولزمانبندی است که ارضای محدودیت های سخت و به حداقل رساندن محدودیت های نرم است, در این تحقیق این مسئله حل شده است واز مجموعه داده ی itc2007 استفاده شده است وبرای حل از یک روش هیورستیک ترکیبی استفاده شده است , برای ارضا محدودیت های سخت از تابو جستجو استفاده شده است, وبرای حد اقل رساندن محدودیتهای نرم از الگوریتم تپه نوردی وروشهای شبیه سازی سرد شدن وسیل بزرگ استفاده شده اند, نتایج ما با نتایج قبلی در سایت مربوط مقایسه شده اند, ودر هشت تا دسته داده به نتیجه ایده آل به دست آمده است, ودر دسته داده ها دیگر نتایج خیلی نزدیک به بهترین نتایج به دست آمده است

یک مدل تطبیق هوشمند خریدار و فروشنده در سیستم های واسطه معامله
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده مهندسی 1391
  حسین شجاعی   ناصر نعمت بخش

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

ارائه روشی برای انتشار سرویس های وب مبتنی بر رابطه بین آن ها
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی 1391
  فردین ابدالی محمدی   ناصر نعمت بخش

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

توسعه مکانیزم تأمین زمینه در معماری مدیریت زمینه
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده مهندسی 1391
  حامد وحدت نژاد   ناصر نعمت بخش

محاسبات فراگیر اخیراً به عنوان جدیدترین الگوی محاسبات، مطرح شده و کاربردهای گسترده ای در حوزه های مختلف یافته است. هدف آن، فراهم کردن سرویس های آگاه به زمینه در هر مکان و هر زمان برای کاربران است. برنامه های کاربردی آگاه به زمینه آجرهای ساختمانی محاسبات فراگیر محسوب می شوند که مبتنی بر شناسایی، جمع آوری و استفاده از اطلاعات وضعیتی محیط (زمینه) هستند. از این رو توسعه انفرادی چنین برنامه هایی بسیار دشوار است و نیازمند حمایت سیستم میان افزاری است. طراحی میان افزار برای محیط های محاسبات فراگیر گام مهمی در جهت تحقق این نوع محاسبات است. سیستم مدیریت زمینه مهم ترین بخش چنین میان افزاری است که به طور خلاصه با گردآوری اطلاعات زمینه از فراهم کننده های زمینه، تجمیع آن و در نهایت تأمین اطلاعات زمینه مورد نیاز برنامه های کاربردی سروکار دارد. به طور کلی موضوع این پایان نامه، طراحی سیستم مدیریت زمینه است. طراحی چنین سیستمی با چالش هایی مواجه است که از جمله آن به محدودیت های زیرساخت سخت افزاری، طبیعت پویای محیط و تحرک موجودیت ها می توان اشاره کرد. در پروژه ای اروپایی تحت عنوان "احساس در خانه" در سال 2010 و 2011 یک معماری برای سیستم مدیریت زمینه پیشنهاد شد که دارای دو اشکال عمده است. اول اینکه مبتنی بر یک سرور متمرکز است که باید به تعداد زیادی درخواست در هر لحظه پاسخ دهد و دیگر اینکه مکانیزم تأمین زمینه آن برای استفاده کاربران از نظر دستیابی شفاف نیست. مسأله کلی این پایان نامه رفع دو اشکال فوق است. به این منظور با مبنا گرفتن معماری مدیریت زمینه پروژه "احساس در خانه"، معماری یک سیستم مدیریت زمینه با ویژگی های توزیع شدگی ساختار، پشتیبانی از قابلیت بازاستفاده از فراهم کننده های زمینه، گسترش پذیری و شفافیت از دید کاربران پیشنهاد شده است. جهت در نظر گرفتن محدودیت های دستگاه های محاسباتی محیط فراگیر، سیستم مدیریت زمینه در دو لایه طراحی شده است: لایه سبک وزن که بر روی دستگاه های محاسباتی کاربران و لایه سنگین وزن که بر روی سرورهای اختصاصی قرار می گیرد. کاربران به‎طور مستقیم سرویس های خود را از لایه سبک وزن که بر روی دستگاه محاسباتی آنها نصب است دریافت می کنند اما قسمت اصلی این سرویس ها در لایه سنگین وزن قرار می گیرد. جهت رفع چالش تحرک موجودیت ها، یک فضای نام یکنواخت جهت شناسایی یکتای موجودیت ها پیشنهاد گردیده است. مکانیزم هایی جهت ثبت فراهم کننده زمینه و تأمین زمینه در سیستم مدیریت زمینه پیشنهادی طراحی شده است. مکانیزم تأمین زمینه پیشنهادی از الگوی انتشار-اشتراک جهت تأمین اطلاعات زمینه موردنیاز برنامه های کاربردی بهره می برد. همچنین مکانیزم تأمین زمینه پیشنهادی دیگری تحت عنوان مبتنی بر اجتماع برنامه های کاربردی، برای سرورهای بزرگ میزبان فراهم کننده های زمینه پیشنهاد و طراحی شده است. در نهایت، از روش "بررسی معماری مبتنی بر سناریو" جهت ارزیابی معماری پیشنهادی با توجه به معیارهای قابلیت بازاستفاده، گسترش پذیری، شفافیت و توزیع شدگی استفاده شده است. به این منظور یک مطالعه موردی با استفاده از چندین سناریوی مطرح در ارزیابی معماری های مدیریت زمینه انجام شده و معماری پیشنهادی با معماری پروژه "احساس در خانه" مقایسه گردیده است. جهت ارزیابی مکانیزم تأمین زمینه پیشنهادی مبتنی بر اجتماع نیز از تحلیل احتمالاتی به همراه شبیه سازی کامپیوتری استفاده شده است. نتایج ارزیابی ها نشان دهنده کارایی معماری مدیریت زمینه پیشنهادی و مکانیزم تأمین زمینه مبتنی بر اجتماع است.

تشخیص مبلغ پول نوشته شده در چکهای دستنویس فارسی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی 1391
  محمد رجبی   ناصر نعمت بخش

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

ارایه روشی برای تولید خودکار موارد تست نرم افزار با استفاده از ویوچارت ها
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی 1386
  مجتبی وطنی   ناصر نعمت بخش

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

طراحی مدل فرآیند منطبق با معیارهای مدل آشوب بر پایه pose
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده مهندسی کامپیوتر 1390
  نرجس شجاعتی   ناصر نعمت بخش

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

تعامل بین com و corba در محیطهای ناهمگون
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده فنی و مهندسی 1383
  بهناز رهگذار   ناصر نعمت بخش

ایجاد نرم افزارهای توزیع شده که بتواند در آن واحد به جمع کثیری از کاربران سرویس دهد، همواره با مشکلات عظیمی مواجه بوده است. این مشکلات از مسایلی مانند دسترسی های همزمان، انتشار تغییرات و تحمل پذیری در برابر خطاناشی می شوند که تقریباً در تمامی سیستم های توزیع شده وجود دارند. از سوی دیگر برخی از برنامه ها به گونه ای طراحی شده اند که فقط قابلیت سرویس دهی به یک کاربر را در هر لحظه از زمان می دهند. این برنامه ها ماهیت توزیع شده ندارند و بنابراین نمی توانند توسط چند کاربر بر روی یک داده و به طور همزمان استفاده شوند. برنامه هایی مانند مجموعه نرم افزارهای, microsoft project microsoft office از این نوع اند. در دو فناوری corba , com که هریک طیف کاری تحت پوشش اشیاء خود را دارد، امکان برقراری ارتباط بین اشیاء سرویس گیرنده corba با اشیاء سرویس دهنده com و بالعکس وجود ندارد. این عدم تجانس از ارتباط برنامه های کاربردی در محیط ناهمگون ممانعت می نماید، زیرا آن ها وابسته به بستر پشتیبانی می شوند. در این پروژه به بررسی تعامل میانcorba , com و به نرم افزاری که ماهیت توزیع شده ندارد، قابلیت توزیع شدگی اضافه گردیده است. این نرم افزار یک برنامه کاربردی کنترل پروژه است که primavera نام دارد. دلیل انتخاب این نرم افزار نیز این بوده است که معمولاً کارگاه های صنعتی و سایر محل های انجام کار از مرکز کنترل پروژه فاصله دارد. به همین دلیل معمولاً نیاز به سیستمی است که بتوان به صورت راه دور اعمال مرتبط با پروژه را انجام داد.

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

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

بررسی روشهای هوشمند و ارائه یک الگوریتم جدید در طراحی جدول های زمانی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان 1387
  مریم معصومی   ناصر نعمت بخش

چکیده ندارد.