نتایج جستجو برای: finite history
تعداد نتایج: 606534 فیلتر نتایج به سال:
Numerical Approximation of the Black-Scholes Equations: A Practical Experience By Dylan Connor Black and Scholes equations for pricing of derivatives are an interesting and up-to-date topic of research, where both backgrounds in math and finance are fundamentals. In this work we aim at experiencing the mathematical approach and the numerical approximation of this differential problem. We will a...
this thesis basically deals with the well-known notion of the bear-invariant of groups, which is the generalization of the schur multiplier of groups. in chapter two, section 2.1, we present an explicit formula for the bear-invariant of a direct product of cyclic groups with respect to nc, c>1. also in section 2.2, we caculate the baer-invatiant of a nilpotent product of cyclic groups wuth resp...
In the present paper, nonlinear behavior of mass concrete simulated by smeared crack model is combined with Endurance Time Analysis (ETA) method for studying seismic response of arch dams. ETA is a time-history based dynamic pushover procedure in which special predesigned intensifying acceleration functions are used for analysis and estimation of structural responses in various performance leve...
In the present work, a model was proposed to predict the thermal history during rapid solidification (RS) of metal droplets in the gas atomization process. The classical theory of heterogeneous nucleation was based on Newtonian heat flow and enthalpy method. Solving the governing numerical equations by the finite difference method (FDM) gave up the opportunity of analyzing the temperature-time ...
A history at date t ≥ 1 (or a t-history) is a full description of all that has transpired in the past, up to and including date t − 1. Obviously, a t-history may be identified with a finite sequence of action profiles up to t − 1. To streamline the definitions, introduce an arbitrary singleton h(0) which will serve as a (the) 0-history. Let H(t) be the set of all (feasible) t-histories, to be d...
We propose an efficient method to evaluate a large class of history-based policies written as logic programs. To achieve this, we dynamically compute, from a given policy set, a finite subset of the history required and sufficient to evaluate the policies. We maintain this history by monitoring rules and transform the policies into a non history-based form. We further formally prove that evalua...
We show undecidability of hereditary history preserving bisimilarity for finite asynchronous transition systems by a reduction from the halting problem of deterministic 2-counter machines. To make the proof more transparent we introduce an intermediate problem of checking domino bisimilarity for origin constrained tiling systems. First we reduce the halting problem of deterministic 2-counter ma...
Dynamic behavior of ground supported cylindrical storage tanks (CST) is of crucial importance because of its applications in industrial complexes. Seismic behavior of tanks is greatly affected by the height to diameter ratio, fluid height and fluid type. Five CSTs with different height to diameter ratios, three CSTs with the same height and diameters but various fluid heights and one CST with t...
In the case of study on the seismic behavior of tanks, one of the most important subjects is selection of convective and impulsive frequencies for storage tanks. These two frequencies are defined by Housner. The major utility of these frequencies is for Rayleigh damping which is a must for time history analysis. API 650, EUROCODE 8 have suggested some analytical solutions for finding convective...
This paper describes a finite-state morphological analyzer of Modern Standard Arabic words that can be tested on the Internet. An overview of the system is provided, including the history, the finite-state technology, and the dictionary coverage. This research system is scheduled for testing and commercial development in 2001.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید