Filters
total: 1514
filtered: 888
-
Catalog
- Publications 888 available results
- People 80 available results
- Inventions 4 available results
- Projects 3 available results
- Laboratories 8 available results
- Research Teams 8 available results
- Research Equipment 10 available results
- e-Learning Courses 493 available results
- Events 14 available results
- Offers 1 available results
- Open Research Data 5 available results
Chosen catalog filters
Search results for: programowanie dyskretne
-
Discrete modeling of micro-structure evolution during concrete fracture using DEM
PublicationW artykule pokazano 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 podczas zarysowania na poziomie kruszywa.
-
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...
-
Zastosowanie komputerowej symulacji w procesie kształcenia inżyniera branży sanitarnej
PublicationObecnie warsztat pracy współczesnego inżyniera znacznie się zmienił w wyniku dynamicznego rozwoju programów komputerowych do symulacji kinetyki procesów biochemicznych w oczyszczalniach ścieków. Chcąc dostosować program kształcenia współczesnego inżyniera branży sanitarnej do rynku pracy uczelnie techniczne powinny ściśle współpracować z firmami oferującymi oprogramowanie do komputerowej symulacji procesów osadu czynnego. Zastosowanie...
-
Modelling of concrete facture at aggregate level using DEM based on x-ray mu CT images of internal structure
PublicationW artykule pokazano wyniki dyskretne DEM dla pękania betonu poddanego zginaniu. Beton został symulowany jako ośrodek 4-fazowy. Mikrostrukturę betonu określono na podstawie zdjęć uzyskanych mikro-tomografem. Szczególną uwagę zwrócono na zjawiska mikrostrukturalne podczas zarysowania na poziomie kruszywa.
-
Zastosowanie układów FPGA w kryptografii.
PublicationW pracy przedstawiono podstawowe wymagania realizacji systemów kryptograficznych: fizyczne bezpieczeństwo, dużą przepustowość i możliwość zmiany algorytmów. Wykazano, że spośród przeanalizowanych technologii tylko układy programowalne spełniają wymienione założenia. W dalszej części opisano budowę układów FPGA, ich składowe bloki funkcjonalne oraz ogólny schemat działania algorytmów szyfrowania. Omówiono własności różnych trybów...
-
Micromouse robot - technical design and construction
PublicationW ostatnich latach obserwuje się intensywny rozwój robotyki. Roboty znajdują zastosowanie w różnych gałęziach przemysłu i życiu codziennym. Ich projektowanie wymaga interdyscyplinarnej wiedzy obejmującej obszary mechaniki, elektroniki, metrologii, automatyki i informatyki. W artykule przedstawiono poszczególne etapy wykonania robota typu Micromouse. Jest to specyficzne urządzenie, którego zadaniem jest zbadanie labiryntu, dotarcie...
-
Gdańska Międzynarodowa Szkoła Letnia na WETI
PublicationW dniach 6-12 lipca 2019 roku Katedra Algorytmów i Modelowania Systemów zorganizowała 3. Międzynarodową Szkołę Letnią poświęconą algorytmom dla problemów optymalizacji dyskretnej.
-
Modeling of a rock fall using the discrete element method and study of the seismic signal
PublicationW artykule przedstawiono opis fal sejsmicznych, zastosowanie dyskretnej metody elementów do opisu obrywu skalnego, opis programów obliczeniowych oraz obliczenia numeryczne wg. podanych programów obliczeniowych.
-
Nowoczesny system sterowania układem samoczynnego załączania rezerwy zasilania
PublicationW artykule, dla przykładu układu samoczynnego załączania rezerwy (SZR) zasilania o zadanej strukturze i diagramie łączeń, przedstawiono nowoczesny system sterowania tym układem SZR. Omówiono algorytm i program sterowania oraz wizualizację działania układu. Program sterowania i wizualizację opracowano w oprogramowaniu narzędziowym easy Soft CoDeSys ver.2.3.5.8. Przejrzystą strukturę programu sterowania osiągnięto dzięki opracowaniu...
-
POSSIBILITY OF ASSESSMENT OF OPERATION OF SLIDING BEARINGS IN PISTON-CRANK MECHANISMS OF DIESEL ENGINES WITH REGARD TO LOAD AND TIME OF CORRECT WORK OF THE BEARINGS BY APPLYING ACOUSTIC EMISSION AS A DIAGNOSTIC SIGNAL
PublicationAbstract: The paper presents a possibility of determining (assessing) operation of sliding bearings with multilayer bushings in crank-piston mechanisms of diesel engines. Properties of load and wear, particularly fatigue and abrasive, are characterized in general. Acoustic emission as a diagnostic signal was proved to be useful for detection of the wear of sliding and barrier layers. Results of measurements of acoustic emission...
-
USEFULNESS OF SEMI-MARKOV PROCESSES AS MODELS OF THE OPERATION PROCESSES FOR MARINE MAIN ENGINES AND OTHER MACHINES OF SHIP POWER PLANTS
PublicationThe paper describes the properties of semi-Markov processes and the opportunities and benefits from their use as models of the operation processes for marine combustion engines and other machines of ship power plants. The emphasis is put on the importance of the theory of semi-Markov processes for development of the theory of marine combustion engines and other machines of ship power plants, as well as for development of the operational...
-
REALIZACJA ELEMENTÓW SKŁADOWYCH ŁĄCZA RADIOWEGO Z UŻYCIEM URZĄDZEŃ RADIA PROGRAMOWALNEGO TYPU USRP
PublicationPrzez ostatnią dekadę projektowanie systemów radiowych zaczęło w coraz większym stopniu polegać na cyfrowym przetwarzaniu sygnałów. Możliwość i moc obliczeniowa procesorów ogólnego przeznaczenia GPP (General Purpose Processor), procesorów sygnałowych DSP (Digital Signal Processor) oraz układów programowalnych FPGA (Field Programmable Gate Array) znacząco wzrosła zgodnie z prawem Moor’a. Naturalnym następstwem tego trendu było większe...
-
Gdańska Międzynarodowa Szkoła Letnia na WETI
PublicationW dniach 5-12 września 2017 roku Katedra Algorytmów i Modelowania Systemów23, przy wydatnej pomocy,WETI, zorganizowała Międzynarodową Szkołę Letnią poświęconą algorytmom dla problemów optymalizacji dyskretnej.
-
Study of some micro-structural phenomena in granular shear zones
PublicationW artykule pokazano wyniki dyskretne zachowania się ziaren materiałów granulowanych w strefie ścinania uzyskane metodą DEM. Wyniki porównano z wynikami MES na bazie mikropolarnego hipoplastycznego prawa konstytutywnego. Szczególną uwagę zwrócono w obliczeniach na zjawiska mikrostrukturalne w strefie ścinania takie jak: wiry, łańcuchy sił, lokalne zmiany porowatości.
-
Automatyzacja procesu obliczeń efektywności różnych termodynamicznych wariantów pracy układów ORC
PublicationArtykuł poświęcony jest opisowi możliwości automatyzacji podstawowych obliczeń w procesie projektowania instalacji na bazie układów ORC. Już na etapie początkowym projektu niezbędne jest prawidłowe oszacowanie możliwości związanych z parametrami źródła dostępnej energii oraz dokonanie wyboru odpowiednich wariantów pracy układów. Każdorazowe wykonywanie schematycznego procesu obliczeń w stosunku do każdego spośród dużej ilości potencjalnych,...
-
Testing for conformance of parallel programming pattern languages
PublicationThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Application of discrete wavelet transform in the analysis of nonlinear chemical system
PublicationW pracy omówiono zastosowanie dyskretnej transformacji falkowej do analizy oscylacji chemicznych. Szczegółowej analizie falkowej poddano rejestry potencjałowe reakcji Biełousowa-Żabotyńskiego. Pozwoliło to zlokalizować trudne do zidentyfikowania przejścia pomiędzy kolejnymi etapami tej złożonej reakcji.
-
Music Mixing Process Controlled by Hand Gestures
PublicationW referacie przedstawiono system umożliwiający sterowanie procesami miksowania śladów nagrania muzycznego za pomocą gestów rąk. Przybliżono podstawy wielomodalnej percepcji argumentujące potrzebę powstania tego typu systemu oraz założenia przyjęte w trakcie jego tworzenia. Część sprzętowa systemu składa się z rzutnika multimedialnego, kamery internetowej, komputera klasy PC z zainstalowanym oprogramowaniem systemu oraz ekranu dla...
-
Wybrane problemy modelowania podróży transportem zbiorowym na przykładzie Gdańska
PublicationModelowanie podróży transportem zbiorowym jest elementarną częścią procesu budowy modelu podróży przede wszystkim obszarów miejskich. Obecnie w Gdańsku budowany jest nowy transportowy model symulacyjny miasta, oparty na oprogramowaniu VISUM. W artykule zostały poruszone problemy budowy i kalibracji modelu podziału zadań przewozowych począwszy od wydzielenia ruchu pieszego, do podziału podróży odbywanych transportem zbiorowym i...
-
Modelowanie trakcyjnego układu napędowego z silnikiem ipm ze sterownikiem cyfrowym w środowisku matlab/simulink
PublicationReferat przedstawia model symulacyjny trakcyjnego układu napędowego z silnikiem IPM. Omówiono strukturę układu oraz algorytm sterowania momentem silnika. Opisano model symulacyjny uwzględniający technikę modulacji napięć wyjściowych falownika typu SVM oraz dyskretne działanie sterownika cyfrowego. Przedstawiono wybrane wyniki symulacyjne i skonfrontowano je z otrzymanymi z rzeczywistego układu napędowego. Opisano przyczyny różnic...
-
Clonal selection in discrete optimization
PublicationW rozprawie zajmujemy się efektywnymi metodami przybliżonego rozwiązywania problemów optymalizacji dyskretnej, a w szczególności algorytmami opartymi na metodzie selekcji klonalnej (SK), należącymi do kategorii sztucznych systemów immunologicznych. Techniki optymalizacji to znaczące pole badań w informatyce, a niektóre ze starszych technik, takie jak algorytmy genetyczne, symulowane wyżarzanie czy przeszukiwanie tabu, stały się...
-
Przegląd technologii baz danych - architektura systemu baz danych
PublicationRozdział jest zwięzłym przeglądem rozwoju architektury systemów z bazą danych. Opisano w nim relacyjne, obiektowe i obiektowo-relacyjne bazy danych. Ponadto przedstawiono zarys architektury dwu i trojwarstwowej. Wybór architektury systemu bazy danych i architektury współpracujących z nią aplikacji niejednokrotnie jest wypadkową możliwości realizacyjnych i zasobów (personel, oprogramowanie narzędziowe, sprzęt) jakie ma do dyspozycji...
-
Technologie Informacyjne 2005
PublicationKrajowa Konferencja "Technologie Informacyjne" jest od trzech lat organizowana przez Wydział Elektroniki, Telekomunikacji i Informatyki PG. W tym roku odbyła się w dniach 23-25 maja. Obrady dotyczyły: internetowych systemów informacyjnych, wizualizacji informacji, niezawodności i bezpieczeństwa systemów informacyjnych, inżynierii oprogramowania (także interdyscyplinarnej), systemów multimedialnych, dokumentów cyfrowych, modelowania...
-
Komputerowe wspomaganie projektowania w procesie kształcenia współczesnego inżyniera branży sanitarnej
PublicationPostęp w dziedzinie informatyki oraz dynamiczny rozwój programów komputerowych ostatniego 20-lecia zmienił diametralnie warsztat pracy współczesnego inżyniera. Obecnie we wszystkich etapach projektowania inżynierskiego istotne jest wykorzystanie narzędzi komputerowych i specjalistycznego oprogramowania. Uczelnie techniczne chcąc dostosować program kształcenia współczesnego inżyniera branży sanitarnej do rynku pracy powinny ściśle...
-
Zintegrowane sterowanie stężeniem tlenu w oczyszczalni ścieków
PublicationNapowietrzanie jest jednym z najważniejszych i najdroższych procesów w oczyszczalni ścieków. Powodem tego są: różne skale czasowe w dynamice wewnętrznej procesów i elementów związanych z napowietrzaniem, mieszany charakter zmiennych steruących, przyjmujących wartości zarówno ciągłe, jak i dyskretne, ograniczenia czasowe na możliwości włączania dmuchaw powietrza, nieliniową dynamikę rozpuszczonego tlenu i systemu napowietrzania,...
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Prawie 300 lat teorii powstałej blisko Gdańska
PublicationW niniejszym numerze inaugurujemy nową kolumnę popularnonaukową w dziale Edukacja. Będzie ona zawierała szkice poświęcone grafom i algorytmom dyskretnym
-
Examples of a use of the optimal control at energy performance index in mechatronic approach
PublicationW pracy zaprezentowano przykłady zastosowania sterowania optymalnego przy energetycznym wskaźniku jakości w rozwiązaniach mechatronicznych. Rozważano układy mechaniczne modelowane dyskretnie. Metody sterowania optymalnego znalazły zastosowanie w robotyce (kołowe roboty mobilne jako układy silnie nieliniowe) oraz obróbce szybkościowej przedmiotów podatnych frezem kulistym.
-
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.
-
Nadzorowanie drgań robota IRb-6 za pomocą sterowania modalnego przy energetycznym wskaźniku jakości.
PublicationW pracy rozważa się drgania modelowanego dyskretnie niestacjonarnego układu nośnego manipulatora IRb-6 metodą sztywnych elementów skończonych. Do nadzorowania drgań wykorzystano algorytm sterowania modalnego przy energetycznym wskaźniku jakości. Uwzględnia on zmianę w czasie, względem trajektorii ruchu zadanego, energii potencjalnej, kinetycznej oraz energii sygnału sterującego.
-
Nadzorowanie drgań robota IRb-6 za pomocą sterowania przy energetycznym wskaźniku jakości w ujęciu mechatronicznym
PublicationW pracy rozważa się drgania modelowanego dyskretnie niestacjonarnego układu nośnego manipulatora IRb-6 metodą sztywnych elementów skończonych. Do nadzorowania drgań wykorzystano algorytm sterowania modalnego przy energetycznym wskaźniku jakości. Uwzględnia on zmianę w czasie, względem trajektorii ruchu zadanego, energii potencjalnej, kinetycznej oraz energii sygnału sterującego.
-
Innowacyjność rozwiązań technologicznych w planowanym do wdrożenia zrobotyzowanym procesie spawania
PublicationW opinii przedstawiono ocenę innowacyjności zrobotyzowanego spawania na stanowisku wyposażonym w antropomorficzny robot typu FANUC model ArcMate 100iB o 6+3 osiach z kontrolerem programującym R-J3iC w trybie pracy PTP, w pozycjoner tokarski typu TCM 1630250 oraz w układ jezdny VDC-6000. Duża precyzja i powtarzalność pozycjonowania jak i wysoki poziom niezawodności określony indeksem (MTBF) tworzą wraz z oprogramowaniem do śledzenia...
-
Technologie komputerowego wspomagania projektowania BIM w procesie kształcenia inżyniera branży sanitarnej
PublicationRozwiązanie, którego początków należy szukać pod koniec lat 80, a które na przełomie XX i XXI wieku zostało nazwane BIM-em, będące innowacyjną technologią parametrycznego modelowania informacji o budynku (z ang. Building Information Modeling), jest do dzisiaj intensywnie rozwijane we wszystkich etapach projektowania inżynierskiego. Uczelnie techniczne, chcąc dostosować program kształcenia współczesnego inżyniera branży sanitarnej...
-
Optymalizacja prędkości obrotowej narzędzia podczas frezowania - procedura modalna
PublicationW pracy zaproponowano metodę wyznaczania optymalnej prędkości obrotowej narzędzia podczas frezowania. Pierwszym etapem procedury jest walidacja parametrów modelu dyskretnego MES przedmiotu obrabianego z wynikami identyfikacji modalnej rzeczywistego obiektu. Po dopasowaniu parametrów modelu dyskretnego przedmiotu tworzony jest model hybrydowy procesu obróbki. Następnie dopasowywane są parametry symulacji i dla wybranych prędkości...
-
2D lattice model for fracture in brittle materials
PublicationW 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.
-
Sub-optimal fault-tolerant control by means of discrete optimization
PublicationOpracowanie przedstawia metodę projektowania sterowania optymalnego i odpornego na uszkodzenia z zastosowaniem algorytmów optymalizacji dyskretnej. Poszukiwana trajektoria, jeśli istnieje, jest reprezentowana przez najtańszą ścieżkę w grafie przepływowym, kodującym właściwości danego procesu dynamicznego. Metoda umożliwia zdefiniowanie obszarów zastrzeżonych dla punktu pracy, mogących reprezentować uszkodzenia systemu wykryte wcześniej.
-
Projektowanie mechatroniczne w zastosowaniu do sterowania modalnego drganiami robota IRB-6.
PublicationW pracy rozważa się drgania modelowanego dyskretnie niestacjonarnego układu nośnego manipulatora IRB-6 metodą sztywnych elementów skończonych. Do nadzorowania drgań wykorzystano algorytm sterowania optymalnego przy energetycznym wskaźniku jakości w dziedzinie współrzędnych modalnych. Uwzględnia on zmianę w czasie, względem trajektorii ruchu zadanego, energii potencjalnej, kinetycznej oraz energii sygnału sterującego.
-
Rozwiązania mechatroniczne w nadzorowaniu drgań robotów przemysłowych za pomocą sterowania modalnego
PublicationW pracy rozważa się drgania modelowanego dyskretnie niestacjonarnego układu nośnego manipulatora IRb-6 metodą sztywnych elementów skończonych. Do nazdorowania drgań wykorzystano algorytm sterowania modelanego przy energetycznym wskaźniku jakości, z elementami projektowania mechatronicznego. Uwzględnia on zmianę w czasie względem trajektorii ruchu zadanego, energii potencjalnej, kinetycznej oraz energii sysgnału sterującego.
-
Analityczne Modelowanie Procesów Przepływu: Analiza Obliczalności Modelu Stanowego
PublicationW pracy przedstawiono równania opisujące zjawisko przepływu cieczy oraz gazów w długich rurociągach. Oparłszy się na podziale rurociągu na małe segmenty, opisuje się dyskretne dynamiczne równanie tego procesu. Przedstawia się dowód, że macierz rekombinacji stanu (A), która potencjalnie może być przyczyną osobliwości równania stanu przepływu, jest nieosobliwa dla skończonych i niezerowych przedziałów kwantyzacji w czasie i przestrzeni....
-
Dynamics of quantum entanglement
PublicationA model of discrete dynamics of entanglement of a bipartite quantum state is considered. It involves a global unitary dynamics of the system and periodic actions of local bistochastic or decaying channel. For initially pure states the decay of entanglement is accompanied by an increase of von Neumann entropy of the system. We observe and discuss revivals of entanglement due to unitary interaction of subsystems. For some mixed states...
-
Nadzorowanie drgań układu nośnego robota przemysłowego IRB-6 za pomocą ste-rowania modalnego przy energetycznym wskaźniku jakości. W: Zagadnienia ana- lizy modalnej konstrukcji mechanicznych. Praca zbiorowa pod red. T. Uhla. Kraraków: Kated. Robotyki i Dynam. Masz. AGH**2003 s. 115-122, 2 rys. 1 tab. bibliogr. 4 poz.
PublicationW pracy rozważa się drgania modelowanego dyskretnie niestacjonarnego układunośnego manipulatora IRB6 metodą sztywnych elementów skończonych. Do nadzo-rowania drgań wykorzystano algorytm sterowania optymalnego przy energetycz-nym wskaźniku jakości w dziedzinie współrzędnych modalnych. Uwzględnia on zmianę w czasie, względem trajektorii ruchu zadanego, energii potencjalnej, kinetycznej oraz energii sygnału sterującego.
-
Stanowisko badawcze do automatycznej analizy jakości transmisji koncentratora KODEŚ z interfejsami LTE, NB-IoT oraz ISM
PublicationZaprezentowano podstawowe właściwości projektowanego koncentratora danych elektroenergetycznych KODEŚ oraz stanowisko badawcze do automatycznych pomiarów jakości transmisji w sieci LTE (Long Term Evolution), opracowane na potrzeby projektu badawczego. Głównym elementem stanowiska jest autorskie oprogramowanie, które umożliwia konfigurowanie urządzeń pomiarowych oraz definiowanie scenariuszy pomiarowych. Dopełnieniem tego jest dodatkowe...
-
Smart Pen - new multimodal computer control tool for graphomotorical therapy
PublicationW sytuacji, gdy około 15% populacji uczniów wykazuje cechy dyslektyczne, koniecznością staje się wyposażenie szkół w efektywne narzędzia do diagnozy i terapii tego rodzaju zaburzeń. Dzięki wykorzystaniu tabletu i specjalnie skonstruowanego długopisu wyposażonego w czujniki nacisku uzyskano możliwość monitorowania wielu parametrów, które do tej pory były dla terapeutów całkowicie niedostępne (np. pomiar nacisku na podłoże czy ścisku...
-
Adaptive neuro fuzzy and fuzzy decision tree classifiers as applied to sea floor characterization.
PublicationPrzedstawiono wyniki badań wpływu różnych parametrów echa odbitego od dna morskiego na dokładność klasyfikacji typu dna przy pomocy sieci neuronowej z logiką rozmytą i przy pomocy drzew decyzyjnych. W szczególności uwzględniono takie parametry echa jak: energia, amplituda i nachylenie opadającego zbocza, wzbogacone o współczynniki falkowe otrzymane z dyskretnej transformacji falkowej (DWT).
-
Projekt i budowa uniwersalnego sterownika programowalnego
PublicationArtykuł opisuje projekt i realizację niskobudżetowego ale zarazem funkcjonalnego i uniwersalnego kompaktowego sterownika programowalnego PLC (ang. Programmable Logic Controller) oraz dedykowanej aplikacji narzędziowej umożliwiającej jego elastyczne oprogramowanie. Przedstawiany sterownik bazuje na jednostce centralnej w postaci 32-bitowego mikrokontrolera ARM firmy STMicroelectronics oraz wyposażony jest w standardowe peryferia...
-
On the mixing property and the ergodic principle for nonhomogeneous Markov chains
PublicationW pracy rozważane są różne typy zachowania granicznego nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym. Badana jest struktura geometryczna zbioru łańcuchów Markowa w normowej i mocnej topologii operatorowej.
-
Vibration surveillance of dynamic systems and production processes
PublicationPraca dotyczy poszukiwania sposobów minimalizacji poziomu drgań podczas pracy maszyn i urządzeń wykonujących określone procesy robocze. Do modelowania dyskretnego wykorzystano metodę elementów skończonych. Rozważano dynamikę niestacjonarnego dyskretnego układu sterowanego, którego zachowanie opisano we współrzędnych uogólnionych, jak również - układu hybrydowego. Ten ostatni uzyskano dzięki wyodrębnieniu z całości podukładu stacjonarnego,...
-
Rozwój systemu bezpieczeństwa ruchu drogowego.
PublicationProgramowanie systemu zarządzania bezpieczeństwem ruchu drogowego.System bezpieczeństwa ruchu drogowego w Polsce.Regionalne i lokalne systemy brd.Działania w programie GAMBIT 2005.
-
Internetowy system dydaktyczny typu online judge
PublicationOmówiony w pracy system typu Online Judge został wykorzystany na przedmiotach związanych z algorytmiką i optymalizacją dyskretną na Wydziale ETI Politechniki Gdańskiej. Najważniejsze funkcje systemu, z punktu widzenia dydaktyki, pozwalają na wykorzystanie go do automatycznej oceny rozwiązań problemów algorytmicznych, jako repozytorium dokumentów (sprawozdań) oraz jako platformę do zarządzania przedmiotem z możliwością kontroli...
-
Programy symulacyjne jako narzędzia wspierające proces rekonstrukcji wypadków drogowych
PublicationObecnie można zauważyć dynamiczny rozwój narzędzi komputerowych wykorzystywanych w procesie rekonstrukcji wypadków drogowych. Artykuł przedstawia i opisuje programy symulacyjne, które stanowią odrębną grupę wśród tego typu oprogramowania. Obejmują swym działaniem całą dyscyplinę wypadków drogowych w przeciwieństwie np. do programów rysunkowych czy fotogrametrycznych skupiających się wyłącznie na wąskim wycinku tej dyscypliny. Dają...
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...