نتایج جستجو برای: حل کننده تقریبی ریمان hll
تعداد نتایج: 118173 فیلتر نتایج به سال:
سیلاب ناشی از شکست سدها به دلیل ویژگیهای خاص هیدرولیکی از جمله فاجعه آمیزترین حوادث در طی دو قرن اخیر بوده است. دراین نوع سیلاب حجم قابل توجهی از آب در مدت زمان کوتاهی در پایین دست رودخانه رها شده و موجب پیدایش امواج سیلابی در اراضی پایین دست میگردد. با توجه به اندک بودن زمان تصمیم گیری و فرار، سرعت بسیار زیاد سیلاب، وجود مراکز جمعیتی و یا قرارگیری تاسیسات حساس در حریم رودخانه، نیاز به بررسی اث...
This work addresses the correct translation of an Event-B model to C code via an intermediate formal language, HLL. The proof of correctness follows two main steps. First, the final refinement of the Event-B model, including invariants, is translated to HLL. At that point, additional properties (e.g., deadlockfreeness, liveness properties, etc.) are added to the HLL model. The proof of the inva...
برخورد رژیم های مختلفی از جریان بوده که ممکن است در نقاط تقاطع این شبکه ها با یکدیگر برخورد نمایند. هدف اصلی در تحقیق حاضر مدل سازی این نوع از برهم کنش های جریان سیال، با مقطع مستطیلی، با استفاده از معادلات آب های کم عمق می باشد. مدل عددی ارائه شده از حل ریمان تقریبی hllc مرتبه اول، با قابلیت انتشار بر روی سطوح خشک، بهره می گیرد و قادر است برخورد جریانهای مختلف را بر روی سطح خشک شبیه سازی نماید
یک برنامه کامپیوتری جهت حل معادلات جریان غیرلزج در نازل های برون از مرکز سه بعدی و همچنین نازل های هم مرکز سه بعدی تهیه شده است . در حل معادلات از روش حجم کنترل (cell-centered fintie volume)، مبتنی بر حل تقریبی مسئله ریمان roe استفاده شده است . برای نشان دادن دقت و قابلیت این برنامه، نتایج حاصل دشه از نازل های هم مرکز دایروی با جواب مسئله یک بعدی مورد مقایسه قرار گرفته و سپس نتایج جریان دایمی و...
اگر خود نگاشتی روی اجتماع دو زیر مجموعه ی و از یک فضای متریک باشد، آنگاه بهترین نقطه ی تقریبی نقطه ای است مانند ، به طوری که . در این پایان نامه به مطالعه ی نگاشت های انقباضی از نوع میر-کیلر که براجتماع زیر مجموعه ی و و ... و ( ) از یک فضای متریک تعریف شده اند، می پردازیم. هدف یافتن شرایط لازم و کافی برای وجود و همگرایی بهترین نقطه ی تقریبی برای این نگاشت ها می باشد. واژه های کلیدی: فضای با...
در این مقاله، یک روش ترکیبی موثر بر اساس الگوریتم چگالی مبنا با حل کننده ی صریح برای حل معادلات تراکم پذیر اویلر در شبکه ی غیر متعامد با فرمول بندی حجم محدود ارائه شده و شار های کمیت های هدایتی شامل نرخ جرمی جریان با استفاده از روش مشخصه ها بر اساس روش های جیمسون و تی وی دی و ای سی ام تقریب زده شده است .هدف پژوهش حاضر آن است تا روشی بر پایه ی کنترل ترم پخش روش های کلاسیک بر اساس متغیرهای مشخصه ...
Thermal stability of wild type Humicola lanuginosa lipase (wt HLL) and its two mutants, W89L and the single Trp mutant W89m (W117F, W221H, and W260H), were compared. Differential scanning calorimetry revealed unfolding of HLL at T(d)=74.4 degrees C whereas for W89L and W89m this endotherm was decreased to 68.6 and 62 degrees C, respectively, demonstrating significant contribution of the above T...
It is known that HLL-type schemes are more dissipative than schemes based on characteristic decompositions. However, HLL-type methods offer greater flexibility to large systems of hyperbolic conservation laws because the eigenstructure of the flux Jacobian is not needed. We demonstrate in the present work that several HLL-type Riemann solvers are provably entropy stable. Further, we provide con...
Although reactive oxygen species (ROS) produced by NADPH oxidase are known to regulate inflammatory responses, the impact of ROS on intracellular signaling pathways is incompletely understood. In these studies, we treated wild-type (WT) and p47(phox)-deficient mice with LPS to investigate mechanisms by which NADPH oxidase regulates signaling through the NF-κB pathway. After intratracheal instil...
در این پایان نامه، نحوه تقسیم جریان در یک کانال tشکل بررسی می گردد. برای بررسی این مسئله، یک مدل عددی به زبان fortran نوشته می شود. با توجه به اینکه مدل آزمایشگاهی تغییرات سطح آب زیادی را نشان می دهد، لازم است که مدل عددی قادر به مدلسازی سطح آب باشد. به همین منظور، از معادلات ناویر- استوکس انتگرال گرفته شده در عمق (معادلات آب های کم عمق) استفاده می گردد. همچنین با توجه به اینکه در حین تقسیم جری...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید