نتایج جستجو برای: مدل ceres
تعداد نتایج: 121102 فیلتر نتایج به سال:
We define a generalization CERES of the first-order cut-elimination method CERES to higher-order logic. At the core of CERES lies the computation of an (unsatisfiable) set of sequents CS(π) (the characteristic sequent set) from a proof π of a sequent S. A refutation of CS(π) in a higher-order resolution calculus can be used to transform cut-free parts of π (the proof projections) into a cut-fre...
اهمیت آب در کشاورزی در کنار رشد روز افزون جمعیت و ضرورت تأمین غذای مورد نیاز، استفادة بهینه از منابع آب را ضرورت می بخشد. مدلaquacrop ، ارائه شده از سوی سازمان خواربار جهانی، از مدل های شبیه ساز رشد گیاهی است که سعی می کند با استفاده از کاهش تعداد دادة ورودی سهولت کاربری این نرم افزار را افزایش دهد. در این مطالعه، علاوه بر واسنجی و صحت سنجی مدل aquacrop برای گیاه ذرت در منطقة کرج، با استفاده از...
مدل های شبیه ساز رشد محصولات کشاورزی با هدف درک واکنش گیاهان به تغییر شرایط محیطی و ارزیابی صفات فیزیولوژیک و مرفولوژیک گیاه در جهت بهبود عملکرد محصول و کمک به استفاده بهینه از منابع آب و خاک مورد استفاده قرار می گیرند. ارزیابی عملکرد این مدل ها پیش نیاز کاربرد آنها در ارزیابی راه کارهای مدیریتی مختلف می باشد. در این مطالعه، مدل گیاهی ceres-barley از مدل های موجود در بسته نرم افزاری dssat (نسخه...
Cut-elimination is one of the most famous problems in proof theory, and it was defined and solved for first-order sequent calculus by Gentzen in his celebrated Hauptsatz. Ceres is a different cut-elimination algorithm for firstand higher-order classical logic. It is based on the notion of a characteristic set of clauses which is extracted from a proof in sequent calculus and is always unsatisfi...
A study of the time evolution of GERB shortwave calibration by comparison with CERES Edition-3A data
Article history: Received 14 January 2016 Received in revised form 8 August 2016 Accepted 7 September 2016 Available online xxxx This study examines the evolution of the GERB-2 and GERB-1 Edition 1 shortwave radiance calibration between 2004–2007 and 2007–2012 respectively, through comparisonwith CERES instrument FM1Edition 3A SSF instantaneous radiances. Two periods when simultaneous observati...
On 6 March 2015, Dawn arrived at Ceres to find a dark, desiccated surface punctuated by small, bright areas. Parts of Ceres' surface are heavily cratered, but the largest expected craters are absent. Ceres appears gravitationally relaxed at only the longest wavelengths, implying a mechanically strong lithosphere with a weaker deep interior. Ceres' dry exterior displays hydroxylated silicates, i...
Aims. We study the physical characteristics (shape, dimensions, spin axis direction, albedo maps, mineralogy) of the dwarf-planet Ceres based on high-angular resolution near-infrared observations. Methods. We analyze adaptive optics J/H/K imaging observations of Ceres performed at Keck II Observatory in September 2002 with an equivalent spatial resolution of ∼50 km. The spectral behavior of the...
Cut-elimination is the most important proof transformation in logic. Equality is a central paradigm in mathematics and plays a key role in automated deduction. Therefore its importance awakes the necessity of integrating equality into existing cut-elimination methods. In this paper we extend the resolution-based method of cut-elimination CERES to CERES-e by adding equality (and paramodulation t...
The surface elemental composition of dwarf planet Ceres constrains its regolith ice content, aqueous alteration processes, and interior evolution. Using nuclear spectroscopy data acquired by NASA's Dawn mission, we determined the concentrations of elemental hydrogen, iron, and potassium on Ceres. The data show that surface materials were processed by the action of water within the interior. The...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید