Wyniki wyszukiwania - BazTech

1

Psychologia w gabinecie – komunikacja z pacjentem. Cz. III – mity panujące wśród pacjentów prezbiopijnych

Pyżalska Paulina, Krasucka Luiza

Optyka

|

2019

|

Nr 4

30--32

PL

W gabinecie optometrysty regularnie spotykamy się z mitami panującymi wśród pacjentów, dotyczącymi widzenia i ochrony wzroku. Dziś zajmiemy się tymi, które spotkać możemy u pacjentów prezbiopijnych i zastanowimy się nad tym, z czego mogą wynikać i jak możemy zapobiegać ich rozprzestrzenianiu. Pacjenci prezbiopijni stają się coraz liczniejszą grupą, jeśli chodzi o osoby odwiedzające nas w gabinecie, ze względu na starzenie się społeczeństwa. Zgodnie z danymi GUS, osoby w wieku 45 i więcej stanowią już 43,8% populacji Polski. Dla porównania, w roku 2000 było to 34,8%, a w 1990 – 29,8%. Ich problemy natomiast stają się bardziej uciążliwe ze względu na to, że coraz więcej stanowisk pracy wyposażonych jest w komputery i inne urządzenia elektroniczne. Mity te zostały podzielone na trzy części związane z możliwościami ich korygowania za pomocą okularów jednoogniskowych, okularów progresywnych i multifokalnych soczewek kontaktowych.

2

Psychologia w gabinecie – komunikacja z pacjentem. Cz. II – czym jest atrybucja

Pyżalska Paulina, Krasucka Luiza

Optyka

|

2019

|

Nr 3

32--33

PL

W poprzednim artykule – pierwszym z naszego cyklu – mowa była o schematach poznawczych, które ułatwiają nam poruszanie się w świecie i szybsze podejmowanie decyzji kosztem zupełnie drobnych lub bardziej poważnych błędów. Okazuje się, że w kontaktach społecznych, w których uczestniczymy na co dzień (także wykonując naszą pracę), czujemy się pewniej, jeśli stworzymy sobie pewien „profil psychologiczny” osób, z którymi mamy do czynienia. Jednak jego tworzenie przypomina tworzenie schematów poznawczych – dostępne dane uzupełniamy w oparciu o nasze poprzednie doświadczenia. Błędy są tu więc możliwe do popełnienia na kilku etapach: najpierw przy zbieraniu danych, które będziemy uzupełniać, a w końcu nawet o tych cechach ludzi, które uznajemy za ich własne, wnioskujemy z zachowań, zaś konkretne zachowania mogą przez nas zostać uznane za wynikające z innej cechy niż przez kogoś innego….

3

Cooperation of multiple autonomous robots and analysis of their swarm behawior

Czejdo B., Daszczuk W. B., Grabski W., Bhattacharya S.

Autobusy : technika, eksploatacja, systemy transportowe

|

2018

|

R. 19, nr 12

872--879

EN

In this paper, we extended previous studies of cooperating autonomous robots to include situations when environmental changes and changes in the number of robots in the swarm can affect the efficiency to execute tasks assigned to the swarm of robots. We have presented a novel approach based on partition of the robot behavior. The sub-diagrams describing sub-routs allowed us to model advanced interactions between autonomous robots using limited number of state combinations avoiding combinatorial explosion of reachability. We identified the systems for which we can ensure the correctness of robots interactions. New techniques were presented to verify and analyze combined robots’ behavior. The partitioned diagrams allowed us to model advanced interactions between autonomous robots and detect irregularities such as deadlocks, lack of termination etc. The techniques were presented to verify and analyze combined robots’ behavior using model checking approach. The described system, Dedan verifier, is still under development. In the near future, timed and probabilistic verification are planned.

PL

W artykule opisano kontynuację wcześniejszych badań dotyczących współpracy autonomicznych robotów wewnątrz budynku. Obejmują one obejmują sytuacje, w których zmiany środowiska i zmiana liczby robotów w roju mogą poprawić lub pogorszyć efektywność wykonywania zadań przypisanych do roju robotów. Zaprezentowaliśmy nowatorskie podejście z wykorzystaniem dzielenia zachowań robota na zachowania składowe. Poddiagramy opisujące kładowe podmarszruty pozwoliły nam modelować zaawansowane interakcje między autonomicznymi robotami w oparciu o ograniczoną liczbę kombinacji zachowań, unikając eksplozji kombinatorycznej przestrzeni osiągalności. Opisano systemy, dla których możemy zapewnić poprawność interakcji robotów i zaprezentowano techniki weryfikacji i analizy zachowań połączonych robotów. Diagramy podzielone na partycje pozwoliły nam modelować zaawansowane interakcje pomiędzy autonomicznymi robotami i wykrywać nieprawidłowości, takie jak zakleszczenia, brak terminacji itp. Przedstawiono techniki weryfikacji i analizy złożonych zachowań robotów za pomocą techniki weryfikacji modelowej. Opisany system weryfikacji, Dedan, jest wciąż rozwijany. W niedalekiej przyszłości planowana jest weryfikacja z czasem rzeczywistym i probabilistyczna.