Filters
total: 528
filtered: 367
-
Catalog
Chosen catalog filters
Search results for: MENADŻER ZADAŃ SMP
-
An efficient algorithm for finding ideal schedules
PublicationPodejmujemy problem szeregowania zadań jednostkowych z zadanymi czasamy przybycia i zależnościami kolejnościowymi. Uszeregowanie jest idealne jeśli jednocześnie minimalizuje maksymalny oraz średni czas zakończenia zadania. Podajemy przyklad pokazujący, że uszeregowania idealne nie istnieją dla relacji zależności zadań będącej drzewem, gdy dopuścimy możliwość wystąpienia przerwań. Z drugiej strony podajemy algorytm o złożoności...
-
New user-guided and ckpt-based checkpointing libraries for parallel MPI applications
PublicationPraca prezentuje szczególy projektowe i implementacyjne jak również wyniki wydajnościowe dwóch nowych bibliotek checkpointingu opracowanych przez autorów dla równoległych aplikacji MPI. Pierwsz biblioteka, tzw. user-guided wymaga od programisty dostarczenia funkcji pakujących i rozpakowujących stan procesu, ale dostarcza łatwego w użyciu API z wykorzystaniem stałych MPI. Wykorzystuje funkcje I/O MPI-2 lub dedykowany proces master...
-
Współczesne narzędzia programistyczne na usługach fotogrametrii i SIP.
PublicationReferet obejmuje problematykę budowy dedykowanych aplikacji i systemów informatycznych na potrzeby realizowania zadań związanych z fotogrametria i systemami informacji przestrzennej w obliczy uwarunkowań prawnych i dostępnych rozwiązań technologicznych.
-
Mixed graph edge coloring
PublicationW pracy rozważany jest problem kolorowania krawędzi grafu mieszanego, tj. grafu zawierającego zawiero skierowane, jak i nieskierowane krawędzie. Motywację do badań stanowią zagadnienia komunikacyjne z zakresu szeregowania zadań.
-
Analiza możliwości wzrostu udziału transportu zbiorowego w wojewódzkich przewozach pasażerskich na przykładzie województwa pomorskiego
PublicationPodział zadań przewozowych pomiędzy dostępne środki transportu jest jednym z kluczowych wyzwań przy opracowaniu Planów Transportowych w regionach. Stan aktualny i prognozy prowadzone na obszarze Unii Europejskiej wskazują, że w najbliższych latach dominującym środkiem transportu pasażerskiego będzie samochód osobowy z zarysowującą się tendencją wzrostową. Dlatego bardzo istotnym działaniem przy budowie zintegrowanego systemu transportu...
-
Kanclerz, czyli kto?
PublicationW artykule zastanawiano się nad ewolucją zadań administracji uczelnianej w świetle ustawy Prawo o szkolnictwie wyższym z 2005 r. Koncetrowano się na roli kanclerza oraz metodach doskonalenia uczelnianej administracji.
-
Ważone umieszczanie grafów jako model optymalizacji komunikacji w sieciach heterogenicznych
PublicationUmieszczenie grafu w grafie jest odwzorowaniem pomiędzy parą grafów. Graf umieszczany reprezentuje sieć komunikujących się ze sobą zadań, natomiast graf docelowy dostępną architekturę wykonania tych zadań. Problem polega na takim odwzorowaniu wierzchołków i krawędzi, aby zminimalizować koszty wynikające z potrzeby użycia zastępczych ścieżek w grafie docelowym. W klasycznym modelu przyjmuje się, że oba grafy są proste i ich krawędzie...
-
Elementy rachunku prawdopodobieństwa w zadaniach dla studentów uczelni technicznych
PublicationKsiążka jest całościowym opracowaniem na temat rachunku prawdopodobieństwa. W części pierwszej przedstawiono zagadnienia pomocne w opanowaniu podstaw teorii rachunku prawdopodobieństwa oraz charakterystykę zmiennych losowych typu skokowego i ciągłego wraz z parametrami, którymi można je opisać. Każdy rozdział rozpoczyna się częścią teoretyczną ilustrowaną rozwiązanymi przykładami zadań, ponadto na końcu każdego rozdziału zamieszczono...
-
Application of 3D flow solver in education of students
PublicationPrzedstawiono zastosowanie metod numerycznej mechaniki płynów w kształceniu studentów uczelni technicznej. Omówiono zastosowanie metod CFD jako narzędzia pomocnego w zrozumieniu zagadnień termodynamiczno-przepływowych stopni turbinowych, jak i w rozwiązywaniu zadań projektowych.
-
Wielokryterialna optymalizacja detekcyjnych obserwatorów z zastosowaniem rodzajnika genetycznego.
PublicationPrzedstawia się nowe podejście rozwiązywania zadań wielokryterialnej optymalizacji oparte na algorytmach genetycznych, w których każdemu rozwiązaniu przyporządkowana jest dodatkowa informacja o stopniu jego przynależności dodanego podzbioru kryteriów, sygnowanego określonym genetycznym rodzajnikiem.
-
Program komputerowy do harmonogramowania budowy w sposób niedeterministyczny
PublicationW referacie przedstawiono algorytm modułu programu do harmonogramowania zadań budowlanych. Opracowany moduł pozwala na szybkie wykonanie harmonogramu z uwzględnieniem zakłóceń w czasie realizacji przedsięwzięcia oraz niedeterministyczny opis czynności realizowanych przez różnych wykonawców.
-
Autonomiczny robot mobilny
PublicationOpisano konstrukcje techniczną, moduł komunikacyjny, sonar cyfrowy oraz płytę główną autonomicznego robota mobilnego przeznaczonego do zadań laboratoryjnych. Podano jego zasadę działania, opisano niektóre przeprowadzone badania oraz przedstawiono możliwości rozwojowe robota. Wyciągnięto wnioski.
-
Zastosowanie rodzajnika genetycznego jako kryterialnego niszowania.
PublicationPrezentowane jest nowe podejście do rozwiązywania zadań wielokryterialnej optymalizacji oparte na algorytmach ewolucyjnych, w których każdemu rozwiązaniu przyporządkowana jest informacja o stopniu jego przynależności do danego podzbioru kryteriów, sygnowanego określonym genetycznym rodzajnikiem.
-
Architektura Parametryczna/ Parametric Architecture
PublicationPierwsze systemy CAD przeniosły tradycyjne sposoby projektowania do przestrzeni wirtualnej. Modelowanie algorytmiczne z kolei pozwoliło na wykonywanie powtarzających się zadań w sposób zautomatyzowany, a praca z wykorzystaniem tych narzędzi wymaga wypracowania nowego podejścia.
-
Monitoring and analytics of atmospheric air pollution
PublicationPrzedstawiono podstawowe informacje dotyczące: celów i zadań monitoringu i analityki powietrza atmosferycznego, specyficznych wymogów jakie muszą spełniać monitory zanieczyszczeń, tendencji rozwojowych w zakresie kontroli jakości powietrza atmosferycznego oraz klasyfikacji metod i technik pomiarowych.
-
Analiza systemu zabezpieczeń dla internetowego portalu typu Online Judge
PublicationPrzedmiotem rozważań jest powszechnie dostępny portal internetowy pozwalający na organizację zawodów programistycznych. System taki, określany popularnie jako online judge lub online contester, udostępnia użytkownikom do rozwiązania zestaw zadań o charakterze algorytmicznym. Reguły konkursów oraz treści i zasady oceny poszczególnych zadań ustalane są przez uprzywilejowanych użytkowników zarządzających swoimi konkursami poprzez...
-
Efficiency of interactive terrain visualization with a PC-cluster
PublicationW artykule przedstawiono wyniki jednego z zadań krajowego projektu CLUSTERIX, poświęconego opracowaniu wydajnej aplikacji do interaktywnej wizualizacji terenu z rzeczywistych danych przestrzennych. Szczególną uwagę poświęcono praktycznym aspektom wykorzystania klastrów obliczeniowych w zastosowaniach ściśle graficznych.
-
Pareto Task Assignments by an Adaptive Quantum-based Evolutionary Algorithm AQMEA
PublicationW pracy scharakteryzowano state_of_the_art w zakresie kwantowych algorytmów ewolucyjnych. Scharakteryzowano zasady efektywnego projektowania tej klasy algorytmów genetycznych. Podano wyniki uzyskane za pomocą kwantowego algorytmu ewolucyjnego AQMEA w zakresie wyznaczanie przydziałów zadań optymalnych w sensie Pareto.
-
Cyrkularne kolorowanie grafów
PublicationRozdział zawiera definicje oraz większość znanych własności cyrkularnego ko-lorowania grafów w wersji wierzchołkowej oraz krawędziowej. Podano znanezwiązki tego rodzaju kolorowania z innymi modelami kolorowania grafów. Wpracy zawarto także przykłady możliwych zastosowań cyrkularnego kolorowaniaw szeregowaniu zadań.
-
CSR – normy etyczne versus normy prawne
PublicationW opracowaniu przeanalizowano wagę norm etycznych w realizacji idei CSR przez firmy. Odnosząc się do tego, podkreślono pierwotność w obowiązywaniu tych norm. Wskazywano jednocześnie na konieczność budowania uregulowań prawnych jako ram ułatwiających realizację zadań społecznie odpowiedzialnych.
-
A 27/26-approximation algorithm for the chromatic sum coloring of bipartitegraphs
PublicationWe consider the CHROMATIC SUM PROBLEM on bipartite graphs which appears to be much harder than the classical CHROMATIC NUMBER PROBLEM. We prove that the CHROMATIC SUM PROBLEM is NP-complete on planar bipartite graphs with Delta less than or equal to 5, but polynomial on bipartite graphs with Delta less than or equal to 3, for which we construct an O(n(2))-time algorithm. Hence, we tighten the borderline of intractability for this...
-
Usability of UML modeling tools
PublicationNarzędzia wspomagające modelowanie w UML pełnią istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Badanie użyteczności tych narzędzi ma na celu poprawę produktywności oraz satysfakcji z ich użytkowania. W referacie zaprezentowano badania użyteczności za pomocą trzech metod: eksperymentalnego testowania efektywności, zapytań o aspekty użyteczności testowanych narzędzi oraz analitycznej metody GOMS (ang. Goals, Operators,...
-
Optymalizacja alokacji modułów programistycznych w rozproszonym systemie szkolenia wojskowego
PublicationW pracy przedstawiono system metodologiczny do wyznaczania i oceny przydziałów modułów programistycznych w rozproszonym systemie informatycznym, bazującym na systemie MOODLE, wspomagającym zdalne nauczanie i szkolenie wojskowe. Opracowano modele matematyczne rozproszonych systemów komputerowych, na podstawie których sformułowano zadania optymalizacji wielokryterialnej. Główny nacisk położono na zastosowanie algorytmów ewolucyjnych...
-
Optymalizacja z wykorzystywaniem algorytmu kolonii mrówek
PublicationW referacie przedstawiono nowoczesną mataheurystykę - algorytm kolonii mró- wek oraz przykłady zastosowań do rozwiązywania trudnych problemów optymali- zacji kombinatorycznej. Zaprezentowano wyniki szeregowania zadań niezależ-nych i niepodzielnych na wielu procesorach równoległych przy użyciu algo- rytmu kolonii mrówek.
-
Rozwój technologii posadowienia na fundamentach palowych
PublicationRealizacja współczesnych rozwiązań posadowień wszystkich obiektów w różnych rodzajach budownictwa związana jest z poważnymi wyzwaniami odnośnie technologii, nośności i przemieszczeń. Przytoczono przykłady posadowień obiektów budowlanych w skomplikowanych warunkach geotechnicznych oraz wskazano możliwości w realizacji założonych zadań inwestycyjnych.
-
Ekonomiczno-eksploatacyjna analiza udziału usług obcych w utrzymaniau maszyn i urządzeń technicznych w przedsiębiorstwie
PublicationW rozprawie doktorskiej zaprezentowano problematykę związaną z powierzaniem utrzymania maszyn i urządzeń technicznych w obce ręce, a w tym opisanie oryginalnego relatywistycznego modelu decyzyjnego, służącemu, wyznaczaniu optimum podziału pracy, tzn. zadań w zakresie utrzymania maszyn i urządzeń technicznych do powierzenia w obce ręce i zadań do pozostawienia we własnej gestii organizacji. Jest to ściśle związane z planowanymi...
-
Zapobieganie kolizjom w pracowni współpracy robotów przemysłowych
PublicationW nowoczesnych zrobotyzowanych systemach produkcyjnych coraz częściej możemy spotkać systemy zapobiegające wystąpieniu kolizji między manipulatorem robota a jego otoczeniem.Równolegle, wykorzystuje się również różnego rodzaju rozwiązania minimalizujące skutki wystąpienia ewentualnych zderzeń. Najprostsza˛ z metod uniknięcia kolizji jestzdefiniowanie stref bezpieczeństwa wewnątrz obszaru oddziaływania robota, których manipulator...
-
Interakcyjna wizualizacja terenu rzeczywistego wykorzystująca klaster obliczeniowy
PublicationPrzedstawiono wynik jednego z zadań projektu celowego Clusterix w postaci Systemu wizualizacji trójwymiarowej terenu z punktu widzenia dynamicznego obserwatora. Opisano podstawową archtekturę systemu oraz dokonano oceny jej wydajności na przykładzie konkretnych danych satelitarnych z programu SRTM dla rejonu Gdańska.
-
Zasady programowania w Internecie
PublicationPrzedstawiono środowisko Internetu widziane z punktu widzenia programisty. Wprowadzono model trójwarstwowej aplikacji WWW, jakonajczęściej spotykanego przykładu programowania w środowisku Internetu. Wymieniono główne zadania programisty w ramach każdej z warstw i opisano przykładowe narzędzia realizacji tych zadań - technologie i języki.
-
Użytkowy model matematyczny quadrocoptera do celów sterowania
PublicationCelem pracy jest budowa użytkowego modelu matematycznego quadrocoptera (QC) z uwzględnieniem urządzeń wykonawczych (UW) oraz identyfikacja jego parametrów. Zadanie identyfikacji sprowadzono do rozwiązania trzech zadań optymalizacji. Wynikiem prac jest model QC uwzględniający wpływ zmian napięcia zasilania na działanie UW.
-
Simplified modelling of heat transfer in groundwater
PublicationPrzenoszenie ciepła w wodach podziemnych jest skomplikowanym, przestrzennym procesem. Z tego względu do rozwiązywania zadań praktycznych celowe jest konstruowanie modeli uproszczonych. W pracy zaproponowano sposób formułowania modelu dwuwymiarowego. Został on pozytywnie zweryfikowany na przykładzie badania przyczyn strat energii cieplnej w elektrowni Kozienice.
-
Autonomiczny robot mobilny
PublicationPrzedstawiono ogólnie problemy nawigacji w robotach mobilnych. Opisano konstrukcję mechaniczną, moduł komunikacyjny, sonar cyfrowy oraz płytę główną autonomicznego robota mobilnego przeznaczonego do zadań laboratoryjnych. Podano jego zasadę działania, opisano niektóre badania przeprowadzone na prototypie oraz przedstawiono możliwości rozwojowe robota. Wyciągnięto wnioski.
-
Multi gender genetic optimization of diagnostic observers.
PublicationW pracy przedstawiana jest nowa metoda rozwiązywania zadań wielokryterialnej optymalizacji. W omawianej metodzie wykorzystywana jest informacja o genetycznym rodzajniku osobnika w celu odpowiedniego rozróżnienia i agregacji wielu kryteriów. Charakterystyczne cechy mechanizmu są prezentowane na przykładzie wielokryterialnej optymalizacji detekcyjnych obserwatorów stanu.
-
Realizacja urządzeń automatyki elektroenergetycznej na bazie układów FPGA
PublicationW artykule opisano wykorzystanie układu FPGA do realizacji układu automatycznej synchronizacji prądnic. Zastosowanie układu FPGA zapewnia w pełni sprzętową realizację procesu synchronizacji. Gwarantuje to deterministyczną i niezawodną realizację procesu synchronizacji. Układ FPGA pozwala również na równoległą realizację poszczególnych zadań procesu synchronizacji.
-
Real terrain visualisation with a distributed PC-cluster
PublicationJednym z zadań aplikacyjnych ogólnopolskiego projektu CLUSTERIX było opracowanie i wdrożenie metody interaktywnej wizualizacji terenu rzeczywistego z danych przestrzennych systemów GIS. Przedstawione wyniki osiągnięte w tym zadaniu wskazują na duży potencjał wykorzystania opracowanego modelu wizualizacji 3D dla potrzeb systemów zarządzania kryzysowego.
-
Teoria ograniczeń w planowaniu i sterowaniu produkcją.
PublicationPlanowanie i sterowanie produkcją jest jedną z istotniejszych funkcji realizowanych przez przedsiebiorstwo. Ma na celu zapewnienie sprawnego i efektywnego wykonania zadań, realizacji operacji oraz przepływu materiałów i informacji w organizacji, których wynikiem jest wytworzenie wyrobu lub usługi oczekiwanej przez klienta. Obejmuje takie działania, jak: planowanie i przydział zasobów niezbędnych do wykonania zadań, ustalenie sekwencji...
-
Metody inteligencji obliczeniowej w zarządzaniu produkcją
PublicationW rozdziale zaprezentowany został przegląd metod inteligencji obliczeniowej stosowanych w zarządzaniu produkcją. Rozdział rozpoczyna się definicją problemu harmonogramowania zadań wraz z wprowadzeniem standardowej nomenklatury stosowanej w literaturze poświęconej temu zagadnieniu. We wstępie zwrócono uwagę na złożoność problemów harmonogramowania zadań i potrzebę stosowania algorytmów generujących dopuszczalne rozwiązania przybliżone....
-
Outsourcing w przedsiębiorstawach polskich - model podziału pracy
PublicationArtykuł ukazuje możliwości zastosowania modelu optymalizacji pracy w zakresie korzystania z usług obcych. Dotyczy badań przypadku zlecania na zewnątrz zadań związanych z utrzymaniem maszyn i urządzeń technicznych przez polskie przedsiębiorstwa. Potwierdza zasadność stosowania modelu optymalizacyjnego podziału oraz jego elastyczność w obliczu wymagań przedsiębiorcy.
-
Bezpieczeństwo w systemie internetowym Sphere Online Judge
PublicationPrzedmiotem rozważań jest powszechnie dostępny portal internetowy udostępniający do rozwiązania wielu problemów o charakterze algorytmicznym. Użytkownicy za pośrednictwem przeglądarki internetowej nadsyłają programy, będące rozwiązaniami zadań, które są następnie kompilowane, uruchamiane i oceniane. Ze względu na charakter systemu, jego bezpieczeństwo jest niezmiernie ważne.
-
Zwarte kolorowanie krawędzi
PublicationPraca omawia model zwartego kolorowania grafów i jego zastosowania w szere-gowaniu zadań. Podano podstawowe właściwości kolorowania zwartego, a takżegrafów dających się w ten sposób kolorować. przedstawiono szereg rodzin gra-fów dwudzielnych posiadających zwarte pokolorowania. Zdefiniowano też pewnąmiarę ''niezwartości'' kolorowania krawędziowego zwaną stratnością.
-
Komputerowe sprawdzanie wiedzy.
PublicationOmówiono programy komputerowe wspomagające sprawdzanie wiedzy i umiejętności. scharakteryzowano najczęściej spotykane formy komputerowego sprawdzania wiedzy: testy wyboru, testy uzupełnień oraz programy z bazą wiedzy do sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych. Charakterystyka każdego rodzaju testu jest zilustrowana opisem odpowiedniego programu komputerowego.
-
Metodologia projektowania programów edukacyjnych zorientowanych problemowo z wykorzystaniem bazy wiedzy.
PublicationOpisano prototyp programu, który może posłużyć do sprawdzania poprawności sposobu rozwiązywania zadań z elementarnej matematyki lub fizyki. Program tem umożliwia ponadto wygenerowanie wszystkich sposobów rozwiązania zadania. Omówiono program komputerowy CorrectWay, który realizuje wczesniej wymienione funkcje. artykuł zakończono wskazaniami kierunków dalszego rozwoju tego programu.
-
wycieczka dydaktyczna: KPŚ. Architektura spotyka sztukę. Vol.1.23
PublicationWycieczka dydaktyczna będzie miała charakter oprowadzania tematycznego po wystawie czasowej pt. “Sainer. Koloor” z uwzględnieniem uwarunkowań wystawienniczych w zabytkowym budynku Pałacu Opatów. Studenci będą mogli wziąć udział w samodzielnej pracy pozwalającej twórczo odnieść się do zaobserwowanych zjawisk, w oparciu o autorską kartę zadań.
-
Hierarchiczny układ sterowania poziomami napięć i rozpływem mocy biernej.
PublicationSterownie poziomami napięć i rozpływem mocy biernej w systemie elektroenergetycznym realizowane jest wielopoziomowo. Prócz zadań sterowniczych lokalnych , potrzebne są również sterowania o charakterze systemowym. Przedstawiono koncepcję hierarchicznego układu sterowania poziomami napięć i rozpływem mocy biernej, umożliwiająca osiąganie, omówionych w referacie, celów technicznych, organizacyjnych i ekonomicznych.
-
Zarządzanie zasobami ludzkimi oparte na kompetencjach
PublicationAby osiągać założone cele w organizacji i wdrażać opracowane strategie, niezbędni są odpowiednio przygotowani pracownicy. To oni są największą siłą każdej organizacji, w których widzi się czynnik przewagi konkurencyjnej i aby ją zdobywać, należy jasno zdiagnozować niezbędne kompetencje zarówno dla poszczególnych pracowników, jak i całej organizacji. Sprawnie funkcjonujące przedsiębiorstwo cechuje się poprawnie zbudowaną strukturą...
-
Podstawy teorii projektowania okrętów
PublicationW zamyśle autora podręcznik winien służyć studentom studiów inżynierskich pierwszego stopnia na kierunku Oceanotechnika, który aktualnie prowadzony jest w Politechnice Gdańskiej, w Zachodniopomorskim Uniwersytecie Technologicznym oraz w Akademii Marynarki Wojennej w Gdyni. Wybrane treści podręcznika mogą być przydatne również studiującym na wydziałach kształcących morskie kadry oficerskie, gdyż zawiera wiedzę wymaganą Rozporządzeniem...
-
Efektywne zrównoleglanie obliczeń w systemie klasy grid na przykładzie hipotezy Collatza
PublicationZaprezentowano problem Collatza oraz sposób jego adaptacji, pozwalający na realizację obliczeń w systemie typu grid. Zidentyfikowano również pożądane cechy problemów obliczeniowych, dzięki którym mogą one zostać zrównoleglone w sposób efektywny w systemach typu grid i porównano je z cechami zadań realizowanych typowo przy użyciu klastrów obliczeniowych.
-
Task Allocation and Scalability Evaluation for Real-Time Multimedia Processing in a Cluster Envirinment
PublicationAn allocation algorithm for stream processing tasks is proposed (Modified best Fit Descendent, MBFD). A comparison with another solution (BFD) is provided. Tests of the algorithms in an HPC environment are descrobed and the results are presented. A proper scalability metric is proposed and used for the evaluation of the allocation algorithm.
-
Ewolucyjny dobór funkcji jądra SVM wspólnego dla zbioru podobnychzadań klasyfikacyjnych
PublicationPraca przedstawia ewolucyjną metodę kształtowania funkcji jądra wmetodzie SVM wspólnego dla zbioru podobnych zadań klasyfikacyjnych(z tej samej dziedziny) z wykorzystaniem aproksymatora neuronowego.Pokazano możliwość wbudowania funkcji ekstrakcji cech do funkcji jądraSVM za pomocą prostego łączenia aproksymatorów standardowej funkcjijądra i ekstraktora. Opisane zostały również teoretyczne podstawy metodywektorów wspierających (SVM).
-
Analiza zmiennych objaśniających i rozbudowa modelu wyboru środka transportu
PublicationW artykule poddano analizie potrzebę uwzględnienia dodatkowych czynników wpływających na wybór środka transportu w prognozowaniu podróży. Przedstawiono dotychczasowe badania wpływu wybranych czynników na podział zadań przewozowych. W oparciu o wyniki krajowych Kompleksowych Badań Ruchu zostały wykonane analizy zależności udziału podróży transportem zbiorowym w obszarach zurbanizowanych od wybranych czynników zewnętrznych.