Wyszukiwarka
Filtry
wszystkich: 3324
wybranych: 1788
-
Katalog
- Publikacje 1788 wyników po odfiltrowaniu
- Czasopisma 18 wyników po odfiltrowaniu
- Wydawnictwa 5 wyników po odfiltrowaniu
- Osoby 330 wyników po odfiltrowaniu
- Projekty 39 wyników po odfiltrowaniu
- Laboratoria 8 wyników po odfiltrowaniu
- Zespoły Badawcze 24 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 923 wyników po odfiltrowaniu
- Wydarzenia 82 wyników po odfiltrowaniu
- Dane Badawcze 105 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JĘZYKI MODELOWANIA
-
Klasyfikacja metod modelowania procesów biznesowych
PublikacjaW 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.
-
Efektywny algorytm modelowania kanału radiokomunikacyjnego
PublikacjaW 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...
-
Języki skonstruowane jako obiekt badań współczesnej interlingwistyki [Constructed Languages as an Object of Study in Contemporary Interlinguistics]
Publikacja -
„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
Publikacja -
Integracyjna metoda konstruowania aplikacji
PublikacjaZaproponowano 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...
-
Układy cyfrowe : podstawy projektowania i opis w języku VHDL
PublikacjaPrzedstawiono 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.
-
Metody i jezyki opisu scenariuszy zachowań aplikacji przetwarzania wszechobecnego
PublikacjaPrzedstawiono 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.
-
Przetwarzanie wyrażeń języka naturalnego w wyrażenia logiczne - system Denise
PublikacjaPo 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
Publikacja -
STM32: Aplikacje i ćwiczenia w języku C. - M. Galewski. -
PublikacjaW 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
PublikacjaW 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 MATEMATYCZNE PRZEGRÓD LODOWYCH
PublikacjaW 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 małej elektowni wiatrowej
PublikacjaW 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, monitorowanie i sterowanie
PublikacjaArtykuł 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 systemów samoreprodukujacych się
PublikacjaAbstrakt 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 sygnatury magnetycznej okrętu
PublikacjaOkrę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 zachowania układu mięśni
PublikacjaW 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 bezpieczeństwa ruchu drogowego
PublikacjaKluczowe 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
PublikacjaPytania 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...
-
Metody i zastosowania modelowania tkanki ludzkiej
PublikacjaArtykuł 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....
-
Optymalizacja modelowania przezbrojeń w procesie produkcyjnym
PublikacjaCzynnoś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...
-
Dyskretno-ciągła metoda modelowania układów dynamicznych
PublikacjaW 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...
-
Model referencyjny sieci trakcyjnej - koncepcja modelowania
PublikacjaGó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
PublikacjaPosiadanie 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
PublikacjaThis 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
PublikacjaW 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
PublikacjaArtykuł poświęcony doktorowi Stanisławowi Zacharze - laureatowi wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego.
-
Managing distributed architecture with Extendet WS-CDl
PublikacjaZaprezentowano 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.
-
Język fiński na Uniwersytecie Gdańskim [Finnish Studies at the University of Gdańsk]
Publikacja -
Autentyczność na zajęciach zwiększających kompetencje w użyciu specjalistycznego języka angielskiego
PublikacjaWłą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
PublikacjaThe 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)
Publikacja -
Ponad 30 lat tradycji nauczania języka fińskiego na Uniwersytecie Gdańskim
Publikacja -
Propozycje form nauczania języka specjalistycznego na lektoratach dla studentów architektury
PublikacjaArtykuł 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.
-
Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL
PublikacjaIstnieje 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.
-
Wyszukiwanie informacji z wykorzystaniem algorytmu Ontology Clustering by Directions
PublikacjaArtykuł 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...
-
O modelowaniu numerycznym dźwigarów zespolonych
PublikacjaThe 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...
-
Modelowanie zagrożeń w sieciach komputerowych
PublikacjaW 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
PublikacjaSuboceanic 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
PublikacjaArtykuł 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
PublikacjaArtykuł 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 i pomiary nagłośnienia audytorium
PublikacjaUwaga 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...
-
Komputerowe modelowanie dźwiękowodu aparatu słuchowego
PublikacjaW 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 opadów do wymiarowania kanalizacji
PublikacjaRecenzja monografii. Synteza wyników analiz. Niedokładność metod.
-
Procesy napowietrzania – opis i modelowanie
PublikacjaBiologiczne 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, sterowanie i wizualizacja quadrocoptera
PublikacjaArtykuł 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 niepewności pomiarowych obiegu turboparowego
PublikacjaArtykuł 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.
-
MODELOWANIE UKŁADÓW OGRZEWANIA ROZJADÓW KOLEJOWYCH
PublikacjaW 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 NUMERYCZNE ISTNIEJĄCYCH KONSTRUKCJI ŻELBETOWYCH
PublikacjaWykonywanie 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ść...
-
Numeryczne modelowanie sondowania statycznego CPTU.
PublikacjaW książce przedstawiono propozycję modelu matematycznego dla opisu mechaniki trójfazowego ośrodka gruntowego. Przedstawiono kompletny układ równań równowagi statycznej oraz propozycję rozwiązania zagadnienia brzegowego z zastosowaniem metody elementów skończonych. W pracy zaprezentowano wyniki obliczeń z zastosowaniem modelu dla zagadnień geotechnicznych, a w szczególności dla problemu sondowania statycznego metodą CPTU.