Filters
total: 3332
-
Catalog
- Publications 1791 available results
- Journals 18 available results
- Publishing Houses 5 available results
- People 333 available results
- Projects 40 available results
- Laboratories 8 available results
- Research Teams 24 available results
- Research Equipment 2 available results
- e-Learning Courses 924 available results
- Events 82 available results
- Open Research Data 105 available results
displaying 1000 best results Help
Search results for: JĘZYKI MODELOWANIA
-
Modelowanie szumów RTS
PublicationPrzytoczono charakterystyczne parametry szumu wybuchowego (Random Telegraph Signal, RTS). Przedstawiono algorytm programowego generatora szumów RTS. Algorytm został wyposażony w możliwość dodawania do wygenerowanych impulsów RTS szumu białego oraz szumu typu 1/f. Przedstawiono przykładowe realizacje wygenerowanych przebiegów.
-
Modelowanie szumów RTS
PublicationPrzytoczono charakterystyczne parametry szumu wybuchowego (Random Telegraph Signal, RTS). Przedstawiono algorytm programowego generatora szumów RTS. Algorytm został wyposażony w możliwość dodawania do wygenerowanych impulsów RTS szumu białego oraz szumu typu 1/f. Przedstawiono przykładowe realizacje wygenerowanych przebiegów.
-
Modelowanie łożysk foliowych
PublicationReferat stanowi wprowadzenie teoretyczne do oceny stanu zmęczenia metodami energetycznymi. Autor stara się wyjaśnić i znaleźć miarodajne cechy stanu zużycia zmęczeniowego z wykorzystaniem termowizji. W artykule zawarto krótki opis celu badań, stanowiska oraz wyników. Zaprezentowano również własne spostrzeżenia i ich odniesienie do występujących w literaturze teorii określania miary zużycia zmęczeniowego. Referat stanowi wprowadzenie...
-
Modelowanie wrzenia pęcherzykowego.
PublicationMonografia jest poświęcona heterogenicznemu, nasyconemu wrzeniu pęcherzykowemu w dużej objętości. Celem opracowania jest prezentacja zarówno ugruntowanej wiedzy o wrzeniu pęcherzykowym, jak i przegląd najnowszych osiągnięć, idei, modeli matematycznych oraz metod badawczych dotyczących wrzenia w dużej objętości. Szczególny nacisk został położony na problem modelowania przejmowania ciepła oraz pierwszego kryzysu wrzenia.
-
Język fiński w teorii i praktyce (książka)
Publication -
KQL - język dostępu do konglomeratowych baz wiedzy
PublicationJednym z kierunków rozwoju systemów informatycznych w ostatnich latach jest ewolucja systemów opartych na danych do systemów opartych na wiedzy. W ramach tego procesu są prowadzone prace między innymi nad nowymi reprezentacjami wiedzy i językami dostępu do wiedzy. Języki dostępu do baz wiedzy są w dużej mierze uzależnione od metod reprezentacji wiedzy, ponieważ operują na jej elementach. Wraz z zaproponowaniem konglomeratowej reprezentacji...
-
Wieloznaczność w języku i tekście [Ambiguity in language and text]
Publication -
Neuronowe modele z atencją w przetwarzaniu języka naturalnego
PublicationCelem niniejszego rozdziału jest wprowadzenie w tematykę sieci neuronowych z atencją oraz ich zastosowań w przetwarzaniu języka naturalnego. Rozdział skupia się w szczególności na dokładnym omówieniu architektury modelu Transformer, wykorzystującego atencję jako podstawowy mechanizm swojego działania.
-
Ontologia języka wzorców projektowych dla systemów Smart Cities
PublicationW artykule przedstawiono definicję języka wzorów projektowych Smart Cities w postaci ontologii. Jako, że wdrażanie rozwiązania Smart City jest trudne, drogie i ściśle związane z problematyką dotycząca danego miasta, wiedza nabywana podczas pojedynczego wdrożenia jest wiedzą niezwykle cenną. Zdefiniowany przez nas język wspiera zarządzanie ww. wiedzą jako, że pozwala on na ekspresję rozwiązania, które bazując na najlepszych praktykach...
-
Pseudostany w diagramach maszyny stanowej języka UML 2.0
PublicationKluczowymi pojęciami w odniesieniu do obiektowych baz danych są obiekty i ich klasy. Aspekt dynamiczny obiektów w systemach intensywnie wykorzystujących dane może być modelowany przy wykorzystaniu diagramów maszyn stanowych. Semantykę tego rodzaju diagramów w wersji 2.0 języka UML znacząco rozbudowano o szereg kategorii pojęciowych. Do najistotniejszych z nich należą pseudostany obiektów. Pozwalają one na precyzyjną specyfikację...
-
Hybrydowe metody modelowania układów mechanicznych
Publicationprzedstawiono dyskretno-ciągłą metodę pryzm oraz hybrydową metodę dekompozycji modalnej modelowania układów mechanicznych. W dyskretno- ciągłej metodzie pryzm elastyczne ciało dyskretyzuje się na jednowymiarowe elementy ciągłe nazywane pryzmami. Każda pryzma opisana jest przez zbiór sześciu sprzężonych równań różniczkowych cząstkowych. Do rozwiązania równań opisujących cały układ stosuje się metodę transmitancji dla układów o parametrach...
-
Katedra Algorytmów i Modelowania Systemów
PublicationPrzedstawiono podstawowe informacje nt. Katedry Algorytmów i Modelowania Systemów Wydziału Elektroniki, Telekomunikacji i Informatyki PG. W szczególności przedstawiono rys historyczny, działalność dydaktyczną, badania podstawowe, nagrody i wyróżnienia oraz ofertę dla przemysłu.
-
Efektywny algorytm modelowania kanału radiokomunikacyjnego
PublicationW referacie omówiono efektywny algorytm modelowania kanału radiokomunikacyjnego z zanikami i propagacją wielodrogową. Zaproponowano szybką metodę ważonego próbkowania prążkowej odpowiedzi impulsowej kanału radiokomunikacyjnego. Przedstawiono algorytm generacji sekwencji współczynników rayleighowskich o pożądanym rozkładzie gęstości mocy z wykorzystaniem transformacji FFT. Na podstawie porównania ze stosowanym dotychczas modelem...
-
Klasyfikacja metod modelowania procesów biznesowych
PublicationW rozdziale podjęto próbę klasyfikacji metod modelowania procesów biznesowych uwzględniając złożoność metody, cel modelowania oraz zakres modelowanych aspektów organizacji. Zawarto także opis popularnych diagramów używanych w metodologiach modelowania procesów bitznesowych. Wyjaśniono przy tym podstawowe pojęcia związane z modelowaniem procesów biznesowych w kontekście inżynierii oprogramowania oraz zarzadzania procesami biznesowymi.
-
Biuletyn Rady Języka Kaszubskiego
Journals -
Języki skonstruowane jako obiekt badań współczesnej interlingwistyki [Constructed Languages as an Object of Study in Contemporary Interlinguistics]
Publication -
„Zakochałam się w Finach, w Finlandii, w ich języku...”. Rozmowa Sabiny Lech z kierownikiem Pracowni Języka, Kultury i Gospodarki Finlandii prof. nadzw. dr hab. Katarzyną Wojan, przeprowadzona w Gdańsku w dniu 16.03.2017
Publication -
Integracyjna metoda konstruowania aplikacji
PublicationZaproponowano metodę wytwarzania oprogramowania IMAC, która może stanowić pewien przełom w inżynierii oprogramowania na miarę jaką stanowiło wprowadzenie języków obiektowych zwłaszcza dla aplikacji rozproszonych do zastosowań biznesowych. W metodzie tej proponuje się ścisłe powiązanie analizy, projektu i implementacji w jednym, spójnym środowisku graficznym i stosowanie wspólnego języka modelowania i implementacji IML. Głównym...
-
Metody i jezyki opisu scenariuszy zachowań aplikacji przetwarzania wszechobecnego
PublicationPrzedstawiono opis przetwarzania scenariuszy zachowań aplikacjiprzetwarzania wszechobecnego. Zaprezentowano charakterystykę porównawczą języków wykorzystywanych do opisu takich scenariuszy. Przytoczono prace, w których podjęto próby wykorzystania języków formalnych do weryfikowania poprawności scenariuszy na etapie ich defniowania.
-
Układy cyfrowe : podstawy projektowania i opis w języku VHDL
PublicationPrzedstawiono podstawowe wiadomosci dotyczące zasad budowy, działania, analizy i syntezy układów cyfrowych kombinacyjnych, sekwencyjnych i modułowych oraz opisu układów w języku VHDL.
-
Przetwarzanie wyrażeń języka naturalnego w wyrażenia logiczne - system Denise
PublicationPo krótkim wprowadzeniu do systemów reprezentacji wiedzy i wnioskowania omówiono eksperymentalny system przetwarzania zdań w języku polskim w wyrażenia rachunku zdań i logiki pierwszego rzędu.
-
Obraz Bożego Narodzenia i Wielkanocy w języku dziesięcioletnich dzieci
Publication -
STM32: Aplikacje i ćwiczenia w języku C. - M. Galewski. -
PublicationW książce przedstawiono nowoczesne, 32-bitowe mikrokontrolery z rodzeniem ARM Cortex-M3. Oprócz opisu poszczególnych ich podukładów, zawarto w niej przede wszystkim wiele przykładowych ćwiczeń, których zaawansowanie jest stopniowane, dzięki czemu czytelnicy są łagodnie wprowadzani w omawianie zagadnienia. Przykłady zamieszczone w książce są bardzo różnorodne, bazują m.in. na czujnikach przyspieszenia i ciśnienia MEMS, interfejsie...
-
Polityczne, prawne i ekonomiczne aspekty ustawy o języku polskim
PublicationW artykule omówiono proces przyjmowania przez Sejm i Senat RP ustawy o języku polskim z 7 października 1999 r. oraz jej nowelizacji z 4 marca 2004 r. Przestawiono aspekty polityczne, prawne i ekonomiczne tej ustawy oraz wybrane komentarze prasowe.
-
Modelowanie zachowania układu mięśni
PublicationW rozdziale są opisane podejścia do zamodelowania zachowania zespołu mięśni, które są oparte o zasady mechaniki. Zgodnie z tymi zasadami problem zamodelowania zachowania zespołu mięśni należy rozwiązać jako odwrotne lub proste zadanie dynamiki. Odwrotne zadanie dynamiki pozwala na wyznaczenie sił/momentów generowanych przez poszczególne mięśnie na podstawie danych kinematycznych, tzn. trajektorii ruchu oraz jej pochodnych (prędkości...
-
MODELOWANIE MATEMATYCZNE PRZEGRÓD LODOWYCH
PublicationW celu ochrony przed niebezpiecznym zjawiskiem zatoru lodowego opracowano szereg metod, które można podzielić na metody czynne i bierne. Pierwsza grupa obejmuje działania techniczne prowadzące do mechanicznego lub termicznego usuwania lodu i neutralizacji zatorów. Wykorzystuje się w tym calu głównie lodołamacze lub innego typu jednostki pływające. Do metod biernych zalicza się przede wszystkim przegrody lodowe budowane w celu stabilizacji...
-
Modelowanie systemów samoreprodukujacych się
PublicationAbstrakt opisuje system samoreprodukujący się zrealizowany w środowisku DigiHive. Środowiskiem jest dwuwymiarowa przestrzeń, w której poruszają się, zderzają się i tworzą wiązania stosy sześciokatnych płytek. Na wyższym poziomie organizacji struktura płytek specyfikuje funkcje których realizacja zmienia struktury innych płytek w otoczeniu.
-
Modelowanie, monitorowanie i sterowanie
PublicationArtykuł przedstawia przegląd najnowszych wyników prac prowadzonych w obszarach modelowania, monitorowania i sterowania systemami wodociągowymi i ściekowymi.Ze względu na palące potrzeby kompleksowej ochrony środowiska naturalnego systemy wodociągowe i ściekowe sa przedmiotem intensywnych prac badawczych oraz wdrożeniowych. Spełnienie wysokich wymagań jakości oczyszczanych ścieków oraz wody pitnej, przy jednoczesnej minimalizacji...
-
Modelowanie małej elektowni wiatrowej
PublicationW pracy przedstawiono model elektrowni wiatrowej o mocy 8500W wyposażonej w generator z silnikiem synchronicznym z magnesami trwałymi. W oparciu o analizę dostępnej literatury naukowej, norm technicznych, opracowano model elektrowni wiatrowej, który został zaimplementowany w środowisku Matlab Simulink. Model ten pozwala przeprowadzić analizę elektrowni wiatrowej, w której regulacja wytwarzanej energii odbywa się z wykorzystaniem...
-
Modelowanie sygnatury magnetycznej okrętu
PublicationOkręty wojenne podlegają okresowemu badaniu poziomu poszczególnych pól fizycznych. Ze względu na zagrożenie minowe badane jest między innymi pole magnetyczne okrętu. Badania te pozwalają wyznaczyć sygnatury magnetyczne okrętów. Przedstawiono multidipolowy model pola magnetycenego okrętu, który pozwala na wyznaczenie parametrów sygnatury magnetycznej okrętu.
-
Modelowanie bezpieczeństwa ruchu drogowego
PublicationKluczowe w badaniach bezpieczeństwa ruchu drogowego są analizy rozwoju ryzyka, stanowiące merytoryczną podstawę wszelkich, podejmowanych działań prewencyjnych i zaradczych. Mierzenie ich efektywności oraz monitoring procesu wdrażania jest zadaniem wymagającym odpowiedniego warsztatu naukowego uwzględniającego metody oceny, a także badania zmian poziomu bezpieczeństwa w kolejnych latach. Referat przedstawia metodykę działania w...
-
Badanie procesów miejskich metodami modelowania matematycznego
PublicationPytania o sposób organizacji miejskich usług i procesy wyboru ich lokalizacji w kontekście gwałtowności obecnych przemian cywilizacyjnych wydają się nabierać coraz większej wagi. Strategia kształtowania przestrzeni komercyjnych w mieście nie może dopuszczać by odbywało się ono wyłącznie pod dyktando samoistnych procesów rynkowych, lecz powinna być odpowiedzią na realne, dobrze zdiagnozowane potrzeby - zmierzać do polepszenia jakości...
-
Dyskretno-ciągła metoda modelowania układów dynamicznych
PublicationW artykule przedstawiono oryginalną metodę modelowania układów dyskretno-ciągłych. Metoda polega na dyskretyzowaniu układu trójwymiarowego jedynie w dwóch wybranych kierunkach. W trzecim z kierunków układ pozostaje ciągły. Otrzymany w ten sposób model jest modelem dyskretno-ciągłym. Opisany jest za pomocą równań różniczkowych cząstkowych. Ogólne równania różnicowe układu dyskretnego otrzymano, wykorzystując metodę sztywnych elementów...
-
Optymalizacja modelowania przezbrojeń w procesie produkcyjnym
PublicationCzynności służące przygotowaniu maszyn do pracy są nieodzownym elementem każdego procesu produkcyjnego. Niestety są to działania, których realizacja nie powoduje bezpośredniego przyrostu wartości dodanej do produktu końcowego. Klienci są gotowi zapłacić za wyrób o pożądanych cechach, dostarczony w oczekiwanym przez nich czasie bez zastanawiania się jakie procesy pomocnicze był zmuszony zrealizować producent. W związku z tym wykonywanie...
-
Metody i zastosowania modelowania tkanki ludzkiej
PublicationArtykuł opisuje możliwości, jakie daje medycynie modelowanie tkanki ludzkiej z wykorzystaniem rzeczywistości wirtualnej i rozszerzonej. Przedstawia on ponadto trzy propozycje zastosowania w praktyce lekarskiej modelowania gruczołu piersiowego. Propozycje te są wynikiem uzgodnień zespołu medyczno-informatycznego (autorów artykułu) i zostały zaplanowane jako realizowane oraz wdrażane w czasie następującym po publikacji artykułu....
-
Model referencyjny sieci trakcyjnej - koncepcja modelowania
PublicationGórna sieć trakcyjna jest nadal najefektywniejszym sposobem zasilania kolejowych pojazdów elektrycznych. Wzrost prędkości pojazdów zwiększa pobór mocy oraz wymaga zapewnienia prawidłowej współpracy odbieraków prądu z siecią jezdną. Podejmowane są prace związane z komputerowym wspomaganiem projektowania sieci trakcyjnych. W tej pracy omówiono autorski model matematyczny sieci trakcyjnej w kontekście tzw. modelu referencyjnego oraz...
-
Od modelowania, przez symulację do sterowania
PublicationPosiadanie i umiejętne wykorzystanie modeli elementów systemów oraz środowisk symulacyjnych ''obudowanych'' odpowiednimi zaawansowanymi algorytmami sterowania może zapewnić wysoką technologiczną wydajność modelowanych systemów przy ponoszeniu relatywnie niskich kosztów ekonomicznych i środowiskowych.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Evaluation of Multimedia Stream Processing Modeling Language from the Perspective of Cognitive Dimensions
PublicationW referacie zawarto opis zastosowania wymiarów poznawczych do oceny języka modelowania przetwarzania strumieni multimedialnych, nazwanego MSP-ML, w trakcie tworzenia tego języka. Poszczególne części referatu prezentują kontekst i motywacje oceny MSP-ML, metodę oceny, rezultaty oceny oraz porównanie rezultatów oceny z wynikami otrzymanymi za pomocą innych metod oceny języków modelowania wizualnego.
-
Wyróżnienia dla trójmiejskich popularyzatorów fizyki
PublicationArtykuł poświęcony doktorowi Stanisławowi Zacharze - laureatowi wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego.
-
Języki Obce w Szkole
Journals -
Język fiński na Uniwersytecie Gdańskim [Finnish Studies at the University of Gdańsk]
Publication -
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.
-
Autentyczność na zajęciach zwiększających kompetencje w użyciu specjalistycznego języka angielskiego
PublicationWłączenie zasobów i aktywności online do sylabusa tradycyjnego kursu akademickiego wymaga restrukturyzacji programu nauczania w celu osiągnięcia efektu synergii. Rozwój technologii internetowych umożliwił edukatorom przejście od czysto instruktywistycznych praktyk dydaktycznych do zajęć opartych na ideach konstruktywistycznych i konstrukcjonistycznych. Dzięki zmianie paradygmatu nauczanie i uczenie się jest bardziej ukierunkowane...
-
Aktywności stymulujące refleksję w nauczaniu języka pisanego w wirtualnej klasie
PublicationThe paper aims to show how to engage students attending an online language course in various activities which by stimulating reflection enhance the learning process and result in better learning outcomes. By blending cognitivist, constructivist, constructionist and behavioural ideas, course developers and tutors can produce materials and use methods which satisfy the varied needs of adults who want to improve their writing skills....
-
Słownik homonimów leksemowych języka rosyjskiego z polskimi ekwiwalentami tłumaczeniowymi (książka)
Publication -
Ponad 30 lat tradycji nauczania języka fińskiego na Uniwersytecie Gdańskim
Publication -
Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL
PublicationIstnieje mozliwość formalnego zapisu przebiegu różnego rodzaju przedsięwzięć. Jedną z mozliwości zapisu scenariusza przedsięwzięcia jest wykorzystanie języka WS-CDL. Zaprezentowano metodę tworzenia konkretnej choreografii przedsięwzięcia w tym języku. Zwrócono uwagę na taniec negocjacyjny, w tym definicje ról, związków oraz typów kanałów komunikacyjnych. Dodatkowo zaproponoano środowisko wykonania scenariuszy zapisanych w tym języku.
-
Propozycje form nauczania języka specjalistycznego na lektoratach dla studentów architektury
PublicationArtykuł przedstawia propozycje metod nauczania języka obcego (hiszpańskiego) specjalistycznego dla studentów architektury oparte na założeniach współczesnej andragogiki. Punktem wyjścia dla opracowania działań nazwanych przez autorkę ''projektami otwartymi'' jest humanistyczny model nauczania dorosłych opracowany przez M.S. Knowlesa.
-
Wyszukiwanie informacji z wykorzystaniem algorytmu Ontology Clustering by Directions
PublicationArtykuł opisuje algorytm Ontology Clustering by Directions. Algorytm ten ma na celu wspieranie użytkowników w formułowaniu ontologicznych zapytań. Ontologiczne zapytania służą do wydobywania informacji sformułowanych za pomocą ontologii opisanych np. językiem OWL. Artykuł przedstawia rodzaje języków wykorzystywanych do formułowania ontologicznych zapytań. W szczególności opisuje języki, które mają być przyjazne użytkownikom. Na...