Explicit solutions for a probabilistic moraine preservation model
نویسندگان
چکیده
منابع مشابه
A Progress Measure for Explicit-State Probabilistic Model-Checkers
Verification of the source code of a probabilistic system by means of an explicit-state model-checker is challenging. In most cases, the model-checker will either run out of memory or will simply not terminate within any reasonable amount of time. We introduce the notion of a progress measure for such a model-checker. The progress measure returns a number in the interval [0, 1]. This number pro...
متن کاملExplicit solutions for a nonlinear model of financial derivatives
Families of explicit solutions are found to a nonlinear Black-Scholes equation which incorporates the feedback-effect of a large trader in case of market illiquidity. The typical solution of these families will have a payoff which approximates a strangle. These solutions were used to test numerical schemes for solving a nonlinear Black-Scholes equation.
متن کاملExplicit Solutions for a Long-Wave Model with Constant Vorticity
Explicit parametric solutions are found for a nonlinear long-wave model describing steady surface waves propagating on an inviscid fluid of finite depth in the presence of a linear shear current. The exact solutions, along with an explicit parametric form of the pressure and streamfunction give a complete description of the shape of the free surface and the flow in the bulk of the fluid. The ex...
متن کاملExplicit exact solutions for variable coefficient Broer-Kaup equations
Based on symbolic manipulation program Maple and using Riccati equation mapping method several explicit exact solutions including kink, soliton-like, periodic and rational solutions are obtained for (2+1)-dimensional variable coefficient Broer-Kaup system in quite a straightforward manner. The known solutions of Riccati equation are used to construct new solutions for variable coefficient Broer...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Glaciology
سال: 2016
ISSN: 0022-1430,1727-5652
DOI: 10.1017/jog.2016.109