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

استرین‌های قارچ Trichoderma harzianum به‌دلیل کاربرد در کنترل بیولوژیک بیماری‌های گیاهی و تأثیر بر زندگی بشر، اهمیت فراوانی دارند. در تحقیق حاضر، ساختار فیلوژنتیکی این گونه به‌دست‌آمده از مناطق جغرافیایی مختلف و زیستگاه‌های متنوع در برخی اقلیم‌های ایران (NC، SCD و CSW) بررسی شد. به‌منظور بررسی و غربال اولیه، انگشت‌نگاری 239 جدایۀ به‌دست‌آمده از جنس Trichoderma با استفاده از نشانگر RAPD-PCR انجا...

آنزیم‌هایGGPPS مسئول سنتز ژرانیل‌ژرانیل ‌دی‌ فسفات (GGPP)، یک پیش‌مادۀ مهم برای تولید بسیاری از ترپنوئیدها، هستند. در این تحقیق با شناسایی هومولوگ‌های خانوادۀ GGPPS در پایگاه دادۀ UniProt، روند تکاملی این خانواده با استفاده از آنالیزهای فیلوژنتیک مورد مطالعه قرار گرفت. همچنین، الگوی فرایندهای مضاعف شدن و از دست دادن ژن در طی تکامل گیاهان، با استفاده ازمعیار بهینه ‌سازی مبتنی بر پارسیمونی بررسی ...

در این تحقیق فرآیند مایع سازی گاز طبیعی تحت لیسانس linde-statoil مورد مطالعه قرار گرفت. با توجه به آنالیز اکسرژی برای تمام تجهیزات این فرآیند میزان بازده اکسرژی و اتلاف اکسرژی محاسبه شد و پیشنهاداتی برای بهبود فرآیند با توجه به محدودیت های شبیه سازی ارائه شد. برج تقطیر به عنوان یکی از مهمترین وسائل مصرف انرژی قابل توجه است. هم چنین با توجه به پایین بودن بازده اکسرژی برج های تقطیر در این فرآیند،...

خانواده characeae، جلبک هایی ماکروسکوپی می باشند که صفات مورفولوژی و تولید مثلی پیچیده تری نسبت به دیگر جلبک های سبز دارند. زیستگاه های اعضای این خانواده معمولاً آب های شیرین و لب شور، دائمی و موقتی از استخر کوچک تا دریاچه بزرگ می باشد و آنها با ایجاد اکسیژن و تأثیر بر شبکه های غذایی نقش مهمی در این زیستگاه ها دارند. تاکنون در این خانواده 292 گونه گزارش شده است که در 6 تا 7 جنس قرار داده شده اند...

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

قارچ های ناقص، گروهی بحث برانگیز در میان قارچ ها هستندکه معیار های رده بندی آنها در طول سالیان، دستخوش تغییرات فراوان بوده است. در این تحقیق که به منظور بررسی روابط فیلوژنتیکی برخی قارچ های ناقص انجام شده است، نمونه هایی از بافت های گیاهی و خاک های چندین استان کشور جمع آوری و با معیارهای ذکر شده توسط الیس (1971) شناسایی گردید. از بین 81 جدایه به دست آمده، 48 جدایه فرم های غیر جنسی cochliobolus ...

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

برپایه مطالعات تاکسونومیک متعدد جنس Bromus به 8 تا 9 بخش، زیرجنس و یا جنس‌های مجزا تقسیم‌بندی می‌شود. مدت مدیدی است که رابطه بین گونهBromus pumilio (syn: Boissiera squarrosa)  با گونه‌های دیگر جنس Bromus موضوع بحث است. جهت بازسازی روابط فیلوژنی و آشکارسازی مرزهای درون جنسی از 31 توالی ریبوزومی هسته‌ای ITS و 28 توالی کلروپلاستی trnL-F استفاده شد. تحلیل‌های مولکولی به‌وسیله روش پارسیمونی و بایسین...

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