نتایج جستجو برای: شرایط مرزی mur

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

1999
Satyaki Das David L. Dill Seungjoon Park

This reports some experiences with a recently-implemented prototype system for veriication using predicate abstraction, based on the method of Graf and Sa di 9]. Systems are described using a language of iterated guarded commands, called Mur ?? (since it is a simpliied version of our Mur protocol description language). The system makes use of two libraries: SVC 1] (an eecient decision procedure...

Journal: :Indonesian Journal of Geography 2021

Sea surface temperature (SST) is an important variable in oceanography. One of the SST data can be obtained from Global Observation Mission-Climate (GCOM-C) satellite. Therefore, this needs to validated before being applied various fields. This study aimed validate GCOM-C satellite Indonesian Seas. Validation was performed using Multi-sensor Ultra-high Resolution sea (MUR-SST) and situ Quality ...

Journal: :international journal of molecular and cellular medicine 0
effat barghi cellular and molecular biology research center (cmbrc), babol university of medical sciences, babol, iran.سازمان اصلی تایید شده: دانشگاه علوم پزشکی بابل (babol university of medical sciences) margaret h.gladden faculty member of institute of biomedical and life sciences, west medical building, university of glasgow, scotland, uk.

motor units (mus) reflect the function of the central nervous motor system. thus, the estimated mu number is a good option to investigate the functional movement disorder in the parkinson’s disease (pd). the purpose of this study was to compare the estimated mus number in the medial gastrocnemius (mg) muscle of the normal rats and those with the parkinsonism. the mg muscle of two age-matched gr...

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

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

Journal: :Österreichische Wasser- und Abfallwirtschaft 2023

Zusammenfassung Mit dem 19. Jahrhundert wurden Mur, Drau und Donau, wie viele andere Flüsse, zahlreichen Eingriffen unterworfen, was u. a. Auswirkungen auf den Sedimenthaushalt die Ökologie zur Folge hatte. Im Jahr 2021 wurde der Biosphärenpark Mur-Drau-Donau (Transboundary Biosphere Reserve Mura-Drava-Danube, kurz: TBR MDD) von Kroatien, Ungarn, Serbien, Slowenien Österreich zum Schutz ökologi...

ژورنال: :مهندسی مکانیک مدرس 2015
رضا رجبیه فرد ابوالفضل درویزه منصور درویزه رضا انصاری خلخالی حامد صادقی

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

ژورنال: :نشریه مهندسی عمران و محیط زیست دانشگاه تبریز 2014
رضا تاری نژاد سجاد پیربوداقی

حل مسئله اندرکنش سد و مخزن از دیرباز مورد توجه مهندسین عمران بوده است. با گسترش کامپیوترها و ارائه روش اجزای محدود، تحول شگرفی در زمینه حل این سیستم ها به وجود آمد. از آن جا که حل چنین سیستم هایی نیاز به اعمال شرایط مرزی مناسب دارند، لذا ارائه شرایط مرزی مناسب به خصوص در مرز انتشاری مخزن همواره مورد توجه محققین بوده است. لایه کاملاً سازگار (pml) اخیراً به عنوان یک شرط مرزی مناسب برای مرز دور­دست ...

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

Journal: :Recherches sociographiques 1984

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

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