گراف توانی متناظر با گروه g، گرافی است که مجموعه رئوس آن گروه g است و دو عنصرx و y از gمجاورند اگر یکی توانی از دیگری باشد. در این پایان نامه گراف توانی گروه های از مرتبه ی 2pq را بررسی می کنیم. نشان می دهیم چه عناصری از گراف توانی گروه های از مرتبه ی 2pqبا یک دیگر مجاور هستند. نمایش هندسی گراف توانی این خانواده از گروه ها را در صفحه رسم کرده، ماتریس مجاورت آن ها را به دست می آوریم. هم چنین نشا...

هدف این مقاله تشریح و گسترش نقش پیش‌تدبیری- که بخشی از تدبر شمرده می‌شود- برای پیشگیری از بروز وقایع سازمانی و نظام سیاسی است. از‌این‌رو تلاش شده است ضمن تشریح اهمیت و ضرورت آینده‌پژوهی و آینده‌نگاری در برنامه‌ریزی‌های مدیریت سیاسی، زمینه‌های لازم برای مبادرت به پیش‌تدبیری طرح، و شرایط و عوامل مؤثر که هدایت‌کنندۀ برنامه‌های پیش‌تدبیری می‌باشد همراه دو مدل علّی– حلقوی بررسی شوند. آنگاه نقش آگاهی ...

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

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

This article has no abstract.

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

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

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