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

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

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

روابط بین یک مجموعه ی خودوارون که یک دوتایی (p,i) است به طوری که pیک مجموعه ی ناتهی و i یک زیر مجموعه از جایگشت های خودوارون p است را با گراف ها بیان می کنیم. و رابطه ای که ساختارهای انعکاسی و مجموعه های خودوارون نیمه منظم با هم دارند را بررسی می کنیم. نشان می دهیم متناظر با یک سیستم یه تایی اشتاینر یک شبه گروه نیمه متقارن خودتوان وجود دارد و برعکس از هر شبه گروه نیمه متقارن خودتوان می توان ب...

کنکور سراسری بنا به اذعان بسیاری از کارشناسان سرنوشت سازترین آزمون در ایران است و ویژگیهای جمعیت شناختی داوطلبان از قبیل جنسیت، منطقه (پایگاه اجتماعی-اقتصادی) و استان(زبان) می توانند بر عملکرد داوطلبان ورود به دانشگاه در پاسخ به سؤالهای آزمون مؤثر باشند. اگر پاسخ به سؤالهای آزمون با کنترل توانایی آزمودنی ها تابعی از ویژگیهای جمعیت شناختی باشند، سؤالهای آزمون نسبت به آنها کنش افتراقی (DIF) دارند...

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

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

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

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