نتایج جستجو برای: c model with driving forces variables

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

Journal: :SIAM Journal of Applied Mathematics 2004
Axel Klar I. M. Gamba N. Ben Abdallah

Half space problems of the linear Boltzmann equation with a constant driving force are considered. Such problems model boundary layers between kinetic zones and fluid zones described by a high field limit of the Boltzmann equation. Existence, uniqueness, and asymptotic behavior of solutions are studied for positive and negative driving forces. In the positive case, the force field accelerates t...

ژورنال: تحقیقات موتور 2019
, ,

Internal Combustion Engine Vehicles or ICEVs play a major role in air pollution for big cities like Tehran. Catalyst converters manage to contain much of the generated pollution from combustion and are considered as a mandatory part of any vehicle. Manufacturer guidelines clarify a certain mileage for catalyst to be regarded as completely degraded and thus unable to contain harmful gasses from ...

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

abstract nowadaysphotovoltaic solar cells (pvs) areacknowledged the fastest growing energy technology in the word, however, they only account for only fraction of current global renewable energy capacity. it isrecognized that this incomplete market penetration has been largely a result of the technology’sexcessive cost. so researchers are trying to find innovative, economic way with theaim of ...

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

in this study, scour of mashkid bridge pier located in mashkid river of saravan county has been studied and to measure the scour rate, the numerical model hec-ras 4.0 has been used. upon selection of mashkid river as the case study and whereas the studied zone is important with respect to the climatic conditions and showery monsoon raining and flowing the great and destructive floodwaters, ther...

Ali Akbari, E., Hadad Hasanabadi , M., Kazemian , Gh., Taleshi , M.,

Aims: The development of large-scale construction projects has transformed the shape of cities towards specific objectives and based on economic and political perspectives that dominate policy-making and planning in cities. The purpose of the research was to study and analyze the spatiality of Mashhad construction mega-projects and to explain the constructive forces and dynamisms of these proje...

Journal: :Molecular biology and evolution 2011
Marc Gottschling Markus Göker Alexandros Stamatakis Olaf R P Bininda-Emonds Ingo Nindl Ignacio G Bravo

The associations between pathogens and their hosts are complex and can result from a variety of evolutionary processes including codivergence, lateral transfer, or duplication. Papillomaviruses (PVs) are double-stranded DNA viruses ubiquitously present in mammals and are a suitable target for rigorous statistical tests of potential virus-host codivergence. We analyze the evolutionary dynamics o...

2015
Adam Navis Michel Bagnat

Over several decades genetic studies have unraveled many molecular mechanisms that underlie the signaling networks guiding morphogenesis, but the mechanical forces at work remain much less well understood. Accumulation of fluid within a luminal space can generate outward hydrostatic pressure capable of shaping morphogenesis at several scales, ranging from individual organs to the entire vertebr...

ژورنال: دانشور پزشکی 2011
زایری, فرید , سروش, محمّدرضا , غضنفری, طوبی , فقیه زاده, سقراط , قاهری, آزاده ,

Background and Objective: Sulfur mustard (SM) is a chemical warfare agent used by the Iraqi forces during the Iraq-Iran war. So far some statistical methods have only been applied to discriminate between exposed and non-exposed Sardasht inhabitants, using immunological variables. This paper focuses on allocating objects to exposed and non-exposed groups and choosing the best model, using a vari...

2011
Joost-Pieter Katoen

Model checking is an automated verification technique that actively is applied to find bugs in hardware and software designs. Companies like IBM and Cadence developed their in-house model checkers, and acted as driving forces behind the design of the IEEE-standardized temporal logic PSL. On the other hand, model checking C-, C#and .NETprogram code is an intensive research topic at, for instance...

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

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