Search
Filters
total: 3332
filtered: 1791
-
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
Chosen catalog filters
displaying 1000 best results Help
Search results for: JĘZYKI MODELOWANIA
-
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.
-
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ę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...
-
MODELOWANIE NUMERYCZNE ISTNIEJĄCYCH KONSTRUKCJI ŻELBETOWYCH
PublicationWykonywanie obliczeń wymaga zapoznania się nie tylko z rodzajem konstrukcji, typem elementu skończonego i liczbą stopni swobody w węźle lecz także z konwencją znakową obowiązująca w danym programie obliczeniowym. Znajomość teorii i rozwiązań analitycznych jest niezbędna do tworzenia modeli w MES i przy wykonywaniu obliczeń. Duży wpływ na poprawność analizy numerycznej oraz uzyskane wyniki symulacji mają takie parametry jak gęstość...
-
Modelowanie, sterowanie i wizualizacja quadrocoptera
PublicationArtykuł przedstawia podejście do budowy modelu matematycznego quadrocoptera. Głównym celem budowy modelu było zaprojektowanie odpowiedniego sterowania obiektu oraz analiza jego zachowania się w różnych sytuacjach. Jako założenie przyjęto budowę modelu, systemu sterowania oraz wszelkich towarzyszących algorytmów w otwartym środowisku programistycznym, co pozwoli na późniejszą ich implementację w rzeczywistym obiekcie, bez konieczności...
-
Modelowanie i pomiary nagłośnienia audytorium
PublicationUwaga projektantów systemów nagłośnieniowych zogniskowana jest na tzw. akustyce pomieszczenia, w którym realizowany jest przekaz słowny. Zjawiska pogłosowe związane z geometrią sali audytoryjnej, wynikające z wielokrotnych odbić fali dźwiękowej uznawane są za dominujące. Artykuł podejmuje niedoceniany problem wpływu liczby i rozmieszczenia głośników w sali na jakość przekazu. Superpozycji sygnałów dochodzących do słuchacza z wielu...
-
Modelowanie niepewności pomiarowych obiegu turboparowego
PublicationArtykuł opisuje próbę stworzenia modelu neuronowego wymiennika regeneracyjnego siłowni kondensacyjnej pracującego w zmiennych warunkach ruchu. Wzorzec poprawnej pracy elementów siłowni turboparowej jest pożądany w dziedzinie diagnostyki, ponieważ poprawnie pracujący model neuronowy jest w stanie zastąpić czasochłonne obliczenia bilansowe.
-
Procesy napowietrzania – opis i modelowanie
PublicationBiologiczne oczyszczanie ścieków stanowi podstawową grupę procesów w oczyszczalni ścieków. O efektywności i koszcie ich zachodzenia decydujący wpływ ma napowietrzanie ścieków. Jest ono najczęściej zrealizowane przy pomocy instalacji napowietrzającej. W artykule opisano wpływ napowietrzania ścieków na przebieg procesów biologicznych i szczegółowo przedstawiono elementy instalacji napowietrzającej. Następnie opracowano model matematyczny...
-
Modelowanie zagrożeń w sieciach komputerowych
PublicationW artykule przedstawiono problematykę zagrożeń w sieciach komputerowych. Dokonano przeglądu obszarów zastosowań Internetu ze szczególnym zwróceniem uwagi na zagadnienia bezpieczeństwa. Przedstawiono szereg strategii oraz rozwiązań o charakterze praktycznym w obszarach polityki bezpieczeństwa realizowanych przez różnego typu organizacje. Wyszczególniono zasady szeroko pojętej polityki bezpieczeństwa. Sklasyfikowano ataki oraz nielegalne...
-
Proceduralne modelowanie stworów w Suboceanic
PublicationSuboceanic to niewielki program wykonywalny zajmujący 50 kilobajtów. Został zaprezentowany na party demoscenowym Assembly 2005 w kategorii intro 64k. Efektem działania programu jest multimedialna animacja, w której zarówno obraz jak i dźwięk generowany jest w czasie rzeczywistym. Ta praca opisuje szczegółowo algorytmy opracowane podczas produkcji tego intra do generowania proceduralnych stworów i roślin. Opisana metoda polega na...
-
Modelowanie konstytutywnych własności elementów żelbetowych
PublicationArtykuł przedstawia podstawowe prawa konstytutywne definiowane w ramach mechaniki ośrodka ciągłego, wykorzystywane do opisu zachowania się betonu. Dodatkowo wspomniano także o innych sposobach symulacji betonu. Opisano także zasadnicze metody uzwzględniania obecności stali zbrojeniowej w modelowaniu elementów żelbetowych.
-
Sieci neuronowe w modelowaniu konstytutywnym
PublicationArtykuł zawiera przegląd zastosowań sztucznych sieci neuronowych do modelowania praw konstytutywnych oraz własną propozycję dla klasy praw przyrostowo nieliniowych. Zaprezentowano zalety obliczeniowe sieci neuronowych, ogólne zasady modelowania oraz wyniki własnych symulacji.
-
Modelowanie opadów do wymiarowania kanalizacji
PublicationRecenzja monografii. Synteza wyników analiz. Niedokładność metod.
-
O modelowaniu numerycznym dźwigarów zespolonych
PublicationThe paper is a general review of theoretical problems and corresponding numerical procedures actually available in commercial engineering software. Several possibilities of numerical simulation for composite girders are presented. Effectivity of meshing is showed on the simple example. Finally several examples of structural numeric models for real bridges are included. In the author's opinion, presented available procedures for...
-
Komputerowe modelowanie dźwiękowodu aparatu słuchowego
PublicationW artykule opisano metodę komputerowego modelowania dźwiękowodu aparatu słuchowego. Model opracowany został z wykorzystaniem metody falowodowej. Symulacje komputerowe umożliwiają zbadanie właściwości akustycznych dźwiękowodów o różnych parametrach. Opisany model może zostać zastosowany w systemie dopasowywania aparatu słuchowego do potrzeb jego użytkownika, w celu zminimalizowania zniekształceń dźwięku wprowadzanych przez dźwiękowód...
-
MODELOWANIE UKŁADÓW OGRZEWANIA ROZJADÓW KOLEJOWYCH
PublicationW pracy przedstawiono wyniki wstępnych badań procesu nagrzewania rozjazdów kolejowych dotyczące kształtu i sposobu mocowania grzejników rezystancyj-nych. Proces nagrzewania analizowano metodą symulacji komputerowych wykonanych w programie ANSYS
-
Modelowanie tłumienia propagacyjnego w mieście
PublicationOmówiono i porównano z wynikami pomiarów modele propagacyjne: ''wolnej przestrzeni'' oraz zalecane przez ITU-R w dokumencie P.1411. Analizę porównawczą przeprowadzono na podstawie około 20 tysięcy pomiarów wykonanych w różnych miastach Polski, przy wykorzystaniu infrastruktury radiowego systemu dostępu abonenckiego, pracującego w paśmie 2,4 GHz. Badane radiowe łącza dostępowe obejmowały przypadki zarówno spełnienia jak i niespełnienia...