Wyniki wyszukiwania - BazTech

1

Solving SAT in a distributed cloud: A portfolio approach

Ngoko Yanik, Cérin Christophe, Trystram Denis

International Journal of Applied Mathematics and Computer Science

|

2019

|

Vol. 29, no. 2

261--274

EN

We introduce a new parallel and distributed algorithm for the solution of the satisfiability problem. It is based on an algorithm portfolio and is intended to be used for servicing requests in a distributed cloud. The core of our contribution is the modeling of the optimal resource sharing schedule in parallel executions and the proposition of heuristics for its approximation. For this purpose, we reformulate a computational problem introduced in a prior work. The main assumption is that it is possible to learn optimal resource sharing from traces collected on past executions on a representative set of instances. We show that the learning can be formalized as a set coverage problem. Then we propose to solve it by approximation and dynamic programming algorithms based on classical greedy algorithms for the maximum coverage problem. Finally, we conduct an experimental evaluation for comparing the performance of the various algorithms proposed. The results show that some algorithms become more competitive if we intend to determine the trade-off between their quality and the runtime required for their computation.

2

Model matematyczny wyliczania masy węgla i skały płonnej uzyskiwanych z wyrobisk eksploatacyjnych przy różnych postępach ścian

Krowiak A.

Prace Naukowe GIG. Górnictwo i Środowisko / Główny Instytut Górnictwa

|

2011

|

nr 4

65-72

PL

W artykule przedstawiono model matematyczny służący do zautomatyzowania obliczeń bilansu mas węgla oraz skały płonnej dla każdego z dni roboczych składających się na projekt udostępnienia i wydobycia zasobów. Danymi wejściowymi do tego modelu są: wymiary geometryczne poszczególnych wyrobisk eksploatacyjnych, czas od rozpoczęcia projektu do rozpoczęcia eksploatacji pierwszego wyrobiska, czas przezbrojeń, udział węgla surowego w masie urobku, przeliczniki objętości węgla oraz skały płonnej na ich masę. Zmiennymi sterującymi są postępy dzienne ścian w poszczególnych wyrobiskach. Na wyjściu modelu otrzymuje się masę węgla surowego oraz skały płonnej dla kolejnych dni roboczych projektu. Funkcje modelu same wyliczają czas potrzebny na wyeksploatowanie danego pola oraz budują harmonogram projektu – w zależności od wariantów wartości zmiennych sterujących.

EN

The article presents a mathematical model designed for the automation of calculations of the coal and waste rock balance for each of the working days relating to the project of development and exploitation of resources. The input data to this model are: geometric dimensions of individual exploitation workings, time from the start of the project to the beginning of exploitation of the first working, time of rearrangements, shares of raw coal in the mined coal mass, factors of conversion of the volume of coal and waste rock on their mass. Steering variables are longwall daily advances in individual workings. On the outlet of the model one obtains the mass of raw coal and waste rock for successive working days of the project. The model functions calculate the time necessary for the exploitation of the given panel and build the time schedule of the project – according to the variants of the value of steering variables.

3

Współtworzenie wartości z klientami zorientowane na innych klientów

Doligalski T.

Nowoczesne Systemy Zarządzania

|

2009

|

T. 4, nr 1

253--265

EN

Co-creating values performed by customer and oriented at other customers is an interesting managerial concept. Its essence is based on the promise, that some customers are beneficiaries of other customers actions. The application possibilities of this concept are huge, however development of news skills and assets may be needed. In the paper various approaches to co-creating values are presented and a categorization of this phenomena is proposed.