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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Some properties of coalgebras and their role in computer science
    Autorzy:
    Steingartner, W.
    Radakovic, D.
    Valkosak, F.
    Macko, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/973618.pdf
    Data publikacji:
    2016
    Wydawca:
    Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
    Tematy:
    coalgebra
    functor
    induction
    internal state of program
    observable behavior of program
    SLGeometry software
    koalgebra
    funktor
    indukcja
    endofunktor
    Opis:
    This paper introduces basic theoretical knowledge of coalgebras in computer science. Coalgebras are, specifically in category theory, structures defined according to an endofunctor. For both algebra and coalgebra, a functor is a convenient and general way of defining a signature. We present practical usage of the coalgebras in an example. We observe a behavior of a simple Sequencer developed in SLGeometry framework. We model its behavior with the simple program written in Python, and we describe its behavior within coalgebra of endofunctor. The computation of the values stored in internal states is performed coinductively. Our approach can be used in the teaching process of formal methods for young software engineers.
    Źródło:
    Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 4; 145-156
    2299-9965
    Pojawia się w:
    Journal of Applied Mathematics and Computational Mechanics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Medical and military applications of 3D printing
    Autorzy:
    Mikołajewska, E.
    Macko, M.
    Mikołajewski, D.
    Ziarnecki, Ł.
    Stańczak, S.
    Kawalec, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/1395618.pdf
    Data publikacji:
    2016
    Wydawca:
    Akademia Wojsk Lądowych imienia generała Tadeusza Kościuszki
    Tematy:
    3D printing
    3D scanning
    reverse engineering
    military applications
    biomedical applications
    Opis:
    3D printing, 3D scanning and reverse engineering may constitute a significant breakthrough in research all over the world, especially within medical and military technologies. Particularly 3D printing seems to be a promising method to produce 3D objects manufactured layer-by-layer. The broader use of the above technologies may allow customization of various products and lower costs of design and production. At the same time progress in 3D printing technologies needs to be monitored and analyzed in order to deal with possible future threats. This article aims at investigating the extent to which the military and biomedical applications of 3D scanners and 3D printers are exploited, including in the framework of the authors’ own concepts, studies and observations.
    Źródło:
    Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki; 2016, 1; 128-141
    1731-8157
    Pojawia się w:
    Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of semi-quantitative and quantitative methods for the selection of cellulolytic filamentous fungi isolated from pulp mill materials
    Autorzy:
    Miklaszewska, B.
    Macko, D.
    Klosowski, G.
    Mikulski, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/80267.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Źródło:
    BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology; 2016, 97, 3
    0860-7796
    Pojawia się w:
    BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Anisotropy of Susceptibility and Optical investigation of the Antiferromagnetic phase Transition in U$\text{}_{1-x}$Ce$\text{}_{x}$Ru$\text{}_{2}$Si$\text{}_{2}$
    Autorzy:
    Mihalik, M.
    Maťaš, S.
    Macko, D.
    Timko, M.
    Menovsky, A. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/1955512.pdf
    Data publikacji:
    1997-02
    Wydawca:
    Polska Akademia Nauk. Instytut Fizyki PAN
    Tematy:
    75.30.Hb
    75.20.Hr
    72.15.-v
    Opis:
    Temperature dependence of magnetic susceptibility of U$\text{}_{1-x}$Ce$\text{}_{x}$Ru $\text{}_{2}$Si$\text{}_{2}$ single crystals (x=0, 0.025, 0.05, 0.075) has been studied at temperatures from 4.2 K up to room temperature and in magnetic fields applied along and perpendicular to the c-axis. The attention was paid to anomalies connected with the antiferromagnetic phase transition, which are present in crystals with x≤0.05. Far-infrared measurements of U$\text{}_{0.99}$Ce$\text{}_{0.01}$ Ru$\text{}_{2}$Si$\text{}_{2}$ single crystal have been studied for the first time. The measurements support the assumption that the origin of magnetic ordering in U$\text{}_{0.99}$Ce$\text{}_{0.01}$Ru$\text{}_{2}$Si$\text{}_{2}$ is the same as in heavy-fermion superconductor URu$\text{}_{2}$Si$\text{}_{2}$ and can be interpreted as being due to a spin-density-wave gap.
    Źródło:
    Acta Physica Polonica A; 1997, 91, 2; 351-354
    0587-4246
    1898-794X
    Pojawia się w:
    Acta Physica Polonica A
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Oszacowanie cyklu życia rozdrabniaczy przy wykorzystaniu aplikacji SolidWorks Sustainability
    Life cycle assessment of grinders using SolidWorks Sustainability application
    Autorzy:
    Macko, M.
    Boniecka, M.
    Drop, A.
    Grabińska, D.
    Grzelczak, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/2071475.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    rozdrabniacz
    konstruowanie
    oszacowanie cyklu życia LCA
    grinder
    design
    life cycle assessment (LCA)
    Opis:
    W pracy przedstawiono metodę weryfikacji konstrukcji kilku części rozdrabniacza laboratoryjnego przy użyciu aplikacji SolidWorks Sustainability. Przedstawiono orientacyjny wpływ na emisję dwutlenku węgla, zanieczyszczanie wody i powietrza oraz zapotrzebowanie energetyczne. Określono każdej z grup oddziaływania środowiskowego udział pozyskania materiałów produkcji, użytkowania i zagospodarowania poużytkowego. Wskazano i różnice w zakresie doboru materiału już na etapie projektowania, owa kluczowe:
    A design verification method used for some parts of laboratory grinder is shown. SolidWorks Sustainabilitya application enables one to evaluate some environmental impacts such as carbon dioxide emission, water and air contamination and energy consumption. Each group is also described in terms of material acquirement, manufacturing, used regions and end of life disposal. Some differences of material selection in preliminary design process are pointed out.
    Źródło:
    Inżynieria i Aparatura Chemiczna; 2011, 3; 49-50
    0368-0827
    Pojawia się w:
    Inżynieria i Aparatura Chemiczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Elimination of Negative Effect of Fe in Secondary Alloys AlSi6Cu4 (En Ac 45 000, A 319) by Nickel
    Rola Ni w eliminowaniu szkodliwego wpływu faz zawierających Fe w stopach wtórnych AlSi6Cu4 (En Ac 45 000, A 319)
    Autorzy:
    Bolibruchová, D.
    Macko, J.
    Brůna, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/356915.pdf
    Data publikacji:
    2014
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    iron based phases
    thermal analysis
    iron based phases correctors
    nickel
    fazy zawierające żelazo
    analiza termiczna
    usuwanie żelaza
    nikiel
    Opis:
    Submitted article deals with influence of iron based phases segregation by nickel, which is in literature known as iron based phases corrector. Iron is one of the most common impurities that can be found in Al-Si alloys. It is impossible to remove iron from melt by standard operations, but it is possible to eliminate iron negative effects by addition of other elements, that enables segregation of iron in form of intermetallics with less harmful effect. For melt treatment was selected an exact alloy with requested iron content - master alloy AlNi20. Influence of nickel was evaluated quantitatively by chemical analysis (solubility), thermal analysis and microstructure evaluation. Experimental results analysis shows a new view on solubility of iron based phases during melt preparation and treatment with higher iron content and also nickel effect as iron corrector of iron based phases. It can be concluded that nickel did not influenced iron based phases (β-phases), it does not change their type into more favorable form. As an initial impulse for starting this work was insufficient theoretical knowledge of usage secondary alloys Al-Si-Cu with higher iron content and its appropriate elimination in process of castings production for automotive industry. Increased iron content in alloys causes segregation of iron phases in various shapes and types during solidification, which subsequently affects quality, soundness and lifetime of castings. Because of increased demands for casting quality, final mechanical properties and effort to reduce costs, it is necessary to look for compromises in casting production from secondary alloys with occurrence of various impurities.
    Artykuł opisuje wpływ dodatku niklu| do stopów wtórnych Al-Si-Cu na segregację faz zawierających żelazo, które jest jednym z najpowszechniej występujących zanieczyszczeń w tych stopach. Powszechnie wiadomo, iż nie jest możliwe usunięcie żelaza z kąpieli metalowej, natomiast można ograniczać negatywny jego wpływ poprzez związanie żelaza w fazach między- metalicznych mniej szkodliwych niż fazy β Fe, np. w następstwie dodatku innych pierwiastków. W badaniach do obróbki kąpieli zastosowano zaprawę AlNi20 z dokładnie określoną zawartością żelaza. Oddziały wanie niklu na skład i morfologię faz żelazowych określano na drodze analizy chemicznej (badania rozpuszczalności), analizy termicznej i oceny struktury. Na podstawie wyników badań stwierdzono, iż w badanych stopach nikiel nie wywiera wpływu na zmianę składu fazy β Fe, nie zmienia również kształtu jej wydzieleń do postaci bardziej korzystnej z punktu widzenia wpływu na właściwości.
    Źródło:
    Archives of Metallurgy and Materials; 2014, 59, 2; 717-721
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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