Search
Filters
total: 2713
filtered: 1232
-
Catalog
- Publications 1232 available results
- Journals 24 available results
- Publishing Houses 5 available results
- People 224 available results
- Inventions 4 available results
- Projects 10 available results
- Laboratories 12 available results
- Research Teams 11 available results
- Research Equipment 8 available results
- e-Learning Courses 1012 available results
- Events 74 available results
- Open Research Data 97 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: jezyki programowania
-
Elementary gates for cartoon computation
PublicationSformułowano elementarne bramki kwantowe, pozwalające tłumaczyć algorytmy kwantowe na język geometryczny.
-
Zagrożenia bezpieczeństwa IT/OT
PublicationZłośliwe oprogramowanie, obok ataków rozproszonej odmowy świadczenia usług (ang. Distributed Denial of Servi-ce – DDoS), podszywania, SPAMu oraz ogólnie niechcianej komunikacji, stanowi aktualnie jedną z najważniejszych kwestii bezpieczeństwa. Sam termin (Malicious Software – Malware) określa zbiorczo między innymi wirusy, konie trojańskie i robaki komputerowe. Ostateczne rozwiązanie wspomnianych zagrożeń bezpieczeństwa wymaga...
-
3D reconstruction seafloor from side-scan records
PublicationArtykuł przedstawia sposób wykorzystania języka opisu wirtualnej rzeczywistości (VRML) do trójwymiarowej wizualizacji dna morskiego. W szczególności zaprezentowano techniki rekonstrukcji trójwymiarowego obrazu z danych pochodzących z sonaru bocznego.
-
Fenomenologia form symbolicznych. Podstawowe pojęcia i inspiracje "późnej" filozofii Ernsta Cassirera
PublicationMonografia rekonstruuje system filozofii Ernsta Casirera w oparciu o nieznane do niedawna teksty jego spuścizny rekopiśmienniczej. Jest pierwszym w języku polskim kompleksowym opracowaniem całości filozofii tego myśliciela.
-
Metoda neuronowego wyznaczania przestrzennych pól przepływów w przydźwiękowych i naddźwiękowych kanałach łopatkowych turbin parowych
PublicationNiniejsza rozprawa doktorska została poświęcona opracowaniu metody neuronowego wyznaczania przestrzennych pól przepływów w okołodźwiękowych kanałach łopatkowych turbin parowych. Obiektem badań naukowych przedstawionych w kolejnych rozdziałach są dwa ostatnie stopnie części niskoprężnej turbozespołu 18K370 z wylotem ND-37. Pierwszym etapem badań była budowa numerycznego modelu przepływu pary mokrej przez analizowany układ łopatkowy....
-
Evolutionary approach to solving multi-ship encounter situations
PublicationW artykule wprowadzono nowe podejście do rozwiązywania sytuacji spotkań wielu statków poprzez połączenie założeń teorii gier z programowaniem ewolucyjnym. Spotkanie wielu statków jest zamodelowane jako gra rozgrywana przez ''myślących graczy'' - statki o różnych, potencjalnie zmiennych strategiach. Rozwiązanie - zbiór kooperujących (niekolidujących) trajektorii jest znajdowane za pomocą algorytmu ewolucyjnego.
-
System informacji przestrzennej jako narzędzie w planowaniu i prowadzeniu inwestycji na ograniczonym obszarze
PublicationAutorka prezentuje wyniki i procedury związane z wykorzystaniem analiz przestrzennych przeprowadzonych dla obszaru wybranej gminy w oprogramowaniu ESRI. Wnioski wysnute z badań są podstawą dalszych prac zmierzających do wykorzystania i implementacji systemu informacji przestrzennej dla inwestycji związanej z powstawaniem w Gdańsku obiektów sportowych w ramach EURO 2012.
-
Komputerowy symulator algorytmów synchronizacji obiektów elektroenergetycznych
PublicationW artykule opisano istotę i różnorodność sposobów synchronizacji obiektów elektroenergetycznych oraz strukturę opracowanego i wykonanego dla celów badawczych, symulatora algorytmów synchronizacji. Przedstawiono architekturę blokową symulatora i jego powiązanie z procesem synchronizacji prądnic, opisano oprogramowanie symulatora oraz wskazano na szeroki zakres jego stosowalności oraz dużą użyteczność praktyczną.
-
Modelowanie fizyczne i numeryczne procesów cieplno-przepływowych w kotle z tangencjalną komorą spalania.
PublicationPraca przedstawia metodologię modernizacji kotła pyłowego z tangencjalną komorą spalania w aspekcie ograniczenia emisji toksycznych składników węgla,siarki i azotu oraz doboru optymalnych parametrów termodynamicznych mieszania i spalania. W tym celu wykorzystano eksperymentalne modelowanie fizyczne kwasowo-zasadowe i uzupełniono je symulacjami numerycznymi z zastosowanie moprogramowania Fluent.
-
Adapting a general tool to monitoring multi-agent systems through virtual host layer extenstion = Rozszerzenie typowego narzędzia o warstwę hosta wirtualnego w celu monitorowania systemów agentowych
PublicationNagios to bezpłatne oprogramowanie do monitorowania infrastruktury IT. Nie jest ono dostosowane do monitorowania systemów agentowych, gdyż agenty mogą swobodnie podejmować lub zarzucać realizację działań, czy zmieniać pełnioną rolę. Bogate możliwości konfigurowania Nagios pozwalają poszerzyć jego możliwości. Artykuł przedstawia i weryfikuje konfigurację oraz rozszerzenie Nagios, umożliwiające monitorowanie systemów agentowych.
-
Rozwinięcie moodle jako narzędzia do pracy grupowej
PublicationOprogramowanie MOODLE jest szeroko stosowane - również w Polsce - do dydaktyki. Uczestnicy projektu Platforma Informatyczna TEWI wykorzystują MOODLE, także jako system zarządzania treścią, czy narzędzie do wspomagania pracy grupowej. Rozszerzenie możliwości MOODLE poprzez utworzenie nowych wtyczek pozwoli na jeszcze lepsze dopasowanie do prowadzenia projektów badawczych oraz dydaktyki.
-
Musical Metadata Retrieval with Flow Graphs, in Rough Sets and Current Trends in Computing.
PublicationW pracy opisano metody wyszukiwania muzyki w Internecie w oparciu o opis semantyczny. W eksperymentach wykorzystano opis muzyczny stosowany w bazie CDDB. Zaprezentowano metodę grafów przepływowych zaproponowaną przez Pawlaka.
-
Udział zespołu kontroli jakości w sukcesie zaawansowanego przedsięwzięcia informatycznego
PublicationPrzedstawiono rolę zespołu kontroli jakości we współcześnie realizowanych projektach informatycznych. Zaprezentowano najważniejsze wskaźniki sukcesu informatycznego, określone przez zespół zarządzania jakością. Podkreślono znaczenie specyfikacji wymagań systemowych oraz omówiono cykl życia typowego projektu informatycznego. Przedstawiono także projekty, w których zabrakło zdycyplinowanej polityki jakości, co doprowadziło do spektakularnych...
-
Correlation between destruction of the metal surface caused by pitting corrosion and intensity of the observed electrochemical noise.
PublicationPrzedstawiono wyniki badań korelacji między intensywnością szumów elektrochemicznych obserwowanych podczas występowania procesów korozji wżerowej a zmianami obserwowanymi na powierzchni metalu.Badania przeprowadzono dla elektrod metalowych o powierzchni eksponowanej na środowisko korozyjne poniżej 1 mm2. Do wykrywania uszkodzeń powierzchni wykorzystano oprogramowanie MatLab, wykrywające uszkodzenia powierzchni metalu w formie okręgów...
-
Systemy automatycznej kontroli wymiarowej mikroziaren ściernych
PublicationPrzedstawiono wyniki badań wymiarów mikroziaren ściernych stosowanych w operacjach docierania. Badania z wykorzystaniem analizatora laserowego poprzedziła analiza mikroskopowa rzutów mikroziaren na płaszczyznę obserwacji. Analizowano wymiary (długość i szerokość) oraz pole powierzchni jego obrazu. Pomiary przeprowadzono na skomputeryzowanym stanowisku, wyposażonym w mikroskop stereoskopowy, kamerę CCD i oprogramowanie MultiScan...
-
Zastosowanie koncepcji SDN w warstwie transportowej sieci IMS/NGN
PublicationKoncepcja sieci Next Generation Network, wykorzystująca w warstwie usług architekturę IP Multimedia Subsystem, zakłada centralizację funkcji sterowania zasobami sieciowymi w warstwie transportowej. Analogiczne założenie jest podstawą koncepcji Software Defined Networks. Na podstawie tej analogii, zaproponowano integrację obu koncepcji, przedstawiono architekturę zintegrowanej sieci, scenariusze sterowania zasobami oraz przygotowano...
-
Stanowisko do diagnostyki zabezpieczeń różnicowoprądowych
PublicationW pracy przedstawiono stanowisko laboratoryjne, które umożliwia badanie zabezpieczeń różnicowoprądowych przy wybranych przebiegach prądu różnicowego przewidzianych przez normy przedmiotowe oraz przy różnych przebiegach prądu różnicowego spotykanych w praktyce, a nie przewidzianych przez normy przedmiotowe. Stanowisko umożliwia generowanie ustalonych prądów różnicowych oraz różnego typu prądów przejściowych. Zasadniczym elementem...
-
Mechatronic system for automatic inspection of circular saw teeth
PublicationArtykuł prezentuje system mechatroniczny do automatycznej oceny geometrii ostrzy pił tarczowych. Opisywany system wizyjny został zastosowany w automatycznym kontrolerze ostrzy pił tarczowych WKOPTar. Wrzeciono urządzenia posiada swój napęd sterowany bezstopniowo obrazem ostrzy i zapewnia powtarzalne pozycjonowanie ostrzy w celu przechwycenia ich obrazów, które są następnie analizowane z wykorzystaniem specjalnego oprogramowania....
-
Systemy informacji przestrzennej w rozwoju e-uczelni
PublicationArtykuł opisuje istotę systemów informacji przestrzennej, ich definicję, krótką genezę oraz przybliża zagadnienia funkcjonowania współczesnych systemów tego typu. Szczególną uwagę zwrócono na moźliwości ich wykorzystania w szeroko rozumianej informatyzacji. Przez przykłady zastosowań zwrócono uwagę na rolę, jaką mogą pełnić takie systemy we współczesnym społeczeństwie. Zostały określone podstawowe wymagania dotyczące oprogramowania,...
-
Testing and tuning PLC application programs
PublicationWe wstępie zawarto kilka uwag autora dotyczących pilnej potrzeby wdrażania na Wydziale Mechanicznym idei mechatronicznego kształcenia. Przedstawiono przegląd sposobów monitorowania i testowania programów aplikacyjnych PLC podczas budowania lub modernizacji systemów sterowania. Przedyskutowano zakres zastosowań oraz ograniczenia poszczególnych sposobów. Opisano przykład zastosowania zbudowanego stanowiska do eksperymentalnych testów...
-
TreeCmp: Comparison of Trees in Polynomial Time
PublicationMetryki filogenetyczne umożliwiają ocenę jakości wyników analizy filogenetycznej oraz wiarygodności algorytmów przeprowadzających taką analizę. Aplikacja TreeCmp oferuje efektywne, wielomianowe implementacje ośmiu takich metryk (dla drzew nieukorzenionych i zawierających korzeń) zdefiniowanych dla dowolnych filogenez (nie koniecznie binarnych). Program ten jako pierwszy umożliwia wyznaczanie nowych metryk, definiowanych w oparciu...
-
Modelowanie magnetycznego pola rozproszonego z wykorzystaniem MES
PublicationW artykule zaprezentowano zalety oraz możliwości, ale i też ograniczenia jakie posiada MES. Z całą pewnością jest to bardzo użyteczna i obiecująca metoda numeryczna, pozwalająca na modelowanie zjawisk elektromagnetycznych, w szczególności zaś magnetycznego pola rozproszonego. Biorąc pod uwagę szybko postępujący rozwój możliwości obliczeniowych współczesnych komputerów oraz towarzyszący mu rozwój oprogramowania MES można stwierdzić,...
-
Realizacja elementów składowych łącza radiowego z użyciem urządzeń USRP dla potrzeb szybkiej transmisji danych do zastosowań specjalnych
PublicationW artykule przedstawiono realizację cyfrowego łącza radiowego dla potrzeb szybkiej transmisji danych do zastosowań specjalnych. Opisano jego koncepcję oraz realizację praktyczną z użyciem urządzeń USRP firmy National Instruments. Przedstawiono elementy funkcjonalne opracowanego oprogramowania w zakresie generowania i odbierania sygnałów cyfrowych pasma podstawowego, wraz z opisem zastosowanych modulacji cyfrowych i metody synchronizacji...
-
Malarstwo jest okey. - Jan Buczkowski
PublicationKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Malarstwo jest okey. - Janusz Osicki
PublicationKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Malarstwo jest okey. - Krzysztof Wróblewski
PublicationKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Malarstwo jest okey. -Dominika Krechowicz
PublicationKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Finite automata for compact representation of tuple dictionaries.
PublicationOpisane zostaje uogólnienie struktury danych - słownika, zwane słownikiem n-tek. Słownik n-tek przedstawia odwzorowanie n-tek łańcuchów znaków na pewne wartości. Motywacją dla powstania tej struktury danych są praktyczne zastosowania w przetwarzaniu języka i mowy, w których obszerne słowniki n-tek używane są do przedstawiania modeli języka. Przedstawiona zostaje technika oszczędnej reprezentacji słowników n-tek. Ta technika...
-
Symulator Sym-PS4 sterownika programowalnego PS4-201-MM1
PublicationW pracy przedstawiono opis opracowanego programowego symulatora Sym-PS4 sterownika programowalnego PS4-201-MM1. Symulator umożliwia tworzenie i testowanie programów sterowania napisanych dla samego sterownika, jak również programów napisanych dla sterownika z dołączonymi do niego modułami rozszerzenia lokalnego LE4. Symulator posiada możliwość dołączania do niego tworzonych modeli sterowanych obiektów i pozwala na symulację działania...
-
Measurement of pulse signal period from incremental encorder by counters of Multifunctuin DAQ devices.
PublicationW artykule omówiono parametry liczników znajdujących się na wielofunkcyjnych kartach akwizycji sygnałów pomiarowych. Przedstawiono przygotowane w środowisku programowania Lab VIEW aplikacje wykorzystujące te liczniki. Służą one do pomiaru i rejestracji długości zadanej liczby okresów mierzonego sygnału oraz liczby okresów uzależnionej od ich długości (metoda zliczania zależnego z wydłużonym czasem pomiaru). Aplikacje te zostały...
-
Simultaneous Optimization of Unicast and Anycast Flows and Replica Location in Survivable Optical Networks
PublicationDotychczasowe prace z zakresu ochrony sieci przed awariami dotyczyły przypadku transmisji unicast. W niniejszym artykule rozważamy problem ochrony transmisji anycast (jeden-do-jednego-z-wielu). Jako wariant ochrony stosujemy podejście pojedynczej ścieżki zabezpieczającej (ang. path protection), chroniącej przed awarią pojedynczego węzła.Wprowadzono nowe modele programowania całkowitoliczbowego optymalnego znajdowania tras oraz...
-
Model ontologiczny referencyjnego problemu planowania misji inspekcyjnych
PublicationRozważany problem doboru, alokacji i planowania działań grupy robotów inspekcyjnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym. Zaproponowany model definiowany przez zbiór zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych z nieruchomymi i poruszającymi się przeszkodami a także flotę robotów mobilnych oraz zbioru ograniczeń wiążących te zmienne, wyrażany jest w postaci...
-
Variacionnye metody
PublicationMonografia zawiera metody wariacyjne dla rozwiązywania zadań fizyki matematycznej. Rozwiązane zastałe odwrotne zagadnienie rachunku wariacyjnego dla nieliniowych równań różniczkowych. Zbudowana jedyną teorię takich zadań dla liniowych i nieliniowych równań różniczkowych.
-
Trójwymiarowa wizualizacja obiektów na dznie morskim z zastosowaniem technik wirtualnej rzeczywistości.
PublicationArtykuł przedstawia sposób wykorzystania języka opisu wirtualnej rzeczywistości do trójwymiarowej wizualizacji objektów znajdujących się na dnie morskim. W szczególności zaprezentowano technikę rekonstrukcji obrazu trójwymiarowego z danych pochodzących z sonaru wielowiązkowego.
-
Recent developments in automatic classification of musical instruments. W:[CD-ROM] Collected papers. First Pan-American/Iberian Meeting on Acoustics. 144 Meeting of the Acoustical Society of America. III Iberoamerican Cong- ress of Acoustics. 9o Mexican Congress of Acoustics. Cancun, Q. R. Mxico, 2-6 Dec. 2002. [B.m.:ASA]**2002 paper 2aMU4, 7 s. 6 rys. 1 tab. bibliogr. 21 poz. Automatyczne rozpoznawanie muzyki - przykłady eksperymentów.
PublicationW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automaty-cznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktu-alnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klasinstrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowewyniki i przedstawiono projekt prac do zrealizowania w przyszłych ekspery-mentach.
-
Organizacijos etyika ir kultura: buti ar atrodyti
PublicationW artykule podjęta próba wyjaśnienia wpływu instytucjonalizacji etyki na in-tegrację kultury organizacyjnej oraz jakośc wykonawstwa.
-
Jan Buczkowski : malarstwo
PublicationDruk towarzyszący wystawie indywidualnej malarstwa, która miała miejsce w Puławskiej Galerii Sztuki w kwietniu 2009 roku. Publikacja liczy 4 strony i zawiera notę biograficzną w języku polskim oraz 1 kolorową reprodukcję.
-
Manager - Engineer - the proposal of the Faculty of Management and Economics Gdańsk University of Technology
PublicationW artykule przedstawiono ofertę edukacyjną Wydziału Zarządzania i Ekonomii Politechniki Gdańskiej, wskazując cel kształcenia menedżera o dość szerokiej ogólnej wiedzy inżynierskiej, sylwetkę absolwenta wydziału oraz nowe inicjatywy kształcenia w języku angielskim.
-
Zastosowanie koncepcji bezpieczeństwa funkcjonalnego w ocenie automatycznych synchronizatorów prądnic
PublicationW artykule podjęto próbę powiązania tematyki synchronizacji obiektów elektroenergetycznych z problematyką bezpieczeństwa funkcjonalnego. Synchronizacja automatyczna w systemie elektroenergetycznym jest bowiem od lat prowadzona z udziałem specjalistycznych urządzeń, jakimi są synchronizatory automatyczne o skomplikowanej strukturze sprzętowej i oprogramowaniu, a prawidłowy jej przebieg odgrywa istotną rolę z punktu widzenia bezpieczeństwa...
-
Edukacyjne narzędzie do badania zjawisk zachodzących podczas konwersji AC/CA
PublicationW pracy przedstawiono software'owe narzędzie umożliwiające analizę jakości karty dźwiękowej zainstalowanej komputerze PC opracowane na potrzeby laboratorium przetwarzania sygnałów. Oprogramowanie to w bardzo prostym, powszechnym systemie, jakim jest komputer PC z kartą dźwiękową, pozwala na zapoznanie się z wieloma typowymi problemami praktycznymi spotykanymi przy konwersji analogowo-cyfrowej (AC) i cyfrowo-analogowej (CA).
-
Komputerowy system sterowania elektrowni wodnej
PublicationW referacie przedstawiono komputerowy system sterowania blokami elektrowni wodnej. Opracowany i wdrożony system pozwala na pełne sterowanie blokami energetycznymi z typowego stanowiska komputera osobistego. Dla każdego z bloków przewidziano oddzielny komputer przemysłowy pracujący w sieci lokalnej. Oprogramowanie systemu pozwala na pracę z ustalonymi obrotami, stałą mocą lub stałym otwarciem kierownic.
-
ProSIL Software for functional saferty management in life cycle = Aplikacja ProSIL do zarządzania bezpieczeństwem funkcjonalnym w cyklu życia
PublicationIn the paper the ProSIL software to aid the functional safety management is presented. The software consists of three modules to aid: determination of the required SIL level (ProSILen), veryfication of the SIL level (ProSILver). In the aplication the method of the calibrated risk graph to determine the required safety integrity level SIL for defined safety instrumented functions is applied. The methods concerning functional safety...
-
Janusz Osicki Malarstwo – Przypadek mój sojusznik
PublicationDruk towarzyszący wystawie, która odbyła się w Galerii od czasu do czasu w Gdyni w 2013 roku. Publikacja liczy 4 strony i zawiera 4 reprodukcje prac i notę biograficzną w języku polskim.
-
Selected problems concerning strength of a floating dock with roof
PublicationW pracy przedstawiono modele i wyniki analizy wytrzymałości konstrukcji zadaszonego doku pływającego. Obliczono, że ścianki wiązarów zadaszenia, aby mogły przenieść obciążenia środowiskowe, muszą mieć grubość 24 mm. Ciężkie przesuwne segmenty zadaszenia generują w dennikach pontonu doku naprężenia sięgające 25% wartości dopuszczalnych. Wytężenie konstrukcji pontonu doku i podbudowy, obciążonych ciężarem zadaszenia i dokowanego...
-
Problemy jakości w metodach Agile
PublicationZwinne metody wytwarzania osiągnęły w zawrotnym tempie niebywały sukces. Według różnych doniesień od 50 do 70% firm IT stosuje metody zwinne na stałe lub okazjonalnie . Jednak znaczna część firm stosuje wybiórczo praktyki zalecane przez Agile . Jakie to praktyki? Jakie problemy występują przy ich stosowaniu i jak firmy radzą sobie z tymi problemami? Jak wpływają na jakość wytwarzanego oprogramowania? Jakie są warunki krytyczne...
-
Verification of the fit to user profiles for UML tools
PublicationDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Poll Reader - the working prototype of optical mark recognition software
PublicationAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Szkoła systemu Linux
PublicationKsiążka ''Szkoła systemu Linux'' wprowadza czytelnika w świat oprogramowania typu open source. Przedstawione zostały liczne programy, które umożliwiają między innymi zarządzanie danymi, pisanie i drukowanie dokumentów czy korzystanie z sieci. Za pomocą ksiązki można się nauczyć używania środowiska graficznego oraz wiersza poleceń. Opisano również działanie systemów operacyjnych, w tym Linux. Na płycie dołączonej do książki znajduje...
-
System sterowania sesją RTP
PublicationW artykule przedstawiono koncepcję systemu sterowania sesją protokołu RTP oraz praktyczną realizację tego systemu w oparciu o dostępne aplikacje należące do kategorii wolnego oprogramowania. Zaproponowana architektura umożliwia Operatorowi realizowanie następujących funkcji systemu: nagrywanie, podsłuch oraz generowanie zapowiedzi. System przeszedł pozytywnie testy laboratoryjne i możliwe jest jego praktyczne wykorzystanie. W artykule...