Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "the formal control" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Metodyka budowy komputerowych systemów srk
    Methodology of construction of computer systems for atc
    Autorzy:
    Maciejewski, M.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/249222.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    system
    metoda
    sterowanie
    projektowanie
    modelowanie
    automat
    specyfikacja systemu
    opis formalny
    cykl V
    droga przebiegu
    rail traffic
    method
    control
    project
    modeling
    machine (automat)
    specification for the system
    formal description
    cycle V
    route of the Road
    Opis:
    W publikacji przedstawiono ogólne założenia metody tworzenia komputerowych systemów srk. Podstawą metody projektowania systemu srk jest strategia oparta na analizie systemowej uwzględniającej cykl V oraz podejście COTS. Treść publikacji zawiera opisy wybranych etapów projektowania należących do cyklu V. Opisy obejmują własności systemu srk i podstawy metody formalizacji opartej na modelu systemu srk nawiązującym do układu przełączającego (automatu), w którym zostają wyróżnione automaty składowe umożliwiające odwzorowanie funkcji sterowania. Podstawą analizy pracy automatów jest specyfikacja sygnałów oraz wyznaczenie funkcji przejść uzupełnione schematami grafów przejść. Rezultatem powyższej metodyki projektowania jest wypracowana metoda pozwalająca tworzyć bezpieczne komputerowe systemy sterowania ruchem.
    The general assumptions for the method of computer system for atc construction have been presented in the paper. The basis of the method of atr system designing is the strategy resulting from system analysis including V cycle and COTS approach. The descriptions of some designing stages that belong to V cycle have been given. The descriptions contain the atr system properties and the basis of formalization method. The basis of machines work analysis is specification of signals and definition of transfer function completed with schemes of transfer graphs. The result of mentioned above methodology of designing is the method allowing to create computer systems for traffic control.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2011, 96, z. 158; 289-305
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Polish model of judicial review of decisions taken by the President of the Office of Competition and Consumer Protection
    Autorzy:
    Madej, Beata Agnieszka
    Powiązania:
    https://bibliotekanauki.pl/articles/1367996.pdf
    Data publikacji:
    2017
    Wydawca:
    Wyższa Szkoła Bankowa we Wrocławiu
    Tematy:
    the hybridprocedure
    the formal control
    civil cases in the formal sense
    the adversarial principle
    legality
    criteria of purposefulness and thrift
    Opis:
    The research effort in the aspect of a model of a court control of a decision issued by the President of the Office for Competition and Consumer Protection is predominantly supported by significance and importance of applicable legal solutions in practice. The research was aimed at evaluating the model of court control of decisions of the OCCP President.
    Źródło:
    Central and Eastern European Journal of Management and Economics (CEEJME); 2017, No. 2; 101-114
    2353-9119
    Pojawia się w:
    Central and Eastern European Journal of Management and Economics (CEEJME)
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Paradoxes of formal social control. Criminological aspects of foreigners access to the polish territory and the labour market
    Autorzy:
    Szulecka, Monika
    Powiązania:
    https://bibliotekanauki.pl/articles/1788422.pdf
    Data publikacji:
    2021-06-22
    Wydawca:
    Polska Akademia Nauk. Instytut Nauk Prawnych PAN
    Tematy:
    formalna kontrola społeczna
    dostęp cudzoziemców do rynku pracy
    nielegalna migracja
    wyłudzanie dokumentów
    nadużycia prawa migracyjnego
    formal social control
    foreigners’ access to the labour market
    irregular migration
    document fraud
    abuses of immigration rules
    Opis:
    The aim of the paper is to present selected results of the analysis of the impact of migration policies in the context of development of such criminal phenomena as organising irregular migration or document fraud linked to it. One of the elements of the analysis was the identification of mechanisms of formal social control in reference to the example of functioning of a simplified system aimed at controlling foreigners’ access to the labour market in Poland. In practice, the system has brought also consequences in the form of breaches of penal law. Paradoxically, in the Polish case not more restrictions, but simplifications in the area of foreigners’ access to the labour market have determined in recent years the landscape of irregular migration. Due to the characterof the recognised (administrative or penal) law infringements, the phenomenon may be rather called semi-legal or half-legal migration, since its specificity is the apparent compliance with the laws on entry, stay or work of foreigners, and the simplified procedure of admitting foreigners to the labour market can be helpful in this respect. However, more in-depth reflection allows for identification of law infringements within these actions, which may stem from ambiguous or incomplete legal norms. The differences in perceptions of the abuses of the simplified system of employing foreigners and in responses to them identified in the qualitative study lead to the conclusion that formal social control sometimes contributes to the development of negative phenomena, although the expected result of it is preventing them.
    Źródło:
    Biuletyn Kryminologiczny; 2016, 23; 79-95
    2084-5375
    Pojawia się w:
    Biuletyn Kryminologiczny
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies