Filtry
wszystkich: 1366
wybranych: 747
-
Katalog
- Publikacje 747 wyników po odfiltrowaniu
- Osoby 72 wyników po odfiltrowaniu
- Wynalazki 6 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Laboratoria 7 wyników po odfiltrowaniu
- Zespoły Badawcze 7 wyników po odfiltrowaniu
- Aparatura Badawcza 10 wyników po odfiltrowaniu
- Kursy Online 487 wyników po odfiltrowaniu
- Wydarzenia 11 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
- Dane Badawcze 17 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: INSPEKCJE OPROGRAMOWANIA
-
Algorytm i program sterowania układem samoczynnego załączania rezerwy zasilania z funkcją odciążania
PublikacjaW artykule omówiono układ samoczynnego załączania rezerwy (SZR) zasilania z jednym transformatorem i jednym generatorem przy rezerwie jawnej, z ośmioma grupami odbiorów i funkcją odciążania. W systemie sterowania tego układu SZR założono wykorzystanie sterownika programowalnego, graficznego dotykowego panelu operatorskiego i analizatorów parametrów sieci. Funkcja odciążania służy do realizacji przełączania wyłączników grup odbiorów...
-
Integracyjna metoda konstrukcji aplikacji obiektowych w środowisku graficznym z uwzględnieniem wymagań jakościowych
PublikacjaIntegracyjna metoda wytwarzania aplikacji IMAC łączy obiektowe metody analizy i projektowania oprogramowania oparte o UML i RUP z implementacją w wybranym języku programowania obiektowego. Dla opisu projektu informatycznego we wszystkich fazach jego powstawania zaproponowano język modelowania i implementacji IML łączący w spójny sposób zmodyfikowane diagramy UML z elastyczną składnią tekstową opartą o popularne języki obiektowe....
-
Application of Knowledge Views = Zastosowanie widoków na bazę wiedzy
PublikacjaW artykule przedstawiono koncepcję widoków na bazę wiedzy i jej zastosowanie w inżynierii systemów. Praca ma na celu przybliżenie inżynierii wiedzy i technologii Semantic Web inżynierowi oprogramowania oraz programiście. Cel ten osiągany jest poprzez upodobnienie baz wiedzy do relacyjnych lub obiektowych baz danych oraz poprzez stosowanie wzorców znanych w inżynierii oprogramowania.
-
Conformance testing of parallel languages
PublikacjaPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Ewolucja koncepcji projakościowych
PublikacjaNiniejszym rodziale przedstawiono podstawowe aspekty związane z pojmowaniem jakości w rozwoju historycznym. Ukazano działania projakosciowe w ujęciu chronologicznym od poczatku istnienia ludzkosci po przez kolebki cywilizacji starozytnych, okresy historyczne dziejów preindutrialnych, rewolucję przemysłową, aż po czasy dzisiejsze. Zwrócono szczegulna uwagę na tworzenie i rozwój zarządzania jakością od inspekcji jakosci po przez...
-
Knowledge management embedded in software engineering processes
PublikacjaW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.
-
Podstawy projektowania interfejsów użytkownika
PublikacjaDobry interfejs użytkownika to podstawa sukcesu każdej aplikacji! Poznaj różne sposoby komunikowania się użytkownika z komputerem. Dowiedz się, co w kwestii interfejsu użytkownika oferują współczesne urządzenia i programy Naucz się projektować efektowne i proste w obsłudze interfejsy użytkownika. Interfejs użytkownika to wizytówka każdej aplikacji komputerowej i strony WWW, a także brama zapewniająca dostęp do ich funkcji. Nawet...
-
Katedra Technologii Zabezpieczeń Przeciwkorozyjnych, działalność technologiczna
PublikacjaW Katedrze Technologii Zabezpieczeń Przeciwkorozyjnych realizowane są różnorodne prace badawcze i projektowe związane z rozwiązywaniem konkretnych praktycznych problemów korozyjnych. Prace te można podzielić na szereg grup. W katedrze projektuje się i monitoruje instalacje ochrony katodowej. Wykonuje się diagnostykę stanu wykładzin i powłok antykorozyjnych, w szczególności powłok i wykładzin stosowanych do ochrony przed korozją...
-
Pączkowanie - metoda rozwoju interoperacyjnych komponentów dla systemów rozproszonych = Budding – the software development method of interoperable components for distributed systems
PublikacjaPrzedstawiono 2 współczesne metody wytwarzania oprogramowania: iteracyjno-przyrostową oraz techniki zwinne, ich zalety i wady w kontekście budowy interoperacyjnych platform i środowisk rozproszonych. Zaprezentowano metodę rozwoju oprogramowania przez pączkowanie, jej założenia, zalety i wady. Przedstawiono technologie, na bazie których działa metodologia wytwarzania oprogramowania przez pączkowanie: Software Product Line, Enterprise...
-
Project Management in Enterprises: IT Implementation Based on Fuzzy Models
PublikacjaW pracy analizuje się problem zastosowania metod zarządzania wiedzą oraz metod sztucznej inteligencji w zarządzaniu budżetem i planem realizacji projektów informatycznych. W pierwszej części wskazuje się na problemy związane z zarządzaniem projektami wytwarzania oprogramowania w zakresie planowania i bieżącego sterowania zarówno procesem wytwórczym, jak i zespołem programistów. Po omówieniu pożądanych zmian w metodologii zarządzania,...
-
REALIZACJA NADAJNIKA I ODBIORNIKA OFDM W TECHNOLOGII RADIA PROGRAMOWALNEGO
PublikacjaMetoda wielodostępu OFDM, jest stosowana obecnie w wielu nowoczesnych cywilnych i wojskowych standardach łączności radiowej. Technologia radia programowalnego (ang. Software Defined Radio) umożliwia realizacje urządzeń pracujących z tą metodą wielodostępu. W referacie zaprezentowano przykłady dwóch środowisk oprogramowania służących do realizacji oprogramowania w technologii SDR. Przedstawiono również przykłady platform sprzętowych...
-
Stanowisko badawcze do automatycznej analizy jakości transmisji koncentratora KODEŚ z interfejsami LTE, NB-IoT oraz ISM
PublikacjaZaprezentowano podstawowe właściwości projektowanego koncentratora danych elektroenergetycznych KODEŚ oraz stanowisko badawcze do automatycznych pomiarów jakości transmisji w sieci LTE (Long Term Evolution), opracowane na potrzeby projektu badawczego. Głównym elementem stanowiska jest autorskie oprogramowanie, które umożliwia konfigurowanie urządzeń pomiarowych oraz definiowanie scenariuszy pomiarowych. Dopełnieniem tego jest dodatkowe...
-
Metodyka i efekty zastosowania SPC do monitorowania i sterowania procesami produkcyjnymi
PublikacjaW odróżnieniu od tradycyjnej metody zapewnienia jakości polegającej na inspekcji wyrobów gotowych, Statystyczne Sterowanie Procesami (SPC - Statistical Process Control) polega na monitorowaniu poszczególnych parametrów procesu lub wyrobu jeszcze w trakcie jego produkcji. Dzięki takiej obserwacji możliwe jest podejmowanie odpowiednich działań korekcyjnych, zanim potencjalna anomalia w procesie produkcyjnym spowoduje powstanie wyrobu...
-
Ocena narzędzi wspomagających zarządzanie przedsięwzięciami informatycznymi na przykładzie IBM Rational Method Composer
PublikacjaRozdział przedstawia zalety i wady oprogramowania wspomagającego zarządzanie przedsięwzięciami informatycznymi. Skupia się na ocenie technologii informatycznej spopularyzowanej na rynku przez firmę IBM jako Rational Method Composer. W rozdziale zostały zaproponowane kryteria oceny z punktu widzenia menedżera zarządzającego przedsięwzięciem oraz oceny w zależności od stopnia spełnienia tego kryterium. Ponadto przeprowadzona została...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublikacjaArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...
-
Analysis of the impact of aspect-oriented programming on source code quality
PublikacjaCelem rozprawy jest ocena wpływu paradygmatu aspektowego na: modularność, możliwość dalszego rozwoju oraz ponowne użycie oprogramowania. Jako punkt odniesienia do oceny paradygmatu aspektowego wybrano paradygmat obiektowy. W ramach pracy przeprowadzono studium przypadków, w którym zbadano implementacje obiektowe oraz aspektowe 11 rzeczywistych systemów i 23 wzorców projektowych. Ponadto zrealizowano kontrolowany eksperyment, w...
-
Institutionalization of knowledge sharing in a software development organization
PublikacjaZaproponowano podejście modelowe do problemu wymiany wiedzy. Omówiono implementację modelu na przykładzie instytucji zajmującej się produkcja oprogramowania komputerowego.
-
Knowledge management embedded in software engineering processes
PublikacjaW pracy omówiono systemy i narzędzia wspomagające wykrywanie wiedzy ukrytej w procesach związanych z wytwarzaniem skomplikowanych systemów oprogramowania
-
Where science meets business...
PublikacjaArtykuł opisujący integrację środowisk naukowo-biznesowych za pośrednictwem Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania na Wydziale Zarządzania i Ekonomii.
-
Wpływ konstrukcji przestrzeni międzyklockowej na charakterystyki wzdłużnego łożyska ślizgowego
PublikacjaSmarowanie zanurzeniowe jest tradycyjnym sposobem smarowania dużych wzdłużnych łożysk ślizgowych. W chwili obecnej wymagania stawiane nowym konstrukcjom łożysk ślizgowych to zwiększanie nośności łożyska, które następuje m. in. po obniżeniu temperatury maksymalnej w filmie smarowym, co można uzyskać poprzez skuteczne dostarczanie zimnego oleju zasilającego wprost do strefy wlotowej filmu olejowego. Jednym z takich rozwiązań konstrukcyjnych,...
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublikacjaRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Evaluation and characterisation of the condition of individual components of cathodic protection systems.
PublikacjaPrzedstawiono wyniki badań wykonanych na pracującej instalacji ochrony katodowej dwóch podziemnych zbiorników LPG. Sprawność anod i zakopanych elektrod odniesienia oceniono wykorzystując technikę elektrochemicznych pomiarów impedancyjnych. Na podstawie uzyskanych widm impedancyjnych stwierdzono niesprawność jednej z anod przyłączonych do długiej linii anodowej. Przedstawiono także mapę rozkładu potencjału chronionych zbiorników....
-
Techniki obsługi wyjątków w systemach informatycznych.
PublikacjaW pracy przedstawiono podstawowe techniki obsługi wyjątków oraz mechanizmy wspierające taką obsługę występujące w różnych platformach oprogramowania sekwencyjnego i rozproszonego.
-
Elektroenergetyka w Polsce. Ewolucja polskiego systemu wsparcia. - [Rynek i regulacje]
PublikacjaPrzedstawiono determinanty rozwoju elektroenergetyki. Określono kierunki programowania rozwoju elektroenergetyki.
-
mikrokontrolery stm8s - pierwsze kroki (2)
PublikacjaArtykuł zawiera drugą część krótkiego kursu programowania mikrokontrolerów STM8S
-
Mikrokontrolery STM8S - pierwsze kroki (1)
PublikacjaArtykuł zawiera pierwszą część krótkiego kursu programowania mikrokontrolerów STM8S
-
Metoda BP jako próba sformalizowania informatycznego projektu badawczego.
PublikacjaArtykuł prezentuje nowe iteracyjne podejście organizacji procesu do wytwarzania oprogramowania. Przedyskutowana metoda kładzie największy nacisk na zarządzanie innowacjami w projekcie informatycznym.
-
O mżliwościach analizy mostów stalowych
PublikacjaPrzedstawiono współczesne praktyczne możliwości analizy mostów stalowych z wykorzystaniem oprogramowania komputerowego> Podano przykłady analiz wykonanych na potrzeby prac badawczych, ekspertyz i projektów
-
Innowacyjność rozwiązań technologicznych w planowanym do wdrożenia zrobotyzowanym procesie spawania
PublikacjaW opinii przedstawiono ocenę innowacyjności zrobotyzowanego spawania na stanowisku wyposażonym w antropomorficzny robot typu FANUC model ArcMate 100iB o 6+3 osiach z kontrolerem programującym R-J3iC w trybie pracy PTP, w pozycjoner tokarski typu TCM 1630250 oraz w układ jezdny VDC-6000. Duża precyzja i powtarzalność pozycjonowania jak i wysoki poziom niezawodności określony indeksem (MTBF) tworzą wraz z oprogramowaniem do śledzenia...
-
AAM toolkit: a system for visual object appearance modeling
PublikacjaAktywne modele wyglądu (AAM) mogą być traktowane jako zaawansowana metoda analizy informacji multimedialnych, pozwalająca na lokalizowanie i rozpoznawanie obiektów w obrazach statycznych i sekwencjach wideo. Pomimo tego że ukazało się wiele publikacji dotyczących AAM, przejście od koncepcji teoretycznych do działającej implementacji stanowi nadal duże wyzwanie. W pracy przedstawiono przygotowany przez autorów pakiet oprogramowania...
-
Cztery algorytmy, które wstrząsnęły światem. Część II: Od czasu wykładniczego do wielomianowego
PublikacjaOdcinek ten poświęcony jest problemowi programowania liniowego oraz problemowi badania liczb pierwszych.
-
Primenenie nejronnyh setej i programnoe obespečenie dlâ ih vizualizacii
PublikacjaPrzedstawiono zagadnienia związane z zastosowaniem sieci neuronowych oraz dostępne oprogramowanie do ich wizualizacji.
-
Badania efektów mechanicznej owalizacji ziaren elektrokorundu szlachetnego w wygładzarce bębnowej.
PublikacjaPrzedstawiono skomputeryzowaną analizę kształtu i wielkości ziaren ściernych przy użyciu specjalistycznego oprogramowania MultiScan v 6.08. Badano efekty mechanicznej owalizaji ziaren elektrokorundu w wygładzarce bębnowej.
-
Generowanie kosztów w kanalizacji sanitarnej
PublikacjaBłędy popełniane w fazie programowania i projektowania kanalizacji. Przykłady niewłaściwych rozwiązań. Konsekwencje finansowe
-
Środowiska wspierające (narzędzia CASE)
PublikacjaPraca omawia współczesne środowiska i narzędzia CASE, wspierające procesywytwórcze. Część omówienia poświęcona jest narzędziom wspomagającym tworze-nie oprogramowania równoległego i wspomagającym zrównoleglanie programów se-kwencyjnych.
-
A Quality Model for UML tools
PublikacjaJakość narzędzi UML wpływa na efektywność wykonywania zadań związanych z modelowaniem systemów w procesie wytwarzania oprogramowania. Celem badań prezentowanych w tym referacie jest wyodrębnienie kryteriów jakości narzędzi UML. Omówiono rolę narzędzi UML w projekcie informatycznym, a następnie zaprezentowano szereg kryteriów jakości narzędzi UML wraz z aspektami oceny oraz opisem ankiety, która służy do oceny narzędzi względem...
-
Powikłania po rekonstrukcji piersi: problem zakażeń i strategii prewencyjnej - przegląd literaturowy
PublikacjaW niniejszej pracy przedstawiono dane dotyczące powikłań po rekonstrukcji piersi. Manuskrypt ma na celu usystematyzowanie wyników badań z ostatnich lat wraz z aspektami, takimi jak: częstotliwość występowania powikłań oraz ich rodzaj, czynniki predysponujące, a także możliwości profilaktyki. Przeanalizowano dane literaturowe z ogólnie dostępnych artykułów z okresu ostatnich pięciu lat, ze szczególnym uwzględnieniem zakażeń. Do...
-
Badanie wpływu strategii sterowania obiegiem narzędzi na wydajność elastycznego systemu wytwarzania.
PublikacjaPrzedmiotem rozprawy doktorskiej są badania wpływu strategii sterowania obiegiem narzędzi na wydajność elastycznego systemu wytwarzania. Obiektem badań było elastyczne gniazdo obróbkowe wyposażone w trzy poziome frezarsko-wytaczarskie centra obróbkowe przeznaczone do wytwarzania części klasy korpus. Wybrane strategie przydziału operacji technologicznych i adekwatnych zestawów narzędziowych poddano analizie i ocenie wg przyjętych...
-
Krytyczne działania i czynniki sukcesu wdrażania projektów informatycznych
PublikacjaCelem niniejszego artykułu jest określenie, jakie działania powinny podjąć organizacje gospodarcze, aby zidentyfikowane krytyczne czynniki sukcesu projektów informatycznych, pozwalające na zwiększenie prawdopodobieństwa pomyślnego zakończenia przedsięwzięcia, zmaterializowały się. Na potrzeby niniejszego artykułu przeprowadzono badania własne. Jako metodę wybrano analizę przypadków. Badanie przeprowadzono w organizacji, która prowadziła...
-
Visualization in Matehmatics Teaching - Some examples of supporting the students'education
PublikacjaNa całym świecie prowadzi się badania nad wykorzystaniem multimediów w dydaktyce matematyki. Rewolucja cyfrowa jest impulsem do zmiany podejścia do nauczania i metod uczenia się. Oczywiście nowe technologie nie wyeliminują czy nie zastąpią wszystkich tradycyjnych środków nauczania.Studenci, aby zostać dobrymi, konkurencyjnymi na rynku pracy inżynierami, muszą poznać wiele, czasem bardzo zaawansowanych mechanizmów z zakresu matematyki....
-
Efekty mechanicznej owalizacji kształtu i wygładzania ziaren elektrokorundu
PublikacjaW artykule przedstawiono wyniki skomputeryzowanej analizy kształtu i wielkości ziaren ściernych przy użyciu specjalistycznego oprogramowania MultiScan v.6.08. Badano efekty mechanicznej owalizacji kształtu ziaren elektrokorundu szlachetnego.
-
Selected problems of navigation of educational mobile robot
PublikacjaW artykule przedstawiono ideę sterowania układem autonomicznego robota mobilnego skonstruowanego do celów edukacyjnych. Opisano strukturę mechaniczną układu, układy sensorów oraz zakres możliwości wynikających z działania oprogramowania robota.
-
Komputerowa technika pomiarowa w przykładach
PublikacjaZawarto opis metod łączenia kart pomiarowych z magistralami komputera, opis interfejsów systemów pomiarowych, bezprzewodowej transmisji danych, czujników oraz układów kondycjonowania sygnałów i akwizycji danych oprogramowania systemów pomiarowych
-
Rozdział mocy w układzie napędowym robota podwodnego - porównanie algorytmów alokacji naporów
PublikacjaPraca dotyczy syntezy systemu automatycznego sterowania robotem podwodnym w zakresie problemu rozdziału mocy w wielopędnikowym układzie napędowym. Do alokacji naporów zastosowano metody optymalizacji z ograniczeniami, pozwalające na wyznaczanie wektora naporów na podstawie wektora sił uogólnionych. Rozważono i porównano dwie metody rozdziału mocy dla robota realizującego ruch poziomy płaski o trzech stopniach swobody, rozpatrując...
-
Integracyjna metoda konstruowania aplikacji
PublikacjaZaproponowano metodę wytwarzania oprogramowania IMAC, która może stanowić pewien przełom w inżynierii oprogramowania na miarę jaką stanowiło wprowadzenie języków obiektowych zwłaszcza dla aplikacji rozproszonych do zastosowań biznesowych. W metodzie tej proponuje się ścisłe powiązanie analizy, projektu i implementacji w jednym, spójnym środowisku graficznym i stosowanie wspólnego języka modelowania i implementacji IML. Głównym...
-
Modelowanie numeryczne krzyżowego wymiennika ciepła w zastosowaniach klimatyzacyjnych
PublikacjaPraca przedstawia wyniki obliczeń numerycznych krzyżowego wymiennika ciepła wykorzystywanego w klimatyzacji. Zawarte są wyniki obliczeń 2D i 3D rozpatrywanego wymiennika. Obliczenia wykonano z zastosowaniem oprogramowania CFD Ansys Fluent.
-
Metodyka pomiaru jachtów regatowych przy pomocy skanowania laserowego 3D
PublikacjaPrzedstawiono metodykę pomiaru klasowego za pomocą skanera laserowego 3D, dostepne rzowiązania techniczne i oprogramowanie oraz przykłady zastosowania.
-
Sposób sterowania systemem do pomiarów struktur elementów półprzewodnikowych.
PublikacjaPrzedstawiono system do pomiarów małoczęstotliwościowych szumów struktur elementów półprzewodnikowych. Szczegółowo omówiono zaprojektowane i wykonane oprogramowanie sterujące systemem pomiarowym.
-
Przegląd programów 2D oraz 3D do fotogrametrii na przykładzie PC- Rect oraz PhotoModeler
PublikacjaW pracy został podjęty temat przeglądu programów do fotogrametrii. Stwierdzono, że lawinowy rozwój informatyki sprawił, że eksperci zajmujący się zawodowo tematem zdarzeń drogowych pozyskali dostęp do specjalistycznego oprogramowania wspomagającego rekonstrukcję wypadków komunikacyjnych. Różnorodność problematyki rekonstruowania zdarzeń drogowych narzuciła konieczność stworzenia eksperckiego oprogramowania specjalnej grupy aplikacji....
-
Projekt i budowa uniwersalnego sterownika programowalnego
PublikacjaArtykuł opisuje projekt i realizację niskobudżetowego ale zarazem funkcjonalnego i uniwersalnego kompaktowego sterownika programowalnego PLC (ang. Programmable Logic Controller) oraz dedykowanej aplikacji narzędziowej umożliwiającej jego elastyczne oprogramowanie. Przedstawiany sterownik bazuje na jednostce centralnej w postaci 32-bitowego mikrokontrolera ARM firmy STMicroelectronics oraz wyposażony jest w standardowe peryferia...