- Full text PDF available (8)
One approach for creation of a graphical environment for AUV mission programming and veriication is described in the paper. It is based on a Petri net theory. The results of the AUV mission programming and veriication using the graphical environment are supplemented.
The problem of Petri nets application to real-world parallel and distributed systems of industrial size causes developing of the compositionality within the theory of Petri nets. This paper presents a tools which is an attempt in resolving this problem. We suggest solution based on an algebraic approach of Petri net representation. Two levels of… (More)
It is well known that Erlang C and Erlang B models play an important role in telephony call centers as they allow estimating workforce demand for inbound and outbound calls. At the same time for real-world call centers these modes are quite limited as they do not take into consideration abandonment of calls. In operational research the queue model that… (More)
The calculation of dimensions is a useful tool to quantify structural information of artificial and natural objects. There are some types of dimension : the Euclidean one, the Hausdorff-Besicovitch dimension, and so on. We are going to work with the fractal dimension in the special case of text documents. There are many objects which fractal dimension… (More)