Wyniki wyszukiwania dla: PLATFORMY PROGRAMOWANIA - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: PLATFORMY PROGRAMOWANIA

Wyniki wyszukiwania dla: PLATFORMY PROGRAMOWANIA

  • Platforma KASKADA - proces wytwarzania oprogramowania

    Został przedstawiony proces wytworzenia Platformy KASKADA służącej do przetwarzania strumieni multimedialnych w rozproszonym środowisku superkom-putera. Przedstawiono wymagania dotyczące Platformy, a następnie opisano przyjętą metodykę wytwarzania. Opi-sano przebieg poszczególnych iteracji procesu. Przedsta-wiono proces wytwarzania usług, od implementacji algo-rytmu, przez wdrożenie na Platformę, aż po akceptację i udostępnienie...

  • Platform

    Czasopisma

    ISSN: 1836-5132

  • Licencjonowanie oprogramowania

    Publikacja

    Wolne i otwarte oprogramowanie przeżywa ostatnimi laty rozkwit. Co raz więcej przedsiębiorstw komercyjnych opiera rozwój swoich firm na otwartym oprogramowaniu. Zarówno mali, jak i duzi gracze mają świadomość komplikacji współczesnych systemów i niemożności samodzielnego ich rozwoju. Z pomocą przychodzi otwarte podejście do wytwarzania oprogramowania. Wymaga to jednak pewnego zrozumienia uwarunkowań prawnych, a w szczególności...

    Pełny tekst do pobrania w portalu

  • Programowanie strukturalne

    Publikacja

    Celem niniejszej książki jest przedstawienie wybranych metod programowania strukturalnego, tzn. takich, które prowadzą do poprawnej struktury, poprawy jakości oprogramowania oraz zwiększenia efektywności programistów. Może ona służyć jako podręcznik akademicki wykorzystywany na podstawowych kursach inżynierii oprogramowania. Zainteresuje również wszystkich tych, którzy zajmują się programowaniem amatorskim i chcą poszerzyć swoją...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Zasady programowania w Internecie

    Publikacja

    - Rok 2006

    Przedstawiono ś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.

  • Metodologia i techniki programowania

    Publikacja

    - Rok 2008

    Książka jest syntetycznym wprowadzeniem do technik programowania. Omawia podstawowe trendy rozwoju metodologii wytwarzania oprogramowania, takie jak: metody strukturalne, obiektowe, narzędzia CASE, standaryzacje programów i ocenę złożoności oprogramowania. Pokazuje również, jak projektować kodować, testować i uruchamiać programy, aby były niezawodne i efektywne. Naszkicowano w niej możliwości środowisk wytwarzania oprogramowania....

  • Proces wytwarzania oprogramowania

    Publikacja

    - Rok 2002

    Praca wprowadza w zagadnienia organizacji procesu wytwórczego, omawia uznanestandardy procesu i ich wykorzystanie w przedsiębiorstwie. Omówienie podsta-wowych problemów prowadzenia projektu informatycznego poszerzono o krótkąprezentację dwu istotnych, choć rzadziej prezentowanych, zagadnien: politykiprowadzenia projektu oraz etyki w realizacji projektu informatycznego.

  • Technologie wytwarzania oprogramowania

    Publikacja

    - Rok 2002

    Praca poświęcona została dwóm najpowszechniejszym współcześnie technologiomwytwórczym - podejściu strukturalnemu i obiektowemu. W obu przypadkach omó-wienie skupia się na zagadnieniach i metodach modelowania i projektowania,w obu też jest ono bogato ilustrowane przykładami.

  • Modelowanie jakości powietrza w powiązaniu z modelem numerycznym miasta z wykorzystaniem oprogramowania działającego na platformie wieloprocesorowej

    Publikacja

    Artykuł przedstawia wyniki modelowania zanieczyszczenia powietrza dla wybranych źródeł drogowych. Obliczenia emisji i propagacji zanieczyszczeń powietrza dokonano za pomocą modelu AUSTAL2000, dostępnego w aplikacji CadnaA. Przedstawiono wyniki analiz dla następujących substancji: SO2, NOx, PM10, benzen. Dodatkowo zamieszczono łączne wyniki zanieczyszczeń powietrza i poziomy hałasu dla rozpatrywanych dróg. Zastosowanie platformy...

  • Współbieżność w obiektowych językach programowania.

    Praca przedstawia koncepcje współbieżności i ich implementacje w językach programowania. Analizuje się efektywność rozwiązań i zwraca uwagę na problemy dotąd nierozwiązane.

  • Strategia zapewnienia jakości oprogramowania.

    Publikacja

    - Rok 2002

    W referacie zaproponowano strategię zapewnienia jakości oprogramowania, bazując na działaniach w następujących obszarach: określenie definicji jakości oraz sposobu weryfikacji jej osiągnięcia; dobór technik dotyczących poprawy produktu; poprawa procesu wytwarzania oprogramowania; podnoszenie kultury jakości organizacji.

  • Tradycyjne cykle życia oprogramowania

    Publikacja

    - Rok 2002

    Praca prezentuje uznane i powszechnie stosowane cykle wytwarzania i ewolucjioprogramowania systemów informatycznych, takie jak cykl klasyczny (kaskado-wy), model V wytwarzania z zapewnianiem jakości, prototypowanie wymagań, mo-del spiralny i przyrostowy. Nieduży przykład ilustruje sposób doboru strate-gii wytwarzania.

  • Współczesne cykle wytwarzania oprogramowania

    Publikacja

    Praca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...

  • Przegląd miar oceny oprogramowania

    Publikacja

    Problem oceny oprogramowania istnieje od momentu pojawienia się pierwszego programu komputerowego. Historycznie miary jakości oprogramowania miały zupełnie inne przeznaczenie, gdyż skupiały się na częstotliwości defektów lub błędów oprogramowania. Błędnie bazowało to na założeniu, że jakość oprogramowania to brak błędów. Stąd też używano prostej statystyki typu liczby błędów, wykrytych w określonym przedziale czasu (np. rocznym)...

  • Interoperacyjne platformy usługwszechobecnego.

    Publikacja

    - Rok 2009

    Przedstawiono problemy interoperacyjno±ci usług sieciowychze szczególnym uwzględnieniem korporacyjnej szyny usług ESB. Opisane podstawowe własnośći szyny ESB, zasady jej współdziałania z różnymi systemami informatycznymi, a także zwrócono uwagę na trudności związane z wdrożeniem tej koncepcji w skali globalnej.

  • Funkcjonalność platformy KASKADA

    Przedstawiono 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.

  • Zasady programowania i projektowania obiektow aquaparków.

    Publikacja

    - Rok 2007

  • Marek Galewski dr hab. inż.

    Mgr inż. - 2002r.  - Politechnika Gdańska; Wydział Elektroniki, Telekomunikacji i Informatyki; Automatyka i RobotykaDr inż. - 2007r. - Politechnika Gdańska; Wydział Mechaniczny; Budowa i eksploatacja maszynDr hab. inż. - 2016r. - Politechnika Gdańska; Wydział Mechaniczny; Budowa i eksploatacja maszyn Dotychczasowe i planowane obszary badań: Redukcja drgań podczas obróbki frezowaniem i toczeniem Zastosowanie zmiennej prędkości...

  • Internetowy system oceny jakości oprogramowania

    Przedstawiono nową wersję systemu oceny jakości oprogramowania QES), zrealizowaną w technologii WWW. QES charakteryzuje się bardziej elastycznym modelem jakości oraz zawiera znacznie większą funkcjonalność niż jego poprzednik (SOJO). Pozostawia użytkownikowi dużą swobodę oceny konkretnego procesu wytwarzania lub produktu wynikającego z tego procesu. Zapewnia możliwość porównania jakości różnych metodologii lub szczegółowych rozwiązań....

  • Pomiar rozmiaru i prcochłonności oprogramowania

    Zależność pomiędzy rozmiarem wytworzonego oprogramowania a pracochłonnością jest istotną wskazówką dla skutecznego planowania procesu wytwórczego oraz konstruowania harmonogramów. W referacie skupiono się na fragmencie tego problemu dotyczącą miar oraz technik pomiaru rozmiaru i pracochłonności związanych z realizacją przedsięwzięcia informatycznego. Przedstawiono główne miary rozmiaru i pracochłonności oraz zaprezentowano narzędzie...

    Pełny tekst do pobrania w portalu

  • Uniwersyteckie Centrum Kompetencyjne Technologii Oprogramowania

    Publikacja

    Poniższy rozdział stanowi rodzaj case study, gdzie na przykładzie Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania funkcjonującego przy Politechnice Gdańskiej przedstawiona została koncepcja powoływania i funkcjonowania centrów rozwijania technologii informatycznych tworzony przy uczelniach wyższych przy współpracy z partnerami biznesowymi. Przedstawione zostały potrzeby powoływania takich jednostek organizacyjnych,...

  • Trendy, wyzwania w inżynierii oprogramowania

    Publikacja

    - Rok 2010

    Wywiad z prof. Januszem Górskim.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Programowanie algorytmiczne w edukacji architektonicznej

    Publikacja

    Wprowadzenie komputerów do projektowania architektonicznego uprościło projektowanie złożonych form geometrycznych. Na podstawie cyklicznych warsztatów badawczych, prowadzonych od 2011 roku na Politechnice Gdańskiej, przedstawiona została problematyka związana z zastosowaniem projektoawania algorytmicznego w architekturze. Celem warsztatów jest popularyzacja oraz sprawdzenie sprawności posługiwania się narzędziami służącymi do projektowania...

  • Zjawisko wyścigu w programowaniu współbieżnym

    Publikacja

    - Rok 2021

    W rozdziale przedstawiono omówienie podstawowego problemu, z jakim, prędzej czy później, styka się każdy programista piszący oprogramowanie wykorzystujące współbieżność. W praktyce będzie to każdy programista starający się w pełni wykorzystywać moc obliczeniową współczesnych wielordzeniowych procesorów i akceleratorów

  • Wzajemne wykluczanie w programowaniu współbieżnym

    Publikacja

    - Rok 2021

    W rozdziale opisano wzajemne wykluczanie wątków w programach współbieżnych. Przedstawiono zarówno podejście proceduralne (semafory), jak i obiektowe (monitory). Omówiono sposoby działania obu mechanizmów synchronizacji oraz różnice pomiędzy nimi. Sposoby użycia omawianych mechanizmów zostały zilustrowane wzorcami: wzajemnego wykluczania oraz producent–konsument.

  • Aspekty metodologiczne interdyscyplinarnej inżynierii oprogramowania

    Publikacja

    - Rok 2005

    Interdyscyplinarna inżynieria oprogramowania jest nowym nurtem w inżynierii oprogramowania, który ma prowadzić do rozwiązania istniejących problemów poprzez badanie natury zjawisk i technik projektowych w kontekście interdyscyplinarnym. W referacie zidentyfikowano podstawowe zagadnienia metodologiczne, które należy wziąć pod uwagę w celu efektywnego prowadzenia badań oraz przeprowadzono ich dyskusję. Następnie podjęto próbę wyodrębnienia...

  • Metody testowania platformy KASKADA

    Publikacja

    W rozdziale przedstawiono wykorzystywany iteracyjny i inkrementalny proces wytwarzania oprogramowania, ze szczególnym uwzględnieniem planowania, wykonywania i śledzenia testów oprogramowania platformy KASKADA. Zaprezentowano model V i przykłady testów jednostkowych, systemowych, wydajnościowych i wiarygodnościowych. Przedstawiono wybrane wyniki testów oraz ich wpływ na konstrukcję platformy.

  • Wykonanie obliczeń sprawdzających koncepcję procedury zabezpieczenia platformy głowicowej PG-1 podczas naprowadzania platformy Petrobaltic na pozycję platformy PG-1

    Publikacja

    - Rok 2011

    Na zamówienie firmy Lotos Petrobaltic S.A. przeprowadzono wielowariantową analizę obliczeniową układu stabilizacji platformy PG-1 podczas procedury podejścia platformy Petrobaltic. Uwzględniono różne stany morza oraz sposoby realizacji układu elementów zapewniających stateczność poprzeczną platformy.

  • Programowalna macierz analogowa CMOS

    Opisano programowalny wzmacniacz transkonduktancyjny oraz konfigurowalny blok analogowy CAB (Configurable Analog Block) składający się ze wzmacniacza transkonduktacyjnego, kluczy sygnałowych oraz programowalnego kondensatora.

  • Oprogramowanie mobilnego komunikatora multimedialnego

    Artykuł przedstawia efekty prac nad stworzeniem oprogramowania dla mobilnego komunikatora multimedialnego. Projektowane urządzenie ma umożliwić użytkownikom swobodną komunikację (tekstową, głosową, wideo) oraz możliwość lokalizowania innych użytkowników dzięki działającej w tle wymianie informacji o pozycji. W referacie zaprezentowano architekturę systemu oraz oprogramowania stworzonego w środowisku Qt realizującego założoną funkcjonalność....

  • Mechatronic approach to the design of 2-wheel mobile platform

    Publikacja

    W pracy przedstawiono podejście mechatroniczne do projektowania 2-kołowego robota mobilnego przeznaczonego do testowania algorytmu nadzorowania za pomocą sterowania optymalnego przy energetycznym wskaźniku jakości. Badany robot jest skrępowany więzami nieholonomicznymi. Model matematyczny 2-kołowej platformy mobilnej jest opisany za pomocą skończonej liczby nieliniowych równań różniczkowych.

  • Programowanie działań przestrzennychuwarunkowanych równoważeniem rozwoju regionu

    Publikacja

    W artykule przedstawiono zarys badań nad kryteriami wyboru i kolejności działań z zakresu zrównoważonej odnowy przestrzeni miejskiej, które wpisują się w równoważenie rozwoju regionu. W wyniku przeprowadzonych badań stworzony zostanie system kryteriów oceny inwestycji, pozwalający ustalić priorytety działań przestrzennych i odpowiednie instrumenty w skali ponadlokalnej i regionalnej.

  • Zastosowania metody HAZOP w inżynierii oprogramowania.

    Publikacja

    - Rok 2003

    Artykuł przedstawia HAZOP - metodę analizy modeli systemów oraz jej zastosowania w dziedzinie inżynierii oprogramowania do identyfikacji błędów obecnych w modelach. Omawiane są różne obszary stosowalności związane z różnymi klasami błędów: defektów modelowania, zdarzeń niebezpiecznych dla otoczenia systemu oraz zagrożeń związanych z zabezpieczeniem systemu. Artykuł prezentuje również dotychczasowy stan badań związanych...

  • Ryzyko etyczne w procesie wytwarzania oprogramowania

    Publikacja

    - Rok 2003

    Praca rozpatruje współczesne problemy wytwarzania oprogramowania. Jednym zesposobów ich rozwiązywania jest uwzględnienie zagadnien ryzyka etycznego, rozumianego jako zagrożenia, jakie dla sukcesu przedsięwzięcia stwarzają problemy etyki podejmowanych decyzji, odstępstwa od obowiązującego prawa, uwarunkowań polityki projektu, wpływu projektu na ludzi biorących w nim u- dział i otaczających go. Autorzy przytaczają niektóre...

  • Logika opisowa jako język modelowania oprogramowania

    Publikacja

    - Rok 2008

    W referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Programowanie Obiektowe z Użyciem Adnotacji Semantycznych

    Publikacja

    - Rok 2011

    W tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...

  • Ośrodki Leczenia Uzależnień - Programowanie i Projektowanie

    Publikacja

    - Rok 2015

    Problematyka projektowania i programowania współczesnych ośrodków leczenia uzależnień jest wyzwaniem dla architektów. Nastał właściwy czas dla powstawania nowych, w pełni skutecznych, funkcjonalnie dopracowanych modelowych ośrodków leczenia i opieki nad osobami uzależnionymi. W związku z tym w niniejszym rozdziale zawarto opis zarysu modelowych koncepcji ośrodków leczenia uzależnień oraz zaprezentowano dwa przykłady projektów magisterskich...

  • Druga edycja Konferencji Inżynierii Oprogramowania beIT

    Publikacja

    - Pismo PG - Rok 2016

    W dniach 18–20 marca 2016 roku na Wydziale Elektroniki, Telekomunikacji i Informatyki odbyła się II Konferencja Inżynierii Oprogramowania beIT. Podobnie jak pierwszą edycję Konferencji beIT, tegoroczne spotkanie zorganizowało Koło Naukowe Zarządzanie IT przy wsparciu Katedry Inżynierii Oprogramowania, WETI oraz JM Rektora PG. Do przeprowadzenia 15 warsztatów, 4 sesji dyskusyjnych round tables oraz 5 wykładów organizatorzy zaprosili...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • RDQC - sterowana wymaganiami kontrola jakości oprogramowania

    Publikacja

    - Rok 2004

    Artykuł omawia metodę RDQC sterowania jakością wytwarzanego oprogramowania w oparciu o zbiór stawianych mu wymagań. W tym celu dokonywana jest specyfikacja wymagań wobec oprogramowania, stanowiąca następnie podstawę dla wybrania najbardziej istotnych charakterystyk jakościowych. W kolejnych fazach procesu wytwórczego wybrane charakterystyki podlegają kontroli - poprzez interpretację odpowiedzi na przypisane im pytania i pomiary...

  • Wykorzystanie metod zorientowanych obiektowo do programowania sterowników programowalnych

    W artykule zostały przedstawione główne udogodnienia wynikające z wykorzystywania zasad i metod podejścia obiektowego do programowania sterowników programowalnych. Omówiona została aktualna sytuacja tradycyjnych języków tekstowych i graficznych po wprowadzeniu rozszerzenia IEC 61499 normy IEC61131. W dalszej części zaprezentowano podział cyklu tworzenia programu na trzy zasadnicze części - analizę, projektowania oraz programowanie...

    Pełny tekst do pobrania w portalu

  • Użyteczność platformy KASKADA (rozdział 6)

    Publikacja

    Zadania wykonane w ramach projektu MAYDAY EURO 2012 w temacie można podzielić na dwie główne kategorie: prace implementacyjne, obejmujące zarówno implementację rozwiązań ekstrakcji cech twarzy jak i systemów rozpoznawania i typowania osób na platformach WINDOWS i KASKADA, prace badawcze, obejmujące z kolei badania związane ze skutecznością typowania i rozpozna-wania osób oraz możliwości zrównoleglania opracowanych rozwiązań na...

  • Dobór parametrów platformy załadowczo-rozładunkowej

    Artykuł opisuje propozycję zastosowania pneumatycznego mechanizmu napędowego windy załadowczej zasilanej sprężonym powietrzem z układu hamulcowego samochodu ciężarowego. Autorzy starają się określić moc poszczególnych urządzeń napędu. W tym celu wykonano symulację komputerową ruchu platformy windy, na podstawie której określono momenty jakie muszą wytworzyć silniki pneumatyczne. Obliczono czasy opadania i podnoszenia platformy.

    Pełny tekst do pobrania w portalu

  • Platforma agentowa JADE

    Publikacja

    - Rok 2006

    Rozdział opisuje agentowe środowisko programistyczne i wykonawcze JADE (ang.: Java Agent Developmnet framework).

  • Wybrane zagadnienia licencji na oprogramowanie

    Publikacja

    - Rok 2011

    W rozdziale przedstawione zostały wybrane zagadnienia licencji na oprogramowanie obejmujące uwarunkowania prawne, niejawne elementy licencji, praktykę tworzenia umów licencyjnych i konsekwencje naruszania umów licencyjnych. Zaprezentowane zostały także wyniki badania mającego na celu poznanie poziomu wiedzy, praktyk związanych z czytaniem i rozumieniem licencji oraz opinii użytkowników na temat licencji. Końcowa część rozdziału...

  • Wykonanie i oprogramowanie robota kroczącego

    Publikacja

    Jednym z najpopularniejszych robotów kroczących jest robot o sześciu nogach – heksapod. Artykuł przedstawia projekt, wykonanie i oprogramowanie heksapoda. Sterowanie robotem polega na odpowiednim ustawieniu wartości wychylenia serwomechanizmów, które dają możliwość poruszania się poszczególnych odnóży. W urządzeniu sterującym zaimplementowano różne typy chodu robota.

    Pełny tekst do pobrania w portalu

  • Klasyfikacja platform roboczych

    Publikacja

    - Rok 2012

    W artykule przedstawiono problem konstrukcji tymczasowych, tzw. platform roboczych, oraz ich klasyfikacji. Na wstępie zaprezentowano ogólne podejście do projektowania, wykonawstwa i utrzymania platform roboczych. W części głównej omówiono w sposób szczegółowy proponowany przez autorkę podział, ze zwróceniem uwagi na czynniki oddziałujące na poszczególny przypadek platformy roboczej.

  • Analiza możliwości poprawy wydajności oprogramowania systemów sieciowych

    Zaprezentowano dwie metody poprawy wydajności aplikacji sieciowych: zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela oraz wykorzystanie wielordzeniowej natury nowych procesorów. Wskazano, że zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela wiąże się z ryzykiem utraty stabilności jądra systemu. Wykorzystanie tej metody związane jest również z niebagatelnym nakładem inżynierskim...

  • Strategia doboru oprogramowania optymalizacji transportu - przykład aplikacyjny

    Publikacja

    - Rok 2008

    W artykule pokazano praktyczne wdrozony w praktyce przemysłowej komputerowo wspomagany system optymalizacji transportu. Na wstepie scharakteryzowano wyjsciową sytuację decyzyjną przedsiebiorstwa w połączeniu z jego parametrami logistycznymi. Z kolei pokazano techniki i narzedziaorganizacji projektu IT z wykorzystaniem modeli referencyjnych ładu korporacyjnego, na przykłądzie kaskadowego modelu życia systemu IT, procesowo-projektowej...

  • Identyfikacja modułów oprogramowania na poziomie kodu maszynowego

    Poruszono zagadnienia porównywania elementów programów w postaci kodów binarnych. Identyfikacja podobnych do identycznych fragmentów kodu w różnych programach może stanowić podstawę do wyodrębnienia tych kodów i nadania im postaci bibliotek powszechnego użytku. W artykule pokazano wybrane metody identyfikacji takich modułów, jak również przeedstwaiono aplikację używaną do porównywania modułów oprogramowania.

  • Model zarządzania zasobami oprogramowania w organizacjach gospodarczych

    .

    Pełny tekst do pobrania w portalu