نتایج جستجو برای: پلاریزاسیون دایروی روش ممان ماهواره leo
تعداد نتایج: 378007 فیلتر نتایج به سال:
The Leo and Leo-II provers have pioneered the integration of higher-order and firstorder automated theorem-proving. To date, the Leo-II system is, to our knowledge, the only automated higher-order theorem-prover which is capable of generating joint higherorder–first-order proof objects in TPTP format. This paper discusses Leo-II’s proof objects. The target audience are practitioners with an int...
در این مقاله توزیع مکانی ـ زمانی جریانها و میدانهای الکترومغناطیسی یک سیمولاتور پالس الکترومغناطیسی محاسبه می گردد. سیمولاتور مورد مطالعه از نوع ابعاد بزرگ بوده و از آن برای بررسی اثر پالسهای الکترومغناطیسی گذرا بر روی ساختارهای بزرگ مانند اتومبیل، هواپیما، موشک و … استفاده می شود. این سیمولاتور از سه خط انتقال صفحه ای تشکیل شده است. برای شبیه سازی سیمولاتور نخست هر کدام از صفحات بکمک شبکه ای ا...
دی اکسیدکربن یکی از عمده ترین عوامل خوردگی در صنایع نفت و گاز است و نزدیک به یک سوم خسارتهای مالی و جانی در کنار آلودگیهای زیست محیطی را به خوردگی ناشی از دی اکسیدکربن نسبت می دهند. نزدیک به نیم قرن است که تحقیقات بر جنبه های مختلف این نوع از خوردگی متمرکز شده است اما در این میان اسیداستیک کمتر مورد توجه قرار گرفته است. در این تحقیق سعی شده است تا به بررسی اثر اسیداستیک بر رفتار خوردگی فولاد کم...
LEO-II is a standalone, resolution-based higher-order theorem prover designed for effective cooperation with specialist provers for natural fragments of higher-order logic. At present LEO-II can cooperate with the first-order automated theorem provers E, SPASS, and Vampire. The improved performance of LEO-II, especially in comparison to its predecessor LEO, is due to several novel features incl...
Four in vitro experiments (Exp.) were conducted to evaluate lavender essential oil (LEO) effects at 0 (control), 250 (low dose), 500 (medium dose), 750 and 1000 µL per L(high doses) of incubation medium on rumen gas production kinetics (Exp.1), ruminal digestibility and fermentation (Exp.2), methane production (Exp.3) and rumen acidosis (Exp.4). The asymptote of gas production (A) incr...
Leonurine (Leo) is a special alkaloid principle of Herba leonuri that has recently been suggested to improve cardiovascular functions. To date, there is no direct ionic evidence of Leo on regulating calcium channels in the heart. In the present study, we examined the effects of Leo on action potentials and membrane currents recorded from isolated rat ventricular myocytes with the whole-cell pat...
LEO-II is a standalone, resolution-based higher-order theorem prover designed for effective cooperation with specialist provers for natural fragments of higher-order logic. At present LEO-II can cooperate with the first-order automated theorem provers E, SPASS, and Vampire. The improved performance of LEO-II, especially in comparison to its predecessor LEO, is due to several novel features incl...
در این مقاله، تولید مدارهای هاله‌ای و منیفلدهای پایدار و ناپایدار آن در مسئلة سه جسم محدود دایروی مورد توجه قرارگرفته است. مدارهای هاله‌ای در طراحی مأموریت‌های فضایی پیچیده نقش اساسی دارند. مدارهای هاله‌ای در واقع حل تناوبی مسئلة سه جسم محدود دایروی هستند که با اعمال شرایط اولیة خاص حاصل می‌شوند. در این مقاله از خاصیت تقارن معادلات مسئلة سه جسم محدود دایروی که معادلات دیفرانسیل عادی غیرخطی مرتب...
در این تحقیق به مطالعه اثر فشار هیدرواستاتیک روی ارتعاشات آزاد ورق دایروی روی بستر الاستیک در تماس با سیال پرداخته شده است. ابتدا انرژی پتانسیل ورق روی بستر الاستیک و معادلات نوسان سیال محاسبه شده تا انرژی کل محاسبه شود. با اعمال روش ریلی-ریتز بر انرژی کل، فرکانس‌های طبیعی ورق دایروی در تماس با سیال استخراج شده‌اند. در ادامه، تأثیر پارامترهای مختلف هندسی روی فرکانس‌های طبیعی ورق مورد بررسی قرار...
در این مقاله با استفاده از یک الگوریتم جدید، سیستم تعیین وضعیت بدون ژیروسکوپ یک ماهوارة کوچک با دقت تعیین وضعیت ° 2± غیروابسته به زمان مد نظر است. مه مترین محدودیت در نانوماهوار هها جرم زیرسیست مهای مختلف آن است. لذا همواره در طراحی اینگونه ماهوار هها کاهش جرم و هزینة زیرسیست مها مورد توجه است. برای این منظور از یک حسگر مغناطیسی تک محوره، یک حسگر افق استفاده م یشود که ک مترین جرم سیستم ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید