Filters
total: 1447
filtered: 833
-
Catalog
- Publications 833 available results
- People 76 available results
- Inventions 4 available results
- Projects 3 available results
- Laboratories 7 available results
- Research Teams 7 available results
- Research Equipment 10 available results
- e-Learning Courses 492 available results
- Events 13 available results
- Offers 1 available results
- Open Research Data 1 available results
Chosen catalog filters
Search results for: RÓŻNORODNOŚĆ OPROGRAMOWANIA
-
Sterowanie kamerami i wizualizacja danych radarowych w rozproszonym systemie dyspozytorskim STRADAR dla straży granicznej
PublicationSTRADAR to rozproszony system danych multimedialnych, przeznaczony do monitorowania granic morskich kraju, co jest ważnym zadaniem Morskiego Oddziału Straży Granicznej. System umożliwia przechowywanie, wyszukiwanie i wyświetlanie danych dotyczących zdarzenia będącego obiektem zainteresowania dla Straży Granicznej. Przedstawiono kolejny etap rozwoju projektu STRADAR (Strumieniowa transmisja danych czasu rzeczywistego w rozproszonych...
-
Integracyjna metoda konstrukcji aplikacji obiektowych w środowisku graficznym z uwzględnieniem wymagań jakościowych
PublicationIntegracyjna 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....
-
Wpływ struktury maszyn bezszczotkowych z magnesami trwałymi na rozkład pola wzbudzenia
PublicationRozwój maszyn elektrycznych jest ściśle związany z rozwojem inżynierii materiałowej jak również przyrządów półprzewodnikowych mocy i mikroprocesorów stanowiących podstawowe elementy współczesnych układów energoelektronicznych do przetwarzania i sterowania mocy elektrycznej. Zastosowanie magnesów trwałych (MT) o dużych gęstościach energii pozwala budować maszyny elektryczne, które charakteryzują się lepszymi parametrami eksploatacyjnymi...
-
Application of Knowledge Views = Zastosowanie widoków na bazę wiedzy
PublicationW 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
PublicationPrzedstawiono 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.
-
Współczesne bezpieczniki topikowe
PublicationScharakteryzowano własności oraz fizyczne podstawy działania bezpieczników, ich wady i zalety, a także przedstawiono główne charakterystyki. Uzasadniono różnorodność aktualnie dostępnych rodzajów wkładek. Porównano skutki stosowania zabezpieczeń opartych na wyłącznikach i bezpiecznikach. Wykazano, że bezpieczniki są nadal niezastąpione jako "zabezpieczenie życia", do ograniczania prądów zwarciowych i pomagają w zwalczaniu zapadów...
-
Knowledge management embedded in software engineering processes
PublicationW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.
-
Podstawy projektowania interfejsów użytkownika
PublicationDobry 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...
-
The role and construction of educational agents in distance learning environments
PublicationArtykuł przedstawia definicję oraz klasyfikację agentów edukacyjnych. Wskazuje typowe cele i zadania agentów, a także omawia schemat ich budowy i funkcjonowania. Wskazano także różnorodność możliwości, jakie stwarzają różne rodzaje agentów w procesie nauczania. W artykule opisano także wytworzony w ramach badań prototyp agenta WAS, którego zadaniem jest wspomaganie uczniów w zakresie pracy z materiałami edukacyjnymi.
-
Web ware housing in web farming methodology.
PublicationW artykule przedstawiono rolę hurtowni danych w technologii Web Farming.Zbieranie i systematyczne gromadzenie danych z sieci WWW jest szczególnie utrudnione z uwagi na różnorodność formatów danych i sposobów prezentacji.Stąd też problem systematycznego gromadzenia takich danych w hurtowni danych jest poważnym wyzwaniem. W artykule przedstawiono podstawowe problemy z tym związane i propozycje ich rozwiązania.
-
Project Management in Enterprises: IT Implementation Based on Fuzzy Models
PublicationW 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,...
-
Pączkowanie - metoda rozwoju interoperacyjnych komponentów dla systemów rozproszonych = Budding – the software development method of interoperable components for distributed systems
PublicationPrzedstawiono 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...
-
REALIZACJA NADAJNIKA I ODBIORNIKA OFDM W TECHNOLOGII RADIA PROGRAMOWALNEGO
PublicationMetoda 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
PublicationZaprezentowano 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...
-
Aquametria. Poezja i akwarele [online].
PublicationOswajanie morza pędzlem metafory to przykładanie ludzkiej miary do bezmiaru żywiołu.Reguły akwarelowej technologii zbliżają do uchwycenia istoty wodnego żywiołu i jego niezwykłych przejawów.Nieprzewidywalna różnorodność styku wody z lądem odpowiada podobnym efektom styku mokrego pędzla z powierzchnią papieru, pędzla kierowanego ręką zgodnie z regułami i specyfiką akwarelowej technologii.Prezentacja poezji z tomiku Szukam cię morze...
-
Ocena narzędzi wspomagających zarządzanie przedsięwzięciami informatycznymi na przykładzie IBM Rational Method Composer
PublicationRozdział 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...
-
Ochrona i kształtowanie krajobrazów małych ojczyzn - ochrona specyfiki przestrzeni regionalnej
PublicationOmówienie zagadnienia specyfiki i różnorodności krajobrazu obszarów wiejskich w zależności od historii regionu i stosowanych na przestrzeni wieków lokalnych form architektury, budownictwa i zagospodarowania przestrzennego.
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublicationArtykuł 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
PublicationCelem 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
PublicationZaproponowano 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
PublicationW 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...
PublicationArtykuł opisujący integrację środowisk naukowo-biznesowych za pośrednictwem Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania na Wydziale Zarządzania i Ekonomii.
-
Przegląd mechanizmów zabezpieczania systemu operacyjnego
PublicationZapewnienie bezpieczeństwa systemu komputerowego jest jednym z najważniejszych zadań systemu operacyjnego. W artykule zostaną przedstawione mechanizmy i technologie zabezpieczania systemu operacyjnego Linux. Zostaną opisane metody aktywnej ochrony systemów operacyjnych poprzez blokowanie połączeń sieciowych i ograniczanie praw dostępu aplikacji do zasobów. Przedstawione zostaną również rozwiązania ograniczające szkody dokonywane...
-
Mechanizmy bezpieczeństwa transmisji w systemie netBaltic
Publicationartykule zaprezentowano założenia dotyczące zabezpieczania węzłów sieci realizowanej w ramach systemu netBaltic. Ze względu na dużą różnorodność rozważanych mechanizmów komunikacyjnych architektura bezpieczeństwa została podzielona na kilka elementów – infrastrukturę klucza publicznego (PKI), bezpieczeństwo systemowe węzłów, zabezpieczanie komunikacji w modelu samoorganizującej wieloskokowej sieci kratowej, a także sieci niewrażliwej...
-
Wpływ konstrukcji przestrzeni międzyklockowej na charakterystyki wzdłużnego łożyska ślizgowego
PublicationSmarowanie 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.
PublicationRozprawa 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,...
-
Uwagi do praktyki bezwykopowej realizacji kolektorów kanalizacyjnych. Inżynieria Morska i Geotechnika
PublicationTechniki bezwykopowe w realizacji rurociągów. Problem różnorodności technologii, znajomość procesów wśród projektantów. Błędy w projektach, konieczność znajomości gabarytów urządzeń. Elementy wspomagające w realizacji. Konstrukcja wsporcza, komora startowa
-
Techniki obsługi wyjątków w systemach informatycznych.
PublicationW 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]
PublicationPrzedstawiono determinanty rozwoju elektroenergetyki. Określono kierunki programowania rozwoju elektroenergetyki.
-
Mikrokontrolery STM8S - pierwsze kroki (1)
PublicationArtykuł zawiera pierwszą część krótkiego kursu programowania mikrokontrolerów STM8S
-
mikrokontrolery stm8s - pierwsze kroki (2)
PublicationArtykuł zawiera drugą część krótkiego kursu programowania mikrokontrolerów STM8S
-
Metoda BP jako próba sformalizowania informatycznego projektu badawczego.
PublicationArtykuł prezentuje nowe iteracyjne podejście organizacji procesu do wytwarzania oprogramowania. Przedyskutowana metoda kładzie największy nacisk na zarządzanie innowacjami w projekcie informatycznym.
-
Modernizacja nawierzchni ulic
PublicationArtykuł zawiera opis procedur, które zostały zastosowane podczas prac projektowych związanych z naprawą i przebudową ulic Gdańska i Gdyni. Sposób zbierania danych, analizy ruchu ulicznego, obliczeń trwałości nawierzchni i doboru rozwiązań naprawczych zostały przedstawione w artykule. Główny nacisk położono na problemy trudne do rozwiązania i wymagające niekonwecjonalnego podejścia. Głównymi problemami były: ustalenie wielkości...
-
Architektura bezpieczeństwa systemu netBaltic
PublicationW artykule zaprezentowano założenia dotyczące zabezpieczania węzłów sieci realizowanej w ramach systemu netBaltic. Ze względu na dużą różnorodność rozważanych mechanizmów komunikacyjnych architektura bezpieczeństwa została podzielona na kilka elementów – infrastrukturę klucza publicznego (PKI), bezpieczeństwo systemowe węzłów, zabezpieczanie komunikacji w modelu samoorganizującej wieloskokowej sieci kratowej, a także sieci niewrażliwej...
-
O mżliwościach analizy mostów stalowych
PublicationPrzedstawiono 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
PublicationW 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
PublicationAktywne 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
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.
-
Rural homel and landscapes
PublicationOmówienie wpływu historii regionu na różnorodności form krajobrazu otwartego i jego elementów na obszarach wiejskich. Przykłady studiów krajobrazowych. Omówienie przyszłych możliwości ekonomicznych terenów wiejskich wynikających z zachowania harmonijnego krajobrazu na obszarach wiejskich.
-
Oznaczanie pozostałości pestycydów w próbkach żywności w wykorzystaniem metodyki QuEChERS = QuEChERS approach for the determination of pesticide residues in food matrixes
PublicationBez wątpienia, wartym uwagi podejściem do problemu oznaczania pestycydów, ze względu na różnorodność tej grupy związków, jest zastosowanie metodyk oznaczania pozostałości (multi-residue methods - MRMs). Niestety, w literaturze naukowej można znaleźć stosunkowo niewiele informacji na temat takiego podejścia do oznaczania pozostałości pestycydów w próbkach żywności. Stąd próba przybliżenia czytelnikom kilku najistotniejszych, zdaniem...
-
Cassier E. Filozofia form symbolicznych tom 3. Fenomenologia poznania.Przekład, wstęp i opracowanie : Przemysław Parszutowicz i Andrzej Karalus.Wydaw. Marek Derewiecki, 2022
PublicationTrzeci tom opus magnum Cassirera zawiera szczegółową prezentację teoretycznego szkieletu całej koncepcji Filozofii form symbolicznych Cassirera oraz jej głównych pojęć (takich jak symboliczna pregnancja), wraz z opisem funkcji świadomości i poziomów jej obiektywizacji. Naczelnym przedmiotem badań tomu jest ogólnie pojęta świadomość rozumiana jako specyficzna funkcja poznawczo-syntetyzująca, kształtująca różnorodność świata kultury....
-
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...
-
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...
-
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...
-
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.