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ę "LOTOS" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions
    Autorzy:
    Hnatkowska, B.
    Huzar, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/908339.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    informatyka
    programowanie
    statecharts
    UML
    LOTOS
    Opis:
    The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2001, 11, 2; 537-556
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Specyfikacja formalna protokołów prostych magistral polowych
    Formal specyfication of small fieldbus protocols
    Autorzy:
    Pelc, L.
    Trybus, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/156290.pdf
    Data publikacji:
    2005
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    protokoły polowe
    metody formalne
    język LOTOS
    Opis:
    Scharakteryzowano problem formalnego specyfikowania protokołów komunikacyjnych dla magistral polowych. Wskazano dwa sposoby uwzględniania upływu czasu oraz omówiono zagadnienie jawnego specyfikowania ograniczeń czasowych komunikacji. Weryfikację poprawności systemu ze specyfikowanym protokołem ograniczono do testów. Zastosowano język specyfikacji LOTOS oraz jego czasowe rozszerzenie RT-LOTOS. Rozważania zilustrowano prostym przykładem protokołu Master-Slave, powszechnie stosowanym w małych systemach rozproszonych.
    The problem of fieldbus protocol formal specification is characterized. Two techniques of time elapsing are indicated. Explicit specification of time constraints is described. Verification of a system that uses specified protocol is carried out by means of tests, LOTOS specification language and its RT-LOTOS real time extension is used. Considerations are illustrated by simple example of Master-Slave protocol employed for vertical communication in small distributed system.
    Źródło:
    Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 14-15
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ocena zrozumiałości sprawozdania z działalności grupy LOTOS SA z wykorzystaniem aplikacji JASNOPIS
    Evaluation of the management report understandability with the use of the JASNOPIS application
    Autorzy:
    Krasodomska, Joanna
    Powiązania:
    https://bibliotekanauki.pl/articles/593304.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Ekonomiczny w Katowicach
    Tematy:
    JASNOPIS
    LOTOS
    Sprawozdanie z działalności
    Zrozumiałość
    Management report
    Understandability
    Opis:
    Sprawozdanie z działalności to istotne źródło informacji o wynikach działalności spółek. Podobnie jak sprawozdanie finansowe, także sprawozdanie z działalności powinno cechować się zrozumiałością. W artykule przeprowadzono ocenę zrozumiałości sprawozdania z działalności Grupy LOTOS SA z wykorzystaniem aplikacji JASNOPIS. Jej wyniki pozwalają stwierdzić, że sprawozdanie zostało napisane trudnym językiem, w szczególności we fragmentach poruszających problem ochrony środowiska, badań i rozwoju czy strategii.
    Management report is an important source of information about the results of the company’s performance. Like the financial statement, the management report should be understandable. The article presents the use of the JASNOPIS application to assess the understandability of the LOTOS Group SA management report. The results reveal that the language in which the report has been written is difficult. This is particularly the case with the parts concerning the environmental protection, research and development or strategy.
    Źródło:
    Studia Ekonomiczne; 2016, 268; 135-143
    2083-8611
    Pojawia się w:
    Studia Ekonomiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Price war on the polish petrol market
    Autorzy:
    Karaś, Dariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/1179128.pdf
    Data publikacji:
    2017
    Wydawca:
    Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
    Tematy:
    Price war
    game theory
    lotos
    metagame
    orlen
    petrol market
    prisoner’s dilemma
    Opis:
    Petrol market is very peculiar sector of economy. In Poland the biggest refineries are under control of government. This paper is first stage of analysis polish petrol market. By petrol market in this case we understand retail sale of fuel. The main purpose of this research is to analyze if cooperation between two biggest companies on market is possible and what type of cooperation should they choose. The direction of this analysis is to build a model that will explain which strategies are the best for the market and for those refineries. In this paper is showed only introduction and assumes to procedure of building this model.
    Źródło:
    World Scientific News; 2017, 85; 13-19
    2392-2192
    Pojawia się w:
    World Scientific News
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bezpieczeństwo paliwowe w sektorze naftowym - przejęcie Grupy Lotos i PGNiG przez Orlen
    Fuel Safety in the Oil Sector – Takeover of Grupa Lotos and PGNiG by Orlen
    Autorzy:
    Osemek, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/34603536.pdf
    Data publikacji:
    2024-06
    Wydawca:
    Najwyższa Izba Kontroli
    Tematy:
    bezpieczeństwo energetyczne
    sektor naftowy
    połączenie Orlenu z Grupą Lotos
    środki zaradcze
    infrastruktura dla ropy naftowej
    energy safety
    oil sector
    merger between Orlen and Grupa Lotos
    preventive measures
    infrastructure for oil
    Opis:
    Sektor naftowy jest jednym z kluczowych obszarów bezpieczeństwa energetycznego państwa. Jego zapewnienie oznacza utrzymywanie infrastruktury technicznej na wysokim poziomie sprawności i przepustowości, jak też zapasów interwencyjnych oraz rezerw strategicznych zgodnych z zapotrzebowaniem. Przez ostatnie dwa lata, w związku z atakiem Rosji na Ukrainę, sektor ten był narażony na przerwy w dostawach ropy naftowej oraz produktów ropopochodnych. Nie bez znaczenia były w tym czasie zmiany w nim zachodzące, wynikające z decyzji rządu o połączeniu strategicznych spółek paliwowo-energetycznych: Orlen SA, Grupy Lotos SA oraz Polskiego Górnictwa Naftowego i Gazownictwa SA1 . Wiązały się one z istotnym ryzkiem dla bezpieczeństwa paliwowego, ale pokazały też potencjał państwa polskiego.
    The audit was dedicated to the state’s fuel safety in the oil sector. It was aimed at assessing the activities of the government administration bodies and oil sector companies owned by the State Treasury and comprising the regularity of the merger between Orlen and Grupa Lotos, and then the Polish Oil and Gas Company (Polish: Polskie Górnictwo Naftowe i Gazownictwo SA, PGNiG), considering the provisions of the European Commission and the Office of Competition and Consumer Protection (Polish: Urząd Ochrony Konkurencji i Konsumentów, UOKiK). The audit was conducted at the Ministry of State Assets, the Ministry of Climate and Environment, the Office of the Government Proxy for Strategic Energy Infrastructure, PERN SA and OGP Gaz-System SA companies. Orlen, which was supposed to be subject to the audit, prevented the audit proceedings from being conducted.
    Źródło:
    Kontrola Państwowa; 2024, 69, 3 (416); 44-63
    0452-5027
    Pojawia się w:
    Kontrola Państwowa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Specificity of Geotechnical Measurements and Practice of Polish Offshore Operations
    Autorzy:
    Łączyński, B.
    Wróbel, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/117304.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
    Tematy:
    Offshore Operations
    Geotechnical Measurement
    Polish Baltic Coast
    Lotos Petrobaltic
    Offshore Technology
    Offshore Market
    Geotechnical Engineering
    Oilfield Infrastructure
    Opis:
    As offshore market in Europe grows faster and faster, new sea areas are being managed and new ideas on how to use the sea potential are being developed. In North Sea, where offshore industry conducts intensive expansion since late 1960s, numerous wind farms, oil and gas platforms and pipelines have been put into operation following extensive research, including geotechnical measurement. Recently, a great number of similar projects is under development in Baltic Sea, inter alia in Polish EEZ, natural conditions of which vary from the North Sea significantly. In this paper, those differences are described together with some solutions to problems thereby arising.
    Źródło:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 4; 579-584
    2083-6473
    2083-6481
    Pojawia się w:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Study on the removal efficiency of antibiotics in coastal wetlands by Suaeda and Nelumbo nucifera
    Autorzy:
    Ma, Junwen
    Cui, Yubo
    Kuang, Peijing
    Ma, Chengdong
    Zhang, Mingyue
    Chen, Zhaobo
    Zhao, Ke
    Powiązania:
    https://bibliotekanauki.pl/articles/27311559.pdf
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Czasopisma i Monografie PAN
    Tematy:
    coastal wetlands
    antibiotics
    Suaeda
    Nelumbo nucifera
    phytoremediation
    tereny podmokłe
    tereny przybrzeżne
    antybiotyki
    sodówka
    lotos orzechodajny
    oczyszczanie wody
    biooczyszczanie
    Opis:
    This study mainly focused on the current situation of antibiotic pollution in coastal wetlands by screening for four common antibiotics (norfloxacin – NOR, ofloxacin – OFL, azithromycin – AZM, and roxithromycin – RXM) and two coastal wetland plants (Suaeda and Nelumbo nucifera), to determine the removal of antibiotic pollution by phytoremediation technology and its mechanism. We aimed to provide ideas for the remediation of antibiotics in coastal wetlands and their mechanisms of action in the context of intensive farming. The results showed that both plants had remediation effects on all four antibiotics, the phytoremediation of NOR and OFL was particularly significant, and the remediation effect of N. nucifera was better than that of Suaeda . The removal rates of the four antibiotics by Suaeda and N. nucifera at low antibiotic concentrations (10–25 μg/L) reached 48.9–100% and 77.3–100%, respectively. The removal rates of the four antibiotics at high antibiotic concentrations (50–200 μg/L) reached 7.5–73.2% and 22–84.6%, respectively. Moreover, AZM was only detected in trace amounts in the roots of N. nucifera, and RXM was not detected in either plant body.
    Źródło:
    Archives of Environmental Protection; 2023, 49, 2; 59--65
    2083-4772
    2083-4810
    Pojawia się w:
    Archives of Environmental Protection
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Lotnicza Gdynia 2021
    Autorzy:
    Sigmund, Marcin.
    Powiązania:
    Skrzydlata Polska 2021, nr 10, s. 25-27
    Data publikacji:
    2021
    Tematy:
    Lotos Gdynia Aerobaltic Airshow (4 ; 2021 ; Gdynia)
    Samoloty wojskowe
    Pokazy lotnicze
    Akrobacje lotnicze
    Artykuł z czasopisma fachowego
    Opis:
    W artykule omówiono pokazy lotnicze Lotos Gdynia Aerobaltic Airshow, które miały miejsce 21 i 22 sierpnia 2021 roku na lotnisku Gdynia-Babie Doły. Autor prezentuje cztery wojskowe zespoły akrobacyjne, w tym dwa zagraniczne — brytyjski Red Arrows oraz fiński Midnight Hawks. Przedstawiono solowe pokazy samolotów bojowych oraz indywidualne pokazy cywilnych pilotów akrobacyjnych. Opisano także sporo statków powietrznych, które można było zobaczyć na wystawie statycznej.
    Dostawca treści:
    Bibliografia CBW
    Artykuł
    Tytuł:
    Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
    Use of LOTOS language in modeling HOOD method structures
    Autorzy:
    Brzuchcz, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/320396.pdf
    Data publikacji:
    2006
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    systemy czasu rzeczywistego
    weryfikacja oprogramowania
    algebry procesów
    abstrakcyjne typy danych
    LOTOS
    HOOD
    real-time systems
    software verification
    process algebras
    abstract data types
    Opis:
    W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowadzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wskazaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.
    The article presents a possibility of using LOTOS [3, 7] formal language in the HOOD [6, 13] real-time system design. Process algebras and abstract data types are used to express some HOOD structures in order to allow formal analysis of the system. The introduction explains the motivations and the goal of the work. Then, there is a brief survey of the HOOD hierarchical design method in the next point. It states as the base for the formalization method explained in the article. The notions of module, interface, operation, use and include relations are briefly explained. After it, the simple LOTOS language constructs are also presented. Next point explains the formalization of the HOOD structures. This is the most essentials part of the work where the method is presented on the exemplary HOOD diagram. LOTOS code is produced relate to the HOOD informal semantic. It expresses the main concepts of the HOOD dynamic model. There are the conclusions and further works proposals at the end of the article.
    Źródło:
    Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
    1640-7202
    Pojawia się w:
    Elektrotechnika i Elektronika
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      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