Filters
total: 1315
filtered: 774
-
Catalog
- Publications 774 available results
- People 74 available results
- Inventions 4 available results
- Projects 1 available results
- Laboratories 7 available results
- Research Teams 7 available results
- Research Equipment 10 available results
- e-Learning Courses 427 available results
- Events 10 available results
- Offers 1 available results
Chosen catalog filters
Search results for: UZYTECZNOŚĆ OPROGRAMOWANIA
-
Długoczasowa niezawodność detektorów klasy S.
PublicationDetektory alarmowe klasy S mają możliwość dopasowywania się do pracy w zmiennych warunkach oraz układy do samokontroli sprawności. Przedstawiono podwójnie i potrójnie zbalansowane detektory magnetyczne, detektory wibracji oraz kontaktowe i bezkontaktowe detektory stłuczenia szyby. Omówiono podstawowe parametry decydujące o niezawodności detektorów. Omówiono nowe elementy w architekturze detektorów wpływające na ich niezawodnośc...
-
Nauka w świecie cyfrowym okiem młodego inżyniera - phishing w mediach elektronicznych
PublicationPhishing to metoda oszustwa, w której przestępca podszywa się pod inną osobę lub instytucję w celu wyłudzenia poufnych danych, zainstalowania szkodliwego oprogramowania bądź też nakłonienia ofiary do wykonania określonych zadań. Jest to przestępstwo wykorzystujące zarówno metody socjotechniczne, jak i sztuczki technologiczne do osiągnięcia zaplanowanego celu. Działania hakerów żerują na nieostrożnych ofiarach, skłaniając je do...
-
System stabilizacji piłki na ruchomej platformie
PublicationW ostatnich latach nastąpił znaczny rozwój i wzrost zastosowań układów regulacji nadążnej. Ich wykorzystanie przestało ograniczać się do zastosowań przemysłowych, a zaczęto je używać w aplikacjach życia codziennego. Artykuł przedstawia proces projektowania i syntezy nadążnego układu stabilizacji piłki na ruchomej platformie. Opisano część mechaniczną oraz elektroniczną platformy. Przedstawiono model matematyczny, a także opisano...
-
Zastosowanie standardowego zasilacza łuku do zrobotyzowanego spawania.
PublicationPrzedstawiono stanowisko do zrobotyzowanego spawania elektrodą topliwą w osłonach gazów ochronnych. Opracowano technologię wykonywania spoin pachwinowych o grubościach 2,5 do 4,0mm we wszystkich pozycjach z użyciem drutu proszkowego z wypełnieniem rutylowym przy zmianie tylko jednego parametru, to jest szybkości spawania. Opisano modyfikację układów standardowego zasilacza łuku i podajnika drutu elektrodowego celem umozliwienia...
-
Język UML 2.0 w modelowaniu systemów informatycznych
PublicationKsiążka ''Język UML 2.0 w modelowaniu systemów informatycznych'' to szczegółowy opis najnowszej specyfikacji tego języka w kontekście zastosowania go w procesie wytwarzania oprogramowania. Zawiera omówienie elementów języka UML oraz zasad projektowania obiektowego. Przedstawia zastosowanie diagramów UML 2.0 oraz różnice pomiędzy modelowaniem analitycznym i biznesowym. Ponadto wyjaśnia podstawy metodyki RUP oraz prezentuje wybrane...
-
Wpływ długotrwałej eksploatacji na strukturę i własności mechaniczne stali Cr-Mo-V,
PublicationW artykule omówiono zagadnienie oceny stopnia degradacji stali Cr-Mo-V pracujących w warunkach pełzania. Przedstawiono wyniki badań diagnostycznych rury 273x32,0 mm głównego rurociągu parowego po eksploatacji w temperaturze 540C przez 168 000 godzin. Przeprowadzono badania metalograficzne za pomocą mikroskopu świetlnego oraz skaningowego i transmisyjnego mikroskopu elektronowego, a także badania własności mechanicznych materiału...
-
WYNIKI SYMULACJI NUMERYCZNEJ CYKLU ROBOCZEGO SILNIKA O ZS W PROGRAMIE DIESEL-RK ORAZ OCENA ICH UŻYTECZNOŚCI W PROCESIE PLANOWANIA BADAŃ DIAGNOSTYCZNYCH OKRĘTOWEGO SILNIKA TŁOKOWEGO
PublicationW artykule przedstawiono wyniki symulacji numerycznej procesu roboczego realizowanego w silniku tłokowym o zapłonie samoczynnym. W zastosowanym programie użytkowym DIESEL-RK zaimplementowano silnik laboratoryjny Farymann Diesel typ D10. Wprowadzono wybraną niesprawność jego układu funkcjonalnego zasilania paliwem - obniżone ciśnienie otwarcia wtryskiwacza pwtr. Wyznaczono wartości adekwatnych parametrów diagnostycznych: temperaturę...
-
Analiza wybranych metod obliczeniowych i eksperymentalnych wyznaczania charakterystyk amplitudowych jachtu żaglowego na fali regularnej
PublicationW artykule zaprezentowano wyniki analizy porównawczej charakterystyk amplitudowych właściwości morskich kadłuba jachtu żaglowego na fali regularnej uzyskanych trzema metodami. Dwie z nich opierały się na podejściu obliczeniowym, trzecia oparta była na klasycznym eksperymencie przeprowadzonym na basenie modelowym. Zrewidowano użyteczność formuł empirycznych opracowanych na bazie badań kadłubów jachtowych serii Delft. Wykonano symulacje...
-
Pomiędzy kontrolą i zaufaniem – jakich liderów potrzebują wirtualne zespoły projektowe
PublicationArtykuł dotyczy zarządzania zespołem wirtualnym, które jest szczególnym wyzwaniem ze względu na rozproszenie geograficzne członków zespołu oraz porozumiewanie się za pośrednictwem technologii informacyjnej. Skoncentrowano się na utrzymywaniu odpowiedniej proporcji pomiędzy zaufaniem i kontrolą zespołu i opracowano listę rekomendacji dla liderów zespołów wirtualnych, dotyczących budowania zaufania i koordynacji pracy. Do realizacji...
-
Knowledge Views and their application in systems engineering
PublicationWykorzystanie technologii Semantic Web, w szczególności baz wiedzy, w przemyśle informatycznym jest niewielkie. Jest to spowodowane między innymi dużym ryzykiem związanym z wdrażaniem nowych technologii i brakiem wiedzy na ich temat ze strony inżynierów oprogramowania. Aby zmniejszyć ryzyko związane z wdrażaniem baz wiedzy i zminimalizować nakład pracy inżynierów na zapoznanie się z nimi, w niniejszej pracy zaproponowano koncepcję...
-
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...
-
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...
-
Postępy algorytmiki i ich wpływ na rozwój informatyki w Polsce
PublicationPublikacja prezentuje najważniejsze polskie i światowe postępy algorytmiki i ich wpływ na rozwój informatyki w Polsce. w szczególności omówiono takie zagadnienia jak badanie pierwszości liczb, programowanie liniowe, płaskie rysowanie grafów i szybkie mnożenie macierzy.
-
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).
-
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...
-
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.
-
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....
-
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ć,...
-
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...
-
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...
-
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...
-
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...
-
Efficient list cost coloring of vertices and/or edges of some sparse graphs
PublicationRozważane jest kolorowanie wierzchołków i krawędzi grafów w modelach klasycznym, totalnym i pseudototalnym z uwzględnieniem dodatkowego ograniczenia w postaci list dostępnych kolorów. Proponujemy wielomianowy algorytm oparty na paradygmacie programowania dynamicznego dla grafów o strukturze drzewa. Wynik ten można uogólnić na grafy o liczbie cyklomatycznej ograniczonej z góry przez dowolnie wybraną stała.
-
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...
-
Błędy wyznaczania charakterystyk częstotliwościowych impedancji uzwojeń magnesów nadprzewodzących
PublicationW artykule przedstawiono zagadnienia związane z opracowaniem systemu do wyznaczania impedancji uzwojeń magnesów nadprzewodzących w funkcji częstotliwości. Omówiono strukturę sprzętową systemu i oprogramowanie, a także dokonano podstawowej analizy metrologicznej określając na podstawie badań symulacyjnych błędy wyznaczania modułu i argumentu poszukiwanej impedancji. Pokazano również przykładowe wyniki uzyskane przy użyciu omawianego...
-
ZASTOSOWANIE PROGRAMU SMATH W ANALIZIE STANÓW USTALONYCH W OBWODACH ELEKTRYCZNYCH
PublicationW pracy zaprezentowano oprogramowanie pomocne w nauczaniu studentów analizy obwodów elektrycznych. Programy utworzone w systemie SMATH [2] umożliwiające rozwiązać zadania z obwodów elektrycznych, stanowią interesujące narzędzie wspomagające proces nauczania. Możliwość tworzenia przez studentów własnych struktur obwodów elektrycznych, z podglądem zastosowanych w obliczeniach równań i wyników tych obliczeń jest ciekawą alternatywą...
-
Substrate noise modeling in early floorplanning of MS-SOCs.
PublicationW pracy zaproponowano model częstotliwościowy bloków analogowych wrażliwych na zakłócenia oraz bloków cyfrowych generujących zakłócenia w systemach mieszanych realizowanych na wspólnym podłożu krzemowym. Zaproponowane modele zostały wykorzystane w oprogramowaniu optymalizującym rozmieszczenie bloków funkcjonalnych na struktórze krzemowej. Dzieki użyciu procedur optymalizacyjnych uzyskano znaczącą redukcje poziomu zakłóceń przy...
-
Electrochemical methods for corrosion rate determination under cathodic polarisation conditions - a review. Part I - DC methods
PublicationPrzedstawiono krytyczny przegląd prac dotyczących wykorzystania metod elektrochemicznych stałoprądowych do wyznaczania prądu korozyjnego metali polaryzowanych katodowo. Opisano dotychczasowe sposoby oceny skuteczności ochrony katodowej na podstawie pomiarów krzywych polaryzacji i rezystancji polaryzacyjnej. Scharakteryzowano metody matematyczne i oprogramowanie opracowane do analizy komputerowej krzywych polaryzacji w celu wyznaczenia...
-
Coupled - mode design of ferrite loaded coupled microstrip lines section
PublicationMetodę rodzajów sprzężonych zastosowano do analizy i projektowania sekcji ferrytowych mikropaskowych linii sprzężonych magnesowanych podłużnie (FCL). W wyniku analizy określono macierz rozproszenia sekcji oraz warunki umożliwiające jej zastosowanie do realizacji cyrkulatora projetowanego jako połączenie badanej sekcji FCL z mikropaskowym rozgałęzieniem typu T. W oparciu o opracowane oprogramowanie przeprowadzono modelowanie parametrów...
-
Przykłady dobrej praktyki w projekcie SP4CE Erasmums+
PublicationProjekt SP4CE, czyli Partnerstwo Strategiczne na Rzecz Kreatywności i Przedsiębiorczości (ang. Strategic Partnership for Creativity and Entrepreneurship) jest odpowiedzią na potrzeby zidentyfikowane w komunikacie z Burgii w sprawie ściślejszej europejskiej współpracy w dziedzinie kształcenia i szkolenia zawodowego w latach 2011-2020. W projekcie zaprojektowano i uruchomiono portal SP4CE bazujący na oprogramowaniu WordPress i Moodle.
-
Wielokanałowa rejestracja częstotliwości licznikami NI-TIO
PublicationPrzedstawiono metodę wielokanałowej rejestracji częstotliwości, w której częstotliwości sygnałów w poszczególnych kanałach dla danej chwili wyznaczane są na podstawie dwóch ostatnich okresów. Opisano realizację metody na bazie liczników NI-TIO, z oprogramowaniem w środowisku LabVIEW. Załączono przykładowe wyniki pomiarów.
-
Koala graph coloring library: an open graph coloring library for real-world applications
PublicationPomimo intensywnej pracy naukowej na polu kolorowania grafów, nie jest znana kompletna i dedykowana biblioteka programistyczna. Celem artykułu jest zaproponowanie architektury takiej biblioteki. Celem jest spełnienie oczekiwań wypływających z rzeczywistych zastosowań, w szczególności spełnienie potrzeb wydajnościowych. Zaimplementowano szereg algorytmów cheurystycznego kolorowania grafów. Przyjętym językiem programowania jest C++....
-
Ewaluation of a PCR Melting Profile technique for bacterial strain differentiation
PublicationBadano przydatność techniki PCR MP w efektywnym typowaniu szczepów w badaniach epidemiologicznych zakażeń szpitalnych. Technika oparta jest na użyciu niskiej temperatury denaturacji podczas LM PCR. Badaniu zostały poddane izolaty Escherichia coli pochodzące od pacjentów Szpitala Klinicznego w Gdańsku. Wykazano, że technika jest szybka, o wysokim potencjale różnicującym i bardzo dobrej powtarzalności i może być zastosowana w badaniach...
-
Electrochemical Charakterization of Prussian blue type nickel hexacyanoferrate redox mediator for potential application as charge relay in dye-sensitized solar cells
PublicationMateriał nieorganiczny o mieszanym przewodnictwie elektronowo jonowym jakim jest heksacyjanożelazian (II,III) niklu (II) (NiHCF) rozpatrywany był jako potencjalny przenośnik ładunku w ogniwach słonecznych sensybilizowanych pigmentem (DSSC). Stwierdzono, że reakcje redoksowe NiHCF są szybkie i odwracalne nie tylko w obecności elektrolitu wspomagającego ale również w stanie stałym. Użyteczność NiHCF zbadana została za pomocą tradycyjnego...
-
Obszary zastosowań dystrybucji CDLINUX.PL.
PublicationSystem operacyjny GNU/Linux jest używany coraz powszechniej, również jako oprogramowanie stacji roboczych. W 2003 roku powstał projekt cdlinux.pl mający na celu ułatwienie poznawania systemu Linux przez polskich, początkujących użytkowników. W artykule przedstawiono zidentyfikowane wymagania użytkowników, na podstawie których stworzono dystrybucję systemu operacyjnego GNU/Linux. Wyszczególniono obszary potencjalnych zastosowań...
-
Efektywność odbioru rake w interfesjie radiowym wcdma/fdd w łączu w górę
PublicationW referacie przedstawiono wyniki badań, przeprowadzonych w oparciu o własne oprogramowanie symulujące pracę systemu UMTS, obrazujące wpływ długo-ści ciągu pilotowego na efektywność odbioru RAKE, dla różnych warunków propagacyjnych w łączu w górę. Ponad-to przedstawiono strukturę ramki dedykowanego kału transportowego DCH oraz formaty ramki kanału sterujące-go DPCCH w interfejsie radiowym WCDMA/FDD systemu UMTS.
-
Realizacja demonstratora technologicznego szybkiej transmisji danych w technologii radia programowalnego
PublicationW artykule przedstawiono realizację demonstratora technologicznego szybkiej transmisji danych w technologii radia programowalnego. Opisano architekturę zaprojektowanego systemu w tym asymetryczną organizację transmisji ramkowej, która odbiega od dotychczas stosowanych w systemach komórkowych. Przedstawiono także konstrukcję urządzeń prototypowych składających się z jednostki zarządzającej i urządzenia radia programowalnego oraz...
-
TECHNOLOGIA RADIA PROGRAMOWALNEGO W ZASTOSOWANIACH WOJSKOWYCH
PublicationTechnologia radia programowalnego (Software Defined Radio) jest nowoczesnym rozwiązaniem umożliwiającym realizację urządzeń pracujących w różnego rodzaju systemach łączności radiowej, zarówno cywilnych, jak i wojskowych. W artykule zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Opisano w sposób funkcjonalny platformę sprzętową i programową takiego rozwiązania. Zaprezentowano budowę przykładowej...
-
Implementacja uogólnionego algorytmu szczególnego próbkowania dla wyznaczania harmonicznej podstawowej w środowisku LabVIEW.
PublicationPraca dotyczy opisu oraz implementacji uogólnionego algorytmu szczególnego próbkowania dla wyznaczania amplitudy harmonicznej podstawowej w środowisku LabVIEW. Algorytm szczególnego próbkowania umożliwia wyodrębnienie informacji o wartości amplitudy harmonicznej podstawowej ze spróbkowanego, odkształconego sygnału przy zastosowaniu stosunkowo prostych środków technicznych. Aplikacja może mieć zastosowanie w urządzeniach pomiarowych...
-
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...
-
Quality model for UML tools in application to UML tool selection and market analysis
PublicationJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...
-
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...
-
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...
-
Zdalne monitorowanie obiektów wyposażonych w instalację KNX
PublicationW artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...
-
Technologie agentowe w elastycznej produkcji.
PublicationNiniejszy artykuł pokazuje możliwości stosowania technologii agentowych w elastycznej produkcji. Na wstępie sformułowano właściwości oprogramowania agentowego wskazując na powiązania dynamicznych metod sztucznej inteligencji z elastycznym wytwarzaniem. Z kolei pokazano przykłady zastosowań systemów rozproszonego rozwiązywania zadań w różnych dziedzinach. Obszerniejszej ocenie poddano przykład praktycznego wdrożenia przemysłowego...
-
The influence of the filler on the magnetic field distribution in ferromagnetic objects.
PublicationDuże obiekty ferromagnetyczne umieszczone w zewnętrznym polu magnetycznym (np. ziemskim polu magnetycznym) ulegają namagnesowaniu. W pewnych przypadkach konieczna jest demagnetyzacja obiektu ferromagnetycznego. Demagnetyzacja polega na umieszczeniu obiektu w wytworzonym w układzie zewnętrznym polu magnetycznym o określonych właściwościach. Jeżeli obiekt ferromagnetyczny posiada duże rozmiary, wówczas jego demagnetyzacja jest problemem...