Filters
total: 2124
-
Catalog
- Publications 1071 available results
- Journals 31 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 176 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 615 available results
- Events 82 available results
- Open Research Data 98 available results
displaying 1000 best results Help
Search results for: jezyki formalne
-
Wybrane metody i narzędzia modelowania systemów informatycznych z użyciem języka UML
PublicationRozdział prezentuje przykład technologii modelowania systemów informatycznych opartej na podejściu obiektowym w jednolitym środowisku, począwszy od Zunifikowanego Języka Modelowania (UML), poprzez metodykę Rational Unified Process (RUP), po aplikację Rational Software Modeler (RSM).
-
Zapomniany profesor Politechniki Gdańskiej i Politechniki Warszawskiej Mieczysław Wolfke – geniusz fizyki
PublicationArtykuł przedstawia sylwetkę Mieczysława Wolfke - geniusza fizyki. W 2018 roku ukazała się książka Krzysztofa Petelczyca i Eweliny Kędzierskiej zatytułowana Mieczysław Wolfke. Gdyby mi dali choć pół miliona…, poświęcona Mieczysławowi Wolfkemu – wybitnemu fizykowi, wynalazcy, człowiekowi nieprzeciętnego umysłu i rozległej wiedzy z różnych dziedzin, wykładowcy polskich uczelni – Politechniki Gdańskiej i Politechniki Warszawskiej,...
-
Nauka w świecie cyfrowym okiem młodego inżyniera - strumieniowanie muzyki w sieci
PublicationNa początku konsumpcja treści multimedialnych, związanych początkowo z sygnałami audio, była możliwa tylko w sposób stacjonarny. Odtwarzacz muzyczny znajdował się w domu, wraz z niezbędnym nośnikiem fizycznym. Alternatywnym sposobem dla jednostki był udział w występie na żywo w sali koncertowej lub zorganizowanie prywatnego koncertu w domu. Podsumowując, efekty audiowizualne były zarezerwowane tylko dla wąskiego grona odbiorców.
-
Wizualizacja w języku VRML przemieszczania się ryb pelagicznych w wiązce echosondy.
PublicationPrzedstawiono koncepcję tworzenia wirtualnego echogramu z danych pomiarowych pochodzących z przeszukiwań akustycznych. Wykorzystując wbudowane mechanizmy języka VRML zobrazowano proces przemieszczania się ryb wraz z jednoczesną analizą echa.
-
Zajęcia wyrównawcze z matematyki i fizyki na Wydziale Mechanicznym Politechniki Gdańskiej.
PublicationOpisano stan przygotowania z matematyki i fizyki absolwentów szkół średnich do podjęcia studiów politechnicznych. Podano formy poprawy przygotowania na studia techniczne prowadzone na Politechnice Gdańskiej. Omówiono repetytorium z matematyki i fizyki prowadzone na Wydziale Mechanicznym, jego ocenę przez ankietowanych studentów oraz wyniki.
-
Web Services Choreography Description Language - WSCDL.
PublicationJęzyk Web Services Choreography Description Language służy do opisu współpracy równy z równym. Został zaprojektowany z myślą o automatyzacji współpracy usług sieciowych, ale jest na tyle ogólny, że pozwala opisywać współpracę nie tylko w świecie komputerowym. Prezentowana jest geneza tego języka oraz jego model. Następnie opisana jest struktura języka poparta przykładem dokumentu napisanego w języku WSCDL.
-
Managing distributed architecture with Extendet WS-CDl
PublicationZaprezentowano problem wykorzystania języka WSCDL w warstwie zarzadzania usługami w architekturze systemu rozproszonego. Zaproponowano rozszerzenie modelu CDLExt uwzględniając istotne charakterystyki usług. Skoncentrowano się na zależności między usługami a innymi artyfaktami IT oraz określono atrybuty QoS wynikajace z tych zależności. Zaprezentowano implementację tego modelu oraz dalsze kierunki rozwoju CDLExt.
-
ANNALES SCIENTIFIQUES DE L ECOLE NORMALE SUPERIEURE
Journals -
Zagadnienia teorii stron zainteresowanych z punktu widzenia etyki biznesu
PublicationW eseju przedstawiłem najprzód etymologiczny sens pojęcia "strony zainteresowane" wraz z modelem firmy wedle trójstopniowego związku ze stronami zainteresowanymi. Następnie określiłem strony zainteresowane w zgodzie z myślą K. Gibsona jako "quasi-osoby". Następnie pokazałem na przykładzie twórczości K. Goodpastera, K. Gibsona i R.C. Solomona, że etycy biznesu przywiązują coraz większą wagę do moralnej/etycznej podstawy...
-
Język fiński na Uniwersytecie Gdańskim [Finnish Studies at the University of Gdańsk]
Publication -
Koncert Muzyki Cerkiewnej
EventsBilety w cenie: 15 zł – sektor A / 10 zł – sektor B do nabycia w Księgarni PWN w Gdańsku, ul. Korzenna 33/35 lub w Centrum św. Jana na godzinę przed koncertem.
-
Mathematical Modelling of Drive System with an Elastic Coupling Based on Formal Analogy between the Transmission Shaft and the Electric Transmission Line
PublicationIn the paper, the kinematic structure of the transmission shaft between the driving motor and the working mechanism is studied. The analysis is based on electrical and mechanical similarities. The equivalent circuits, typical for electrical systems, are defined for the transmission shaft concerned. Modelling of the transmission shaft based on a formal analogy between the transmission shaft and the electric transmission line is...
-
Probabilistic concept of defining the situations possible to occur during operation of floating docks
PublicationW artykule zasygnalizowana została możliwość oszacowania bezpieczeństwa doków pływajacych, w wyniku zastosowania teorii procesów semimarkowskich, zarówno w fazie projektowania jak też eksploatacji. Przedstawiono opis formalny sytuacji, jakie mogą zaistnieć podczas funkcjonowania (działania) doków pływających, zarówno budowlanych jak również remontowych. Wyróżniono takie sytuacje jak: normalna, skomplikowana, niebezpieczna, awaryjna...
-
Leksykograficzne spotkania „dwóch bratanków”: języka węgierskiego z polskim (na podstawie danych bibliograficznych)
Publication -
Zastosowanie elektronicznych zmysłów w analizie żywności. Zastosowanie elektronicznego języka w analizie żywności.
PublicationW dzisiejszych czasach konsumenci zwracają dużą uwagę na takie cechy żywności jak: zapach, smak i wygląd. Ze względu na to naukowcy od wielu lat podejmują próby naśladowania ludzkich narządów zmysłów za pomocą urządzeń określanych jako elektroniczne zmysły. Zaliczamy do nich elektroniczny nos i język oraz komputerowy system rozróżnienia barw i kształtów. Elektroniczny język znany również jako sztuczny język lub czujnik smaku,...
-
Wpływ struktur wsparcia na efektywność nauczania języka pisanego w środowisku e-learningowym
PublicationThe process of knowledge and language skills development during an online course can be very effective if student engagement in learning is achieved. This can be attained by introducing general and specific support mechanisms prior to the commencement of the course and during it. The former relates to the technological aspect, that is to familiarizing students with the functionalities of the virtual learning environment they will...
-
Rozwijanie umiejętności miękkich na zajęciach wspomaganych narzędziami online – kurs języka angielskiego technicznego
PublicationKurs języka angielskiego technicznego powinien pomóc studentom w zdobyciu różnego typu umiejętności, zarówno językowych, czyli twardych, jak i pozajęzykowych, zwanych miękkimi. Skuteczne zintegrowanie tradycyjnego nauczania z zadaniami online może dzięki afordancjom i funkcjonalnościom wykorzystanych narzędzi internetowych zachęcić uczących się do wchodzenia w bardziej zróżnicowane interakcje, skutkujące rozwojem wielu umiejętności...
-
Problem przekładu imion biblijnych na język chiński w „Biblii Bożonarodzeniowej”
Publication -
Odmiany języka fińskiego. Finglish w różnych odsłonach [Varieties of the Finnish language. Different pictures of Finglish]
Publication -
Progress. Journal of Young Researchers. Tom 2. Dział: Wieloznaczność w języku i tekście (redakcja)
Publication -
Zagrożenia bezpieczeństwa ruchu na przejazdach przez torowisko tramwajowe obok jezdni oraz środki poprawy.
PublicationArtykuł przedstawia analizę konfliktów ruchowych oraz badań ankietowych jako narzędzia do poprawy bezpieczeństwa na skrzyżowaniach ulic z torowiskiem zlokalizowanym obok jezdni. Jego głównym zamierzeniem jest wyróżnienie roli badań konfliktów oraz opinii użytkowników na tego typu skrzyżowaniach w celu identyfikacji występujących problemów. Przybliżono problemy wynikające z lokalizacji infrastruktury torowej po jednej stronie drogi....
-
Wykorzystanie języka VHDL do modelowania układów pracujących w logice wielowartościowej i arytmetyce resztkowej
PublicationW pracy przedstawiono bibliotekę zbudowaną w oparciu o język VHDL, przeznaczoną do symulacji elementów pracujących w logice wielowartościowej i w arytmetyce resztowej. Zaprezentowano również bramki prądowe - nowe elementy logiczne cechujące się znacznie mniejszym poziomem szumu cyfrowego. Pokazano przykłady sumatorów działających w logice wielowartościowej z podstawą N, lub w arytmetyce resztowej modulo N. Wyróżniającą cechą sumatorów...
-
Igor Garnik dr inż.
PeopleIgor Garnik graduated from the Faculty of Electronics at the Gdańsk University of Technology (1992). He works at the Gdańsk University of Technology since 1997 - first employed as an assistant in the Department of Ergonomics and Maintenance of Technical Systems at the Faculty of Management and Economics, and then - after obtaining the degree of doctor in 2006 as an assistant professor. In the years 2009–2015 he was the coordinator...
-
Experimental and theoretical investigations of silo music during granular flow
PublicationPraca dotyczy analizy efektów dynamicznych w silosach podczas przeływu materiałów sypkich.
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Valence and Ionic Lowest-Lying Electronic States of Isobutyl Formate Studied by High-Resolution Vacuum Ultraviolet Photoabsorption, Photoelectron Spectroscopy, and Ab Initio Calculations
PublicationThe highest resolution vacuum ultraviolet photoabsorption spectrum of isobutyl formate, C5H10O2, yet reported is presented over the energy range 4.5−10.7 eV (275.5−118.0 nm) revealing several new spectral features. Valence and Rydberg transitions and their associated vibronic series observed in the photoabsorption spectrum have been assigned in accordance with new ab initio calculations of the vertical excitation energies and oscillator...
-
Slovenski jezik / Slovene Linguistic Studies
Journals -
Rocznik Przemyski. Literatura i język.
Journals -
Rocznik Przemyski. Literatura i Język
Journals -
Wokół antropologii i etyki Janusza Korczaka. Szkic zagadnienia i pytania otwarte
Publication -
Kalendarium wydarzeń na linii fińskiej (rubryka: Język fiński na Uniwersytecie Gdańskim)
Publication -
Das "Mittendrin" - Land. Architektenausbildung in Polen. UZUPEŁNIĆ: TŁUMACZENIE TYTUŁU NA JĘZYK POLSKI.
PublicationWypowiedź na postawione przez DBZ Deutsche Bauzeitschrift pytania dotyczące specyfiki edukacji architektoniczno-urbanistycznej w Polsce. Pytania dotyczyły: - cech edukacji architektoniczno-urbanistycznej w Polsce; - obecnego podejścia do architektury w Polsce; - specyfiki szkół architektury w tym Wydziału Architektury w Gdańsku oraz - co i dlaczego warto polecić studentom z zagranicy, którzy chcieliby podjąć naukę w Polsce?
-
Konceptualizacja kolorów w języku osób niewidomych od urodzenia i ociemniałych we wczesnym stadium rozwoju
Publication -
Katalog typowych konstrukcji nawierzchni jezdni przeznaczonych do ruchu bardzo lekkiego oraz innych elementów dróg
PublicationW lipcu bieżącego roku zostało rekomendowane do stosowania przez Ministra Infrastruktury opracowanie WR-D-63, w którym zostały zawarte typowe konstrukcje nawierzchni dla dróg obciążonych bardzo lekkim ruchem oraz konstrukcje nawierzchni dla innych elementów dróg, obejmujących zatoki przystankowe, stanowiska postojowe, drogi manewrowe, drogi dla pieszych oraz drogi dla rowerów. W artykule przedstawiono zakres stosowania i ogólne...
-
Rola komponentów online we wspieraniu autentycznej komunikacji na zajęciach akademickich z technicznego języka angielskiego
PublicationProgramy e-learningowe mogą pomóc edukatorom w podniesieniu atrakcyjności kształcenia i osią-gnięciu pożądanych efektów. Praktyki metodyczne stosowane w nauczaniu na odległość: instruktywizm, konstruk-tywizm, konstrukcjonizm i konektywizm, wpływają wydatnie na stymulowanie uczących się do autentycznej inte-rakcji i komunikacji. Dotyczy to wszystkich przedmiotów, w tym także języków obcych, a w szczególności języka angielskiego,...
-
Projekt Leonardo da Vinci ''Wirtualne kursy zawodowego języka angielskiego oraz system ich ewaluacji VENOCES''.
PublicationProject VENOCES ma na celu podniesienie poziomu nauczania języków obcych oraz ułatwienie dostępu do wiedzy specjalistycznej przez stworzenie wirtualnych kursów językowych w dziedzinach istotnych dla wszystkich partnerów stosując nowoczesne technologie multimedialne oraz innowacyjne podejście metodologiczne CLIL (ang. Content and Language Learning Approach). Niewątpliwą innowacją założoną przez twórców projektu będzie zastosowanie,...
-
Rola i funkcje diagramów harmonogramowania w modelowaniu systemów informatycznych z wykorzystaniem języka UML 2
PublicationArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Język. Komunikacja. Informacja
Journals -
O topologii w architekturze
PublicationOpracowanie dotyczy inspiracji we współczesnej architekturze topologicznymi koncepcjami. Wzbogacenie warsztatu projektowego o komputerowe narzędzia obliczeniowe umożliwiające tworzenie i modyfikowanie unikalnej, krzywoliniowej, geometrii katalizuje formalne i konceptualne eksploracje przestrzeni topologicznej przez awangardowych projektantów. Podejście topologiczne manifestuje się zarówno w dynamice procesu projektowania opartego...
-
Systemy ekspertowe wykorzystujące język korzyści do projektowania nowoczesnych technologii dla osób starszych
PublicationCelem artykułu jest próba znalezienia podejścia ułatwiającego projektowanie/dostosowanie nowoczesnych technologii dla osób powyżej 65 roku życia. Do projektowania zdecydowano się wykorzystać język korzyści i systemy ekspertowe. W pierwszej części artykułu opisane zostały statystyki związane z użytkowaniem Internetu przez osoby starsze na przestrzeni siedmiu lat. Druga i trzecia część została poświęcona przybliżeniu pojęcia systemów...
-
System logiki rozmytej wspomagający tworzenie animacji komputerowych w oparciu o język Python
PublicationW celu tworzenia animacji komputerowych opartych o reguły wywodzące się z animacji tradycyjnej zaimplementowano system logiki rozmytej w języku Python, wykorzystujący słownikowy typ danych (tablice asocjacyjne). Zaprojektowane reguły łączą etykiety słowne, oznaczające zmienne lingwistyczne z etykietami nazw funkcji przynależności wykorzystującymi wartości lingwistyczne. W referacie przedstawiono fazy projektowania systemu, określania...
-
Zarządzanie wiedzą moralną w życiu gospodarczym : na pograniczu etyki i nowych technologii
PublicationAutorzy przedstawiają wstępną koncepcję zbudowania Internetowego Systemu Ekspertowego w dziedzinie wiedzy moralnej. Idea sprowadza się do zaaplikowania możliwości ogólnoświatowej sieci internetowej oraz koncepcji rozwijanych w ramach zarządzania wiedzą w odniesieniu do problemów moralnych występujących w życiu gospodarczym. System ten obejmuje: wiedzę ekspercką, akwizycję wiedzy o faktycznie dokonanych wyborach moralnych i ich...
-
Automatic music set organizatio based on mood of music / Automatyczna organizacja bazy muzycznej na podstawie nastroju muzyki
PublicationThis work is focused on an approach based on the emotional content of music and its automatic recognition. A vector of features describing emotional content of music was proposed. Additionally, a graphical model dedicated to the subjective evaluation of mood of music was created. A series of listening tests was carried out, and results were compared with automatic mood recognition employing SOM (Self Organizing Maps) and ANN (Artificial...
-
Czy fizyka może pomóc w rozwoju sztucznej inteligencji? (Czy sztuczna inteligencja pomoże w rozwoju fizyki?)
PublicationZaprezentowano możliwości zastosowania metod sztucznej inteligencji w rozwiązywaniu problemów z zakresu fizyki i inżynierii materiałowej
-
Reprezentacja map procesów biznesowych Rummlera-Brache'a w języku PMDL na potrzeby agentów monitorujących proces wytwórczy.
PublicationW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Proces wytwórczy definiowany jest w formie hierarchicznego zbioru procesów biznesowych opisywanych zgodnie z formalizmemzaproponowanym przez Rummlera-Brache'a. Zbiór ten odwzorowany jest na zapis w języku PMDL, z którego generowany jest kod agentów monitorujących proces wytwórczy.
-
Valence and ionic lowest-lying electronic states of ethyl formate as studied by high-resolution vacuum ultraviolet photoabsorption, He(I) photoelectron spectroscopy, and ab initio calculations
PublicationThe highest resolution vacuum ultraviolet photoabsorption spectrum of ethyl formate, C2H5OCHO, yet reported is presented over the wavelength range 115.0–275.5 nm (10.75–4.5 eV) revealing several new spectral features. Valence and Rydberg transitions and their associated vibronic series, observed in the photoabsorption spectrum, have been assigned in accordance with new ab initio calculations of the vertical excitation energies...
-
Z Teorii i Praktyki Dydaktycznej Języka Polskiego
Journals -
REJESTRACJA, PARAMETRYZACJA I KLASYFIKACJA ALOFONÓW Z WYKORZYSTANIEM BIMODALNOŚCI
PublicationPraca dotyczy rejestracji i parametryzacji alofonów w języku angielskim z wykorzystaniem dwóch modalności. W badaniach dokonano rejestracji wypowiedzi w języku angielskim mówców, których znajomość tego języka odpowiada poziomowi rodowitego mówcy. W kolejnym etapie wyodrębnione zostały alofony z nagrań fonicznych i odpowiadające im sygnały wizyjne. W procesie tworzenia wektorów cech wykorzystano odrębne systemy parametryzacji,...
-
Reprezentatywne dla danego języka spektra odpowiedzi impulsowej kanału głosowego [Language specific spectra generated in the human vocal tract]
Publication -
GRAPHICAL REPRESENTATION OF MUSIC SET BASED ON MOOD OF MUSIC. GRAFICZNA PREZENTACJA ZBIORU MUZYCZNEGO OPARTA NA ANOTACJI NASTROJU MUZYKI
PublicationOne of the features for music recommendation, which is useful and intuitive for music listen-ers, is “mood”. The paper presents an approach to graphical representation of mood of music pieces. Subjective evaluation based on listening tests is performed for assigning mood labels of 150 pieces of music and placing them on the 2D mood plane. As a result, a map of songs is created, where music excerpts with similar mood are organized...