در این پایان نامه گراف های کیلی یکانی را تعریف می کنیم.و به بررسی تعدادی از ویژگی های این گراف می پردازیم.در ابتدا تعاریف ومفاهیم مقدماتی را بیان می کنیم در بخش اول فصل دوم، بعضی از قضایا که برای گراف برقرار است را بیان می کنیم و در بخش دوم این فصل عددرنگی عدد خوشه عدد استقلال قطر و تعداد مثلث های گراف xn را به دست می اوریم و نشان می دهیم xn متقارن و همبندی راسی برابر با ?(n) می باشد.در فصل سوم...

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

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

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

کلرپیریفوس یک آفت­کش ارگانوفسفره است که بطور گسترده به عنوان کنترل کننده آفات در مزارع کشاورزی استفاده می­شود. هدف از این مطالعه تعیین اثر غلظت­های تحت­کشنده (0.1، 0.05 و 0.02 میلی­گرم بر لیتر) کلرپیریفوس بر فعالیت آنزیم­های کبدی و آنزیم­های اکسیداتیو (سوپراکسیددیسموتاز و کاتالاز) ماهی کپور معمولی (c. carpio) در روزهای 1، 7، 14 و 21 بعد از تماس با آفت کش می­باشد. میزان lc50 96  سم کلرپیریفوس بر...

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

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

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

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