Zobrazeno 1 - 10
of 225
pro vyhledávání: '"Michalski, Jan"'
Publikováno v:
In Applied Energy 1 February 2024 355
Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment
Publikováno v:
KKIO 2017 - Software Engineering Conference, Rzesz\'ow, Poland, 14-16 Sept 2017, Software Engineering Research for the Practice, Polish Information Processing Society, pp. 135-150
Integrated Model of Distributed Systems (IMDS) is developed for specification and verification of distributed systems, and verification against deadlocks. On the basis of IMDS, Dedan verification environment was prepared. Universal deadlock detection
Externí odkaz:
http://arxiv.org/abs/1710.02722
Autor:
Michalski Jan P.
Publikováno v:
Polish Maritime Research, Vol 27, Iss 2, Pp 69-75 (2020)
The article presents a parametric method applicable in assessing the suction force of a slender body to the seabed, and prognosing the body extrication time. Along with the body weight in water, the information on the suction force is essential for a
Externí odkaz:
https://doaj.org/article/77714d751535472cb538e689cdce8a9c
Autor:
Michalski Jan P.
Publikováno v:
Polish Maritime Research, Vol 26, Iss 3, Pp 147-152 (2019)
The issue of calculating parameters for lifting objects of axisymmetric shapes from the seabed is studied. The article presents the results of numerical simulation examination of the equation formulated by Foda for the force needed to extricate the o
Externí odkaz:
https://doaj.org/article/e41370e40dc249979967140fb76a8067
Autor:
Michalski, Jan, Bünger, Ulrich
Publikováno v:
HZwei: Das Magazin für Wasserstoff und Brennstoffzellen. Oct2022, Vol. 22 Issue 4, p20-24. 5p.
Autor:
Michalski Jan P.
Publikováno v:
Polish Maritime Research, Vol 24, Iss 1, Pp 42-46 (2017)
The paper presents a method for preliminary estimation of the length of the midship body block, which inserted in the original hull, increases the deadweight of the ship in line with a required quantity. The method may be useful for establishing the
Externí odkaz:
https://doaj.org/article/a0b7f3886ad244038f0f6010d6bb47e9
Autor:
Michalski Jan P.
Publikováno v:
Polish Maritime Research, Vol 23, Iss 2, Pp 19-24 (2016)
The paper presents a method of evaluating the optimal value of the cargo ships deadweight and the coupled optimal value of cargo handling capacity. The method may be useful at the stage of establishing the main owners requirements concerning the ship
Externí odkaz:
https://doaj.org/article/124fe470ad704e20846a83e9208be6b5
Autor:
Michalski Jan P.
Publikováno v:
Polish Maritime Research, Vol 21, Iss 2, Pp 3-8 (2014)
The paper presents a method of choosing the optimal value of the cargo ships deadweight. The method may be useful at the stage of establishing the main owners requirements concerning the ship design parameters as well as for choosing a proper ship fo
Externí odkaz:
https://doaj.org/article/f6254ecf242e4beea1ce51f56a81ebb7
Publikováno v:
HZwei: Das Magazin für Wasserstoff und Brennstoffzellen. Jul2022, Vol. 22 Issue 3, p42-44. 3p.