HASL: A new approach for performance evaluation and model checking from concepts to experimentation
نویسندگان
چکیده
منابع مشابه
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
We introduce the Hybrid Automata Stochastic Language (HASL), a new temporal logic formalism for the verification of Discrete Event Stochastic Processes (DESP). HASL employs a Linear Hybrid Automaton (LHA) to select prefixes of relevant execution paths of a DESP. LHA allows rather elaborate information to be collected on-the-fly during path selection, providing the user with powerful means to ex...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولa benchmarking approach to optimal asset allocation for insurers and pension funds
uncertainty in the financial market will be driven by underlying brownian motions, while the assets are assumed to be general stochastic processes adapted to the filtration of the brownian motions. the goal of this study is to calculate the accumulated wealth in order to optimize the expected terminal value using a suitable utility function. this thesis introduced the lim-wong’s benchmark fun...
15 صفحه اولA NEW APPROACH FOR EVALUATION OF SEISMIC SLOPE PERFORMANCE
The evaluation of seismic slope performance during earthquakes is important, because the failure of slope (such as an earth dam, natural slope, or constructed earth embankment) can result in significant financial losses and human. It is important, therefore, to be able to forecast such displacements induced by earthquake. However, the traditional forecasting methods, such as empirical formulae,...
متن کاملA new approach for performance evaluation of energy-related enterprises
Oil is among the most effective and the largest industries in the world. Given that it supplies a large percentage of the world’s energy and plays a significant role in the national power and international credit of countries, it has a huge impact on our world today. Iran has huge oil reserves, and plays a key role in the exchange of the required energy in the world. In order to improve the pe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Performance Evaluation
سال: 2015
ISSN: 0166-5316
DOI: 10.1016/j.peva.2015.04.003