Filtry
wszystkich: 3176
-
Katalog
- Publikacje 2598 wyników po odfiltrowaniu
- Osoby 233 wyników po odfiltrowaniu
- Wynalazki 34 wyników po odfiltrowaniu
- Projekty 28 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 9 wyników po odfiltrowaniu
- Kursy Online 209 wyników po odfiltrowaniu
- Wydarzenia 60 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ZASTOSOWANIE PROGRAMU AUTOCAD
-
Optimal segmented dampers configuration for a laminar body carrying variable payload
PublikacjaPublikacja prezentuje zagadnienia analizy doboru tłumienia i konfiguracji elementów tłumiących dla ciała płaskiego poddanego dwóm stanom obciążenia. W pracy zaakceptowano użycie elementów tłumiących o tłumieniu wiskotycznym i o współczynniku tłumienie zależnym od położenia tłoka tego elementu. Ponieważ różne aspekty komfortu prowadzą do przeciwnych wytycznych odnośnie wyboru własności tłumiących, rozwiązanie dobory parametrów tłumienia...
-
Przedsięwzięcia ze wsparciem unii europejskiej w małych miastach województwa pomorskiego
PublikacjaPrzedmiotem prezentowanych badań były projekty wspomagane środkami Unii Europejskiej realizowane w latach 2007–2013 w małych miastach województwa pomorskiego. w ramach: Programu Operacyjnego Innowacyjna Gospodarka, Programu Operacyjnego Infrastruktura i Środowisko oraz Regionalnego Programu Operacyjnego. Cele badań obejmowały poznanie struktury przedsięwzięć według ich rodzaju i rozkładu na miasta oraz sprawdzenie, czy wielkość...
-
Nowy program brd Unii Europejskiej
PublikacjaDobiega końca realizacja III Programu BRD Unii Europejskiej. Niestety rezultaty tego programu odbiegają od oczekiwań - szczególnie w nowych krajach członkowskich, wśród których negatywnie wyróżnia się Polska. W celu intensyfikacji działań na rzecz brd przygotowano równie wymagający IV Program BRD obejmujący kolejną dekadę.
-
Koncepcje kształtowania bezpieczeństwa ruchu drogowego. Część 2. Możliwości zastosowania koncepcji trzech er w Polsce.
PublikacjaOdpowiadając na zalecenia ONZ i Unii Europejskiej, Polska przystąpiła do opracowania strategicznego programu brd na lata 2013-2020. Jednym z podejśc do opracowania tego programu powinna być koncepcja trzech er. W artykule przedstawiono propozycję wdrożenia koncepcji trzech er na sieci dróg w Polsce.
-
Zaawansowane symulacje układów przekształtnikowych z zastosowaniem symulatora TCad 7.
PublikacjaW artykule wskazano na trudność modelowania sterowania nowoczesnych układów przekształtnikowych i przedstawiono metodę modelowania zastosowaną w symulatorze TCad. Przedstawione rozwiązanie otwiera możliwość wstawiania do programu symulatora dowolnie rozbudowanego programu poprzez bibliotekę DLL, do zawartości której TCad odwołuje się za pośrednictwem specjalnych bloków pomocniczych.
-
Metodologia projektowania programów edukacyjnych zorientowanych problemowo z wykorzystaniem bazy wiedzy.
PublikacjaOpisano prototyp programu, który może posłużyć do sprawdzania poprawności sposobu rozwiązywania zadań z elementarnej matematyki lub fizyki. Program tem umożliwia ponadto wygenerowanie wszystkich sposobów rozwiązania zadania. Omówiono program komputerowy CorrectWay, który realizuje wczesniej wymienione funkcje. artykuł zakończono wskazaniami kierunków dalszego rozwoju tego programu.
-
Zastosowanie połączenia mikroekstrakcji do fazy stacjonarnej i chromatografii gazowej do oznaczania lotnych kwasów tłuszczowych w próbkach środowiskowych i pokrewnych=Application of combination of solid phase microextraction and gas chromatography for determination of volatile fatty acids in environmental and related samples
PublikacjaOznaczanie lotnych kwasów tłuszczowych (LKT) w próbkach środowiskowych wymaga najczęściej izolacji i wzbogacania analitów na etapie przygotowania próbek oraz zastosowania techniki o dużym potencjale separacyjnym i identyfikacyjnym na etapie oznaczeń końcowych. W pracy dokonano krytycznego przeglądu zastosowań wygodnej i często stosowanej techniki mikroekstrakcji do fazy stacjonarnej (SPME) w połączeniu z wysokosprawną techniką...
-
Przykłady zastosowania zestawu uruchomieniowego TMS320C6711 DSK z procesorem sygnałowym do realizacji stanowisk laboratoryjnych w laboratorium procesorów sygnałowych. Zastosowanie Komputerów w Nauce i Technice. Gdańsk 2003. XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaPrzedstawiono dwa stanowiska laboratoryjne wykorzystujące zestawy ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711. Jedno z nich realizuje analizator widma a drugie demonstruje algorytmy kodowania sygnałów podczas ich transmisji. Oba przygotowane stanowiska opracowano przy wykorzystaniu środowiska Code Composer Studio.
-
Zastosowanie sztucznych sieci neuronowych w sterowaniu robotem do prac pod-wodnych. Visnik Nacional´ Univ. L´viv**2002 nr 467 s. 19-24, 6 rys. bib- liogr. 5 poz. Wisnik Nacionalnogo Uniwiersitetu Lwiwska Politechnika
PublikacjaPrzedstawiono zagadnienie lokalizacji i sterowania podwodnego robota przeznaczonego do zadań przy kadłubie statku, zwłaszcza do czyszczenia z rdzy i biologicznych porostów. Zbadano możliwość zastosowania sztucznych sieci neuronowych do sterowania podwodną głowicą roboczą. W wyniku przeprowadzonej analizy został zaproponowany układ sterowania adaptacyjnego przy założeniu, że znane są wszystkie parametry rozpatrywanego obiektu...
-
Iwona Gabriel dr hab. inż.
Osoby -
Justyna Martyniuk-Pęczek dr hab. inż. arch.
OsobyJustyna Martyniuk-Pęczek, dr hab. inż. arch., urbanista, architekt światła. Doktor habilitowany nauk technicznych w dyscyplinie architektura i urbanistyka, z dodatkową specjalnością architektonicznego projektowania światłem. Podstawowym obszarem jej zainteresowań naukowych jest urbanistyka, w obrębie której skoncentrowała się na trzech nurtach badawczych, a mianowicie: Problemy kształtowania współczesnych przestrzeni publicznych,...
-
A concept of an application to plan the time lines of building selected bridge structures
PublikacjaW rozdziale został przedstawiony przykład autorskiego programu komputerowego przeznaczonego do planowania czasu pracy i kosztów w budownictwie mostowym. Zaletą programu jest możliwość przedstawienia wyników w formie graficznej w sposób deterministyczny i niedeterministyczny. Ma to ogromne znaczenie jeżeli poszukujemy optymalnych rozwiązań dotyczących zagadnień ryzyka i ekonomiki budownictwa.
-
Trzy dzielnice, trzy rewitalizacje. Dolny Wrzeszcz.
PublikacjaOpis programu rewitalizacji dzielnicy Dolny Wrzeszcz w Gdańsku.
-
Jakub Szulwic dr inż.
OsobyJakub Szulwic (ur. 23 grudnia 1974 w Bydgoszczy) – geodeta uprawniony, specjalizujący się w zakresie pomiarów i oceny geometrii obiektów inżynierskich szczególnie z wykorzystaniem metod fotogrametrii inżynieryjnej i skaningu laserowego; zajmuje się geomatyką i geoinformtyką. Autor ponad 100 publikacji naukowych, w tym 49 indeksowanych w Web of Science (h-index =15). W 1993 roku ukończył klasę o profilu mat-fiz i zdał maturę w Liceum...
-
Wykorzystanie rejestracji przebiegów szybkozmiennych do weryfikacji modeli dynamicznych KSE
PublikacjaW referacie przedstawiono koncepcję narzędzia pozwalającego na weryfikowanie parametrów modeli dynamicznych elementów KSE. Narzędzie wykorzystuje program obliczeniowy PSLF, stosowany powszechnie przez operatora systemu przesyłowego. Nowatorstwo polega na wykorzystaniu dodatkowej aplikacji (programu w systemie MS Windows), która steruje pracą programu obliczeniowego. Powstaje w ten sposób tandem wygodnego interfejsu użytkownika...
-
Wykorzystanie rejestracji przebiegów szybkozmiennych do weryfikacji modeli dynamicznych KSE
PublikacjaW referacie przedstawiono koncepcję narzędzia pozwalającego na weryfikowanie parametrów modeli dynamicznych elementów KSE. Narzędzie wykorzystuje program obliczeniowy PSLF, stosowany powszechnie przez operatora systemu przesyłowego. Nowatorstwo polega na wykorzystaniu dodatkowej aplikacji (programu w systemie MS Windows), która steruje pracą programu obliczeniowego. Powstaje w ten sposób tandem wygodnego interfejsu użytkownika...
-
Jerzy Konorski dr hab. inż.
OsobyJerzy Konorski otrzymał tytuł mgr inż. telekomunikacji na Poitechnice Gdańskiej, zaś stopień doktora n.t. w dyscyplinie informatyka w Instytucie Podstaw Informatyki PAN. W r. 2007 obronił rozprawę habilitacyjną na Wydziale Elektroniki, Telekomnikacji i Informatyki PG. Jest autorem ponad 150 publikacji naukowych, prowadził projekty naukowo-badawcze finansowane ze środków Komitetu Badań Naukowych, UE, US Air Force Office of Scientific...
-
Roland Ryndzionek dr inż.
OsobyI received the M.Sc. degree in Electrical Engineering from Gdańsk University of Technology (Gdańsk Tech), Gdańsk, Poland, in 2010, the M.Sc. degree in Electrical Engineering from INP ENSEEIHT, Toulouse, France, in 2012, and the Ph.D. degree in Electrical Engineering from Gdańsk Tech and INP, in 2015. From 2015 to 2017. I was a postdoctoral research engineer at the SuperGrid Institute Lyon, France. Since 2017, I have been working...
-
Lokalny Program Rewitalizacji Obszarów Miejskich Miasta Starogard Gdański na lata 2015 – 2022
PublikacjaPraca stanowi projekt dokumentu Lokalnego Programu Rewitalziacji dla miasta
-
Zastosowanie numerycznego modelu obiektu do oceny zgodności realizacji pro-jektu budowli gabionowej. W: Współczesna geodezja w rozwoju nauk techni- cznych, przyrodnicznych i ekonomicznych. Warszawa::SGGH**2003 s. 315-321, 3 rys. bibliogr. 6 poz.
PublikacjaW pracy przedstawiono sposoby badania oceny zgodności realizacji projektu budowli gabionowej. Zastosowano numeryczny model obiektu (NMO) i wyniki geodezyjnej inwentaryzacji powykonawczej (GIP) budowli gabionowej. Opracowano etapy badania oceny zgodności realizacji projektu. Opisano wewnętrzne i zewnętrzne błędy realizacji projektu. Na przykładzie muru oporowego wykonanego z gabionów dokonano wizualizacji wykrytych błędów realizacji...
-
Andrzej Klimczuk
OsobyAndrzej Klimczuk, doktor nauk społecznych w zakresie nauki o polityce publicznej oraz socjolog. Adiunkt w Katedrze Polityki Społecznej Kolegium Ekonomiczno-Społecznego Szkoły Głównej Handlowej w Warszawie. W latach 2002-2009 redaktor i korespondent wydawnictw o grach komputerowych. W latach 2011-2013 wiceprezes Fundacji Laboratorium Badań i Działań Społecznych "SocLab". Ekspert zewnętrzny m.in. Komisji Europejskiej, programu URBACT,...
-
Romanika Okraszewska dr inż. arch.
Osobydr inż. arch. Romanika Okraszewska jest adiunktem w Katedrze Inżynierii Drogowej i Transportowej Wydziału Inżynierii Lądowej i Środowiska Politechniki Gdańskiej. W 1996 ukończyła klasę matematyczno-informatyczną w VIII Liceum Ogólnokształcącym im. Komisji Edukacji Narodowej w Gdańsku. Absolwentka dwóch wydziałów Politechiki Gdańksiej, w roku 2002 ukończyła studia architektury i urbanistyki a w 2004 zarządzania i ekonomii. W latach...
-
Porządkowanie kanalizacji na obszarach silnie zurbanizowanych
PublikacjaInformacja o realizacji programu modernizacji kanalizacji w Warszawie. Nowe technologie
-
Realizacja algorytmu sterowania silnikiem asynchronicznym w symulatorze TCAD 7
PublikacjaW referacie przedstawiono reprezentatywny przykład realizacji i weryfikacji koncepcji złożonego sterowania układem napędowym na drodze symulacyjnej. Rozszerzono możliwości badań symulacyjnych projektowanego układu przez przeniesienie dedykowanego, specjalnego programu symulacyjnego do ogólnego symulatora układów przekształtnikowych TCad 7. Skorzystano z podatności tego symulatora na włączanie do części sterującej modelu oryginalnego...
-
Koncepcja systemu ekspertowego jako narzędzia ochrony przed hałasem.
PublikacjaPrzedstawiono koncepcję systemu ekspertowego wspomagającego podejmowanie decyzji związanych z ochroną osiedli mieszkaniowych i centrów miast przed istniejącym hałasem transportowym. System nawiązuje do europejskiego i polskiego programu ochrony przed hałasem. Proponowany system opiera się częściowo na wynikach dostarczanych przez procedury programu ochrony, np. monitorowanie środowiska, sporządzanie map hałasu, programy ochrony...
-
Modernizacja dworców PKP
PublikacjaPrezentacja programu przebudowy polskich dworców kolejowych i przygotowań PKP do Euro 2012
-
Zastosowanie metod opartych na ewolucji populacji do szeregowania zadań pro-dukcyjnych.**2002, 120 s. rys. tab. w rozdz. bibliogr. 137 poz. maszyn. Rozprawa doktorska (08.05.2002) Promotor: prof. dr hab. Piotr Jędrzejowicz, Akad. Morska w Gdyni.
Publikacja.
-
Zastosowanie metod neuronowo-rozmytych i drzew decyzyjnych do rozpoznawaniatypu dna morskiego z przetwarzanych sygnałów echa.**2002, 113 s. 77 rys. 5 tab. bibliogr. 49 poz. maszyn. Rozprawa doktorska /2002.12.17/ WETI Promotor: prof. dr hab.inż. A. Stepnowski.
PublikacjaPrzedmiotem pracy było opracowanie klasyfikatorów neuronowo-rozmytych dorozpoznawania typu dna morskiego z przetwarzanych sygnałów echa wraz z im-plementacją tych klasyfikatorów w systemie przenośnym.
-
Optimizing the process of railway geometrical layout designing with multi-criteria assessment method
PublikacjaThe paper presents the main assumptions of the Multi-criteria assessment method used in process of upgrading the railway geometrical layout. The advantages of metaheuristic search were described. The criteria influencing the investment were defined. The fitness function used in the analysis was described. The example of using the optimization algorithm with the help of self developed computer software was described.
-
Podaż na Mazowszu a rozwój klastrów. Cz. 3
PublikacjaAutorka identyfikuje i opisuje występujące na Mazowszu inicjatywy klastrowe, szczególną uwagę poświęcając klastrom rolniczym. W ostatnich latach obserwuje się systematyczny przyrost sformalizowanych układów klastrowych w całym kraju. W przypadku inicjatyw klastrowych w woj. mazowieckim - część z nich kształtuje się w sposób naturalny - w oparciu o występujące mechanizmy rynkowe, ale większość powstała i sformalizowała się w odpowiedzi...
-
Wykorzystanie metod zorientowanych obiektowo do programowania sterowników programowalnych
PublikacjaW artykule zostały przedstawione główne udogodnienia wynikające z wykorzystywania zasad i metod podejścia obiektowego do programowania sterowników programowalnych. Omówiona została aktualna sytuacja tradycyjnych języków tekstowych i graficznych po wprowadzeniu rozszerzenia IEC 61499 normy IEC61131. W dalszej części zaprezentowano podział cyklu tworzenia programu na trzy zasadnicze części - analizę, projektowania oraz programowanie...
-
Application of linear discriminant analysis to the study of dew chemistry on the basis of samples collected in Poland (2004-2005)
PublikacjaTechnikę analizy dyskryminacyjnej wykorzystano do klasyfikacji próbek rosy (zebranych w okresie sierpień 2004 - październik 2005 na terenie Gdyni, Gdańska, Mławy, Sopotu, Krakowa, w których oznaczono stężenia wybranych związków nieorganicznych i organicznych) na naturalnie wyłaniające się grupy oraz by zidentyfikować parametry fizykochemiczne odpowiedzialne za podobieństwa i różnice pomiędzy poszczególnymi miejscami pobierania...
-
Aplikacje informatyczne dla fotogrametrii i teledetekcji
PublikacjaMonografia podsumowuje prace aplikacyjne nad programami dedykowanymi dla kształcenia geodetów i kartografów na poziomie studiów wyższych. Autorzy prezentują możliwości włączenia w tok dydaktyczny programu do obliczeń fotogrametrycznych na zdjęciach metrycznych oraz analiz matematycznych na zdjęciach wykorzystywanych w pracach teledetekcyjnych. Czytelnik otrzymuje zasadnicze informacje o możliwościach oprogramowania a dla użytkowników...
-
Systemy informacji przestrzennej i systemy ekspertowe w zarządzaniu hałasem
PublikacjaW referacie przedstawiono opis systemu ekspertowego, zintegrowanego z SIP, wspomagającego podejmowanie decyzji związanych z ochroną osiedli mieszkaniowych i centrów miast przed istniejącym hałasem transportowym. System nawiązuje do europejskiego i polskiego programu ochrony przed hałasem. Proponowany system opiera się częściowo na wynikach dostarczanych przez procedury programu ochrony, np. monitorowanie środowiska, sporządzanie...
-
Bydgoska retencja +2050
PublikacjaProgram retencji bydgoskiej dla perspektywy 2050. Główne założenia programu. Wnioski wynikające z przeprowadzonej dyskusji.
-
Roman Śmierzchalski prof. dr hab. inż.
OsobyUrodził się w 1956 r. w Gdyni. Jest absolwentem Wydziału Elektrycznego Politechniki Gdańskiej (1979). W 1989 r. uzyskał stopień doktora, w roku 1999 stopień doktora habilitowanego, a w roku 2014 tytuł profesora. W latach 1980–2009 był pracownikiem naukowo-dydaktycznym Akademii Morskiej w Gdyni. Od 2009 jest r. pracownikiem naukowo-dydaktycznym Politechniki Gdańskiej. Jego zainteresowania naukowe obejmują: sterowanie i automatykę,...
-
Rewitalizacja obszarów zdregradowanych w polityce odnowy krajobrazu miejskiego w Gdańsku
PublikacjaReferat prezentuje założenia oraz początki realizacji Lokalnego Programu Rewitalizacji jaki obecnie jest realizowany w Gdańsku.
-
EUDEM2: The European Union in humanitarian demining. State of the art on humanitarian demining.
PublikacjaPrzedstawiono projekt 5 Programu Ramowego. Opisano stan technologii technik wykrywania min lądowych w krajach europejskich.
-
Tworzenie poligonu kierunków głównych trasy kolejowej z wykorzystaniem pomiarów GPS
PublikacjaW pracy przedstawiono kolejny moduł opracowywanego w Politechnice Gdańskiej programu komputerowego SATTRACK do wizualizacji, oceny i projektowania trasy kolejowej, dostosowanego do techniki ciągłych pomiarów satelitarnych. Jest to moduł TRACK_POL, służący do tworzenia poligonu kierunków głównych trasy kolejowej. Zapisane w pliku tekstowym współrzędne prostych wykorzystuje się do wyznaczenia ich równań w państwowym układzie odniesień...
-
Speed, alcohol and safety belts as important factors influencing the number voivodship = Prędkość, alkohol i pasy bezpieczeństwa jako istotne czynniki wpływające na liczbę ofiar śmiertelnych wypadków drogowych na obszarze województw
PublikacjaNiniejszy referat prezentuje wyniki wstępne szerszego programu prac badawczych dotyczących bezpieczeństwa ruchu drogowego na obszarach województw.
-
W poszukiwaniu nowego. Opinie wolontariuszy na temat udziału w programie „Teaching English in Poland”
PublikacjaProgram „Teaching English in Poland” (TEIP) opiera się na organizacji wakacyjnych obozów, podczas których amerykańscy wolontariusze uczą polskie dzieci i polską młodzież metodą „zanurzenia w języku”, czyli w trakcie codziennych aktywności, zajęć sportowych, artystycznych i innych podobnych wspólnych działań. Ważnym aspektem ewaluacji programu jest badanie jego efektów wśród młodzieży, nie mniej istotne są jednak opinie samych...
-
Application of ion chromatography for the determination of inorganic ions, especially thiocyanates in human saliva samples as biomarkers of environmental tobacco smoke exposure
PublikacjaŚrodowiskowy dym tytoniowy jest jednym z czynników decydujących o jakości powietrza wewnętrznego różnego typu pomieszczeń zamkniętych. Toksyczne składniki wydzielające się wraz z głównym i bocznym strumieniem dymu tytoniowego mają istotny wpływ na skład chemiczny płynów biologicznych. Jednym z biomarkerów narażenia na szkodliwe składniki środowiskowego dymu tytoniowego są jony rodankowe. Celem badań było znalezienie korelacji pomiędzy...
-
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...
-
Projektowanie układów geometrycznych toru z zastosowaniem optymalizacji wielokryterialnej
PublikacjaW pracy przedstawiono metodę projektowania odcinków trasy kolejowej położonych w łuku, dostosowaną do techniki mobilnych pomiarów satelitarnych. Rozwiązanie problemu projektowego wykorzystuje zapis matematyczny i polega na wyznaczeniu uniwersalnych równań opisujących całość układu geometrycznego. Odbywa się to sekwencyjnie, obejmując kolejne fragmenty tegoż układu. Procedura projektowania ma charakter uniwersalny, gdyż w ogólnym...
-
Uniwersalny program komputerowy do projektowania zmiany kierunku trasy
PublikacjaW pracy przedstawiono kolejny program komputerowy stanowiący implementację algorytmu obliczeniowego dotyczącego projektowania zmiany kierunku trasy kolejowej, dostosowanego do techniki ciągłych pomiarów satelitarnych. Program ten ma charakter uniwersalny, gdyż w ogólnym przypadku obejmuje wprowadzenie do układu geometrycznego dwóch łuków kołowych o różnym promieniu, czyli zastosowanie łuku koszowego. Może się to okazać szczególnie...
-
Ontologie jako metoda reprezentacji wiedzy
PublikacjaLogika opisowa (ang. Description Logic - DL) 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 przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Autodesk Robot Structural Analysis = Wymiarowanie Konstrukcji Stalowych i Żelbetowych : Przyklady Obliczeń
PublikacjaW pracy przedstawiono przykłady wymiarowania konstrukcji stalowych i żelbetowych z wykorzystaniem programu Autodesk Robot Structural Analysis Professional.
-
Implementation of non-local integral models into commercial FE methods
PublikacjaArtykuł omawia implementacje nielokalnych modeli typu całkowego do komercyjnych programów MES. Implementacje pokazano na przykładzie programu Abaqus.
-
program verification strategy and edge ranking of graphs
PublikacjaW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Usprawnienie procesu formułowania zapytań dla cyfrowej biblioteki dokumentów muzycznych
PublikacjaW pracy przedstawiono program Melody Explorer, służący jako interfejs użytkownika dla multimedialnej bazy danych (biblioteki cyfrowej)dokumentów muzycznych. Zadaniem programu jest m.in. zamiana danych wprowadzanych przez użytkownika w formie akustycznej (takiej jak śpiew, nucenie, gra na instrumencie) na zapis symboliczny w postaci notacji muzycznej. W pracy omówiono doświadczenia z dotychczasowej eksploatacji programu, zaproponowano...