We consider a problem of searching for an unknown target vertex t in a (possibly edge-weighted) graph. Each vertex-query points to a vertex v and the response either admits that v is the target or provides any neighbor s of v that lies on a shortest path from v to t. This model has been introduced for trees by Onak and Parys [FOCS 2006] and for general graphs by Emamjomeh-Zadeh et al. [STOC 2016]. In the latter, the authors provide...

W pracy przedstawiono wyniki badań eksperymentalnych i symulacyjnych związanych z wpływem błędów kształtu narzędzia na błędy ksztaltu przedmiotu szlifowanego w układzie docierarki jednotarczowej. Szlifowanie realizowane było z wykorzystaniem specjalnych narzędzi z możliwością regulacji przekroju promieniowego.

Przedstawiono metodę wyznaczania współrzędnych nieruchomego celu na podstawie namiarów wykonywanych w sonarze pasywnym. Określono wymagania odnośnie ruchu sonaru, przy których błędy wyznaczania współrzędnych są minimalne. Podano zależności umożliwiające analityczne wyznaczanie błędów współrzędnych. Poprawność wyników analizy potwierdzono eksperymentami numerycznymi.

W pracy przedstawiono przyczyny i efekty błędów prowadzenia materiału na wielopiłach tarczowych. Ich znajomość umożliwia szybką diagnostykę przyczyn, a także skuteczną minimalizację błędów prowadzenia materiału.

The analysis of the conservative properties of the shallow water equations is presented in the paper. The work focuses on the consistency of numerical solution of these equations with the conservation laws of mass and momentum. The investigations involve two different conservative forms which are solved by an implicit box scheme. The theoretical analysis supported by numerical experiments is carried out for rectangular channel...