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ę "Śnieżek, M." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-12 z 12
    Tytuł:
    Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
    Safety execution framework for FB applications
    Autorzy:
    Śnieżek, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/156270.pdf
    Data publikacji:
    2005
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterowanie bezpieczne
    sterownik logiczny
    PLC
    język bloków funkcyjnych
    formalna weryfikacja
    safety related control
    Safety Integrity Level 3
    Function Block Diagrams
    software verification
    programmable logic controller
    Opis:
    W pracy przedstawiono programowalny sterownik logiczny, zachowujący się w sposób bezpieczny. Zachowanie to obejmuje normalną pracę, podczas której wymaga się poprawnego sterowania, jak również stan awarii, w którym wyjścia muszą być automatycznie wyzerowane. Algorytm sterowania jest opisany metodą bloków funkcyjnych FBD i SFC zgodną z normą IEC-61131. Zastosowana architektura sprzętowa sprzyja podzieleniu oprogramowania na dwie części. Pierwsza część - stała, niezależna od aplikacji - obejmuje bibliotekę bloków funkcyjnych. część druga - zmienna, bezpośrednio zależna od aplikacji - zawiera strukturę połączeń bloków. Obydwie części są wykonywane przez osobne procesory. Do badania poprawności stałej części programu zaproponowano formalną metodę wykorzystującą logikę wyższego rzędu HOL. Część zamienną bada się stosując metodę zróżnicowanej retranslacji.
    To architecturally support the programming of safety related control applications in the graphical language Function Block Diagram and the verification of such software meeting the requirements of safety Integrity level 3, a dedicated, low complexity execution platform is presented. Its hardware is fault detecting to immediately initiate emegrency shut-downs in case of malfunctions. By design, there is no semantic gap between the programming and machine execution levels, enabling the safety licensing of application software by extremely simple, but rigorous methods, viz., diverse back translation and inspection. Operating in strictly periodic fashion, the platform exhibits fully predictable real time behaviour.
    Źródło:
    Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 31-33
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A safe programmable electronic system
    Autorzy:
    Halang, W.
    Śnieżek, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/200676.pdf
    Data publikacji:
    2010
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    programmable electronic systems
    safety
    fail-safe comparison
    function block programming
    software verification
    Opis:
    A dual-channel computer architecture for utilisation in programmable logic controllers is presented. Faults can be detected by novel high-speed comparators with fail-safe operation. The cyclic operating mode of PLCs and a specification-level, graphical programming paradigm based on the interconnection of application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by an extremely simple, but rigorous method, viz., diverse back translation.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2010, 58, 3; 423-434
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Krajobrazy aktualne Kazimierskiego Parku Krajobrazowego
    Current landscapes of the Kazimierz Landscape Park
    Autorzy:
    Michalik-Śnieżek, M.
    Chmielewski, T. J.
    Powiązania:
    https://bibliotekanauki.pl/articles/88232.pdf
    Data publikacji:
    2017
    Wydawca:
    Polskie Towarzystwo Geograficzne
    Tematy:
    krajobrazy aktualne
    kartowanie krajobrazów
    Kazimierski Park Krajobrazowy
    current landscapes
    mapping of landscape
    Kazimierz Landscape Park
    Opis:
    Opublikowanie Europejskiej Konwencji Krajobrazowej wpłynęło na rozwój badań dotyczących zidentyfikowania, klasyfikacji i oceny stanu krajobrazów aktualnie występujących w poszczególnych krajach. Celem prezentowanych w artykule badań było kartowanie krajobrazów występujących aktualnie na obszarze Kazimierskiego Parku Krajobrazowego, a następnie analiza wzajemnych relacji między zidentyfikowanymi podtypami krajobrazów aktualnych, a gatunkami krajobrazów naturalnych. Na obszarze badań o powierzchni ok. 15 tys. ha, zidentyfikowano 9 gatunków krajobrazów naturalnych, na tle których wyodrębniono 13 podtypów krajobrazów aktualnych, co jest zróżnicowaniem bardzo wysokim. Wykazano, że na obszarze KPK, poszczególne gatunki krajobrazów naturalnych dały początek bardzo różnej liczbie podtypów krajobrazów aktualnych.
    The publication of the European Landscape Convention became an impetus to the development of research on identification, classification and assessment of the landscapes currently existing in the territories of the individual countries. The objective of the research presented in this article was mapping of the current landscapes occurring in the area of Kazimierz Landscape Park, and next – a preliminary analysis of the relationship between the subtypes of current landscapes, and the species of natural landscapes, occurring in the study area. On the study area ( ca 15000. ha), 9 types of natural landscapes, as well as 13 subtypes of the current landscapes was identified, which is a very high diversity. Analysis of the relationship between the occurrence of species of natural landscapes and subtypes of the current landscapes showed that in the area of the KLP, individual species of natural landscapes gave rise to a different number subtypes of the current landscapes.
    Źródło:
    Prace Komisji Krajobrazu Kulturowego; 2017, 36; 47-61
    1896-1460
    2391-5293
    Pojawia się w:
    Prace Komisji Krajobrazu Kulturowego
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analiza porównawcza kompozycji panoram widokowych Płaskowyżu Nałęczowskiego i Roztocza Zachodniego
    Comparative analysis of the scenic panoramas composition of the West Roztocze and Nałęczów Plateau
    Autorzy:
    Michalik-Sniezek, M.
    Chmielewski, T.J.
    Powiązania:
    https://bibliotekanauki.pl/articles/85519.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Asocjacja Ekologii Krajobrazu
    Źródło:
    Problemy Ekologii Krajobrazu; 2012, 33
    1899-3850
    Pojawia się w:
    Problemy Ekologii Krajobrazu
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Klasyfikacja stopnia antropogenicznego przekształcenia krajobrazu i jej zastosowanie w planie ochrony Poleskiego Parku Narodowego
    The classification of landscape anthropogenic transformation level and its application to the Polesie National Park nature conservation plan
    Autorzy:
    Chmielewski, T.J.
    Michalik-Sniezek, M.
    Kulak, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/86355.pdf
    Data publikacji:
    2014
    Wydawca:
    Polska Asocjacja Ekologii Krajobrazu
    Tematy:
    krajobraz
    przeksztalcenia krajobrazu
    przeksztalcenia antropogeniczne
    stopien przeksztalcenia
    klasyfikacja
    plany ochrony
    parki narodowe
    Poleski Park Narodowy
    Źródło:
    Problemy Ekologii Krajobrazu; 2014, 38
    1899-3850
    Pojawia się w:
    Problemy Ekologii Krajobrazu
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Physiognomic structure of agro-forestry landscapes: method of evaluation and guidelines for design, on the example of the West Polesie Biosphere Reserve
    Autorzy:
    Chmielewski, T.J.
    Kulak, A.
    Michalik-Sniezek, M.
    Lorens, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/25401.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Instytut Agrofizyki PAN
    Opis:
    Harmonious planning of agro-forestry landscapes plays a increasing role in building a social satisfaction flowing from the high quality of the environment on the rural areas. It is also a very good way to create a unique place identity of protected areas, rest areas etc. especially valuable regions. The objectives of the paper are: 1) elaboration the method of evaluation and mapping the physiognomic landscape composition on the rural areas with a high natural values; 2) testing this method on dominated by forests, peatbogs and arable lands the central part of the West Polesie UNESCO Biosphere Reserve (Eastern Poland); 3) formulation of guidelines on the design of landscape interiors and view openings composition, highlighting the unique features of West Polesie landscape and building a sense of the place identity; 4) to show the necessary to enshrine the values of physiognomic landscape composition in land use policy. In evaluation and mapping the landscape composition, a special attention was paid to the role of agro-forest ecotones. The results of the research part of the study as well as a guidelines on landscape design have been presented in the form of a map, study figures and a description.
    Źródło:
    International Agrophysics; 2016, 30, 4
    0236-8722
    Pojawia się w:
    International Agrophysics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Usługi ekosystemowe Parku Zdrojowego w Nałęczowie
    Ecosystem services of the Naleczow Spa Park
    Autorzy:
    Lipińska, H.
    Michalik-Śnieżek, M.
    Wyłupek, T.
    Stachorzecka, M.
    Kamińska, W.
    Sowisz, R.
    Wrona, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/13925462.pdf
    Data publikacji:
    2022
    Wydawca:
    Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
    Tematy:
    parki zdrojowe
    Park Zdrojowy Naleczow
    uslugi ekosystemowe
    funkcje lecznicze
    funkcje srodowiskowe
    funkcje wypoczynkowe
    Źródło:
    Agronomy Science; 2022, 77, 4; 5-22
    2544-4476
    2544-798X
    Pojawia się w:
    Agronomy Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ocena właściwości przeciwutleniających wybranych produktów roślinnych w aspekcie możliwości ich wykorzystania jako dodatków do żywności wysokobiałkowej poddawanej obróbce termicznej
    Assessing antioxidative properties of selected plant-based products in terms of their usability as additives to thermally treated high protein food
    Autorzy:
    Sniezek, E.
    Szumska, M.
    Janoszka, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/828151.pdf
    Data publikacji:
    2016
    Wydawca:
    Polskie Towarzystwo Technologów Żywności
    Tematy:
    produkty roslinne
    wlasciwosci przeciwutleniajace
    dodatki do zywnosci
    owoce suszone
    sliwki
    morele
    zurawina
    cebula
    czosnek
    zywnosc wysokobialkowa
    obrobka termiczna
    Źródło:
    Żywność Nauka Technologia Jakość; 2016, 23, 5
    1425-6959
    Pojawia się w:
    Żywność Nauka Technologia Jakość
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Microstructure and fatigue life of Cp-Ti/316L bimetallic joints obtained by means of explosive welding
    Autorzy:
    Wachowski, M.
    Śnieżek, L.
    Szachogłuchowicz, I.
    Kosturek, R.
    Płociński, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/200903.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    explosive welding
    joining
    microstructure
    fatigue life
    cladding
    zgrzewanie wybuchowe
    łącze
    mikrostruktura
    zmęczenie
    okładziny
    Opis:
    This paper describes a study of explosively welded, commercially pure titanium-stainless steel 316L plates. Following welding, the plates were heat-treated at the temperature of 600°C for 90 minutes. Examinations of the bond structure were carried out before and after heat treatment to investigate the processes taking place during explosive welding of materials. Observations were performed using light, scanning electron (SEM) and transmission electron microscopy (TEM). The mechanical properties were examined applying three-point bending tests with cyclic loads. Fractographic examination and hardness measurements were also performed. It has been found that the bonding zones are characterized by a specific microstructure, chemical composition and microhardness. The heat treatment used in the study increases the relative volume of brittle intermetallic phases, causing a reduction in fatigue strength of the joint.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 6; 925-933
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Numerical and Experimental Modeling of Plastic Deformation the Multi-Layer Ti/Al/Mg Materials
    Autorzy:
    Mróz, S.
    Stefanik, A.
    Szota, P.
    Kwapisz, M.
    Wachowski, M.
    Śnieżek, L.
    Gałka, A.
    Szulc, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/354174.pdf
    Data publikacji:
    2019
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    multi-layered Ti/Al/Mg material
    plastic deformation
    physical modelling
    numerical modelling
    Opis:
    The paper has presented the results of theoretical studies and experimental tests of the plastic deformation of multi-layered Ti/Al/Mg specimens. Theoretical studies were carried out using the Forge2011® computer program. Physical modeling, on the other hand, was performed using the Gleeble3800 simulator. Cuboidal specimens were cut off from the plates obtained in the explosive welding method. Based on the obtained investigation results it has been found non uniform deformation of the particular layer as a result their different value of flow stress.
    Źródło:
    Archives of Metallurgy and Materials; 2019, 64, 4; 1361-1368
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Low Temperature Processing of Nanostructures Based on II-VI Semiconductors Quantum Wells
    Autorzy:
    Majewicz, M.
    Śnieżek, D.
    Wojciechowski, T.
    Baran, E.
    Nowicki, P.
    Wojtowicz, T.
    Wróbel, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/1376129.pdf
    Data publikacji:
    2014-11
    Wydawca:
    Polska Akademia Nauk. Instytut Fizyki PAN
    Tematy:
    73.61.Ga
    73.63.Hs
    68.37.Hk
    62.23.St
    Opis:
    We report the first results of electron beam lithography processes performed on polymethyl methacrylate (PMMA) and hydrogen silsesquioxane (HSQ) resists, which have been pre-backed in vacuum at T ≤ 90°C. For such low temperature processing the lithographical resolution is reduced as compared to standard procedures, however, the exposure contrast and adhesion to CdTe and HgTe substrates have been sufficient for the fabrication of sub-μ m quantum devices. Furthermore, the new method of electrical microcontact forming is proposed, based on the local melting and annealing of an indium metal layer, performed with the application of accelerated electron beam. The method has been tested for CdTe/CdMgTe quantum wells using the lithography techniques, the exposure parameters have been optimized by inspecting the morphology of annealed metal film via the in situ imaging.
    Źródło:
    Acta Physica Polonica A; 2014, 126, 5; 1174-1176
    0587-4246
    1898-794X
    Pojawia się w:
    Acta Physica Polonica A
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Studies of the AA2519 Alloy Hot Rolling Process and Cladding with EN AW-1050A Alloy
    Autorzy:
    Płonka, B.
    Rajda, M.
    Zamkotowicz, Z.
    Żelechowski, J.
    Remsak, K.
    Korczak, P.
    Szymański, W.
    Snieżek, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/355946.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Al alloys
    rolling
    cladding
    mechanical properties
    structure
    Opis:
    The objective of the study was to determine the feasibility of plastic forming by hot rolling of the AA2519 aluminium alloy sheets and cladding these sheets with a layer of the EN AW-1050A alloy. Numerous hot-rolling tests were carried out on the slab ingots to define the parameters of the AA2519 alloy rolling process. It has been established that rolling of the AA2519 alloy should be carried out in the temperature range of 400-440°C. Depending on the required final thickness of the sheet metal, appropriate thickness of the EN AW-1050A alloy sheet, used as a cladding layer, was selected. As a next step, structure and mechanical properties of the resulting AA2519 alloy sheets clad with EN AW-1050A alloy was examined. The thickness of the coating layer was established at 0,3÷0,5mm. Studies covered alloy grain size and the core alloy-cladding material bond strength.
    Źródło:
    Archives of Metallurgy and Materials; 2016, 61, 1; 381-388
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-12 z 12

      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