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ę "Matysik, K." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Introduction to Alvis modelling language
    Wprowadzenie do języka modelowania Alvis
    Autorzy:
    Szpyrka, M.
    Matysik, P.
    Mrówka, R.
    Witalec, W.
    Baniewicz, J.
    Balicki, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/152699.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    język modelowania Alvis
    formalna weryfikacja
    systemy wbudowane
    Alvis language
    formal verification
    embedded systems
    Opis:
    Alvis is a novel modelling language designed for embedded systems. It combines both high level programming language used to define agents behaviour with hierarchical graphical modelling language used to define interconnections between agents. The paper presents a survey of the most important features of the language.
    Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów wbudowanych. Łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Podstawowym elementem języka Alvis są agenty, które mogą działać współbieżnie, komunikować się ze sobą, czy też współzawodniczyć o zasoby dzielone. Dynamika poszczególnych agentów jest opisywana w warstwie kodu używającej do tego celu języka programowania wysokiego poziomu (połączenie natywnych konstrukcji języka Alvis i języka funkcyjnego Haskell). W warstwie graficznej definiowane są połączenia między agentami wskazujące, które agenty się ze sobą komunikują i jaki jest kierunek tej komunikacji. Warstwa ta ma postać grafu hierarchicznego, co pozwala rozwijać systemu wbudowane metodą od ogółu do szczegółu lub odwrotnie. Formalną reprezentacjąmodelu w języku Alvis jest graf LTS (Labelled Transition System), który reprezentuje wszystkie osiągalne stany i przejścia między nimi. Graf ten jest stosowany do formalnej weryfikacji modelu. Artykuł zawiera przegląd najistotniejszych cech języka Alvis.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 9, 9; 1086-1089
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Potencial management of waste phosphogypsum with particular focus on recovery of rare earth metals
    Autorzy:
    Podbiera-Matysik, K.
    Gorazda, K.
    Wzorek, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/778042.pdf
    Data publikacji:
    2015
    Wydawca:
    Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
    Tematy:
    phosphogypsum waste
    phosphogypsum conversion
    rare earth elements (REE)
    environmental threats
    Opis:
    Phosphogypsum is a noxious industrial waste contributing to global environmental and economic problems. This publication focuses above all on phosphogypsum resulting from the processing of apatite as a phosphorus bearing compound, since it contains considerable amounts of lanthanides due to its magma origin. The possibilities of its waste-free processing are large, however they require the application of suitable technologies, frequently expensive ones, and allowing for the individual characteristics of the given waste. The research works conducted so far confirm the possibility of applying phosphogypsum for the recovery of lanthanides, and the process enhances the removal of remaining impurities, thanks to which the purified calcium sulphate (gypsum) may find application for the production of construction materials.
    Źródło:
    Polish Journal of Chemical Technology; 2015, 17, 1; 55-61
    1509-8117
    1899-4741
    Pojawia się w:
    Polish Journal of Chemical Technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Identyfikacja genu Lr 19 odporności na rdzę brunatną w polskich liniach pszenicy zwyczajnej (Triticum aestivum L.)
    Identification of Lr19 gene in Polish common wheat (Triticum aestivum L.) breeding lines
    Autorzy:
    Okoń, S.
    Matysik, P.
    Nita, Z.
    Bichoński, A.
    Rubrycki, K.
    Woźna-Pawlak, U.
    Kowalczyk, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/11236539.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
    Tematy:
    genetyka
    gen Lr19
    pszenica zwyczajna
    Triticum aestivum
    identyfikacja genetyczna
    choroby roslin
    rdza brunatna
    markery molekularne
    odpornosc roslin
    odpornosc na choroby
    linie hodowlane
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio E. Agricultura; 2012, 67, 3; 39-43
    0365-1118
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio E. Agricultura
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Maritime laser scanning as the source for spatial data
    Autorzy:
    Burdziakowski, P.
    Janowski, A.
    Kholodkov, A.
    Matysik, K.
    Matysik, M.
    Przyborski, M.
    Szulwic, J.
    Tysiąc, P.
    Wojtowicz, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/259527.pdf
    Data publikacji:
    2015
    Wydawca:
    Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
    Tematy:
    mobile laser scanning
    maritime laser scanning
    GIS for harbours
    measurements of sea coast
    boat-based scanning
    Opis:
    The rapid development of scanning technology, especially mobile scanning, gives the possibility to collect spatial data coming from maritime measurement platforms and autonomous manned or unmanned vehicles. Presented solution is derived from the mobile scanning. However we should keep in mind that the specificity of laser scanning at sea and processing collected data should be in the form acceptable in Geographical Information Systems, especially typical for the maritime needs. At the same time we should be aware that data coming from maritime mobile scanning constitutes a new approach to the describing of maritime environment and brings a new perspective that is completely different than air and terrestrial scanning. Therefore, the authors, would like to present results of an experiment aimed at testing the possibilities of using mobile scanning at sea. Experiment was conducted in the harbour and the associated environment of neighbouring southern coast of the Baltic Sea.
    Źródło:
    Polish Maritime Research; 2015, 4; 9-14
    1233-2585
    Pojawia się w:
    Polish Maritime Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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