Filters
total: 1656
filtered: 964
-
Catalog
- Publications 964 available results
- Journals 1 available results
- People 89 available results
- Inventions 4 available results
- Projects 5 available results
- Laboratories 8 available results
- Research Teams 11 available results
- Research Equipment 10 available results
- e-Learning Courses 553 available results
- Events 10 available results
- Offers 1 available results
Chosen catalog filters
Search results for: NIEZAWODNOŚĆ OPROGRAMOWANIA
-
Eliminacja strat pracy maszyn w procesach aparaturowych
PublicationW niniejszym artykule zostały przedstawione wyniki badań w zakresie eliminacji strat maszyn występujące na linii produkcyjnej w procesach aparaturowych u producenta farb proszkowych przedsiębiorstwa X. Dodatkowo autorzy zaproponowali własne metody organizacyjne , które zasadniczo zmniejszą straty maszyn na linii produkcyjnej i spowodują większą niezawodność parku maszynowego.
-
Cztery algorytmy, które wstrząsnęły światem. Część II: Od czasu wykładniczego do wielomianowego
PublicationOdcinek ten poświęcony jest problemowi programowania liniowego oraz problemowi badania liczb pierwszych.
-
Primenenie nejronnyh setej i programnoe obespečenie dlâ ih vizualizacii
PublicationPrzedstawiono 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.
PublicationPrzedstawiono 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
PublicationBłędy popełniane w fazie programowania i projektowania kanalizacji. Przykłady niewłaściwych rozwiązań. Konsekwencje finansowe
-
Środowiska wspierające (narzędzia CASE)
PublicationPraca 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
PublicationJakość 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...
-
Visualization in Matehmatics Teaching - Some examples of supporting the students'education
PublicationNa 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....
-
Krytyczne działania i czynniki sukcesu wdrażania projektów informatycznych
PublicationCelem 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...
-
Badanie wpływu strategii sterowania obiegiem narzędzi na wydajność elastycznego systemu wytwarzania.
PublicationPrzedmiotem 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...
-
Efekty mechanicznej owalizacji kształtu i wygładzania ziaren elektrokorundu
PublicationW 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.
-
Probabilistic limit state analysis of framed structures. The Monte Carlo simulation.
PublicationW pracy opisano koncepcję rozkładu prawdopodobieństwa stanu granicznego konstrukcji. Koncepcja ta oparta jest na problemowo zorientowanej procedurze symulacyjnej Monte Carlo. Niezawodnosć lub prawdopodobieństwo awarii układu oblicza się na podstawie rozkładu prawdopodobieństwa stanu granicznego.
-
Komputerowa technika pomiarowa w przykładach
PublicationZawarto 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
-
Selected problems of navigation of educational mobile robot
PublicationW 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.
-
Rozdział mocy w układzie napędowym robota podwodnego - porównanie algorytmów alokacji naporów
PublicationPraca 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
PublicationZaproponowano 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...
-
Human reliability analysis in the context of accident scenarios
PublicationArtykuł przedstawia problematykę analizy niezawodności człowieka (HRA) w kontekście zidentyfikowanych scenariuszy awaryjnych. Podkreślono potrzebę kontekstowej analizy postępowania człowieka-operatora ze szczególnym uwzględnieniem błędów i uszkodzeń zależnych w rozważanych scenariuszach awaryjnych. Analizę bezpieczeństwa funkcjonalnego z uwzględnieniem oceny niezawodności człowieka zilustrowano na przykładzie warstw zabezpieczeń...
-
Modelowanie numeryczne krzyżowego wymiennika ciepła w zastosowaniach klimatyzacyjnych
PublicationPraca 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
PublicationPrzedstawiono 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.
PublicationPrzedstawiono 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
PublicationW 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....
-
Terenowe stanowisko pomiarowe do diagnostyki technicznej odbieraków prądu
PublicationDiagnostyka techniczna jest dynamicznie rozwijającą się dziedziną, której wykorzystanie w systemach transportowych prowadzi do zmniejszenia kosztów, podniesienia niezawodności i bezpieczeństwa eksploatacji. W trakcji elektrycznej zasadnicze znaczenie - z punktu widzenia niezawodności eksploatacyjnej - ma układ odbioru prądu z sieci jezdnej przez poruszające się pojazdy. Świadomość tego faktu doprowadziła do opracowania i wdrożenia...
-
Reliability of imperfect structures (simple non-linear models)
PublicationPrzyjęto proste modele prętów umożliwiających analizę układów o niestatecznych i statecznych punktach bifurkacji. Wykorzystano symulacyjną metodę wyznaczania niezawodności. Zastosowano metodę Monte Carlo i równania 3 poziomu dokładności. Uzyskano rozkłady prawdopodobieństwa obciążenia granicznego nieliniowych modeli konstrukcji z losowymi imperfekcjami. Wykazano, że histogramy siły granicznej modelu statecznego i niestatecznego...
-
Projekt i budowa uniwersalnego sterownika programowalnego
PublicationArtykuł 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...
-
Sposób sterowania systemem do pomiarów struktur elementów półprzewodnikowych
PublicationPrzedstawiono system do pomiarów mało-częstotliwościowych szumów struktur elementów półprzewodnikowych. Szczegółowo omówiono zaprojektowane i wykonane oprogramowanie sterujące systemem pomiarowym.
-
Necessity for and possibility of application of the theory of semi-markov processes to determine reliability of diagnising systems
PublicationW opracowaniu uzasadniono konieczność określenia niezawodności systemów diagnozujących (SDG) do sformułowania diagnozy o stanie dowolnego urządzenia technicznego jako systemu diagnozowanego (SDN). Wykazano, że znajomość niezawodności SDG umożliwia określenie wiarygodności diagnozy. Przyjęto, że wiarygodność diagnozy może być określona jako właściwość diagnozy określająca stopień rozpoznania przez system diagnozujący (SDG) rzeczywistego...
-
Aplikacje i środowiska kontekstowe: Środowisko OSGi oraz definiowalna architektura SOA
PublicationPodejście komponentowe jest coraz częściej wykorzystywane jako metoda wytwarzania aplikacji. Artykuł ten omawia specyfikację OSGi, definiującą platformę dla działania usług, które mogą być dynamicznie instalowane, uaktualniane i usuwane bez konieczności restartu całego środowsika. Rozwinięciem specyfikacji OSGi jest programowalna architektura SOA. Dostarcza ona mechanizmu programowania, który wraz z zaproponowanym zunifikowanym...
-
Fuzzy reasoning approach to properties' determination of calcium phosphate coatings processed using ion beam assisted deposition on heated substrates
PublicationPraca przedstawia rozmyty system wnioskowania dla zamodelowania związków pomiędzy temperaturą podłoża oraz stosunkiem molowym Ca/P w gradientowej powłoce hydroxyapatytowej na podłożu tytanowym. Przeprowadzono symulację działania sterownika rozmytego na pomocą oprogramowania Matlab.
-
Optymalizacja: sztuka czy rzemiosło?
PublicationW pracy przedstawiono przyczyny niewielkiego zainteresowania zastosowaniem optymalizacji w praktyce inżynierskiej oraz przykłady jej skutecznego zastosowania. Wyciągnięto wniosek, że najskuteczniejszym sposobem spopularyzowania tego narzędzia jest tworzenie specjalistycznego oprogramowania wykorzystującego inżynierską wiedzę ekspercką.
-
Optimal programming of critical sections in modern network processors under performance requirements.
PublicationPrzegląd konstrukcji i zastosowań metod programowania sekcji krytycznych w nowoczesnych procesorach sieciowych rodziny Intel IXP. Porównanie wydajnościowe w formie tabeli.
-
Koncepcja metody bezpiecznej transmisji danych w sieci KNX na potrzeby systemu zdalnego nadzoru
PublicationW pracy omówiono wymagania stawiane kanałom komunikacyjnym wykorzystywanym do realizacji funkcji związanych z bezpieczeństwem oraz zaproponowano metodę bezpiecznej transmisji danych w sieci KNX opracowaną na potrzeby systemu zdalnego nadzoru. Metoda definiuje dodatkową warstwę stosu protokołu komunikacyjnego KNX umożliwiającą spełnienie wymagań dotyczących niezawodność i bezpieczeństwa transmisji danych bez konieczności wprowadzania...
-
Bezprzewodowy trójpłaszczyznowy kontroler położenia
PublicationW pracy przedstawiono system pomiarowy pozwalający na określenie położenia. Moduł elektroniczny wykorzystuje mikroprocesor ATmega oraz akcelerometr wykonany w technologii MEMS. Komunikację między modułem a komputerem PC zrealizowano łączem bezprzewodowym. Przygotowane zostało dedykowane oprogramowanie. Program mikrokontrolera odczytuje dane z akcelerometru i łączem radiowym wysyła je do komputera. Oprogramowanie komputera PC dokonuje...
-
Metodologia wytwarzania aplikacji WWW.
PublicationPrzedstawiono opis metodologii wytwarzania aplikacji WWW bazujących na technologii J2EE, zaprezentowano fazy wytwarzania oprogramowania, wykorzystanie analizy i projektowania obiektowego oraz wzorce projektowe, jak również dokonano porównania narzędzi wspomagających wytwarzanie i wdrożenie aplikacji WWW.
-
Układ komputerowy do rejestracji parametrów autonomicznego pojazdu elektrycznego
PublicationW artykule przedstawiono układ rejestrujący parametry wózka elektrycznego, wykorzystujący komputer przemysłowy wyposażony w kartę akwizycji danych. Opisano budowę układu oraz funkcjonalność jego oprogramowania. Przedstawiono przykładowe wyniki rejestracji oraz podkreślono istotne cechy dydaktyczne układu
-
Przykłady cyfrowego przetwarzania sygnałów w LabVIEW.
PublicationPierwszy rozdział obejmuje podstawy programowania w LabVIEW i zestawienie algorytmów przetwarzania sygnałów dostępnych w tym środowisku. W rozdziale drugim omówiono takie zagadnienia jak próbkowanie, kwantyzacja, aliasing, analiza widmowa, okno czasowe prostokątne i wygładzające. W rozdziale trzecim i czwartym przedstawiono filtry cyfrowe o skończonej i nieskończonej odpowiedzi impulsowej oraz filtrację adaptacyjną. Ostatni rozdział...
-
Systemy automatycznej kontroli wymiarowej mikroziaren ściernych
PublicationPrzedstawiono skomputeryzowaną analizę wielkości i kształtu mikroziaren ściernych przy użyciu specjalnego oprogramowania MultiScan v6.08 oraz zautomatyzowane pomiary z wykorzystaniem analizatora laserowego Analyzette 22. Analizator laserowy jest uniwersalnym urządzeniem do pomiarów wymiarów ziaren i mikroziaren.
-
Wielozadaniowy sterownik PLC do zautomatyzowanych napędów - stanowisko badawczo-szkoleniowe.
PublicationPrzedstawiono nowe stanowisko badawczo-szkoleniowe przeznaczone do testów cykli ruchów realizowanych przez zautomatyzowane napędy prądu przemiennego. Możliwe jest testowanie oprogramowania PLC do zdalnego sterowania napędami a także doświadczalna weryfikacja oddziaływania parametrów nastawnych na właściwości napędu.
-
Tool support for detecting defects in object-oriented models
PublicationArtykuł przedstawia nową metodę analityczną UML-HAZOP oraz narzędzie wspomagające jej stosowanie. Metoda ukierunkowana jest na wykrywanie defektów we wczesnych fazach wytwarzania oprogramowania i koncentruje się na powszechnie stosowanych modelach opartych na metodyce obiektowej.
-
Technika komunikacji radiowej V2X jako metoda poprawy bezpieczeństwa w ruchu drogowym
PublicationW referacie zaprezentowano metody komunikacji V2X pomiędzy pojazdami oraz między pojazdami i różnymi innymi elementami infrastruktury drogowej. Ponadto scharakteryzowano komunikację radiową V2V oraz omówiono strukturę kanałów dla tego rodzaju komunikacji. W dalszej części referatu przedstawiono nową propozycję zastosowania technologii LTE-V do realizacji komunikacji V2X i przeanalizowano przewidywaną niezawodność transmisji komunikatów...
-
Badania komunikacji pomiędzy urządzeniami automatyki zabezpieczeniowej zgodnie ze standardem IEC 61850
PublicationW artykule opisano badania modelu sieci SN wyposażonego w przekaźniki REF615 Serii Relion firmy ABB oraz tester zabezpieczeń CMC 256-6 firmy OMICRON. Na stanowisku badawczym na Wydziale Elektrotechniki i Automatyki Politechniki Gdańskiej przeprowadzono badania czasu przesyłania komunikatów GOOSE oraz retransmisji danych za pomocą testera zabezpieczeń CMC 256-6. Wyniki potwierdziły niezawodność oraz powtarzalność czasów przesyłu...
-
Probabilistyczna analiza stanów granicznych układów prętowych. Zastosowanie metody symulacyjnej Monte Carlo.
PublicationW pracy przedstawiono koncepcję wyzanczania rozkładu prawdopodobieństwa stanu granicznego układu prętowego w oparciu o metodę symulacyjną Monte Carlo. Mnożnik obciążenia granicznego wyznaczany jest w każdym kroku symulacyjnym, rezultatem procesu symulacyjnego jest histogram. Niezawodność,lub prawdopodobieństwo awarii układu są charakterystykami rozkładu prawdopodobieństwa stanu granicznego. Przykąłd zamieszczony w pracy uwzględnia...
-
Zasadnicze problemy planowania energetycznego w mieście i gminie
PublicationPrzedstawiono problemy programowania rozwoju systemów zaopatrzenia w energię elektryczną, ciepło i gaz. Określono zadania i rolę przedsiębiorstw energetycznych w procesach planowania energetycznego.
-
Charakterystyka i wspomaganie badań gastroenterologicznych
PublicationOpisano znaczenie wybranych etapów diagnostyki chorób gastroenterologicznych. Przedstawiono wybrane metody endoskopowe oraz oprogramowanie wspomagające proces diagnozowania chorób układu pokarmowego człowieka przy użyciu endoskopu.
-
Programy do kosztorysowania [Rozdział 11.8]
PublicationWażnym elementem w procesie projektowania węzłów drogowych jest ocena kosztów inwestycji. Jest to zajęcie trudne i czasochłonne, jednakże pojawienie się odpowiedniego oprogramowania znacznie przyspieszyło ten proces. Obecnie technika komputerowa niemal całkowicie wyparła tradycyjne sposoby sporządzania kosztorysów.
-
Kształtowanie programów rewitalizacji miast w kontekście współczesnych przemian społeczno – ekonomicznych, doktrynalnych i prawnych
PublicationPraca dotyczy kwestii planowania i programowania rewitalziacji w kontekście współczesnych ujwarunkowań. Omówiono przy tym zarówno kwestie doktrynalne, prawne jak i społeczne oraz ekonomiczne
-
Analiza bezpieczeństwa ruchu statku na wodach ograniczonych przy użyciu metod CFD
PublicationPodjęto próbę zbadania przydatności komercyjnego oprogramowania CFD do analizy rezerwy dynamicznej i porównania wyników z istniejącymi metodami szacowania osiadania. Skoncentrowano się na porównaniu układu falowego oraz sił hydrodynamicznych działający na kadłub statku w ruchu na płytkowodziu.
-
Funkcjonalność platformy KASKADA
PublicationPrzedstawiono opis funkcjonalności platformy KASKADA, a w szczególności jej architektury oprogramowania, mechanizmów zarządzania oraz biblioteki usług aplikacyjnych. Zaprezentowano poszczególne komponenty platformy, opisano ich budowę i implementację podstawowych funkcji, jak również zasygnalizowano problemy jakie wystąpiły podczas jej implementacji.
-
Teledetekcja
PublicationOpracowanie daje podstawy teoretyczne teledetekcji z uwzględnieniem przetwarzania obrazów cyfrowych i zasady praktycznego użytkowania dla oprogramowania TELEDETEKCJA v. 5.4.3.2 stworzonego przez autorów na potrzeby procesu dydaktycznego na kierunku geodezja i kartografia w ramach przedmiotu fotogrametria i teledetekcja.
-
Probabilistic limit state analysis of framed structures. The Monte Carlo simulation.
PublicationW pracy opisana jest koncepcja rozkładu prawdopodobieństwa stanu granicznego konstrukcji, oparta na specjalnej procedurze symulacyjnej Monte Carlo. Główną ideę stanowi obliczenie mnożnika obciażenia granicznego w każdym kroku symulacyjnym. Niezawodnosć lub prawdopodobieństwo awarii konstrukcji sa charakterystykami rozkładu prawdopopdobieństwa stanu granicznego. Szczegółowo opisano dwa warianty symulacji.
-
Identyfikacja własności społecznych portali internetowych na podstawie teorii socjologicznych
PublicationW czasie wytwarzania oprogramowania można wpływać na własności społeczne portali głównie w fazie analizy systemu, kiedy to oprócz analizy funkcjonalności, zachowania, czy też użyteczności aplikacji, można dokonać także analizy własności społecznych. Następnie wyniki tej analizy należy uwzględnić przy określaniu wizji systemu. W celu dostarczenia technik, które ułatwiają to zadanie konieczna jest identyfikacja własności społecznych...