... Форумы > Разное > Тема . ... Форумы Список тем Новая тема . ... Help to solve . Consider a classical solving problem with initial situation I={}, goal G={q,r} and actions a and b with Prec(a)={}, Add(a)={q}, Del(a)={}; Prec(b)={q}, Add(b)={r}, Del(b)={q}. Encode this planning problem with horizon n=1 (i.e. actions at tome t=0 only ) as a SAT problem and show its infeasibility following the steps of a SAT solver. ... Сайт работает с 29.08.2000, Copyright 2000 2011 MMOnline.Ru and MMForce.Net, . ...

Еще в разделе: (Показать все результаты (>146) - www.mmonline.ru/ )

• MMOnline | Форумы | Разное | Требуется Web - дизайнер.
• Заседание Московского Математического Общества 4 марта 2008 г.
• MMOnline | Форумы | Разное | Что такое "moment map" в контексте

Tsunami Formation as a Result of Resonant Pumping of Energy into the Compressible Water Column Mikhail Nosov1, Sergey Kolesov1, Andrey Babeyko2, and Rongjiang Wang2 (1) M.V. Lomonosov Moscow State University, Faculty of Physics, Moscow, Russian Federation (m.a.nosov@mail.ru) (2) Deutsches GeoForschungsZentrum GFZ, Telegrafenberg, 14473 Potsdam, Germany (babeyko@gfz-potsdam.de) Strong bottom earthquakes that excite gravitational tsunami waves give rise to hydroacoustic waves as well. ...

Еще в разделе: (Показать все результаты (>16) - ocean.phys.msu.ru/ )

• http://ocean.phys.msu.ru/science/nosov/EGU2011_tsunami%20vs%20eq.pdf
• http://ocean.phys.msu.ru/courses/stathyd/2001%20Ferrari%20et%20al.%2C%20The%20temperature-salinity%20relationship%20of%20the%20mixed%20layer.pdf
• http://ocean.phys.msu.ru/courses/geo/lectures-addons/15/2001%20Demorest%2C%20Dynamo%20theory%20and%20Earth's%20magnetic%20field%20.pdf

... The nonlinearity has the form of a sigmoid function of two parameters a and b. The zoning of the plane (b; a) with respect to the number and type of stationary states (critical points) for the model under consideration is performed. ... The function g(u) (called a shot function) is expressed by g(u; a; b) = 1 1 + a exp(\Gammabu) (2) where the parameters a and b are positive. ... Analysis of critical points. ... The center­type stable critical points correspond to a minimum of the function U (u) [3]....

Еще в разделе: (Показать все результаты (>295) - num-anal.srcc.msu.ru/ )

• http://num-anal.srcc.msu.su/list_wrk/ps/b1_47.ps
• http://num-anal.srcc.msu.su/meth_mat/parl_prg/pr2_2.htm
• http://num-anal.srcc.msu.su/eng_math/redict/20.htm

... Data . ... Planetary perturbations during geomagnetic storms are measured by the Dst index, which is the deviation of variation of the magnetic field from the undisturbed level, averaged over the values measured at the control chain of magnetic stations located in the low latitudes. ... To predict the hourly values of the Dst index, artificial neural networks (ANN) of perceptron type are used. ... Loading of the data on the values of the Dst index and forecast update are performed twice per hour. ...

Еще в разделе: (Показать все результаты (>103) - swx.sinp.msu.ru/ )

• SWX - Магнитосфера

... Distribution of neutron counting rate near the Earth surface is studied in two directions - to the Earth and from it - according experimental data, obtained in Moscow in 1996. ... We suppose that logarithmically normal distribution describes an input of the Earth crust into the neutron flux. ... Usual periods . ... Full approximation of thermal neutrons distribution near the Earth crust is presented as a sum of two functions - Poison distribution and logarithmically normal distribution. ...

Еще в разделе: (Показать все результаты (>90) - www.kosmofizika.ru/ )