Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: scenario generation

Sortuj według:

Ogranicz wyniki do:

Asset liability management for the Bank of Uganda defined benefits scheme by stochastic programming

Mukalazi Herbert, Larsson Torbjörn, Kasozi Juma, Mayambala Fred

Operations Research and Decisions

2022

Vol. 32, No. 2

105--124

We develop a model for asset liability management of pension funds, which is solved by stochastic programming techniques. Using data provided by the Bank of Uganda Defined Benefits Scheme, which is closed to new members, we obtain the optimal investment policies. Randomly sampled scenario trees using the mean and covariance structure of the return distribution are used for generating the coefficients of the stochastic program. Liabilities are modelled by remaining years of life expectancy and guaranteed period for monthly pension. We obtain the funding situation of the scheme at each stage, and the terminal cash injection by the sponsor required to meet all future benefit payments, in absence of contributing members.

Kreator scenariuszy testowych do walidacji reaktywnych systemów zamkniętych

Sapiecha K., Strug J., Maksym P.

Czasopismo Techniczne. Informatyka

2007

R. 104, z. 1-I

45-61

Podstawową techniką walidacji w przypadku reaktywnych systemów zamkniętych jest symulacja. Wyznaczenie odpowiedniego zbioru scenariuszy testowych, pozwalających na sprawdzenie poprawności funkcjonalnej i czasowej projektowanego systemu, jest zadaniem trudnym i bardzo pracochłonnym. Zatem duże znaczenie praktyczne ma automatyzacja tego procesu. W niniejszym artykule przedstawiono prototypowe narzędzie implementujące oryginalną metodę generacji scenariuszy testowych dla reaktywnych systemów zamkniętych oraz wyniki eksperymentów przeprowadzonych z jego zastosowaniem.

Simulation is the key validation technique for reactive embedded systems. Generation of a suitable set of test scenarios for checking functional and temporal correctness of a system is a difficult task. Computer-aided test scenarios generation has thus a practical meaning. This paper presents a tool implementing a method of test scenarios generation for reactive embedded systems and the results of experiments carried out with the help of this tool.