Autor: Matysik, K. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Zmień widok

na półce

Skocz do pozycji: 2.

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ł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Matysik, K." wg kryterium: Autor

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język