Filtry
wszystkich: 1586
wybranych: 892
-
Katalog
- Publikacje 892 wyników po odfiltrowaniu
- Osoby 80 wyników po odfiltrowaniu
- Wynalazki 4 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Laboratoria 8 wyników po odfiltrowaniu
- Zespoły Badawcze 8 wyników po odfiltrowaniu
- Aparatura Badawcza 10 wyników po odfiltrowaniu
- Kursy Online 561 wyników po odfiltrowaniu
- Wydarzenia 14 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
- Dane Badawcze 5 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: programowanie dyskretne
-
Nauka w świecie cyfrowym okiem młodego inżyniera - phishing w mediach elektronicznych
PublikacjaPhishing 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
PublikacjaW 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...
-
Toolgraph Design of Optimal and Feasible Control Strategies for Time-Varying Dynamical Systems
PublikacjaArtykuł prezentuje nową metodę projektowania optymalnych i realizowanych strategii sterowania dla wariantnych procesów dynamicznych. Centralnym ośrodkiem i narzędziem tej metody jest struktura grafu przepływowego reprezentująca istotne właściwości autonomicznej dynamiki danego procesu w przestrzeni czasowo-stanowej, składającej się z elementarnych segmentów. Strukturę tę nazywamy grafem narzędziowym przestrzeni czasowo-stanowej....
-
Built-in Test Scheme for detection, classification and evaluation of nonlinearities
PublikacjaW artykule przedstawiono koncepcję testera wbudowanego (BIST) przeznaczonego do detekcji nieliniowości, klasyfikacji rodzaju nieliniowości i oceny zniekształceń nieliniowych sygnału testowanego, bez użycia drogiego systemu automatycznego testowania. Tester bazuje na modulatorze sigma-delta umieszczonym na pakiecie testowanym i sztucznej sieci neuronowej zaimplementowanej w komputerze osobistym. Koncepcję testera zweryfikowano poprzerz...
-
Knowledge Views and their application in systems engineering
PublikacjaWykorzystanie 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ę...
-
A semi-Markov model of fuel combustion process in a Diesel engine
PublikacjaW artykule przedstawiono czterostanowy model procesu spalania w przestrzeniach roboczych (cylindrach) silników o zapłonie samoczynnym w formie procesu semimarkowskiego, dyskretnego w stanach i ciągłego w czasie. Wartościami tego procesu są stany odpowiadające powszechnie akceptowanym rodzajom spalania w tego rodzaju silnikach a mianowicie takie stany procesu jak: spalanie pełne (całkowite i zupełne), spalanie niezupełne, spalanie...
-
Stochastic model of the process of starting combustion engines and practical application of the process
PublikacjaW atrykule zaproponowano model procesu rozruchu silników o zapłonie samoczynnym w formie procesu semimarkowskiego dyskretnego w stanach i ciągłego w czasie. Zaproponowano również koncepcję zastosowania opracowanego modelu do określenia ilości substancji szkodliwych, jakie są emitowane wraz z spalinami do otoczenia podczas rozruchu każdego silnika. W rozważaniach tych przyjęto, że statystyka zmiennej losowej, rozumianej jako masa...
-
Programowalny zlinearyzowany wzmacniacz transkonduktancyjny CMOS
PublikacjaW artykule przedstawiono metodę linearyzacji wzmacniacza transkonduktancyjnego CMOS wykorzystującą sprzężenie w przód. Zaproponowany wzmacniacz składa się ze wzmacniaczy różnicowych MOS oraz rezystora służącego jako odniesienie. W rezultacie otrzymujemy efektywną metodę linearyzacji charakterystyk przejściowych wzmacniacza transkonduktancyjnego. Programowanie wartości transkonduktancji wzmacniacza realizowane jest z zastosowaniem...
-
Analiza wpływu indukcyjności czół uzwojenia jednowarstwowego silnika asynchronicznego klatkowego na jego właściwości dynamiczne
PublikacjaPraca dotyczy zagadnienia obliczania indukcyjności czół uzwojenia stojanów silników asynchronicznych klatkowych małej mocy. Przedstawiono wybrane wyniki analizy uzwojenia na przebiegi prądów stojana, momentu elektromagnetycznego i prędkości kątowej podczas rozruchu bezpośredniego silnika. Do analizy zastosowano metodę symulacyjną, wykorzystującą model obwodowy silnika opracowany w ujęciu energetycznym Lagrange'a. Parametry modelu...
-
Accurate Modeling of a Lossy Ferrite Circular Guide Section Magnetized Through a Rotary Four-Pole Magnetic Field
PublikacjaKorzystając z metody rodzajów sprzężonych opracowano model matematyczny umożliwiający określenie parametrów falowych i rozkładów pola em. fal występujących w ferrytowym falowodzie cylindrycznym magnesowanym czterobiegunowym polem magnetycznym. W oparciu o model określono macierz rozproszenia sekcji falowodu. Opracowane oprogramowanie pozwoliło na zbadanie charakterystyk częstotliwościowych sekcji ferrytowej i wskazanie możliwości...
-
Symulator Sym-PS4 sterownika programowalnego PS4-201-MM1
PublikacjaW 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.
PublikacjaW 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...
-
Model ontologiczny referencyjnego problemu planowania misji inspekcyjnych
PublikacjaRozważ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...
-
Simultaneous Optimization of Unicast and Anycast Flows and Replica Location in Survivable Optical Networks
PublikacjaDotychczasowe 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...
-
Drgania mechaniczne : Rozwiązywanie zagadnień z MATHCAD-em
PublikacjaAutor proponuje jednoczesne poznawanie teorii drgań mechanicznych i wdrażanie jej do analizy własności dynamicznych układów mechanicznych. Stosuje do tego celu wspomaganie komputerowe za pomocą programu MATHCAD. Wyjaśnia naturę zjawiska drgań mechanicznych i jego znaczenie w technice oraz wpływ na środowisko. Prezentuje też wzorcowe programy pomocne przy samodzielnym programowaniu obliczeń. Podaje zasady tworzenia modeli dyskretnych...
-
Mechatronic system for automatic inspection of circular saw teeth
PublikacjaArtykuł 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
PublikacjaArtykuł 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
PublikacjaWe 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...
-
Human and organizational factors in risk analysis and safety management of azardous
PublikacjaArtykuł porusza aktualne kwestie dyskutowane podczas warsztatów na temat czynników ludzkich i organizacyjnych w analizie ryzyka i zarządzaniu bezpieczeństwem instalacji przemysłowych wysokiego ryzyka. Zauważa się rosnącą świadomość, że eksploatacja złożonego systemu wyposażonego w środki bezpieczeństwa oraz redundancyjne układy zabezpieczeń i sterowania, zawierające jednostki programowalne, może spowodować większe uzależnienie...
-
Cyfrowy akcelerator wybranych modułów standardu kompresji wideo H.264
PublikacjaW artykule przedstawiono konfigurowalny cyfrowy akcelerator estymacji ruchu przeznaczony dla enkodera wideo standardu H.264. Akcelerator został zaimplementowany w technologii FPGA oraz w układzie ASIC w technologii UMC 90 nm. Obie implementacje zostały zweryfikowane, a szczegółowe wyniki pomiarów akceleratora ASIC zostały porównane z innymi dostępnymi w literaturze propozycjami. System został zoptymalizowany do współpracy z oprogramowaniem...
-
Control systems with programmable controllers - teaching aspects.
PublikacjaSterowniki programowalne są obecnie podstawowymi urządzeniami wykorzystywanymi w systemach sterowania i dlatego od absolwentów uczelni technicznych, a szczególnie absolwentów wydziałów elektrycznych, oczekuje się posiadania przynajmniej podstawowej wiedzy o sterownikach programowalnych i ich zastosowaniach. W pracy przedstawiono wybrane aspekty wprowadzenia do dydaktyki przedmiotu ''Systemy sterowania ze sterownikami programowalnymi''...
-
Praktyczne efekty analizy konstrukcji żelbetowych i sprężonych z uwzględnieniem zarysowania betonu
PublikacjaW artykule zawarto wybrane przykłady problemów strukturalnych związanych z modelowaniem zarysowania betonu zbrojonego. Zaprezentowano przykłady i studia przypadku. Model zarysowanego betonu pozwala przewidzieć naprężenia charakterystyczne w zbrojeniu i betonie. Pozwala również ocenić wielkość zarysowania oraz wpływ na redystrybucję sił wewnętrznych w zarysowanej konstrukcji. Taki rodzaj analizy jest dostępny w wysokiej jakości...
-
Realizacja elementów składowych łącza radiowego z użyciem urządzeń USRP dla potrzeb szybkiej transmisji danych do zastosowań specjalnych
PublikacjaW 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...
-
Modelowanie magnetycznego pola rozproszonego z wykorzystaniem MES
PublikacjaW 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ć,...
-
Celowe zanieczyszczanie pilotów w łączu w górę w interfejsie 5G NR
PublikacjaReferat poświęcono zagadnieniu zakłócania sygnałów pilotowych w interfejsie radiowym 5G NR. Przedstawiono charakterystykę sygnału referencyjnego DMRS oraz uwarunkowania możliwości jego selektywnego zakłócenia. Opisano schemat transmisji w kanale fizycznym PUSCH, zaimplementowany w oprogramowaniu Sionna. Zaprezen-towano model symulacyjny oraz założenia badań wpływu zanieczyszczenia pilotów na jakość transmisji. Przedsta-wiono wyniki...
-
Zastosowanie koncepcji SDN w warstwie transportowej sieci IMS/NGN
PublikacjaKoncepcja 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...
-
TreeCmp: Comparison of Trees in Polynomial Time
PublikacjaMetryki 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...
-
Vibration surveillance in the hybrid system on example of milling flexible details and considering assurance of modal subsystem.
PublikacjaPraca dotyczy nadzorowania drgań dużych mechanicznych układów niestacjonarnych modelowanych dyskretnie, za pomocą sterowania optymalnego przy energetycznym wskaźniku jakości. W układzie drgającym wyodrębniono podukład modalny, podukład strukturalny oraz podukład łączący. Dynamikę układu sterowanego opisano we współrzędnych hybrydowych, przez co uzyskano znacznie mniejszy rząd niż w przypadku modelu strukturalnego. Zdefiniowano...
-
Detekcja i lokalizacja przecieków w rurociągach przemysłowych.
PublikacjaZadanie monitorowania przepływu mediów ciekłych lub gazowych przez rurociągi przemysłowe realizuje się za pomocą algorytmów obserwacji, skonstruowanych odpowiednio do nieliniowego modelu procesu transportowego, z zastosowaniem pomiarów ciśnienia i natężenia przepływu medium na krańcach nadzorowanego odcinka rurociągu. Uwagę skupiono na dwu metodach analitycznej redundancji i filtracyjnej generacji sygnału resztowego, będącego...
-
Detection and localization of leaks in transmission pipelines
PublikacjaZadanie monitorowania przepływu mediów ciekłych lub gazowych przez rurociągiprzemysłowe realizuje się za pomocą algorytmów obserwacji, skonstruowanychodpowiednio do nieliniowego modelu procesu transportowego, z zastosowaniempomiarów ciśnienia i natężenia przepływu medium na krańcach nadzorowanegoodcinka rurociągu. Uwagę skupiono na dwu metodach analtycznej redundancji ifiltracyjnej generacji sygnału resztowego, będącego...
-
Modelling and simulation of vibration surveillance during ball end milling of flexible details
PublikacjaPraca dotyczy nadzorowania drgań w procesie frezowania szybkościowego przedmiotów podatnych za pomocą doboru optymalnej prędkości obrotowej wrzeciona. W niestacjonarnym układzie drgającym modelowanym dyskretnie wyodrębniono podukład modalny, podukład strukturalny oraz podukład łączący. Dynamikę procesu skrawania opisano we współrzędnych hybrydowych, przez co uzyskano znacznie mniejszy rząd niż w przypadku modelu strukturalnego....
-
A novel DEM-based pore-scale thermal-hydro-mechanical model for fractured non-saturated porous materials
PublikacjaDo propagacji pęknięć wykorzystano nowy oparty na DEM, termiczno-hydromechaniczny model dwufazowego przepływu płynu w skali porów rozszerzony o wymianę ciepła w nienasyconych materiałach porowatych o małej porowatości. Wykonano obliczenia numeryczne dla kohezyjnych próbek ziarnistych przy użyciu DEM w pełni sprzężonego z CFD (opartego na sieci przepływu płynu) i wymianą ciepła, który zintegrował mechanikę dyskretną z mechaniką...
-
WOPT-uniwersalny system do analizy i symulacji widm optycznych cienkich struktur dielektrycznych
PublikacjaPrzedstawiono system WOPT umożliwiający symulację złożonych, dielektrycznych powłok cienkowarstwowych. Oprogramowanie służy zarówno do projektowania specjalistycznych wielowarstwowych powłok optycznych jak i do kontroli parametrów gotowych produktów cienkowarstwowych. Za pomocą programu można wykonać analizę grubości oraz optycznych parametrów materiałowych powłok dielektrycznych na postawie wykonanych pomiarów spektralnych. Wykonano...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublikacjaArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Projektowanie oraz implementacja cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowego
PublikacjaW artykule został przedstawiony proces projektowania i realizacji cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowegoTMS320C5535 firmy Texas Instruments, dla którego oprogramowanie napisano w języku C. Omówiono zasady działania oraz algorytmy wybranych efektów dźwiękowych, które zostały zaimplementowane w procesorze sygnałowym. Zaprojektowano również uniwersalny moduł wejściowy zawierający wzmacniacz z regulowanym...
-
Lokalizacja i rozpoznawanie tablic rejestracyjnych na zdjęciach z fotoradarów
PublikacjaArtykuł opisuje stworzoną na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej aplikację do lokalizacji i rozpoznawania numerów rejestracyjnych pojazdów samochodowych na potrzeby realizowanego na tym wydziale Radiowego systemu monitorowania i akwizycji danych z urządzeń radarowych RSMAD. Na tle dzisiaj funkcjonujących w kraju rozwiązań system RSMAD wyróżnia się automatyzacją procesu przekazywania danych...
-
Reguły efektywnego projektowania semantycznych usług WWW
PublikacjaW pracy omówiono kluczowe zasady projektowania usług semantycznych w Internecie. Nawiązano do reguł formalizacji wiedzy za pomocą systemów ontologicznych, dla których implementacji opracowano języki programowania OWL i KIF. Odniesiono się także do sieci semantycznych jako metody sztucznej inteligencji w kontekście założeń projektu Web 3.0. Omówiono zasady stosowania języków XML, XML Schema, RDF, RDF Schema, OWL, SPARQL, a także...
-
HARDWARE AND SOFTWARE OF DIAGNOSTIC SYSTEM OF WHEELED TRACTORS = Hardwer i softwer systemu diagnostycznego ciągników kołowych
PublikacjaPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTURO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmujesystem operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
Układ informatyczny systemu diagnostycznego ciągników kołowych
PublikacjaPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTRO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmuje system operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
Nowe metody diagnostyki technicznej taboru kolejowego
PublikacjaSystemy sterowania pojazdów trakcyjnych można podzielić na następujące dwie główne generacje:- systemy stykowo-przekaźnikowe, w których realizacja programu sterowania wynika z uzależnień elektromechanicznych i sposobu połączenia elementów między sobą,- systemy mikrokomputerowe, w których wzajemne uzależnienia urządzeń wykonawczych i realizacja funkcji sterujących są przejmowane przez program mikrokomputera.Pojazdy obu generacji...
-
A probabilistic concept of assessment of amount of noxious substances contained in exhaust gas emitted from self-ignition engines
PublikacjaPrzedstawiono probabilistyczną koncepcję oceny toksyczności spalin silników o zapłonie samoczynnym. Ocena taka jest istotna, ponieważ bez niej nie jest możliwe określenie walorów proekologicznych różnych środków transportowych z napędem spalinowym, w tym śródlądowych statków pasażerskich. W koncepcji tej uwzględniony został model procesu rozruchu silników o zapłonie samoczynnym. Model ten przedstawiono w formie procesu semimarkowskiego,...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje 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
PublikacjaAutomatyczne 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
PublikacjaKsiąż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...
-
Monitoring objects over networks
PublikacjaW pracy rozważa się uniwersalny pomysł na monitorowanie obiektów przemysłowych, firmowych i prywatnych, z inteligentnymi budynkami włšcznie. Rozmaite zadania diagnostyczne, sterownicze i zarzšdcze łatwo mogš być zintegrowane w taki projekt. Współczesne narzędzia technologii informacyjnych (IT) mogš być spożytkowane w celu stworzenia kompletnych i efektywnych systemów realizujšcych takie zadania. Oparłszy się na wysokich technologiach...
-
Quality model for UML tools in application to UML tool selection and market analysis
PublikacjaJę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...
-
System sterowania sesją RTP
PublikacjaW 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...
-
Transmisja danych pomiarowych przez sieć Internet z wykorzystaniem środowiska LabVIEW
PublikacjaPrzedstawiono sposób transmisji danych pomiarowych za pomocą sieci Internet, przy wykorzystaniu oprogramowania LabView firmy National Instruments. Biblioteki do programu LabView stanowiły podstawę przygotowania przyrządów wirtualnych realizujących transmisję danych przez Internet. Transmisja dotyczy przesyłania danych między przygotowanym systemem kontrolno-pomiarowym na bazie mikrokontrolera dołączonego do komputera IBM PC za...
-
Verification of the fit to user profiles for UML tools
PublikacjaDopasowanie 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...
-
A field programmable analog array for CMOS continuous-time OTA-C filter applications
PublikacjaW artykule opisano programowalny wzmacniacz transkonduktancyjny oraz konfigurowalny blok analogowy CAB składający się ze wzmacniacza transkonduktancyjnego, kluczy oraz programowalnego kondensatora. Z bloków CAB można zbudować uniwersalne, programowalne filtry. Wzmacniacz transkondukancyjny został przesymulowany oraz wykonany w technologii CMOS. Wyniki pomiarów pokazują, że transkonduktancja wzmacniacza może być przestrajana ponad...