فرض کنید x)e,((x)v)= x ))یک گراف باشد و x)?????? ? ??). اگر?? روی مجموعه های x)e، (x)v )و x)a )به طور انتقالی عمل کند، آنگاه ?? را به ترتیب یک گراف ??- راس- انتقالی، ??- یال- انتقالی و ??-کمان- انتقالی می نامیم. در حالت خاص x)?????? = ??)، گراف x را به ترتیب راس- انتقالی، یال- انتقالی و کمان- انتقالی (متقارن) می نامیم. گراف 3- منتظم x را که یال-انتقالی باشد اما راس- انتقالی نباشد، یک گراف مکعبی...

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

روش محاسبه مولکولی یا محاسبه با dna اولین بار توسط ادلمن در سال 1994 بیان شد. وی به کمک مولکول dna وتکنیکهای مولکولی توانست یک راه حل جدید برای مسئله فروشنده دوره گرد، که جزء مسائل np کامل است طراحی نماید. ارائه چنین روشی یک ایده جدید وجالبی بود چرا که حل چنین مسائلی به وسیله کامپیوترهای پیشرفته امروزی بسیار وقت گیر و مشکل می باشد. هدف ازاین روش یافتن راه حل جدید برای مسئله گراف رنگی است. ابتد...

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

Let G=(V,E) be a graph where v(G) and E(G) are vertices and edges of G, respectively. Sum of distance between vertices of graphs is called wiener invariant. In This paper, we present some proved results on the wiener invariant and some new result on the upper bound of wiener invariant of k-connected graphs.

عنوان پایان نامه:بررسی عمق توانهای ایده آل یالی یک درخت فرض کنیدg یک گراف با n رأس و i(g) ایده آل یالی آن از حلقه چند جمله ایها،r=k[x1,x2,…,xn]،روی میدانk با nمتغیر باشد. فرض کنید i ایده آل یالی یک درخت یا جنگل باشد. در این پایان نامه کرانهای پایینی برای دنباله {depth rit}t?1 بدست می آوریم و نشان می دهیم این کرانهای پایین، نقطه ایستایی دنباله 1? {depth rit}tاست هرگاه g یک درخت باشد.

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

یکی از مسائل مهم راه آهنها برنامه ریزی حرکت قطارها بخصوص قطارهای مسافری است که بوسیله ترسیم یک گراف مادر انجام میشود. در این گراف, که در واقع یک نمودار زمان – فاصله است و معمولاً توسط افراد باتجربه ترسیم می شود, زمان شروع حرکت و رسیدن قطارها به ایستگاههای بین راه و توقفهای لازم در ایستگاهها بعلاوه محل تلاقی با سایر قطارها که از روبرو در حال حرکت هستند نشان داده میشود. در این مقاله ابتدا یک مدل ...