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

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

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

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

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

در این پ‍ایان نامه به رابطه ی بین سیستمهای دینامیکی و توپوری گراف پرداخته شده است و یک روش جدید برای تعیین هماهنگی سراسری در شبکه هایی با تو پو لوژ یهای مختلف معرفی شده است .

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

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

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