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

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

کـمـیـت جـالـب در نـظـریـه ی هـوکـل مجموع انرژی همه ی الکترون های مولکول است. به هر مولکول شیمیایی گرافی نسبت داده می شود به طوری که انرژی این مولکول برابر مجموع قدرمطلق همه ی مقادیر ویژه ی گراف است. انرژی گراف ساده ی ‎ gمجموع قدرمطلق مقادیر ویژه ی ماتریس مجاورت این گراف تعریف می شود و با‎ ‎نشان داده می شود. در این پایان نامه کران هایی برای انرژی بر حسب تـعـداد رئـوس و یـال ها و... بـیـان شـ...

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

گراف g را صحیح نامیم هرگاه تمام مقادیر ویژه ماتریس مجاورت آن متعلق به مجموعه اعداد صحیح باشد. « کدام گراف ها صحیح هستند؟» این سوالی بود که در سال 1973 توسط هاراری و اسچواینک مطرح شد. با استفاده از یکی از نتایج مقاله ی بابای تحت عنوان «طیف گراف کیلی»، که طیف گراف کیلی یک گروه را بر حسب سرشت های تحویل ناپذیر گروه مربوطه بیان می کند، تعدادی خانواده نامتناهی از گراف های صحیح ارایه می کنیم. همچنین گ...

فرض کنید r یک حلقه جابه جایی و یکدار و z(r) مجموعه مقسوم علیه های صفر آن باشد. گراف مقسوم علیه صفر r) )? را به حلقه r نسبت می دهیم که مجموعه رئوس آن z(r)-{0} می باشد و دو نقطه متمایز x,y به هم متصلند اگر و تنها اگر xy=0. در این پایان نامه نشان می دهیم کدام حلقه های متناهی دارای گراف مقسوم علیه صفر مسطح هستند و حلقه های موضعی 32 عضوی که میدان نمی باشند و گراف مقسوم علیه صفر آن ها نامسطح است را ش...

فرض کنیم r حلقه ی جابجایی با عنصر همانی و ()r? گرافی باشد که اعضای حلقه ی r به عنوان مجموعه رئوس گراف هستند و دو راس متمایز a و b مجاورند اگروتنهااگر ra+rb=r . در این پایان نامه یک زیرگراف 2()r? را در نظر می گیریم که شامل عناصر غیریکه است. همبندی و قطر این گراف را مطالعه ?(r) از گراف کرده و به طور کامل قطر گراف 2()()rjr? را دسته بندی می کنیم. به علاوه نشان می دهیم که برای دو حلقه ی نیم...

با شرط x مانند r ، مجموعه ی عناصر ناصفر از r برای حلقه ی جابجایی و یکدار ناصفر (

موضوع این پایان نامه مربوط به گراف های کیلی و گراف های صحیح است. در این پایان نامه بررسی می کنیم گراف کیلی روی چه گروه هایی صحیح است. در این پایان نامه تمام گراف های کیلی صحیح روی گروه های آبلی متناهی را پیدا می کنیم. هم چنین در این پایان نامه گراف همینگ گراف سودوکو گراف سودوکوی مکانی و گراف مربع لاتین سراسر قطری را بررسی می کنیم و نشان می دهیم این گراف ها گراف کیلی صحیح هستند.

روش‌های یادگیری نیمه نظارتی مبتنی بر گراف اغلب بر روی مسائل تک برچسبی متمرکز و پیاده‌سازی شده‌اند، درصورتی‌که بسیاری از مسائل دنیای واقعی به‌صورت چندبرچسبی هستند. در این مقاله یک روش نیمه نظارتی ترکیبی بنام LGC+ML-KNN برای برچسب‌زنی تصاویر به‌صورت چندبرچسبی ارائه داده‌ایم که از ترکیب روش یادگیری نیمه نظارتی مبتنی بر گراف (LGC) و یادگیری چندبرچسبی (ML-KNN) تشکیل‌شده است . روش ارائه‌شده به دلیل ا...