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ę "Huzar, Zbigniew" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Representation of UML Class Diagrams in OWL 2 on the Background of Domain Ontologies
    Autorzy:
    Sadowska, Małgorzata
    Huzar, Zbigniew
    Powiązania:
    https://bibliotekanauki.pl/articles/384092.pdf
    Data publikacji:
    2019
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    UML
    OWL2
    transformation rules
    verification rules
    Opis:
    Background: UML class diagrams can be automatically validated if they are compliant with a domain knowledge specified in a selected OWL 2 domain ontology. The method requires translation of the diagrams into their OWL 2 representation. Aim: The aim of this paper is to present transformation and verification rules of UML class diagrams to their OWL 2 representation. Method: The analysis of the results of the systematic literature review on the topic of transformation rules between elements of UML class diagrams and OWL 2 constructs. The purpose of the analysis is to present the extent to which state-of-the-art transformation rules cover the semantics expressed in class diagrams. On the basis of the analysis, new transformation rules expressing the semantics not yet covered but expected from the point of view of domain modelling pragmatics have been defined. Results: The first result is the revision and extension of the transformation rules identified in the literature. The second original result is a proposition of verification rules necessary to check if a UML class diagram is compliant with the OWL 2 domain ontology. Conclusion: The proposed transformations can be used for automatic validation of compliance of UML class diagrams with respect to OWL 2 domain ontologies.
    Źródło:
    e-Informatica Software Engineering Journal; 2019, 13, 1; 63-103
    1897-7979
    Pojawia się w:
    e-Informatica Software Engineering Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Computer science at Wroclaw University of Science and Technology - seventies and eighties
    Autorzy:
    Huzar, Zbigniew
    Bilski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/749852.pdf
    Data publikacji:
    2016
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Tematy:
    computer science, informatics, history of science, memories, computer, computer programming, scientific centers of computer science in Wrocław, history of applied mathematics, recollections
    informatyka, historia nauki, wspomnienia, komputer, programowanie, informatyczne ośrodki naukowe we Wrocławiu, historia informatyki, historia zastosowań matematyki, wspomnienia
    Opis:
    Artykuł omawia kształtowanie się i rozpowszechnianie zastosowań infomatyki w latach siedemdiesiątych i osiemdziesiątych ubiegłego wieku w Politechnice Wrocławskiej. W szczególności skupia się na formowaniu i realizacji programów związanych z projektowaniem i zastosowaniem systemow i sieci komputerowych.
    Birth of computer science is usually associated with the birth and spread of computers. This may be due to the development of technology and electronic techniques, but different ideas of building computing machines has already formed two centuries ago. Computers, from the first moments of its existence, have been a source of fascination. They perceived their potential meant that the mass journalism, also Polish, appeared electronic brain. Currently used the word computer a long time could not settle in Polish terminology. For a long time it was said about the machines doing mathematical counting or digital machines, and the computer has denied these terms until the end of the seventies. Also, the term computer came late – the first ex cathedra sounded in Poland only in 1968, and the author of the term is considered Romuald Marczyński.
    Źródło:
    Antiquitates Mathematicae; 2016, 10
    1898-5203
    2353-8813
    Pojawia się w:
    Antiquitates Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Jerzy Battek - informatyk z matematycznym rodowodem
    Jerzy Battek - computer scientist from mathematicians
    Autorzy:
    Huzar, Zbigniew
    Szajowski, Krzysztof J.
    Powiązania:
    https://bibliotekanauki.pl/articles/2012075.pdf
    Data publikacji:
    2019
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Opis:
    The article introduces the figure of Jerzy Jan Battek (January 14, 1927 - August 12, 1991), who belonged to this generation of youth who managed to survive the period of World War II, without interrupting school education altogether. During the occupation, he studied in secret sets of the Second Science Center and obtained a small high school diploma in 1945. He graduated in 1947 at the State Secondary School for Adults in Wrocław, after which he began studying at the Faculty of Mathematics, Physics Chemistry at the University and Wrocław University of Technology. He graduated in 1952 as a master of philosophy. After graduation, in 1952, he started working at the Department of Mathematics at the Faculty of Mechanical Engineering of the Wrocław University of Technology and at the same time was an active participant in the Applied Mathematics Seminar organized and led initially by Hugo Steinhaus. He defended his doctoral thesis, prepared under the direction of Julian Perkal, in 1961. In 1962 he was entrusted with managing the Department of Numerical and Graphic Methods in the Mathematics Department of the Wrocław University of Technology, which began a significant shift of his interests towards the issues covered by IT today. In 1965, he took over the management of the University-wide Computing Center with the Odra-1003 machine from Wrocław. The final fragment of this study is devoted to issues that were important for doc. Jerzy Battek during the period that began the creation of the Computing Center for the rest of his life. This period of his life concide with important part of birth of computer science, which is usually associated with the birth and spread of computers.
    Artykuł przybliża sylwetkę Jerzego Batteka (14.01.1927--12.08.1991), który należał do tego pokolenia młodzieży, któremu udało się przetrwać okres II Wojny Światowej, nie przerywając całkowicie nauki szkolnej. W czasie okupacji uczył się na tajnych kompletach II Ośrodka Naukowego i uzyskał małą maturę w 1945 roku. Pełną maturę zdał w 1947 roku w Państwowym Liceum dla Dorosłych we Wrocławiu, po której rozpoczął studia na Wydziale Matematyki, Fizyki Chemii Uniwersytetu i Politechniki Wrocławskiej. Studia ukończył w 1952 roku jako magister filozofii. Po studiach, w 1952 roku, rozpoczął pracę w Katedrze Matematyki na Wydziale Mechanicznym Politechniki Wrocławskiej i jednocześnie był aktywnym uczestnikiem Seminarium Matematyki Stosowanej zorganizowanym i początkowo prowadzonym przez Hugona Steinhausa. Pracę doktorską, przygotowaną pod kierunkiem Juliana Perkala, obronił w 1961 roku. W 1962 roku zostaje mu powierzone kierowanie Zakładem Metod Numerycznych i Graficznych w Katedrze Matematyki Politechniki Wrocławskiej, co rozpoczęło istotny zwrot Jego zainteresowań w kierunku zagadnień objętych dzisiaj informatyką. W 1965 roku obejmuje kierownictwo Ogólnouczelnianego Ośrodka Obliczeniowego z wrocławską maszyną Odra-1003. Końcowy fragment niniejszego opracowania poświęcony jest zagadnieniom, które miały istotne znaczenie dla doc. Jerzego Battka w okresie, który rozpoczęło utworzenie Ośrodka Obliczeniowego do końca życia.
    Źródło:
    Antiquitates Mathematicae; 2019, 13; 257-272
    1898-5203
    2353-8813
    Pojawia się w:
    Antiquitates Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Extracting class diagram from hidden dependencies in data set
    Autorzy:
    Hnatkowska, Bogumiła
    Huzar, Zbigniew
    Tuzinkiewicz, Lech
    Powiązania:
    https://bibliotekanauki.pl/articles/1839287.pdf
    Data publikacji:
    2020
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    conceptual model
    class diagram
    UML
    data retrieval
    raw data
    Opis:
    A conceptual model is a high-level, graphical representation of a specic domain, presenting its key concepts and relationships between them. In particular, these dependencies can be inferred from concepts' instances being a part of big raw data les. The paper aims to propose a method for constructing a conceptual model from data frames encompassed in data les. The result is presented in the form of a class diagram. The method is explained with several examples and veried by a case study in which the real data sets are processed. It can also be applied for checking the quality of the data set.
    Źródło:
    Computer Science; 2020, 21 (2); 197-223
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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