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

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

چکیده ندارد.

چگالی درختی یک گراف‏، ‎‎ماکسیمم تعداد درخت های فراگیر یال مجزای مشمول در گراف است. در این پایان نامه‏‏، ابتدا ‎‎با استفاده از همبندی یالی‏، ‏‏ کران هایی برای‎‎ چگالی درختی معرفی کرده و ‎‎سپس ‎‎چگالی درختی چند خانواده از گراف ها را به دست ‎‎می آوریم‎. سرانجام به شمارش تعداد درخت های متمایز و جنگل های ‎n‎ ‎ رأسی خواهیم پرداخت. ‎

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

مجموعه s از رئوس گراف g را مجموعه همسایگی گراف g می نامند اگر g = u ??s ?n (?)? که ?n(?)? زیر گرافی از g است که توسط راس ? و همه روس مجاور با ? القا می شود. عدد همسایگی برای گراف g مینیمم اندازه مجموعه های همسایگی g است. این پارامتر در سال 1985 توسط e.sampathkumar و prabha s.neeralagi معرفی شده است. و در سال 1990 توسط p.p.kale و n.v.deshpande [5] کران های جدیدی برای این پارامتر ارائه شده است و ...

گراف ناجابجایی (?(g از گروه غیر آبلی g را به صورت ذیل تعریف می کنیم: ( g-z(g ْرا مجموعه رئوس (?(g است جائیکه z(g مرکز g است و دو راس x,y مجاورند هرگاه xy?yx باشد . برخی خواص (?(g را مورد مطالعه قرار می دهیم و عدد استقلال ،عدد رنگی راسی ، عددخوشه و مینیمم اندازه ی پوشش راسی گراف ناجابجایی گروههای دووجهی را بدست می آوریم . ثابت می کنیم برای بسیاری از گروههای غیرآبلی g ، هرگاه h گروهی باشد که ...

در این تحقیق، اثر جیره­های گلوژنیک و لیپوژنیک همزمان با یک برنامه همزمانی فحلی در جهت کاهش فاصله زایش و بهبود عملکرد شاخص­های تولید­مثلی با استفاده از 90 رأس میش نژاد بلوچی (در سه گروه ) مطالعه شد. میش­های هر گروه به ترتیب از سه جیره با نسبت­های متفاوت از منابع نشاسته و چربی تغذیه شدند. جهت همزمانی فحلی، میش­ها روز 30 آزمایش سیدرگذاری شدند. 14 روز بعد از سیدرگذاری، همزمان با برداشتن سیدر، 400 و...