Wyszukiwarka
Wyniki wyszukiwania dla: JEZYKI OPISU SPRZETU
-
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.
-
Otwarty format opisu schematów blokowych
PublikacjaW pracy zaprezentowano problem opisu zinterpretowanych rysunków wektorowych. Przedstawiono wybrane formaty do opisu rysunków wektorowych i różnorodnych struktur. Zaproponowano otwarty format FlowChartML do opisu schematów blokowych. Format ten, oparty na metajęzyku XML, pozwala nie tylko na zapis informacji o poszczególnych figurach schematu oraz ich połączeniach, ale również informacji o zinterpretowanej strukturze schematu blokowego
-
Języki opisu scenariuszy realizacji przedsięwzięć
PublikacjaOpisano trzy podejścia do implementacji języków opisu scenariuszy. Przedstawiono oraz porównano reprezentantów tych pojęć. Dla wybranych języków przedstawiono przykładowe aplikacje pozwalające na ich wykorzystanie.
-
Język opisu usług sieciowych WSDL.
PublikacjaNiniejszy rozdział opisuje WSDL - język opisu usług sieciowych. Rozdział zawiera wprowadzenie w tematykę usług sieciowych (Web Services), również w odniesieniu do innych technologii przetwarzania rozproszonego jak CORBA, RMI. W szczególności przedstawiono podobieństwa i różnice w opisie metod udostępnianych do wywołania klientowi w WSDL oraz IDL. Elementy standardu WSDL omówiono na przykładzie usługi sieciowej do zdalnego uruchomienia...
-
Metody opisu ontologii: Inżynieria ontologii i jej zastosowania
PublikacjaPrzedstawiono rozwój języków opisu technologii i wskazano mozliwości ich zastosowania w różnych dziedzinach, a zwłaszcza do integracji i automatycznego uruchamiania usług sieciowych.
-
Definiowanie wiarygodności w Sieci Semantycznej metodą ontologicznego opisu asercji
PublikacjaW rozdziale została zaprezentowana metoda definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania z wiedzy opisanej w kontekście wiarygodności. Przedstawiona w rozdziale metoda opisuje zasadę budowania opisu wiarygodności dla części asercjonalnej ontologii. Definiowanie wiarygodności metodą ontologicznego opisu asercji jest rozumiane jako przypisanie asercjom unarnym i binarnym zbioru cech i ich wartości. W rozdziale...
-
Metody opisu treści obrazów dla potrzeb systemów wyszukiwania.
PublikacjaPrzedstawiono metody opisu i wyszukiwania obrazów na podstawie ich treści. Zaproponowano schemat ekstrakcji regionów oraz generacji ich opisów z zastosowaniem kodów długości serii. W opracowanym systemie zaprojektowano i zaimplementowano możliwość definiowania zapytań do baz danych uwzględniając:właściwości i parametry regionu (deskryptory intensywności, tekstury, i kształtu) oraz relacji przestrzennych pomiędzy regionami.
-
Zastosowanie badań marketingowych do opisu procesu decyzyjnego konsumentów
PublikacjaPrzedmiotem artykułu jest przedstawienie zastosowania badań marketingowych do uzyskiwaniu informacji potrzebnych do opisu procesu decyzyjnego konsumentów. Informacje te ustalono na podstawie ogólnego przebiegu tego procesu. W nawiązaniu do tych informacji zaproponowano badania marketingowe pozwalające na ich uzyskanie. Użyto klasycznego rozwiązania polegającego na przeprowadzeniu najpierw badań orientacyjnych, a następnie - opisowych....
-
Porównanie podejść do opisu kontekstu użycia z wykorzystaniem meta-modeli
PublikacjaOcena użyteczności może się różnić w zależności od rodzaju użytkownika oraz okoliczności, w których używany jest produkt. Aby uwzględnić ten fakt, do analizy wprowadzane jest pojęcie kontekstu użycia. W referacie zaprezentowano porównanie podejść do opisu kontekstu użycia oraz włączenia go w analizę użyteczności. Jest to część badań w ramach projektu, którego celem jest identyfikacja i opis kontekstu użycia narzędzi UML. Referat...
-
Model opisu wydajności protokołu SIP dla VoIP
PublikacjaCoraz większa popularność protokołu SIP (Session Initiation Protocol) pociąga za sobą konieczność wymiarowania zasobów sieciowych i badania wydajności samego protokołu z uwagi na potrzebę gwarancji poziomu i jakości usług. Dla realizacji tego celu prowadzi się szereg prac badawczych i niniejsza publikacja jest zreferowaniem wyników takich prac badawczych wykonanych przez autorów. Dotyczą one modelu analitycznego dla opisu poziomu...
-
ELEMENTY OPISU MIEJSCA WYPADKU DROGOWEGO
PublikacjaW celu dokonania rekonstrukcji wypadku drogowego niezbędny jest szczegółowy oraz oddający w pełni stan rzeczywisty opis miejsca wypadku. Poniższy artykuł omawia podstawowe elementy takie jak protokół miejsca wypadku, szkic, dokumentacje fotograficzną oraz ocenę obrażeń uczestników wypadku.
-
Ograniczenia w zastosowaniu wybranych modeli reologicznych do opisu właściwości emulsji
PublikacjaPrzeprowadzono analizę wybranych modeli reologicznych, w celu weryfikacji ich przydatności do opisu właściwości emulsji. Badano właściwości reologiczne emulsji typu O/W i W/O, otrzymywanych w wewnątrzobiegowym reaktorze dwukolumnowym z mieszaniem w kolumnie wewnętrznej. Dla emulsji O/W, najlepszą zgodność wyników doświadczalnych z obliczonymi uzyskano stosując równania Yaron - Gal-Ora i Kriegera - Dougherty. W przypadku emulsji...
-
Problem opisu dynamiki recyrkulacji w reaktorach.
PublikacjaOmówiono aktualne problemy związane z kwestią recyrkulacji w obiektach oczyszczalni ścieków. Wskazano na znaczny wzrost stosowanych stopni recyrkulacji w ostatnim czasie i przeanalizowano jego przypuszczalne przyczyny oraz konsekwencje. Omówiono wyniki badań przeprowadzonych w laboratoryjnym modelu osadnika.
-
Metody opisu ontologii: Ocena jakości ontologii dziedzinowych
PublikacjaOntologia, jak każdy inny produkt myśli ludzkiej, powinien podlegać ocenie jakości. Stwierdzenie to nabiera szczególnego znaczenia wówczas, gdy ontologia staje się podstawą dla innych działań. Ocena ontologii może być przeprowadzona zasadniczo na dwa sposoby - w sposób subiektywny, w oparciu o rozumowanie, oraz w sposób obiektywny. Jeśli podstawą oceny ontologii jest rozumowanie, wiedza i doświadczenie ludzi, to ocena taka jest...
-
Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii
PublikacjaW niniejszym artykule zaprezentowano nowe narzędzie przetwarzania modularnych baz wiedzy - algebrę konglomeratów. Przedstawioną propozycję wyróżnia fakt, że traktujemy moduły bazy wiedzy semantycznie. W artykule zaprezentowano doświadczenia związane z wykorzystaniem algebry (m.in. do dekompozycji bazy wiedzy oraz jako wsparcie procesu wnioskowania) oraz naszkicowano kierunki jej przyszłego rozwoju.
-
Zastosowanie modelu nielokalnego do opisu zachowania się elementów betonowych
PublikacjaOmówiono obliczenia numeryczne elementów betonowych poddanych ściskaniu jednoosiowemu w płaskim stanie odkształcenia. Obliczenia wykonano za pomocą metody elementów skończonych przy zastosowaniu dwóch różnych praw konstytutywnych. Otrzymane wyniki są zależne od siatki MES. W celu otrzymania rozwiązania niezależnego od siatki elementów skończonych przyjęto model nielokalny.
-
Ocena efektywności modelu matematycznego do opisu nieliniowego zachowania wibroizolacji sejsmicznej w postaci łożysk polimerowych
PublikacjaW pracy została dokonana ocena efektywności modelu matematycznego, opisującego nieliniowe zachowanie prototypu wibroizolacji sejsmicznej w postaci łożysk polimerowych. Do budowy łożysk polimerowych został wykorzystany elastomer poliuretanowy, który charakteryzuje się dobrymi właściwościami tłumiącymi. Wyniki badań materiałowych przeprowadzonych dla analizowanego polimeru zostały przedstawione we wcześniejszych publikacjach. W zaproponowanym...
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublikacjaLogika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...
-
Poszukiwanie wygodnego analitycznie opisu funkcyjnego dla praktycznych kształtów udaru prądowego
PublikacjaZaproponowano kilka opisów funkcyjnych dla prądowego pobudzania uziemień. Wyznaczono pełną reakcję uziemienia na prądowy udar opisany badanymi rodzinami funkcji. Naszkicowano ogólny schemat analizy, wspólny dla wiekszości badanych opisów.
-
Zastosowanie automatów komórkowych do opisu przepływów materiałów sypkich w silosach
PublikacjaW artykule omówiono wyniki kinematyki przepływów silosowych przy zastosowaniu aparatu komórkowego. Obliczenia wykonano dla różnych praw migracji i wag prawdopodobieństwa.
-
Application of discrete models to describe the fracture process in brittle materials
PublikacjaPraca doktorska ''Zastosowanie modeli dyskretnych do opisu propagacji rys w materiałwch kruchych'' została podjęta z uwagi na fakt, że bardzo istotne jest poznanie mechanizmu powstawania lokalizacji odkształceń w materiałach kruchych takich jak beton (rysty i strefy ścianania) na poziomie mikroskopowym. Poznanie to daje mozliwość bardziej realistycznego wymiarowania elementów konstrukcji betonowych i żelbetowych oraz przewidywania...
-
Zastosowanie metody PIV (Particle Image Velocimetry) do opisu procesu opróżniania silosu
PublikacjaW artykule przedstawiono wyniki pomiarów zmian zachodozacych w materiale sypkim podczas opróznianai silosu wykoane z zastosowaniem metody PIV. Przeanalizowano wpływ parametrów zmiennych na wielkość zmian objętościowych oraz postaciowych zachodzących w przepływającym materiale sypkim.
-
Metody opisu ontologii: Opis wiedzy niepewnej przy pomocy sieci Bayesowskich i logiki MEBN
PublikacjaArtykuł wprowadza czytelnika w problematykę przedstawiania wiedzy niepewnej w systemach eksperckich. Na przykładzie diagnostyki problemów komunikacyjnych w prostej sieci osiedlowej przedstawiona jest w artykule metodologia wnioskowania w sieciach bayesowskich. W jego dalszej części podano przykład prezentujący logikę MEBN jako sposób na wyrażenie w zwięzły sposób wiedzy probabilistycznej o całej klasie problemów o podobnych właściwościach...
-
Przetwarzanie i analiza danych z wykorzystaniem metod geodezyjnych na potrzeby opisu środowiska wodnego
PublikacjaMonografia traktuje o możliwości wykorzystania analiz obrazowych i przestrzennych w dokonywaniu oceny środowiska wodnego przy zastosowaniu geodezyjnych (w tym teledetekcyjnych) metod pomiarowych. W rozdziale pierwszym dokonano wyznaczenia zasięgu stref zalewowych w zlewni Potoku Strzyża w Gdańsku na skutek opadów nawalnych na odcinku od wypływu cieku ze zbiornika „Srebrniki” do al. Hallera.W rozdziale drugim przedstawiono graficzne...
-
Two-state dynamics for replicating two-strand systems
PublikacjaDynamika dwustanowa została zastosowana do opisów układów dwuniciowych, analogicznych do DNA.
-
Accelerated Monte Carlo method for computation of photon migration by matrix description of photon direction
PublikacjaPrzedstawiono metodę obliczeń dyfuzji fotonów w materiałach silnie rozpraszających, będącą modyfikacją metody Monte Carlo. Modyfikacja ta polega na zastąpieniu wektorowego opisu kierunku propagacji fotonów poprzez opis macierzowy, co pozwala na około 5% redukcję czasu obliczeń na komputerach z jednopotokowym przetwarzaniem zmiennopozycyjnym lub większą w wypadku wielopotokowego przetwarzania.
-
Atributy novoj bazy dannyh opisaniâ éksperimentov
PublikacjaAutorzy prezentują i dyskutują propozycję nowej bazy danych do zapisu eksperymentów. Podany przykład dotyczy eksperymentów wytrzymałościowych z zakreu technologii betonu.
-
Bibliografie słowników jako narzędzie opisu historii leksykografii polskiej [Bibliographies of dictionaries as a tool for describing the history of Polish lexicography]
Publikacja -
Zastosowanie metody R-macierzy do opisu fotoodłączenia od atomowych jonów ujemnych z dwoma elektronami walencyjnymi
Publikacja -
Zastosowanie metody elementów dyskretnych do opisu procesu pękania w betonie podczas jednoosiowego ściskania i rozciągania
PublikacjaArtykuł omawia wyniki dyskretne DEM dla betonu poddanego ściskaniu i rozciąganiu jednoosiowemu. Wyniki siła-przemieszczenie i zarysowania porównano z doświadczeniami. Szczególną uwagę zwrócono na zjawiska mikrostrukturalne na poziomie kruszywa.
-
Bezpieczeństwo statków towarowych w stanach uszkodzonego poszycia w odniesieniu do warunków eksploatacyjnych. Wady probabilistycznego modelu opisu bezpieczeństwa
PublikacjaArtykuł ten jest poświęcony bezpieczeństwu statków w stanie uszkodzonym. Została w nim przedstawionaanaliza wybranego modelu stanu awaryjnego, polegająca na uszkodzeniu poszycia i wtargnięciu wody dokadłuba statku. W artykule znalazła się krytyka istniejącej metody zawartej w przepisach konwencji SOLAS2009 oceny bezpieczeństwa statków, oraz wnioski z możliwego do zastosowania alternatywnego modelu, któryodpowiada wynikom...
-
2D lattice model for fracture in brittle materials
PublikacjaW artykule przedstawiono wyniki obliczeń propagacji rys w elementach betonowych przy zastosowaniu modelu dyskretnego opartego na ruszcie belkowym. Obliczenia wykonano dla różnych problemów brzegowych.
-
Analiza i realizacja sterowania serwonapędami w trzech osiach przez sterownik programowalny z wykorzystaniem opisu zadania poprzez G-KOD
PublikacjaObrabiarki sterowane komputerowo są obecnie powszechnie wykorzystywane w zautomatyzowanych procesach produkcji. Zadania realizowane przez te obrabiarki są najczęściej opisywane z wykorzystaniem G-kodu. W przypadku, gdy potrzebna jest realizacja jedynie podstawowych funkcji obrabiarki, a do takich należy realizacja ruchu narzędzia, nie zawsze istnieje potrzeba stosowania obrabiarek. Podstawowe funkcje sterowania z powodzeniem mogą...
-
Ocena sprawności językowej, komunikacyjnej i grafomotorycznej na przykładzie opisu. Studium przypadku ucznia z niepełnosprawnością intelektualną w stopniu lekkim
Publikacja -
Application of an uncoupled ALE-formulation of granular flow in silos with and without inserts
PublikacjaW artykule przedstawiono wyniki numerycznej analizy zachowania się materiałów granulowanych podczas przepływów w silosach ze wstawkami. Obliczenia wykonano przy zastosowaniu prawa sprężysto-plastycznego według Druckera-Pragera przy zastosowaniu podejścia mieszanego niepołączonego ALE. Zbadano wpływ rodzaju wstawki i kąta tarcia na ścianie na wielkość naprężeń na ścianie.
-
Influence of generation-oriend IT-development on models of production-organisation.
PublikacjaW artykule pokazano megatrend generacyjności rozwoju IT jako pochodną jakościową empirycznych praw ilościowego rozwoju branży. W punkcie 2 wyspecyfikono generacje rozwojowe w obszarze: sprzetu, języków programowania, baz danych oraz oprogramowania uzytkowego- na przykładzie komputerowego wspomagania informatyki gospodarczej.
-
Testowanie koncepcji nowych produktów w niemieckich przedsiębiorstwach sprzętu gospodarstwa domowego
PublikacjaW artykule przedstawiono wyniki badania, odnośnie stosowania testowania koncepcji nowych produktów, przez niemieckich producentów sprzetu gospodarstwa domowego. Stwierdzono, że większość badanych firm stosuje testowanie koncepcji oraz, że występuje pozytywny związek pomiędzy stosowaniem tej metody a wynikami osiąganymi przy wdrażaniu nowych produktów.
-
Sprzętowa i programowa realizacja algorytmu szyfrującego AES = Hardware and software implementation of AES algorithm
PublikacjaW artykule przedstawiono sprzętową i programową realizację algorytmu szyfrującego i deszyfrującego AES. Obydwie implementacje zostały zrealizowane z wykorzystaniem platformy Virtex-II i praktycznie zweryfikowane. Jako kryteria do porównania wybrano: zużycie zasobów, przepustowość i zużycie mocy. Wersja sprzętowa charakteryzuje się 190-krotnie większą przepustowością, 80-krotnie mniejszym zużyciem energii na przetworzenie jednego...
-
Ziemowit Suligowski prof. dr hab. inż.
Osoby -
Paweł Burdziakowski dr inż.
Osobydr inż. Paweł Burdziakowski jest specjalista w zakresie fotogrametrii i teledetekcji lotniczej niskiego pułapu, nawigacji morskiej i lotniczej. Jest również licencjonowanym instruktorem lotniczym oraz programistą. Głównymi obszarami zainteresowania jest fotogrametria cyfrowa, nawigacja platform bezzałogowych oraz systemy bezzałogowe, w tym lotnicze, nawodne, podwodne. Prowadzi badania w zakresie algorytmów i metod poprawiających...
-
Języki projektowania HDL-stary!
Kursy OnlineCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki projektowania HDL 2023/24
Kursy OnlineCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki projektowania HDL 2022/23
Kursy OnlineCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki projektowania HDL 2021/22
Kursy OnlineCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Jerzy Pyrchla dr hab. inż.
Osobydr hab. inż. Jerzy Pyrchla uzyskał stopień doktora nauk technicznych w 1998 roku i doktora habilitowanego w zakresie geodezji i kartografii w 2009 roku na Akademii Górniczo-Hutniczej w Krakowie. Pracował w Akademii Marynarki Wojennej i Akademii Morskiej w Szczecinie. Zainicjował zastosowanie inteligencji obliczeniowej do opisu obszarów morskich w celu lokalizacji obiektów na powierzchni morza. Obecnie pracuje nad technologią pomiarów...
-
Grażyna Grelowska prof. dr hab. inż.
Osoby -
A constitutive law for concrete with smooth transition from continuous into discontinuous cracks’ description
PublikacjaPaper presents a constitutive model for concrete that combines a continuous and discontinuous crack’s description to simulate the concrete under tensile dominated loads. In a continuum regime, two different constitutive laws were used. First, a plasticity model with the Rankine failure criterion and an associated flow rule was used. Second, a constitutive law based on isotropic damage mechanics was formulated. Both model alternatives...
-
Piotr Sypek dr inż.
OsobyPiotr Sypek otrzymał w Politechnice Gdańskiej tytuł magistra inżyniera w 2003 roku oraz stopień doktora nauk technicznych (z wyróżnieniem) w 2012 roku. Obecnie pracuje w Katedrze Inżynierii Mikrofalowej i Antenowej na Wydziale Elektroniki, Telekomunikacji i Informatyki w Politechnice Gdańskiej. Jego działalność badawcza zawiera projektowanie i implementację równoległych algorytmów stosowanych do budowania i wyznaczania rozwiązywania...
-
Wykorzystanie sprzętu laboratoryjnego przez studentów
Kursy OnlineW przypadku wysokiego obciążenia sprzętu laboratoryjnego przez dyplomantów organizowane będą zapisy dostępu do sprzętu.
-
Integracja sprzętu i oprogramowania 2022/2023
Kursy Onlinesem. 7 studiów I stp. (inż) kierunek EiT podkierunek Elektronika profil dyplomowania: Komputerowe Systemy Elektroniczne (KSE)