Search results for: teoria konstrukcji - Bridge of Knowledge

Search

Search results for: teoria konstrukcji

Search results for: teoria konstrukcji

  • Teoria konstrukcji hydrotechnicznych

    e-Learning Courses
    • W. Magda

    Kurs realizowany zgodnie z programem studiów na Wydziale Inżynierii Lądowej i Środowiska (WILiŚ) Politechniki Gdańskiej. Studia:   II stopnia - magisterskie, stacjonarne Kierunek: Budownictwo wodne i morskie

  • Teoria Konstrukcji Mostowych - 2022/2023

    e-Learning Courses
    • M. Binczyk
    • P. Kalitowski
    • K. Żółtowski

  • Teoria Konstrukcji Mostowych - 2023/2024

    e-Learning Courses
    • M. Binczyk
    • P. Kalitowski
    • K. Żółtowski

  • Teoria Konstrukcji Nawierzchni [II sem mgr, Budownictwo, stacjonarne] - 21/22

    e-Learning Courses
    • M. Jaczewski
    • B. Dołżycki

    W trakcie kursu studenci poznają następujące zagadnienia: - modele materiałów drogowych - modele konstrukcji nawierzchni - projektowanie nawierzchni w oparciu o metody mechanistyczno - empiryczne

  • Katedra Mechaniki Budowli

    Aktualnie działalność naukowo-badawcza Katedry koncentruje się, na następujących zagadnieniach: modelowanie konstrukcji, identyfikacja modeli, mechanika konstrukcji cienkościennych, konstrukcje kompozytowe, nieliniowa statyka i dynamika, teoria niezawodności, problemy zniszczenia, optymalizacja konstrukcji, analiza wrażliwości, identyfikacja uszkodzeń konstrukcji, analiza wpływu drgań na budowlę, czy biomechanika.

  • On dynamics of the question mark shell structure

    Publication

    W pracy prezentuje się problemy analizy dynamicznej nieregularnej konstrukcji powłokowej na przykładzie powłoki w kształcie znaku zapytania. Badania oparto na sześcioparametrowej nieliniowej teorii powłok, która pozwala na dyskretyzację modelu metodą elementów skończonych zawierających sześć stopni swobody w węźle. Ta teoria daje możliwość poprawnego modelowania nieregularności oraz rozgałęzień i ortogonalnych przecięć, jak również...

  • Large rotations in first-order shear deformation FE analysis of laminated shells

    Publication

    Abstrakt: Teoria powłok o skończonych obrotach w ramach modelu ścinania pierwszego rzędu stanowi podstawę zaprezentowanego w pracy algorytmu MES statycznej, geometrycznie nieliniowej analizy konstrukcji warstwowych. Szczególną uwagę zwrócono na właściwy opis skończonych obrotów przy zastosowaniu kątów Eulera oraz procedurę uaktualniania parametrów obrotowych. Przedstawiono sformułowanie przyrostowe w stacjonarnym opisie Lagrange´a....

    Full text available to download

  • Piotr Korzeniowski dr hab. inż.

    People

  • Układy dynamiczne w analizie zachowania się geosyntetyków w kolejowych konstrukcjach inżynierskich

    W analizie współpracy geosyntetyków z elementami konstrukcji inżynierskiej możemy je traktować jako membrany sprężyste lub powłoki posadowione na różnych rodzajach podłoża. Modelowanie układu rzeczywistego oznacza jego idealizację pod kątem uwzględnienia tych cech ośrodka i jego elementów, które wydają się najistotniejsze z punktu widzenia analizowanego problemu. Zbudowany zostanie model fizyczny, a następnie matematyczny przedstawiony...

    Full text available to download

  • Wybrane zagadnienia hydrosprężystości zbiorników okrętowych i oceanotechnicznych. Teoria i badania.

    Publication

    - Year 2005

    Rozprawa habilitacyjna: dotyczy zagadnień dodatkowych obciążeń konstrukcji zbiorników od ruchu cieczy znajdującej się w zbiorniku oraz obciążeń pochodzących od ruchu fali. Przeprowadzono analizy teoretyczne ruchu cieczy w zbiorniku przy założeniu potencjalnego przepływu cieczy. Rozważania teoretyczne potwierdzono badaniami na modelu zbiornika wypełnionego cieczą. Wyniki badań eksperymentalnych poddano analizie numerycznej. Wyniki...

  • Marcin Potrykus dr inż.

    A graduate of the Faculty of Management and Economics at the Gdańsk University of Technology. Since 2008, he has been employed as an Assistant at the Department of Finance at the Faculty of Management and Economics of the Gdańsk University of Technology. In 2015, he defended (in the discipline of economics) his doctoral dissertation entitled "Alternative investments - profitability and risk". Since 2016, he has been employed as...

  • Guided wave propagation in structures. Modelling, experimental studies and application to damage detection

    Publication

    - Year 2011

    Celem niniejszej pracy są eksperymentalne i numeryczne analizy propagacji prowadzonych fal sprężystych w stalowych konstrukcjach prętowych, belkowych, ramowych, tarczowych i płytowych. W szczególności praca poświęcona jest: (a) modelowaniu propagacji fal z uwzględnieniem zjawiska dyspersji; (b) budowie modeli obliczeniowych w formalizmie metody elementów spektralnych; (c) eksperymentalnej weryfikacji zaproponowanych modeli; (d)...

  • Aktualności teorii architektonicznych

    Publication

    - Year 2011

    Teoria architektury nie może istnieć i rozwijać się bez praktyki w dziedzinie architektury. obecnie teoria architektoniczna ma postać metastruktury intelektualnej silnie zblizonej do dyscyplin takich jak krytyka architektoniczna, historia architektoniczna czy filozofia twórczości- stanowi samodzielna jakość naukową.lista dziedzin naukowych,które wciela do swego dyskursu współczesna teoria architektoniczna, ewoluuje jak każda...

  • Teorie i modele stosowane w badaniach i działaniach prewencyjnych na rzecz bezpieczeństwa ruchu drogowego

    Publication

    - Year 2006

    Minęło już 100 lat od chwili, kiedy podjęto pierwsze próby zmierzające do wyjaśnienia róznych aspektów powstawania wypadków. W tym okresie narodziło się wiele teorii wyjaśniających aspekty powstawania wypadków drogowych:1. Teoria wypadków jako czysto losowych zdarzeń (1900-1930)2. Statystyczne teorie wypadków (1920-1950)3. Przyczynowa teoria wypadków (1930-1970)4. Teorie systemowe (1960-2000)5. Behawioralna teoria wypadków (1980-2000).

  • Statyka i dynamika powłok wielopłatowych. Nieliniowa teoria i metoda elementów skończonych.

    Publication

    - Year 2004

    W części teoretycznej monografii sformułowano ścisłe 2D powierzchniowe zasady dynamiki powłok jako wynik całkowania po grubości odpowiednich 3D zasad dynamiki ośrodka ciągłego. Odpowiadająca im 2D kinematyka powłoki jest konstruowana również ściśle na poziomie dwuwymiarowym. Przybliżenia są wprowadzane jedynie do równań konstytutywnych, które są z definicji zależnościami przybliżonymi, opartymi o badania eksperymentalne. Konsekwencją...

  • Konstrukcje powierzchniowe

    e-Learning Courses
    • P. Kłosowski

    Konstrukcje tarczowe i płytowe – teoria, zastosowania w MES. Zginanekonstrukcje powłokowe – teorie liniowe i nieliniowe, zastosowania MES, Błonowe konstrukcjepowłokowe – teoria, modelowanie w MES, problemy obliczeń liniowych i nieliniowych, problemywykonawcze. Dźwigary siatkowe – teoria i właściwe modelowanie w MES, problemy wstępnego napięcia.Przykłady realizacji zaawansowanych konstrukcji powierzchniowych

  • Jan Kozicki dr hab. inż. arch.

    In year 2002 after obtaining master's degree in construction was employed on Faculty of Civil and Environmental Engineering. In 2004 obtained master's degree in architecture on Faculty of Architecture focusing on a research outpost on Mars. Defended PhD in year 2007 in the field of numerical modeling. In 2013 obtained Licentiate degree in theoretical physics on University of Gdańsk. In year 2014 obtained habilitation in technical...

  • Destruction of shell structures under the dynamic load on the human skull trauma basis

    Publication

    The main aim of this work is to investigate patterns of potential orbital bone fractures due to mechanical injuries. The solution of the main problem is followed by analysis of several testing examples having straight correlation with civil engineering structures, in which materials of wide range of stiffness are applied. To solve the main problem, the three-dimensional finite element method (FEM) model of the orbital region has...

  • Paradygmaty kariery przedsiębiorcy

    Publication

    Kariery przedsiębiorców charakteryzują się pewnym uniwersalizmem, ale mają też swoją odrębną specyfikę. Ramy teoretyczne, modele i narzędzia badań bariery przedsiębiorcy wytyczają: ogólna teoria kariery i motywacji, teoria przedsiębiorczości wspomagana przez socjologię, psychologię i nauki o zarządzaniu przedsiębiorstwem orientacja kariery - w sensie ogólnym - wyraża się w zakładaniu firmy, jej przedsiębiorczym prowadzeniu, poszukiwaniu...

  • Statkowa technika antenowa

    W artykule przedstawiona została zarówno teoria, jak i technika anten statkowych. Dodatkowo przedstawione zostały uwarunkowania kompatybilności elektromagnetycznej anten statkowych.

  • Adama Smitha filozofia moralności (cz. 1)

    Publication

    Omówiono filozofię moralności Adama Smitha (1723-1790) wyłożoną w jego dziele "Teoria uczuć moralnych", w tym koncepcję sympatii i bezstronnego obserwatora.

  • On the theory and numerical simulation of acoustic and heat modes interaction in a liquid with bubbles: acoustic quasi-solitons

    Publication

    - APPLIED MATHEMATICAL MODELLING - Year 2002

    Teoria rzutowania zaburzenia ogólnego na mody. Zastosowanie metody do badań układu równań typu Korteweg`a-de Vries`a. Rozwiązania analityczne i simulacje numeryczne.

    Full text available to download

  • Teoria i praktyka

    Publication

    Teoria i praktyka to pojęcia, których zdefiniowanie w odniesieniu do projektowania architektoniczno-urbanistycznego pozwala na określenie zależności pomiędzy przestrzeniami wymagającymi bezwzględnej równowagi.

    Full text to download in external service

  • Grafy w Imperium Rzymskim

    Publication

    - Pismo PG - Year 2021

    Teoria grafów znalazła zastosowanie w sieciach telekomunikacyjnych, transporcie, bioinformatyce, zarządzaniu i w wielu innych dziedzinach. Ale co ma ona wspólnego z Imperium Rzymskim?

    Full text available to download

  • Mechanika, W, MiBM, I st., sem. 02, letni 23/24, (PG_00061190)

    e-Learning Courses
    • E. Wittbrodt

    Mechanika ogólna jest przedmiotem podstawowym, przygotowującym do studiowania innych przedmiotów teoretycznych, takich jak np.: wytrzymałość materiałów, mechanika płynów, termodynamika, podstawy konstrukcji maszyn, teoria maszyn i mechanizmów, podstawy automatyki, robotyka, technologie kosmiczne i satelitarne.Podczas zajęć studenci zapoznają się z podstawowymi prawami i zasadami mechaniki oraz uczą się rozwiązywania zadań praktycznych.

  • Mode interaction in few-mode optical fibres with Kerr effect

    Publication

    Uogólnioną metodę rzutowania do ortogonalnej bazy funkcji poprzecznej współrzędnej Bessela stosuje się do wyprowadzania układów równań nieliniowych Schrodingera. Teoria jest ważna dla paczek falowych w światłowodach i kilku modelach.

  • Moddeling urban processes based on requirements ofself-organization theory.

    Publication

    - Year 2004

    W artykule przedstawiono ogólne podstawy symulacji rozwoju urbanistycznego w oparciu o modele komórkowe. Nowa teoria, wykorzystująca aparat matematyczny stworzony do badań i modelowania dynamiki układów nieliniowych, rozszerza również możliwości poznawcze i wykorzystanie systemów GIS w szeroko pojmowanym planowaniu przestrzennym. Jej szybki rozwój w ostatnich latach i niezwykłe osiągnięcia w poznaniu procesów rządzących podstawową...

  • Mechanika, W, MTR, I st., sem. 02, letni 23/24, (PG_00060473)

    e-Learning Courses
    • E. Wittbrodt

    Mechanika ogólna jest przedmiotem podstawowym, przygotowującym do studiowania innych przedmiotów teoretycznych, takich jak np.: wytrzymałość materiałów, mechanika płynów, termodynamika, podstawy konstrukcji maszyn, teoria maszyn i mechanizmów, podstawy automatyki, robotyka, technologie kosmiczne i satelitarne. Podczas zajęć studenci zapoznają się z podstawowymi prawami i zasadami mechaniki oraz uczą się rozwiązywania zadań praktycznych.

  • Feliks Koneczny o cywilizacjach

    Publication

    Artykuł przedstawia zarys teorii cywilizacji opracowanej przez Feliksa Konecznego (1862-1949). Teoria ta zakłada, że najdoskonalszą formą cywilizacji jest cywilizacja łacińska oparta na religii katolickiej. W artykule wskazano również na kontekst idologiczny teorii F. Koniecznego.

  • Relacje w edukacyjnym kształtowaniu teorii i praktyki inżynierskiej

    Publication

    - Year 2005

    Rozważono wzajemne zależności i współdziałanie pomiędzy teorią i praktyką w kształtowaniu zawodowej działalności inżynierów - zakładając, że teoria jest równoznaczna z kreatywnym myśleniem. Aby móc wykształcić intelektualnie dojrzałych ludzi techniki, niezbędna jest edukacja respektująca wysokie standardy wykształcenia ogólnego.

  • Wpływ teorii chaosu na niektóre tradycyjne stanowiska ontologiczne oraz na spór o redukcjonizm

    Teoria chaosu stanowi nie tylko nowy paradygmat w nauce, ale także inspirację do badań filozoficznych nad rzeczywistością. W artykule podjęto próbę zarysowania głównych założeń teorii chaosu oraz określenia jej wpływu na niektóre tradycyjne stanowiska ontologiczne oraz spór o redukcjonizm. Z punktu widzenia ontologii, w dynamice nieliniowej szczególnie interesujący jest powrót do ciągłościowego monoizmu w opozycji do atomizmu....

  • Projektowanie środowiskowe - edukacja architektoniczna

    Publication

    - Year 2009

    Przedstawiono krytykę obecnej edukacji architektonicznej oraz dyskusję nad kierunkami jej zmian. Omówiono dokumenty międzynarodowych organizacji zajmujących się teoria i praktyką edukacji architektonicznej ze szczególnym uwzględnieniem edukacji w zakresie projektowania środowiskowego oraz systemów samoksztalcenia (learning to learn) i kształcenia ustawicznego.

  • Acoustic radiation force and streaming caused by non periodic acousticsource.

    Teoria i obliczenia numeryczne przepływu rotacyjnego (''streamingu'') towarzyszącemu fali akustycznej w przepływach lepkich nieliniowych. Fala wywołująca może być nieokresowa: impulsowa lub paczka falowa itd. Przykład pojedynczego pulsu rozpatrywany. Ilustracje delikatnej struktury czasowej powstania fal rotacyjnych przedstawione na rysunkach.

  • Acoustic streaming caused by modulated sound and wave packets.

    Publication

    - Year 2004

    Rozpatruje się powstanie pola wirowego na skutek nieliniowej propagacji fali akustycznej w środowiskach z lepkością. Teoria odwołuje się do fal akustycznych nieokresowych, w odróżnieniuod teorii klasycznej. Obliczenia numeryczne na podstawie nowych wzorów są porównywane z wynikami teorii klasycznej.

  • Interaction of modes in nonlinear acoustics: theory and applications to pulse dynamics.

    Ogólna teoria oddziaływania modów hydrodynamicznych opiera się na wyprowadzeniu równań różniczkowych nieliniowych. Mody rozumiane są tu jako wektory własnych układów praw zachowań hydrodynamicznych. Rozpatrywano zjawiska towarzyszące fali akustycznej w przepływie lepkim nieliniowym. Uwzględniono płyny w każdym fizycznym równaniu stanu.

  • Dziesięć lat prywatyzacji w Polsce. Teoria a praktyka

    Artykuł składa się z trzech części: 1. Motywy i cele polskiej prywatyzacji - teoria transformacji przekształceń własnościowych, rodzaje metod prywatyzacyjnych. 2. Dynamika i aktualny stan prywatyzacji polskich przedsiębiorstw państwowych w latach 1990-2000. 3. Próba oceny skuteczności i efektywności stosowanych metod i ścieżek prywatyzacji.

  • Some integral transforms and their applications

    Publication

    Motywacją napisania pracy były równania różniczkowe cząstkowe z odchyleniem przy pochodnych. Ponieważ w tym przypadku nie funkcjonuje teoria charakterystyk, więc badamy nowe przekształcenia całkowe w celu znalezienia odpowiedniej aproksymacji jednostajnej lub średniokwadratowej dla zagadnienia Cauchy`ego. Przedstawiamy również eksperymenty numeryczne oparte na zmodyfikowanej metodzie Galerkina.

  • DEM-FEM model of highly saturated soil motion due to seepage force

    Artykuł poświęcono nowej propozycji rozwiązania problemu modelowania zjawiska transportu, które występuje wewnątrz wysoko-nawodnionego gruntu ziarnistego na skutek ciśnienia spływowego. Teoria oparta została na połączeniu metody elementów skończonych (FEM - Finite Element Method) - rozwiązania równań poro-elastycznych oraz metody poszczególnych elementów (DEM - Distinct Element Method), które dały podwójny model numeryczny. FEM...

  • Wydajność jako czynnik sukcesu przedsiębiorstwa wykorzystującego metodologię TOC na przykładzie zakładu produkującego beton komórkowy

    Publication

    Autorka pragnie skupić się na problemie wydajności i wykazać znaczenie narzędzi służących poprawie efektywności procesu produkcyjnego na przykładzie zakładu wytwarzającego beton komórkowy. Tezą postawioną w niniejszym referacie jest możliwość usprawnienia organizacji i logistyki produkcji poprzez wykorzystanie metody zarządzania, jaką jest Teoria Ograniczeń (ang. Theory of Constraints - TOC).

  • Tribology of bone tissue culture in bioreactor.

    Publication

    - TRIBOLOGIA - Year 2003

    Opracowano system tribologiczny powstających sił tarcia w bioreaktorze. Pomimo, że wartości sił tarcia osiągają wartości poniżej 0,1 N to mają one decydujący wpływ na wartość porostu tkanki. Mechanika opływu tkanki cieczą o właściwościach biologicznych nienewtonowskich oraz hydrodynamiczna teoria opływu warstwy przyściennej jest bazą wyznaczania parametrów trybologicznychniniejszej pracy.

  • Stochastic model of the load spectrum for main engines of sea-going ships

    Publication

    W artykule przedstawiono możliwość zastosowania procesów semimarkowskich do probabilistycznego opisu widma obciążeń silników o zapłonie samoczynnym, zastosowanych do napędu statków - czyli silników głównych. W rozważaniach uwzględnione zostały charakterystyki zewnętrzne mocy tego rodzaju silników. Umożliwiły one sformułowanie czteroelementowego zbioru stanów procesu obciążeń tego rodzaju silników. Do opisu rzeczywistego procesu...

    Full text available to download

  • Samooczyszczanie się gruntów z substancji organicznej. W: [CD-ROM] Konfe-rencja Naukowo-Techniczna ''Przyszłość Wrocławskich Pól Irygacyjnych''. Wro- cław 13-14XI 2003. Wrocław: Miejskie Przeds. Wodociągów i Kanalizacji**2003 s. 1-7, 2 rys. bibliog. 7 poz.

    Podstawą rozważań jest teoria procesu samooczyszczania się gruntów w warun-ków aerobowych. W pracy opisano model matematyczny rozkładu zanieczyszczeń organicznych w gruncie oraz dokonano doświadczalnej weryfikacji tego modelu.Wykazano, że dla gruntów nawadnianych ściekami stężenie tlenu w ich fazie gazowej może być wyznaczane doświadczalne i obliczane. Wyniki pomiarów i ob-liczeń okazały się ze sobą zgodne.

  • Dobrobyt ekonomiczny.

    Publication

    - Year 2004

    Praca stanowi przegląd teorii i praktyki pomiaru dobrobytu ekonomicznego (indywidualnego i społecznego). Podstawę teoretyczną stanowi tu mikroekonomiczna teoria zachowań konsumenta. W pierwszej części przedstawiono sposób pomiaru dobrobytu za pomocą nadwyżki konsumenta. W części następnej, dobrobyt mierzony jest za pomocą indeksów, w szczególności skal ekwiwalentności. Część trzecia poświęcona jest problemom agregacji dobrobytu...

  • Filozofia krytyczna jako teoria metody poznania naukowego

    Publication

    - Year 2008

    Praca Parszutowicza Filozofia krytyczna jako teoria metody poznania naukowego postuluje możliwość wykorzystania metody kantowskiej jako specyficznej filozofii nauki. Jest propozycją ograniczenia zbyt wielkich zdaniem autora oczekiwań względem filozofii transcendentalnej i wykorzystania jej w sposób, który jak dotąd przynosił największe efekty - mianowicie jako filozofii i metodologii nauk. Rekonstruuje historyczne przykłady takiego...

  • Struktury danych.

    Publication

    - Year 2002

    Praca stanowi podręcznik dla studentów pierwszych lat informatyki. Prezentuje ona podstawowe struktury danych stosowane w programach komputerowych wraz z algorytmami, ukierunkowanymi na przechowywanie informacji oraz operowanie informacją przy użyciu tych struktur. W podręczniku omówiono m.in. następujące zagadnienia: tablice uporządkowane, tablice rozproszone, sortowanie tablic, listy, drzewa binarne, drzewa wyszukiwawcze,...

  • Generation of the vorticity mode by sound in a vibrationally relaxing gas

    W badaniu została przedstawiona procedura wyprowadzenia nowego równania dla modu wirowego generowanego przez ultradźwięki w gazach z pobudzonymi stopniami swobody. Pokazano, że w pewnych warunkach kierunek linii prądu dla modu wirowego jest przeciwny w porównaniu do płynów ze standardowym tłumieniem. Teoria została zilustrowana na przykładzie generowania modu wirowego przez okresową wiązkę akustyczną ze słabą dyfrakcją poprzeczną.

    Full text available to download

  • Badanie stabilności uogólnionych liniowych układów dynamicznych

    Publication
    • M. Regulińska

    - Year 2009

    teoria stabilności zajmuje się jakościową analizą układów dynamicznych. do badania stabilności uogólnionych układów dynamicznych wykorzystuje się uogólnione wielomiany wykładnicze, które wykorzystywane są w metodzie wyznaczania odpowiedzi układów dynamicznych. takie ujęcie problemu stabilności pozwala badać stabilnoś szerokiej klasy układów dynamicznych w sposób jednolity, np. dla klasycznych układów dynamicznych ciągłych i dyskretnych...

  • Modelling and uncertainty in system analysis for safety assessment.

    Publication
    • K. T. Kosmowski

    - Year 2004

    Artykuł obejmuje zagadnienia związane z modelowaniem i reprezentacją niepewności i ilościowych oszacowaniach ryzyka. Problem jest istotny w praktyce, ponieważ wystęopujhą wymagania przeprowadzenia ocen niepewności miar probabilistycznych i ryzyka. Dyskutuje się potencjalne żródła niepewności i dokonuje sie przeglądu podstaw teoretycznych reprezentacji niepewności. W modelowaniu systemów zawierających nieprecyzyjnie zdefiniowane...

  • Uchyb, błąd, niepewność - geneza określania niedokładności w miernictwie elektrycznym

    W artykule przedstawiono genezę pojęć określających niedokładność wyników pomiarów w miernictwie elektrycznym. W zależności od czasu obowiązywało pojęcie błędu lub uchybu, były okresy, gdy oba zwroty traktowano jako równoważne, ale również takie, gdy występowały oba zwroty, oznaczające co innego. Ostatecznie przyjęło się pojęcie błędu, a w latach 90-tych XX wieku wprowadzono kolejną miarę jakości wyników pomiarów – niepewność pomiaru,...

    Full text available to download

  • ILOŚCIOWE BADANIA MAKROEKONOMICZNE W KONTEKŚCIE METOD BADAŃ TYPOWYCH DLA NAUK O ZARZĄDZANIU

    W statystycznych badaniach makroekonomicznych na temat zjawisk gospodarczych w społeczeństwie, oprócz używania typowych metod ilościowych ważne jest też stosowanie innych metod badawczych z zakresu nauk społecznych. W niniejszym opracowaniu potwierdzamy, że teoria ugruntowana może być traktowana jako metoda uzupełniająca w badaniach na temat starzenia się populacji i badania determinant wydajności pracy. Uzupełniająco badania mogą...

    Full text available to download