Search
Filters
total: 2272
-
Catalog
- Publications 1077 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 244 available results
- Projects 7 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 689 available results
- Events 89 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
Safety assessment of ships in critical conditions using a knowledge-based system for design and neural network system
PublicationW pracy opisano wybrane elementy metody oceny bezpieczeństwa statków w stanie uszkodzonym, ukierunkowanej na ocenę osiągów statku i ocenę ryzyka. Metoda analizy osiągów i zachowania się statku w stanie uszkodzonym została wykorzystana do oceny charakterystyk hydromechanicznych statku uszkodzonego. Do oceny ryzyka wykorzystano elementy metodyki Formalnej Oceny Bezpieczeństwa. System ekspertowy został wykorzystany do analziy podziału...
-
Ontologiczna inżynieria wiedzy
PublicationOntologiczna inżynieria wiedzy jest dobrą podstawą metodologiczną, a ontologie dziedzin przedmiotowych ważnym elementem konstrukcyjnym semantycznych systemów reprezentacji wiedzy. W artykule omówiono budowanie ontologii w oparciu o edytor ontologii FluentEditor i język CNL (Controlled Natural Language). Przykładową ontologię dotyczącą fragmentu procesu produkcji rolniczej wykorzystano do budowy semantycznej bazy wiedzy. W tym celu...
-
Algorytmy ewolucyjne w projektowaniu sieci MPLS
PublicationNiniejszy artykuł opisuje zrealizowane narzędzie, które umożliwia projektowanie sieci MPLS za pomocą Algorytmów Ewolucyjnych. Narzędzie to generuje ścieżki i optymalizuje alokację na nich przepływności żądań zapotrzebowań z uwzględnieniem klas obsługi strumieni ruchu z gwarancją zróżnicowanego QoS. Może także wybierać ścieżki do alokacji spośród danych wejściowych tak, aby wykorzystanie sieci było optymalne. Narzędzie to zostało...
-
Razem i osobno
PublicationKatalog ilustrujący roczną działalność galerii BWA w Lublinie. Opisuje wystawy, które miały miejsce w galerii Labirynt w 2008 roku (m. in. wystawę "Razem i osobno" J. Buczkowskiego, K. Wróblewskiego i Z. Pidka).Katalog liczy 84 strony i zawiera teksty krytyczne w języku polskim i angielskim oraz 123 kolorowe reprodukcje prac artystów (prace autorów s. 59). Wydawcą katalogu jast Biuro Wystaw Artystycznych w Lublinie ISBN: 978-83-927473-4-5.
-
Zdalne monitorowanie obiektów wyposażonych w instalację KNX
PublicationW artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...
-
Modele semantyczne wymiany informacji o stanie systemu elektroenergetycznego
PublicationZaprezentowano Common Information Model CIM opracowany w Electric Power Research Institute EPRI w USA. Model ten wypełnia brak uniwersalnego języka opisu topologii i stanu sieci elektroenergetycznej. Stworzony został na potrzeby integracji narzędzi stosowanych przez podmioty sektora elektroenergetycznego. CIM wykorzystuje RDF Schema Definition (RDFS) i RDF. Na tle tego standardu przedstawiono własny zestaw pojęć mapujący meta-ontologię...
-
Internet as a new platform for delivery of microwave CAD services.
PublicationZaprezentowano aplikację przeznaczoną do syntezy filtrów rezonatorowych, która jest realizacją nowego sposobu myślenia związanego z rewolucją usług internetowych, które charakteryzują się niskim kosztem tworzenia oraz szybką i bezpieczną dystrybucją. Opisano stworzoną wielowarstwową aplikację, która gwarantuje łatwy, bezpieczny oraz ograniczony dostęp do aplikacji dla szerokiego kręgu osób. Zawarto w niej algorytm szybkiej syntezy...
-
The cartographer algorithm for processing and querying description logics ontologies
PublicationLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
Completeness and Consistency of the System Requirement Specification
PublicationAlthough the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...
-
Conformance testing of parallel languages
PublicationPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Musical Metadata Retrieval with Flow Graphs, in Rough Sets and Current Trends in Computing.
PublicationW pracy opisano metody wyszukiwania muzyki w Internecie w oparciu o opis semantyczny. W eksperymentach wykorzystano opis muzyczny stosowany w bazie CDDB. Zaprezentowano metodę grafów przepływowych zaproponowaną przez Pawlaka.
-
Brygida Mielewska dr
PeopleBorn on 1 December 1972 in Gdynia. Education and professional experience:June 1997 MSc in Physics, Gdańsk University, Faculty of Mathematics and Physics; October 1997 – August 2003 – Assistant at Gdańsk University of Technology (GUT), Faculty of Applied Physics nad Technical Mathematics, Department of Physics of Electronic Phenomena;June 2003 – PhD in Physics, thesis advisor prof. dr hab. Mariusz Zubek; September 2003- January...
-
Application of Ontology In the ITIL Domain
PublicationBusiness standards tend to be less formal in description then strict technical norms. Authors of this chapter suggest applying ontological description (powered by the capabilities of the OWL language) to express Information Technology Infrastructure Library (ITIL). One of the goals of this initial study is to determine the usefulness of such semantic model in organizations that adopted or plan to adopt ITIL.
-
Jan Daciuk dr hab. inż.
PeopleJan Daciuk received his M.Sc. from the Faculty of Electronics of Gdansk University of Technology in 1986, and his Ph.D. from the Faculty of Electronics, Telecommunications and Informatics of Gdańsk University of Technology in 1999. He has been working at the Faculty from 1988. His research interests include finite state methods in natural language processing and computational linguistics including speech processing. Dr. Daciuk...
-
Wstęp do fizyki ciał amorficznych
e-Learning CoursesW wykładzie przedstawione są podstawy fizyki ciał amorficznych, będącej aktualną i szybko rozwijającą się dziedziną fizyki.
-
Variacionnye metody
PublicationMonografia zawiera metody wariacyjne dla rozwiązywania zadań fizyki matematycznej. Rozwiązane zastałe odwrotne zagadnienie rachunku wariacyjnego dla nieliniowych równań różniczkowych. Zbudowana jedyną teorię takich zadań dla liniowych i nieliniowych równań różniczkowych.
-
Zdolni z Pomorza 2017/18 - Java i Android - podstawy programowania
e-Learning CoursesCel kursu: Celem kursu jest zapoznanie uczniów z podstawami w zakresie programowania w języku Java oraz z podstawami tworzenia aplikacji w środowisku Android. Opis kursu: Materiał przedstawiany na kursie będzie wprowadzał do zagadnień programowania w języku Java oraz środowiska Android. Od uczniów wymagana jest podstawowa wiedza w zakresie obsługi komputerów. Mile widziane są wcześniejsze doświadczenia w zakresie programowania...
-
Zdolni z Pomorza 2018/19 - Java i Android - podstawy programowania
e-Learning CoursesCel kursu: Celem kursu jest zapoznanie uczniów z podstawami w zakresie programowania w języku Java oraz z podstawami tworzenia aplikacji w środowisku Android. Opis kursu: Materiał przedstawiany na kursie będzie wprowadzał do zagadnień programowania w języku Java oraz środowiska Android. Od uczniów wymagana jest podstawowa wiedza w zakresie obsługi komputerów. Mile widziane są wcześniejsze doświadczenia w zakresie programowania...
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069419661]
Open Research DataThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Wpływ zużycia opony samochodowej na jej opór toczenia
PublicationW pracy przedstawiono wpływ zużycia opony samochodowej na jej opór toczenia. Zużycie czterech opon testowych uzyskano podczas normalnej eksploatacji, natomiast zużycie sześciu pozostałych uzyskano sztucznie przez zeszlifowanie czoła bieżnika papierem ściernym na specjalnej szlifierce. Pomiary oporu toczenia wykonano na bębnowej maszynie bieżnej metodą momentową. Wyniki tych pomiarów przedstawiono w formie zależności współczynnika...
-
A Generative Approach to Hull Design for a Small Watercraft
PublicationIn the field of ocean engineering, the task of spatial hull modelling is one of the most complicated problems in ship design. This study presents a procedure applied as a generative approach to the design problems for the hull geometry of small vessels using elements of concurrent design with multi-criteria optimisation processes. Based upon widely available commercial software, an algorithm for the mathematical formulation of...
-
Eliminacja wyższych harmonicznych prądu za pomocą filtrów poprzecznych
PublicationW artykule przedstawiono sposób i skutecznośc eliminacji wyższych harmonicznych prądu w sieci elektroenergetycznej za pomoca filtrów poprzecznych LC. Zaprezentowano wyniki symulacji komputerowych wpływu prostownika 6-pulsowego w stanie pracy normalnej na jakosć energii elektrycznej w elektroenergetycznej sieci zasilającej.Przedstawiono przykładowe przebiegi napięć i prądów oraz analizę zawartości wyższych harmonicznych w sieci...
-
Recent developments in automatic classification of musical instruments. W:[CD-ROM] Collected papers. First Pan-American/Iberian Meeting on Acoustics. 144 Meeting of the Acoustical Society of America. III Iberoamerican Cong- ress of Acoustics. 9o Mexican Congress of Acoustics. Cancun, Q. R. Mxico, 2-6 Dec. 2002. [B.m.:ASA]**2002 paper 2aMU4, 7 s. 6 rys. 1 tab. bibliogr. 21 poz. Automatyczne rozpoznawanie muzyki - przykłady eksperymentów.
PublicationW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automaty-cznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktu-alnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klasinstrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowewyniki i przedstawiono projekt prac do zrealizowania w przyszłych ekspery-mentach.
-
#CiekawiNauki – Pszczoły pod okiem sztucznej inteligencji
EventsW ramach 8. spotkania z cyklu #CiekawiNauki zaprezentujemy SMARTULĘ –inteligentny system do zdalnego monitoringu pasiek.
-
Wstęp do metod numerycznych
PublicationMetody numeryczne to bez wątpienia jedno z najważniejszych narzędzi w rękach inżyniera czy fizyka. W skrypcie przedstawione zostały najistotniejsze własności wybranych metod numerycznych, działanie każdej z nich przystępnie zaprezentowano na przykładach. Rozdział 1 zawiera podstawowe informacje dotyczące błędów obliczeń wykonywanych na maszynie cyfrowej. W rozdziale 2 omówiono metody służące do rozwiązywania równań nieliniowych...
-
Komputerowy system pomiarowy do diagnostyki łożysk
PublicationW artykule przedstawiono komputerowy system do diagnostyki łożysk silników indukcyjnych metodą pomiaru i analizy mocy chwilowej pobieranej przez badane maszyny. Do realizacji oprogramowania systemu pomiarowego wybrano środowisko programowania w języku graficznym LabVIEW. Opracowane oprogramowanie umożliwia analizę, archiwizację i wizualizację danych uzyskanych z pomiarów mocy chwilowej, pobieranej przez badane silniki indukcyjne,...
-
Les Lumieres contre la torture et la peine de mort
PublicationArtykuł napisany jest w języku francuskim. Jego tytuł w polskim tłumaczeniu brzmi: "Oświecenie wobec tortur i kary śmierci". Artykuł ten dotyczy stanowiska Woltera, Monteskiusza oraz Beccari wobec nadużyć systemu prawnego przedrewolucyjnej Francji. Analizuje on ich krytyczne stanowisko wobec tych nadużyć i bada filozoficzne teorie, jakimi posługują się Wolter i Monteskiusz w celu zniesienia tortur, oraz Beccaria, który nie tylko...
-
Gazetteer compression technique based on substructure recognition
PublicationAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
Monitorowanie procesu wytwarzania oprogramowania z wykorzystaniem hierarchii agentów typu Web Farming.
PublicationW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Idea polega na nadzorowaniu przebiegu projektu w tle poprzez agentów uruchomionych na komputerach uczestników projektu. W celu zdefiniowania procesu, zwanego procesem SoFar, proponuje się język PMDL, który będzie podstawą także do generowania kodu agentów. Przedstawiono możliwości zastosowania...
-
Python - Matematyka
e-Learning CoursesKurs ma stanowić pomoc dla studentów Matematyki 2. stopnia w nauce języka Python.
-
Formal Techniques in Real-Time and Fault Tolerant Systems
Conferences -
International Conference on Formal Methods and Models for Co-Design
Conferences -
Int. Workshop on Formal Methods for Industrial Critical Systems
Conferences -
Formal Methods in Software Engineering and Defence Systems Workshop
Conferences -
Autonomiczność w systemach transportowych
e-Learning CoursesKurs ma na celu zapoznanie studenta z podstawową wiedzą związaną z autonomicznością w systemach transportowych w ramach transportu lądowego, wodnego i powietrznego, infrastrukturą i środkami transportu występującymi w gałęziach transportowych. Charakterystyka, zastosowanie autonomiczności w gałęziach transportu, środkach transportu towarowego i pasażerskiego, aspekty techniczne i formalne systemów, uregulowania prawne. Wpływ innowacji...
-
Towards automation of IT systems repairs
PublicationMonitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...
-
Kalibracja i walidacja metody Mathara za pomocą Metody Elementów Skończonych
PublicationMetoda pomiaru naprężeń powierzchniowych przy pomocy rozet tensometrycznych i kontrolowanych odwiertów (metoda otworkowa) jest stosowana powszechnie w odniesieniu do stali izotropowych oraz silnie anizotropowych laminatów, natomiast nie została rozpoznana jej stosowalność do umiarkowanie anizotropowych stopów metali. W artykule opisane jest odniesienie wyników pomiarów wykonanych na płytach ze stali duplex do modelu numerycznego...
-
Koło języka niemieckiego.
e-Learning Courses -
Extraction of music information based on artifical neutral networks
PublicationW artykule przedstawiono założenia systemu automatycznego rozpoznawania muzyki. Na podstawie przeprowadzonych eksperymentów w artykule przedstawiono efektywność zaimplementowanych algorytmów w zależności od sposobu opisu danych muzycznych. Zaimpementowany system jest oparty o sztuczne sieci neuronowe.
-
Seminarium fizyki stosowanej III / Laboratorium Fizyki Atomu i Cząsteczki
e-Learning CoursesSeminarium fizyki stosowanej III / Laboratorium Fizyki Atomu i Cząsteczki (I stopień, Fizyka stosowana, sem. 6)
-
Strategiczne zagadnienia tworzenia i funkcjonowania sieci tymczasowych
PublicationW artykule przedstawiano wyniki badań zagadnień charakteryzujących tworzenie i funkcjonowanie sieci tymczasowych, tj. sieci, które są organizowane w celu realizacji dużych, złożonych przedsięwzięć gospodarczych, najczęściej kosztownych i przekraczających możliwości realizacyjne jednego przedsiębiorstwa i które są powołane na określony okres czasu. Skupiono się nad strategicznymi zagadnieniami tworzenia i funkcjonowania tych sieci,...
-
Potencjalna wartość i możliwe oddziaływanie odznak cyfrowych: Nowy sposób oceniania pracy studentów
PublicationZarówno w środowisku tradycyjnym, jak i elearningowym, ocenianie uczących się odgrywa bardzo ważną rolę. W zależności od przyjętej koncepcji pedagogicznej edukatorzy przypisują większe znaczenie ocenom formatywnym lub sumatywnym, a wystawiane przez nich certyfikaty i dyplomy tylko w części pokazują kwalifikacje osoby posiadającej je, gdyż informacje, które zawierają, zwykle sprowadzają się do określenia uzyskanego przez nią stopnia,...
-
Rzeczywiste charakterystyki czasowo-prądowe wyłączników różnicowoprądowych 30 mA przy prądzie sinusoidalnym
PublicationPrzedstawiono wymagania norm odnoszące się do charakterystyki czasowo-prądowej wyłączników różnicowoprądowych o znamionowym prądzie różnicowym zadziałania równym 30 mA. Zaprezentowano wyniki badań laboratoryjnych czasu wyłączania takich wyłączników przy sinusoidalnym prądzie różnicowym i oceniono je z punktu widzenia tych wymagań. Badania wykazały, że czasy wyłączania dwóch lub większej liczby porównywanych wyłączników różnicowoprądowych...
-
Maksymalna elastyczność pracy bloków parowych
PublicationW artykule przedstawiono propozycję przyspieszenia startów turbiny parowej poprzez właściwe doprowadzanie pary w trakcie stanów niestacjonarnych. Badano najbardziej wytężone miejsca w urządzeniu, przy uwzględnieniu tradycyjnej hipotezy Hubera-Missesa-Hencky, jak i hipotezy Burzyńskiego. W przypadku licznych startów coraz większe znaczenie odgrywają naprężenia termiczne, dla których najważniejsze są składowe normalne naprężeń, w...
-
Syntheses and structures of the first terminal phosphanylphosphido complexes of molybdenum(IV)
PublicationThe reactions of R2P-P(SiMe3)Li (R = tBu, iPr2N) with [Cp2MoCl2] yield terminal phosphanylphosphido complexes formally via the insertion of the phosphinidene P-atom into the C - H bond of a cyclopentadienyl ring and the migration of the hydrogen atom or SiMe3 moiety to the molybdenum centre. Solid state structures of [Cp(C5H4P-PtBu2)MoH], [Cp(C5H4P-PtBu2)Mo(SiMe3)] and [Cp{C5H4P-P(NiPr2)2}Mo(SiMe3)] were established by single crystal...
-
Domy - wewnętrzne krajobrazy.
PublicationPrzestrzenna redefinicja domu stanowi dziś jeden z wątków dyskusji ze zdeterminowanym wyrazem formalnym architektury i hermetycznością miejsca. Coraz częściej akcentowana jest potrzeba elastyczności domu i jego otwarcia na świat zewnętrzny. Jego przestrzeń wewnętrzna kształtowana jest coraz częściej jako ewoluujący ciągu sekwencji kompozycyjnych, formowany na wzór krajobrazu i poszukujący do niego odniesień. Domy stają się...
-
Automatic retrieval of musical rhythmic patterns.
PublicationObecnie stosowane technologie pozwalają na wyszukiwanie muzyki w zasobach Internetowych w oparciu o reprezentację melodyczną. W referacie przedstawiono problemy związane z wyszukiwaniem cech rytmicznych utworów muzycznych i pokazano stosowane metody umożliwiające automatyczne określanie rytmu.
-
Akademia ETI dla I ALO - programowanie w języku C++
e-Learning CoursesZajęcia prowadzone przez nauczycieli akademickich WETI dla I Akademickiego Liceum Ogólnokształcącego w Gdyni - programowanie w języku C++
-
Programowalne Układy Cyfrowe (2022/2023)
e-Learning CoursesKurs wprowadza do tematyki projektowania układów cyfrowych w technologii układów FPGA, z wykorzystaniem języka opisu sprzętu VHDL.
-
23/24_summer_Module: Urban Planning
e-Learning CoursesKurs obowiązkowy dla studentów I semestru studiów magisterskich na kierunku Gospodarka przestrzenna, specjalność Urbanism (w języku angielskim).