Search
Filters
total: 725
-
Catalog
Search results for: SZACOWANIE ZŁOŻONOŚCI OPROGRAMOWANIA
-
Wykorzystanie metody elementów skończonych do symulacji czujników elektrochemicznych na bazie elektrolitów stałych
PublicationW pracy przedstawiono budowę i działanie oprogramowania wykorzystu-jącego metodę elementów skończonych przeznaczonego do symulacji czujników elektrochemicznych na bazie elektrolitów stałych. Program pozwala na graficzne konstruowanie siatki, określanie warunków brzego-wych oraz analizę uzyskiwanych wyników symulacji. Program został wykorzystany do określenia rozkładu potencjału zespolonego w spolary-zowanej strukturze czujnika...
-
Kompetencje analityka biznesowego
PublicationPublikacja zawiera slajdy do prezentacji stanu wiedzy dotyczącej kompetencji analityków biznesowych dla menedżerów oraz analityków z przemysłu. Prezentacja porusza następujące tematy: rodzaje kompetencji analityka i rola kompetencji behawioralnych; przegląd kompetencji analityków według IBM RUP, IIBA BABOK oraz badań ankietowych polskich analityków; wybrane wyniki z zakresu psychologii w inżynierii oprogramowania oraz wynikające...
-
On Explaining Intuitiveness of Software Engineering Techniques with User eXperience Concepts
PublicationW referacie zawarto próbę wyjaśnienia intuicyjności technik inżynierii oprogramowania za pomocą pojęć zaczerpniętych z obszaru doświadczenia użytkownika. Analizy dotyczą zarówno intuicyjności przy pierwszym zetknięciu się użytkownika z daną techniką, jak i dynamiki transformacji epizodycznych doświadczeń na doświadczenie skumulowane i powiązane z nim postrzeganie intuicyjności. Przedyskutowano potencjalne zastosowania modelu i...
-
TECHNOLOGIA RADIA PROGRAMOWALNEGO – SPRZĘT I OPROGRAMOWANIE
PublicationTechnologia radia programowalnego (ang. Software Defined Radio) jest nowoczesnym rozwiązaniem umożliwiającym realizację urządzeń pracujących w różnego rodzaju systemach łączności radiowej. W pracy zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Zaprezentowano budowę dwóch przykładowych platform sprzętowych do realizacji radia programowalnego. Przedstawiono również architekturę oprogramowania stosowaną...
-
Zapożyczenie z badań marketingowych do badania rzeczywistości projektowej
PublicationBadanie rzeczywistości projektowej jest istotne zarówno z punktu widzenia dydaktyki, jak i prowadzenia badań w inżynierii oprogramowania. Podczas opracowywania efektywnej metody badania rzeczywistości projektowej można wykorzystać wiedzę z innych dyscyplin. W referacie zaprezentowano zapożyczenie metody projektowania badania z dziedziny badań marketingowych. Kolejne rozdziały zawierają: opis zapożyczenia, zarys metody podlegającej...
-
Usability in Poland
PublicationRozdział prezentuje przegląd aktualnej aktywności badawczej, dydaktycznej i praktycznej dotyczącej jakości użytkowej (ang. usability) systemów informatycznych. Przegląd dotyczy polskich instytucji akademickich oraz polskiej branży IT według stanu na rok 2009. Zostały kolejno omówione rys historyczny, stan aktualny oraz perspektywy na przyszłość, jak i wiodące polskie instytucje badawcze prowadzące projekty dotyczące jakości użytkowej...
-
Testowanie układów cyfrowych z wykorzystaniem magistrali IEEE 1149.7
PublicationPrzedstawiono opracowaną w grudniu 2009 r. cyfrową magistralę testującą IEEE 1149.7 przeznaczoną do testowania i debuggingu wielordzeniowych układów wbudowanych. W stosunku do magistrali IEEE1149.1, której jest rozszerzeniem, magistrala IEEE1149.7 zapewnia zredukowaną do dwóch liczbę wyprowadzeń, możliwość pracy w konfiguracji gwiazdowej, indywidualne adresowanie urządzeń, eliminację ze ścieżki brzegowej nieaktywnych układów, zarządzanie...
-
Aplikacje informatyczne dla fotogrametrii i teledetekcji
PublicationMonografia 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...
-
STEROWNIK MIKROSIECI ELEKTROENERGETYCZNEJ
PublicationW artykule rozpatruje się konstrukcję sterownika mikrosieci elektroenergetycznej. Sterownik zarządza zasobamienergii elektrycznej w celu pokrycia zapotrzebowania lokalnych gospodarstw domowych z uwzględnieniem kwestii ekonomicznych. Przedstawiono strukturę sterowania, zdefiniowano zadanie optymalizacji, dokonano badań symulacyjnych dla przykładowej mikrosieci o zróżnicowanych sposobach generowania i magazynowania. Zaproponowano...
-
Przegląd interdyscyplinarnych zapożyczęń do modelowania systemów w podręcznikach do analizy i projektowania obiektowego
PublicationPrzegląd interdyscyplinarnych zapożyczeń do modelowania systemów wpisuje się w nurt katalogowania i oceny istniejących zapożyczeń interdyscyplinarnych w inżynierii oprogramowania. W referacie poddano ocenie zapożyczenia opisane w czterech najbardziej popularnych i wpływowych podręcznikach do analizy i projektowania obiektowego. Wykorzystano następujące kryteria oceny: systematyczność badań, jawność opisów oraz możliwość wykorzystania...
-
Algorithms for query processing in a distributed knowledge integration system
PublicationGłównym celem artykułu jest wprowadzenie modelu systemu integracji wiedzy. Przedstawiony model jest oparty na modelu Calvanese i rozszerza go o wielowarstwowy model integracji. W artykule pokazano również użycie Kartograficznej Reprezentacji Wiedzy do przechowywania i przetwarzania ontologii w źródłach wiedzy oraz do budowania odwzorowań pomiędzy ontologiami. Odwzorowania pomiędzy ontologiami budowane w oparciu o odwzorowywanie...
-
Wielozadaniowe portalowe centra obróbkowe CNC produkowane przez firmę AXYZ International Kanada. Opinia dotycząca oceny innowacyjności maszyn i ich zastosowań
PublicationAnalizowano możliwości realizacji zróżnicowanych zadań technologicznych z zastosowaniem typoszeregu wielofunkcyjnych centrów obróbkowych firmy AXYZ International, uwzględniając cechy konstrukcji tej grupy maszyn, ich struktury kinematyczne oraz stosowane układy CNC dla sterowania ich pracą. Oceniono uwarunkowania dla realizacji procesów elastycznie zautomatyzowanej produkcji z użyciem technik cięcia różnych materiałów oraz ich...
-
COMPREHENSIVE MODELLING OF THE COST EFFECTIVNESS OF RAILWAY LINE ELECTRIFICATION
PublicationSubject of this paper is the mathematical model estimating the Economical threshold between usage of combustion engine traction and electrical traction for new and modernized railway passenger communication lines. Currently available models do not coincide with the whole complexity of the problem. The proposed model was implemented into Matlab and then validated on “Pomorska Kolej Metropolitalna” investment time-frame and its cost...
-
Wprowadzenie do wytwarzania i testowania zaawansowanych systemów informatycznych na przykładzie technologii IPSec
PublicationW pracy przedstawiono model wytwarzania i testowania systemów informatycznych, przydatny zwłaszcza w tworzeniu zaawansowanego oprogramowania, sprzętu i dokumentacji. Zaproponowano połączenie kaskadowego modelu wytwarzania z prototypowaniem. Wybór właściwej ścieżki postępowania uwarunkowano ważnością wymagania, którego dotyczy wytwarzanie i testowanie. Zaletami przedstawionego rozwiązania są pogłębienie etapu analizy wymagań oraz...
-
Przetwarzanie zespołowe: przykłady, algorytmy i systemy
PublicationScharakteryzowano pracę zespołową i dokonano klasyfkacji zespołów w zależności od osiąganych przez te zespoły wyników. Przedstawiono zasady przetwarzania zespołowego oraz zilustrowano je reprezentatywnymi przykładami. Podano w jaki sposób można wspomagać komputerowo funkcje kooperacji, koordynacji i komunikacji oraz nawiązano do kooperacyjno-iteracyjnej metody wytwarzania oprogramowania. Sformułowano trzy podstawowe algorytmy przetwarzania...
-
Experimental study and numerical simulation of low calorific fuel combustion at different oxygen content in the oxydizer
PublicationW pracy przedstawiono wyniki badań eksperymentalnych oraz obliczeń numerycznych procesu spalania paliwa gazowego niskokalorycznego w utleniaczu o podwyższonej temperaturze i zmiennej zawartości tlenu. Badanym paliwem był gaz o składzie zbliżonym do paliwa pochodzącego z gazyfikacji biomasy. Spalanie przeprowadzano dla zmiennej wartości temperatury utleniacza oraz zawartości tlenu. Obliczenia numeryczne wykonano z wykorzystaniem...
-
System numerycznej prognozy pogody oparty na pakiecie WRF EMS
PublicationW artykule przedstawiono zagadnienia dotyczące wykorzystania systemów numerycznego prognozowania pogody przy pomocy oprogramowania wchodzącego w skład pakietu WRF EMS (ang. Weather Research and Forecast Environmental Modeling System). Artykuł opisuje podstawowe równania modelujące procesy w atmosferze oraz architekturę systemu numerycznego prognozowania pogody WRF EMS. Przedstawiono także architekturę prototypu systemu informacji...
-
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...
-
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...
-
Koncepcja stacji monitorującej aktywne sieci geodezyjne na potrzeby nawigacji i monitorowania ruchu obiektów
PublicationW artykule przedstawiono koncepcję stacji monitorującej serwisy czasu rzeczywistego aktywnych sieci geodezyjnych na potrzeby aplikacji nawigacyjnych i monitorowania ruchu obiektów w transporcie szynowym i drogowym. Dokonano analizy problemu w kontekście aktualnych potrzeb związanych z wyznaczaniem współrzędnych pozycji i nawigacją, co stanowi genezę podjętych prac. Zaprezentowano ogólną koncepcję stacji monitorującej, wstępną wersję...
-
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...
-
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...
-
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...
-
Komputerowe wspomaganie projektowania (ZI, niestacjonarne 2021/2022)
e-Learning CoursesLaboratorium (dla kierunku Zarządzanie inżynierskie 2 semestr) ma na celu naukę projektowania z wykorzystaniem specjalistycznego oprogramowania klasy CAD.
-
Komputerowe wspomaganie projektowania (ZI, niestacjonarne - online - 2022/2023)
e-Learning CoursesLaboratorium (dla kierunku Zarządzanie inżynierskie 2 semestr) ma na celu naukę projektowania z wykorzystaniem specjalistycznego oprogramowania klasy CAD.
-
Komputerowe wspomaganie projektowania (ZI, niestacjonarne 2022/2023)
e-Learning CoursesLaboratorium (dla kierunku Zarządzanie inżynierskie 2 semestr) ma na celu naukę projektowania z wykorzystaniem specjalistycznego oprogramowania klasy CAD.
-
Janusz Czaja mgr inż.
People -
Dariusz Kobiela mgr inż.
People -
Marcin Kwiatkowski mgr inż.
People -
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ę...
-
Rola firm rodzinnych w kształtowaniu postaw preprzedsiębiorczych.
PublicationNiniejsze opracowanie jest poświęcone problematyce rozwoju postaw preprzedsiębiorczych w kontekście funkcjonowania firm rodzinnych. Domena biznesu rodzinnego jest obszarem mało zbadanym w odniesieniu do polskich realiów. W przypadku Polski, jak i innych krajów, które przeszły proces transformacji z gospodarki centralnie planowanej do gospodarki rynkowej, uwarunkowania dotyczące przedsiębiorczości rodzinnej mają specyficzny charakter....
-
Evolution of models for sorption of PAHs and PCBs on geosorbents.
PublicationWiedza o tym gdzie są zlokalizowane zanieczyszczenia obecne w osadzie oraz z jaką siłą związane są one z osadem jest niezbędna do oszacowania stopnia i skuteczności procesów remediacjyjnych oraz określenia dostępności, mobilności i toksyczności osadów. Dlatego, aby zrozumieć i poznać procesy zachodzące w tak skomplikowanej matrycy, jaką stanowią osady denne/gleby konstruowane są teoretyczne modele matematyczne opisujące prawdopodobny...
-
Zarządzanie marką w dobie nadpodaży
PublicationArtykuł poświęcony jest wskazaniu wyzwań stojących przed menedżerami marki wobec nadpodaży marek, produktów i informacji, będącymi pośrednią przyczyną marginalizacji marketingu jako funkcji wielu przedsiębiorstwach o organizacji „silosowej”, gdzie marketing często ograniczany jest do funkcji promocji. Wspomniane okoliczności, zdaniem autorki, mogą prowadzić zarówno do dalszej marginalizacji marketingu w wyniku spadku znaczenia...
-
Methodological aspects of functional safety assessment
PublicationW artykule przedstawiono aktualne problemy analizy ryzyka i modelowania probabilistycznego w zarządzaniu bezpieczeństwem funkcjonalnym w cyklu życia systemów związanych z bezpieczeństwem. Zostały wyróżnione dwa podstawowe etapy w cyklu życia tych systemów, a mianowicie etap projektowania i etap eksploatacji. Z powodu złożoności i niepewności może być użyteczna w analizie ryzyka i modelowaniu probabilistycznym informacja zarówno...
-
Projektowanie systemów informatycznych z wykorzystaniem języka korzyści
PublicationCelem rozdziału jest prezentacja możliwości zastosowania języka korzyści zamiast języka wymagań w projektowaniu systemów informatycznych. W części pierwszej został przedstawiony problem złożoności wymagań pozyskiwanych od klienta. Scharakteryzowano podstawowe pojęcia: inżynierii wymagań i języka wymagań oraz wskazano na ich znaczenie. W części drugiej przedstawiono koncepcję języka korzyści. Omówiono język korzyści z punktu widzenia...
-
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,...
-
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...
-
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...
-
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...
-
CENTRUM w systemie STRADAR – funkcje, architektura i realizacja
PublicationSystem STRADAR jest rozwiązaniem umożliwiającym utworzenie infrastruktury komunikacyjno-teleinformatycznej przeznaczonej dla Morskiego Oddziału Straży Granicznej. Artykuł ten jest kolejną z cyklu publikacji opisujących architekturę i rozwiązanie systemu i dotyczy jego centralnego elementu, jakim jest CENTRUM. Przedstawiono i opisano funkcje, architekturę i realizację oprogramowania CENTRUM, które może być zainstalowane na dowolnym...
-
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...
-
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...
-
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...
-
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...
-
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...