به منظور بررسی ساختار و تنوع ژنتیکی روباه معمولی (vulpes vulpes)در شمال شرق ایران، 25 نمونه بافت از سه استان (خراسان رضوی، خراسان شمالی و گلستان) جمع آوری شد. پس از استخراج dna، ژن سیتوکروم b توسط واکنش زنجیره ای پلی مراز، با استفاده از پرایمرهای اختصاصی، تکثیر و پس از خالص سازی و توالی یابی، قطعه ای به طول 1098 جفت نوکلئوتید از این ژن برای هر نمونه ویرایش شد. سپس با تجزیه و تحلیل این قطعه در ن...

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

در این پایان نامه تحلیل خطر پارامترهای شتاب زلزله برای شهر تهران با استفاده از منطق فازی انجام گرفته است. منطقه ی مورد بررسی مستطیل شکل و به ابعاد ×30km 30kmبوده، از شمال به رشته کوه های البرز، از غرب به مسیل کن، از شرق به کوه های هراز و از جنوب به بخشهای جنوبی شهر ری محدود شده و وسعتی در حدود 900 کیلومترمربع را شامل می شود. تحلیل خطر برای شبکه های 31x31 از نقاط در شهر تهران انجام گرفته است. ...

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

به ‌منظور بررسی ساختار و تنوع ژنتیکی روباه معمولی (Vulpes vulpes)در شمال‌ شرق ایران، 25 نمونه بافت از سه استان (خراسان رضوی، خراسان شمالی و گلستان) جمع‌آوری شد. پس از استخراج DNA، ژن سیتوکروم b توسط واکنش زنجیره‌ای پلی‌مراز، با استفاده از پرایم...

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

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