نام پژوهشگر: آیاز عیسی زاده

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

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

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

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

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

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

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

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

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

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

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

در محیط محاسبات فراگیر، تمام وسیله هایی که قصد برقراری ارتباط با یکدیگر را دارند با رویدادها سر و کار دارند. به همین دلیل، کشف سرویس ها و مدیریت رویدادها در این محیط از حساسیت و پیچیدگی محسوسی برخوردار است. با توجه به اهمیت موضوع، هدف این رساله ارائه ی شیوه ایست که با استفاده از پایگاه داده ی فعال و به کارگیری قوانین eca (event, condition, action)، پیچیدگی رویدادهای بین وسیله ها را کاهش داده و کارآیی آن ها را افزایش دهد. همچنین ویژگی دیگری به نام domain جهت مشخص کردن ناحیه ای که عمل مورد نظر باید در آن رخ دهد، به قوانین eca اضافه شده است تا به وسیله ی ecad (event, condition, action, domain) کنترل بیشتری روی محیط و قوانین اعمال شود. برای رسیدن به هدف این رساله، ارائه قوانین ecad مناسب در پایگاه داده ی فعال مد نظر قرار گرفته است. این قوانین به شکلی طراحی شده اند که مدیریت رویدادها به صورت موثری عملی گردند و سپس خاتمه پذیری، هم ریزی و سازگاری آن ها مورد بررسی قرار گرفته است.

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

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

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

امروزه شبکه‎های کامپیوتری در همه جا گسترده شده‎اند. مسائل زیادی در ارتباط با این شبکه‎ها وجود دارد. یکی از مهم‎ترین مسائل موجود در این زمینه، الگوریتم انتخاب سرور است. با انتخاب یک سرور مناسب (آ) کیفیت دریافتی کاربر را افزایش داده و (ب) زمان پاسخ‎گویی به درخواست‎های کاربر را کاهش می‎دهیم. این مسأله در شبکه‎های با کاربر نازک اهمیت بیشتری دارد، زیرا در این شبکه‎ها همه درخواست‎ها توسط سرور پاسخ داده می‎شوند. اگر در این شبکه‎ها سرور مناسبی برای کاربر انتخاب نشود، کارآیی کل شبکه کاهش خواهد یافت. هدف از این پایان‎نامه ارائه یک روش انتخاب سرور جدید توسط آگاه از محتواست. در این روش برای انتخاب سرور مناسب، علاوه بر در گرفتن پارامترهای شبکه، از اطلاعات موجود در مورد کاربر و محیط کاربر استفاده می‎کنیم. برای این کار ابتدا درخواست کاربر را کلاس بندی می‎کنیم. در مرحله بعد بر اساس کلاسی که درخواست کاربر در آن قرار دارد، پارامترهای خاصی از شبکه ارزش پیدا می‎کنند. در نهایت سروری که پارامترهای بیان شده را بیشتر پشتیبانی کند به عنوان سرور منتخب به کاربر معرفی خواهد شد.

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

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

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

درمهندسی نرم افزار توصیف و وارسی سیستم های نرم افزاری با استفاده از روش های صوری اهمیت ویژه ای دارد. برای سیستم های دقیق و بلادرنگ یک ضرورت اجتناب ناپذیر است و توصیف و وارسی سیستم های بلادرنگ مبتنی بر مولفه ها از مسایل مهم در مهندسی نرم افزار است با توسعه ای که در مهندسی نرم افزار در توسعه خودکارهای ورودی خروجی داده شده است می توانیم راه حلی برای توصیف و وارسی سیستم های ناهمگن مبتنی بر مولفه ها ارایه دهیم. که در این پایان نامه یک روش صوری مبتنی بر خودکارهای زمان بندی شده ارایه کرده ایم

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

مکان یابی ایستگاه های آتش نشانی یک مسأله چند جمله ای غیرقطعی- سخت محسوب می شود تعیین مکان مناسب جهت تاسیس این ایستگاه ها یکی از مهمترین وظایف و اهداف مدیران شهری است که باید قبل از اجرا، در یک چارچـوب سیستماتیک آماده سازی گردد. در واقع هـدف اصلی از مکان یـابی، جلـوگیری از هـدر رفـتن هزینه ها از یک طرف و تضمین کارآیی بهینه ایستگاه ها در تقابل با سیستم شهری است. متاسفانه چون بسیاری از ایستگاه های آتش نشانی بر اساس تجربه کارشناسان و روش های سنتی ایجاد می شوند، پراکندگی نامناسب آن ها همواره مشکلاتی را در امر پاسخ گویی در زمان استاندارد 5 دقیقه و اطفای حریـق به موقـع پدید می آورد. بنابراین بایـد روش-هایی را به کار گرفت که تا با در نظر گرفتن تمامی عامـل ها بتوان مکان های بهینه این ایستگاه ها را تعیین نمود. تاکنون روش‏های مختلفی برای مکان یابی ایستگاه های آتش نشانی مورد مطالعه قرار گرفته است که از آن جمله می‏توان به روش‏های تخصیص خطی‏، ‏روش‏های منطق فازی‏، ‏روش‏ های شبکه های عصبی مصنوعی، روش های تصمیم گیری چند شاخصهtopsis ، استفاده از سیستم های اطلاعات جغرافیایی و غیره اشاره کرد و هر کدام از این روش ها تا حدودی توانسته اند مساله ی مکان یابی ایستگاه های آتش نشانی را بهبود دهند. در این پایان نامه با توجه به انجام آزمایشات مختلف نشان می دهد که الگوریتم دارای هم گرایی و پایداری مناسبی بوده و همچنین الگوریتم روی نقشه شهر تبریز با در نظر گرفتن 20 ایستگاه موجود و نیاز به 10 ایستگاه دیگر انجام یافته و محل ایستگاه های جدید به طور مناسب تعیین شده است.

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

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

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

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

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

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

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

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

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

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

ارائه یک مدل جدید، برای دسته بندی داده ها، بر پایه الگوریتم مورچگان و منطق فازی
thesis وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی و کامپیوتر 1392
  سیامک قنبرزاده   آیاز عیسی زاده

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

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

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

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

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

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

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

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

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

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

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

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

حلقه‎ها سهم بسیار زیادی در اجرای برنامه‎های محاسباتی دارند، بنابراین موازی‎سازی آنها در تسریع برنامه‎ها بسیار مهم است. موازی‎سازی حلقه‎ها در چهار مرحله انجام می‎گیرد: 1) تحلیل وابستگی داده‎ای و یکنواخت‎سازی فضای تکرار: وابستگی بین تکرار‎های حلقه و بردارهای وابستگی مشخص شده و به مجموعه‎ای از بردارهای وابستگی پایه تبدیل می‎شود. 2) کاشی‎بندی: فضای یکنواخت وابستگی تکرارهای حلقه به قطعاتی به نام کاشی با حداقل وابستگی افراز می‎شود. 3) تولید کد موازی: تعیین کاشی‎های مستقل که می‎توانند به صورت موازی و همزمان اجرا شوند. 4) زمان‎بندی حلقه: کد موازی حاصل در قالب گراف وظایف ، زمان‎بندی می‎شود. مساله، تعیین اندازه و شکل بهینه برای کاشی‎ها است به قسمی‎که وابستگی بین یک کاشی و کاشی‎های همسایه کمینه گردد و از حداکثر حافظه‎ی محلی پردازنده‎ها استفاده شود. مسئله کاشی‎بندی، یک مسئله چند جمله‎ای غیر قطعی– سخت است و لذا الگوریتم‎های غیر قطعی جواب مناسبی در مدت زمان کوتاه‎تر نسبت به الگوریتم‎های قطعی ارائه می‎دهند.

یک الگوریتم ترکیبی برای مسائل بهینه سازی چند هدفه با تعداد هدف زیاد با استفاده از الگوریتم های تکاملی
thesis وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی و کامپیوتر 1393
  میترا سعیدی   آیاز عیسی زاده

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

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

امروزه پیام کوتاه به یک ابزار محبوب در ارتباطات افراد و گسترش کسب و کار¬ها تبدیل شده است. در سال 2013 بیش از 1/6 تریلیون پیام کوتاه ارسال شده است. در زندگی روزمره برخی اوقات افراد اقدام به تبادل اطلاعات محرمانه نظیر کلمات عبور و سایر اطلاعات حساس دیگر از طریق پیام کوتاه می نمایند. اما آیا این ارتباط امن است؟ زمانیکه اطلاعات حساس با استفاده از پیام کوتاه مبادله می شود، بسیار مهم است که این اطلاعات از انواع استراق سمع¬ها محافظت شده و نیز تضمین شود که منشأ فرستنده پیام معتبر است. سرویس پیام کوتاه یاsms ، سرویسی است که امکان ارسال پیام متنی در یک شبکه تلفن همراه را میسر می¬سازد. در مقالات علمی امنیت در کنار واژه¬هایی مانند محرمانگی، یکپارچگی، صحت، غیر قابل انکار بودن، حفاظت از حریم خصوصی و حفاظت از حریم داده¬ها ذکر شده است. پیام کوتاه، فاقد هر گونه ویژگی امنیتی می¬باشد و ارتباطات بین دو ایستگاه بدون هرگونه تأیید هویت اولیه برقرار می¬شود و متن پیامک نیز بدون امضای دیجیتالی و یا رمزنگاری مبادله می¬گردد. در نتیجه بسیاری از سرویس¬هایی که با تکیه بر پیام کوتاه عرضه می¬شوند، با مشکل ضعف امنیتی مواجه می¬باشند. این مشکل توسط جامعه علمی شناسایی و مکرراً بیان شده است. این پژوهش درصدد ارایه یک راه¬کار برای افزایش امنیت پیام کوتاه می¬باشد که در آن، روشی طراحی خواهد شد که دو ایستگاه را قادر می¬سازد پیام¬های کوتاه را به صورت رمزنگاری شده و یا با امضای دیجیتالی مبادله نمایند. اساس این روش استفاده از ویژگی¬های امنیتی در سطح برنامه است که از طریق اجرای یک نرم افزار خاص بر روی ایستگاه¬های ارتباطی به منظور امن سازی تبادل پیام کوتاه تحقق می¬یابد. ¬ کلمات کلیدی: موبایل بانک، sms ،پیام کوتاه، پروتکل، امنیت

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

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

ارائه یک مدل داده کاوی برای پیشگویی رویگردانی مشتری در ارائه دهندگان خدمات اینترنت (مورد مطالعه: شرکت های مخابرات ایران)
thesis وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی 1393
  وحید رحمانی   آیاز عیسی زاده

یک بررسی کلی از روش های داده کاوی در این تحقیق انجام شده است. همچنین پیش بینی رویگردانی مشتریان با روش های داده کاوی مورد بررسی قرار گرفته است. روش pca برای کاهش ابعاد داده ها و الگوریتم تکاملی رقابت استعماری برای خوشه بندی داده نیز بررسی شده است.

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

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

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

32 دندان موجود در فک در یک موقعیت طبیعی به صورت دو نیم قوس فک بالا و پایین طوری قرار می‎گیرند که عمل جویدن و یا آسیاب کردن غذا به نحو مطلوب ممکن گردد‎ [17]. هر نوع انحراف از این موقعیت طبیعی دندان‎ها، باعث ایجاد مشکلاتی می‎شود که ضرورت ردیف کردن و یا برگرداندن موقعیت مناسب دندان‎ها را ایجاب می‎کند که این عمل با درمان‎های ارتودنسی میسر می‎گردد. ضرورت این کار تا حدی است که یک رشته ی تخصصی مهم و جداگانه‎ای در رشته‎ی دندان‎پزشکی به نام رشته‎ی تخصصی ارتودنسی ایجاد شده که از مهمترین رشته‎های تخصصی دندان‎پزشکی می‎باشد [22]. پزشکان ارتودنس، قبل از شروع درمان، با استفاده از از عکس های رادیوگرافی، تحلیلی به نام تحلیل سفالومتریک روی آن عکس ها انجام می دهند که عملی وقت‎گیری است. لذا در این پایان نامه قصد داریم روشی برای خودکار سازی این تحلیل ارائه دهیم. این روش با استفاده از پردازش تصویر و الگوریتم تطابق الگوی sift پیاده سازی شده است.

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

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

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

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

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

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