Wyniki wyszukiwania - BazTech

1

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

Albert Elvira, Bezirgiannis Nikolaos, de Boer Frank, Martin-Martin Enrique

Fundamenta Informaticae

|

2020

|

Vol. 177, nr 3/4

203--234

EN

We present a formal translation of a resource-aware extension of the Abstract Behavioral Specification (ABS) language to the functional language Haskell. ABS is an actor-based language tailored to the modeling of distributed systems. It combines asynchronous method calls with a suspend and resume mode of execution of the method invocations. To cater for the resulting cooperative scheduling of the method invocations of an actor, the translation exploits for the compilation of ABS methods Haskell functions with continuations. The main result of this article is a correctness proof of the translation by means of a simulation relation between a formal semantics of the source language and a high-level operational semantics of the target language, i.e., a subset of Haskell. We further prove that the resource consumption of an ABS program extended with a cost model is preserved over this translation, as we establish an equivalence of the cost of executing the ABS program and its corresponding Haskell-translation. Concretely, the resources consumed by the original ABS program and those consumed by the Haskell program are the same, considering a cost model. Consequently, the resource bounds automatically inferred for ABS programs extended with a cost model, using resource analysis tools, are sound resource bounds also for the translated Haskell programs. Our experimental evaluation confirms the resource preservation over a set of benchmarks featuring different asymptotic costs.

2

Development trends of the international derivatives market

Motorniuk U., Terebukh M., Kharchuk V.

ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes

|

2016

|

Vol. 5, No 1

63--71

EN

The factors forming international derivatives market trends are researched in this article. The history of the formation of the global derivatives market was analyzed, in particular, events which have led to the growth of the derivatives market. Global derivatives market has revealed major changes in its trends and witnessed the gradual transformation of its structure, observed in recent years. Global derivatives market has revealed major changes in its trends and witnessed the gradual transformation of its structure, observed in recent years. Derivative risks were considered. Benefits of derivatives make them indispensable to the global financial system and the economy The essence, purpose and benefits of the use of derivatives and their role in the modern global financial markets analyzed. The classification of derivatives considered. The main uses for derivatives were single out. The dynamics of global exchange and OTC derivatives markets were analyze. Volatility of the economic environment was significantly improved, leading to a significant increase in financial risks and caused both the professional market and to institutional investors in dire need of new types of derivatives that would enable to effectively hedge to reduce losses in the event of unfavorable changes market and receive additional income from speculative transactions in the market. Possibility of exchange trading for OTC derivatives was emphasized. Courtesy comparative description of the scope and structure of the exchange and OTC derivatives markets were provided. The dynamics of world markets, interest rate derivatives and currency derivatives and studied their structure. The main trends and prospects of the modern international derivatives market are determined.

3

Ograniczanie wpływu zmienności cen surowców na wartość wyceny inwestycji górniczych

Ranosz R.

Przegląd Górniczy

|

2011

|

T. 67, nr 9

129--131

PL

Artykuł został poświęcony zagadnieniu zmienności cen surowców w kontekście wyceny inwestycji górniczych. Przeprowadzone w oparciu o metody dyskontowe analizy zmierzające do określenia wartości złoża lub wybranej inwestycji górniczej potwierdzają fakt, iż cena surowca jest jednym z najistotniejszych czynników warunkujących końcową wartość wyceny. Prognozowanie cen surowców dla uzyskania wiarygodniejszej oceny opłacalności inwestycji wydaje się w tym przypadku jak najbardziej zasadne i wskazane. Należy jednak mieć na uwadze fakt, iż zmniejszające się wraz z wydłużającym się okresem inwestycji prawdopodobieństwo wyznaczenia wiarygodnej ceny surowca, znacznie utrudnia właściwe określenie wartości inwestycji. Dla uzyskania zamierzonej wiarygodności wyceny inwestycji górniczych, Autor proponuje wprowadzenie założenia o niezmienności cen surowców w całym okresie trwania inwestycji. Przypadek ten wiąże się z kosztem utrzymania ceny na niezmiennym poziomie, którym według Autora może być wielkość depozytu zabezpieczającego przy zakupie kontraktów terminowych (np. futures) na surowiec oferowany przez dane przedsiębiorstwo.

EN

This article has been devoted to the issue of volatility in commodity prices in the context of the valuation of investment in mining. Carried out based on the discount method of analysis aimed at determining the value of the deposit or the selected mining investments reaffirm the fact that the price of raw materials is one of the most important factors determining the final valuation. Forecasting commodity prices in order to obtain more reliable assessment of the profitability of investments seems to be in this case the most reasonable and appropriate. It should however be borne in mind that decreasing along with prolonging the period of investment is likely to appoint a reliable raw material prices, significantly impedes a proper definition of investment value. For the credibility of the valuation, the author proposes the introduction of assumptions about the immutability of commodity prices throughout the period of the investment. This case involves the expense of maintaining prices at the same level, which according to the author may be the size of the margin on the purchase of futures contracts (e.g. futures) on the raw material offered by the company.

4

Rozwiązania prawne i organizacyjne w handlu futures i opcjami na giełdzie terminowych instrumentów finansowych : MATIF w latach 1986-1999

Tokarski M., Kucharek D.

Zeszyty Naukowe / Wyższa Szkoła Oficerska Sił Powietrznych

|

2008

|

Nr 1

140--149

PL

Duże zainteresowanie inwestowaniem w terminowe instrumenty finansowe we Francji stało się przyczyną utworzenia pierwszej w tym kraju giełdy, która w zorganizowany sposób zajmowała się handlem opcjami i kontraktami futures. Rozwiązania wprowadzone w pierwszym okresie funkcjonowania rynku giełdowego, w zakresie organizacji handlu, bardzo szybko okazały się niewystarczającymi. Szybki rozwój informatyki poszerzał możliwości handlu futures i opcjami na giełdzie terminowej MATIF. Istniejące procedury wymagały więc szybkich zmian, które unowocześniałyby handel i dostosowywały go do rozwiązań istniejących na światowych rynkach derywatów.

5

Znaczenie Giełdy Towarowej na rynku paliw i energii - przykłady zastosowań

Zawiła-Niedźwiecki J., Jadwiszczok J., Jadwiszczok A., Jadwiszczok A.

Polityka Energetyczna

|

2006

|

T. 9, z. spec.

129-142

PL

Artykuł poświęcony został giełdzie towarowej umożliwiającej obrót towarami masowymi oraz obrót instrumentami finansowymi na rynku terminowym. Przedstawiono instytucje rynku towarów giełdowych, uczestników rynku i podstawowe transakcje na rynku kasowym (gotówkowym) oraz na rynku terminowym. W drugiej części zaprezentowano możliwości giełdy towarowej od strony praktycznej. Podano przykład transakcji futures i opcji zakupu węgla przez energetykę, zabezpieczenie eksportera węgla przed niekorzystnym kursem walutowym. Zwrócono uwagę, iż znaczenie rynku giełdowego dla gospodarki wynika z jego funkcji: mobilizacji, wyceny i alokacji kapitału. Zaprezentowano możliwości uczestników rynku, aby ryzyko prowadzenia biznesu mogło zostać zminimalizowane a handel towarami masowymi był bardziej przejrzysty, wystandaryzowany i powszechny. Wskazano podstawowe korzyści dla uczestników rynku giełdy towarowej z uwzględnieniem minimalizacji ryzyka rynkowego wynikające w szczególności z niekorzystnych zmian cen kursu walutowego i cen surowców na rynkach finansowych. Odpowiednia ocena rynku powoduje, że obok zabezpieczenia się (hedging) przed niekorzystnymi jego wahaniami, istnieje realna możliwość generowania dodatkowych zysków dla przedsiębiorstw. Analizując rynek giełdowy, wykazano, iż aktywność polskich przedsiębiorców i managerów w tej dziedzinie jest niewystarczająca.

EN

The article has been dedicated to commodity exchange that enables commodity trading and financial instruments trading on forward market. There have been presented institutions of commodity exchange market, market participants and basic transactions made on spot market (cash market) and forward market. The second part introduces the practical side of the commodity exchange opportunities. The futures type transaction, an option of coal purchase by power industry sector and coal exporter's safeguard before unfavourable foreign exchange rate have been used as illustrations. It has been emphasised that exchange market significance for the economy is due to its functions i.e. mobilization, capital valuation and allocation. There have been depicted market participants opportunities to minimize business risk and make commodity trading more transparent, standardised and common. Basic advantages for the commodity exchange participants have been shown with special emphasis on market risk minimization in case of unfavourable changes of the exchange rate and raw materials prices on the financial markets. The right market evaluation provides both hedging that prevents from its adverse fluctuations and real possibility of enterprises additional profits generation. While analyzing the commodity market it has been pointed out that Polish entrepreneurs' and managers' activities in this branch are not satisfactory.