نمایش گرافها علاوهبراین که ابزار مفیدی برای مطالعه ساختار و خواص گرافها هستند، در علوم کامپیوتر نظری نیز کاربردهای فراوانی دارند و همواره مورد توجه محققان قرار گرفتهاند. یکی از روشهای نمایش گراف که بیشترین توجه را به خود اختصاص داده، نمایش ‎$l$-اشتراکی است که‎ $lsubset {0,1,2,dots}$ ‎ تعیین کننده مجاورت و یا عدم مجاورت دو رأس در گراف است. به عبارتی، به هر رأس گراف یک مجموعه نسبت داده میشود بهطو...

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

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

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

( با توجه به اینکه این پایان نامه با نرم افزار فارسی تک نوشته شده فایل word آن موجود نمی باشد و فایلهای تک آن درج شده است ) نظریه مجموعه های متناهی بخش ضعیفی از نظریه مجموعه هاست که با جایگزینی نقیض اصل نامتناهی به جای آن در نظریه مجموعه های اصل بندی شده توسط zermello , fraenkel بدست می آید. یک omegaـمدل برای این نظریه مدلی است که تمام اعضای آن متناهی هستند. در اینجا با این دیدگاه که هر مدل نظ...

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

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

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

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

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