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

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

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

چکیده فرض کنیم g یک گروه باشد مرکز ساز عنصر x?g را به صورت زیر تعریف می کنیم؛ c_g (x)={y?g? است آبلی?x,y? } اگر در این تعریف، کلمه آبلی را با کلمه دوری جایگزین کنیم. یک زیر مجموعه از مرکزساز به دست می آید که به این زیرمجموعه، دوری ساز x در g می گوییم و آن را با cyc_g (x) نشان می دهیم پس؛ cyc_g (x)={y?g? ?x,y?است دوری} همچنین، cyc(g) را به صورت زیرتعریف می کنیم؛ cyc(g)={x?g??x,y?است دور...

در این پژوهش ابتدا رابطه ای پارامتری برای سنجش مقدار درهم تنیدگی بین هر جفت کیوبیت برای گراف هایی با بیش از چهار کیوبیت به دست می آوریم. سپس مقدار درهم تنیدگی بین هر جفت کیوبیت را در گراف های پنج کیوبیتی محاسبه می کنیم. در ادامه ثابت می کنیم که تعداد 1024 گراف سیستم پنج کیوبیتی بر اساس بیشینه ی درهم تنیدگیِ بین هر جفت کیوبیت به 31 دسته و بر اساس تعداد یال های گراف و درجات رئوس به 40 دسته تقسیم م...

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

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