نتایج جستجو برای: شاخص های ناپایداری tt

تعداد نتایج: 508509  

Journal: :ACM Transactions on Mathematical Software 2022

In this work, we introduce DIRECTGO , a new MATLAB toolbox for derivative-free global optimization. collects various deterministic DIRECT -type algorithms box-constrained, generally constrained, and problems with hidden constraints. Each sequential algorithm is implemented in two ways: using static dynamic data structures more efficient information storage organization. Furthermore, parallel sc...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی صنعتی کرمان - دانشکده برق و کامپیوتر 1394

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

ژورنال: :مجله دانشگاه علوم پزشکی قم 0
آیت احمدی a ahmadi tehran university of medical sciencesدانشگاه علوم پزشکی تهران روح اله میرزایی خلیل آبادی r mirzaee khalilabadi tehran university of medical sciencesدانشگاه علوم پزشکی تهران مهدی نوروزی m noorozi qom university of medical sciences,دانشگاه علوم پزشکی قم نادر کهن n cohan hiraz university of medical sciencesدانشگاه علوم پزشکی شیراز مانی رمزی m ramzi hiraz university of medical sciencesدانشگاه علوم پزشکی شیراز

زمینه و هدف: بتا- تالاسمی مینور β-tt (β-thalassemia minor) و آنمی فقرآهن ida (iron deficiency anemia) شایع ترین آنمی های میکروسیتیک می باشند. غربالگری β-tt جهت مشاوره پزشکی قبل از ازدواج و جلوگیری از تولد نوزادان با بتا- تالاسمی ماژور از اهمیت ویژه ای برخوردار است. رایج ترین مشکل در غربالگری β-tt تمایز آن از آنمی فقرآهن می باشد. هدف از این مطالعه مشخص نمودن حساسیت، ویژگی، شاخص یودن و ارزش اخبار...

ژورنال: :پژوهش های علوم و فنون دریایی 0
فروزان ارکیان گروه هواشناسی، دانشکده علوم و فنون دریایی، دانشگاه آزاد اسلامی واحد تهران شمال مهناز کریم خانی گروه هواشناسی، دانشکده علوم و فنون دریایی، دانشگاه آزاد اسلامی واحد تهران شمال پری سیما کتیرائی بروجردی گروه هواشناسی، دانشکده علوم و فنون دریایی، دانشگاه آزاد اسلامی واحد تهران شمال

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

Journal: : 2022

هدف: کبد از حساس‌ترین بافت‌های هدف فشار اکسایشی ناشی تمرین می‌باشد و آمینوترانسفراز‌های کبدی، شاخص‌های حساسی برای تعیین آسیب دیدگی سلول‌های کبدی هستند. پژوهش حاضر با مقایسه تأثیر هشت هفته TRX مقاومتی سنتی بر برخی آنزیم‌های (آسپارتات آمینو ترانسفراز آلانین ترانسفراز) در زنان غیرفعال انجام گرفت.روش ­ها: این که به روش نیمه تجربی شد، 28 دختر میانگین سن41/1±07/21 سال شاخص توده بدن 25/4±52/22 کیلوگرم...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم انسانی 1391

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

Journal: :Journal of Functional Programming 2021

Abstract Good tools can bring mechanical verification to programs written in mainstream functional languages. We use hs-to-coq translate significant portions of Haskell’s containers library into Coq, and verify it against specifications that we derive from a variety sources including type class laws, the library’s test suite, interfaces Coq’s standard library. Our work shows is feasible mature,...

ژورنال: :مجله علوم و فنون دریایی 2014
هیوا علمی زاده مجتبی یمانی

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید