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

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

20 درخت صنوبر (Populus nigra) از منطقه کرج قطع شد و پس از تبدیل به گرده بینه هایی به طول 230 سانتیمتر و برش آنها به دو روش ]راه پهن (Live Sawing) و با استفاده از اره نواری افقی و یک رو یک نر شده با استفاده از اره نواری عمودی] و در 8 کلاسه قطری (8 سطح) و تهیه تخته به ضخامت اسمی 60 میلیمتر انجام گردید. نتایج این تحقیق نشان می دهد که برش راه پهن دارای بازده برش بیشتری نسبت به دیگر روش برش چوب می ب...

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

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

روابط بین یک مجموعه ی خودوارون که یک دوتایی (p,i) است به طوری که pیک مجموعه ی ناتهی و i یک زیر مجموعه از جایگشت های خودوارون p است را با گراف ها بیان می کنیم. و رابطه ای که ساختارهای انعکاسی و مجموعه های خودوارون نیمه منظم با هم دارند را بررسی می کنیم. نشان می دهیم متناظر با یک سیستم یه تایی اشتاینر یک شبه گروه نیمه متقارن خودتوان وجود دارد و برعکس از هر شبه گروه نیمه متقارن خودتوان می توان ب...

در این پایان نامه که ترکیبات متریک تقریباً مرتبط روی کلاف های کروی مماس که از بعضی از ساختارهای تقریباً هرمیتی القا شده از نوع ترفیع قطری طبیعی روی کلاف مماس از یک منیفلد مانند m با متریک ریمانی g می باشند را مورد مطالعه قرار می دهیم. ساختارهای متریک تقریباً مرتبط به خودی خود ساختار متریک مرتبط نمی باشند لذا برای آنکه به چنین خاصیتی برسیم لازی است و باید برخی از ضروریات متریک مانند میدان برداری ا...

هدف این پژوهش بررسی زنده­مانی، مشخصه­های رویشی و تخصیص بیوماس در نهال­های رشد یافته ون (fraxinus excelsior l.) در رژیم­های مختلف آبی است. بدین منظور نهال­های ون در طرحی کاملا تصادفی و در دو رژیم آبی (غرقابی دائم و غرقابی دوره­ای با تناوب 15 روز) و سطح شاهد (کنترل)، برای مدت 120 روز در فضای باز یک جنگل جلگه­ای مورد ارزیابی قرار گرفتند. در پایان دوره غرقابی باعث کاهش در زنده­مانی، مشخصه­های ر...

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