Search
Search results for: program synthesis
-
International Symposium on Logic-based Program Synthesis and Transformation
Conferences -
Anna Zielińska-Jurek prof. dr hab. inż.
People2018 DSc in technical sciences in the field of chemical technology Chemical Faculty, Gdansk University of Technology, Title: “Functionalized titanium(IV) oxide as a photocatalyst for environmental purification” 2011 Ph. D. in technical sciences in the field of chemical technology Chemical Faculty, Gdansk University of Technology, Title of the dissertation:...
-
Presentation of HAL 2010 Program
PublicationPrzedstawiono zastosowany w projekcie HAL'2010 model przedniej ściany ludzkiego brzucha, opracowaną metodę wizualizacji odmy wraz z otworem przepuklinowym oraz opisano sposób określania zaopatrzenia w postaci siatki przepuklinowej i mocowań wraz z ich wizualizacją.
-
Nowy program brd Unii Europejskiej
PublicationDobiega końca realizacja III Programu BRD Unii Europejskiej. Niestety rezultaty tego programu odbiegają od oczekiwań - szczególnie w nowych krajach członkowskich, wśród których negatywnie wyróżnia się Polska. W celu intensyfikacji działań na rzecz brd przygotowano równie wymagający IV Program BRD obejmujący kolejną dekadę.
-
Program edukacyjny ''Projektowanie Przestrzeni Wspólnej''
PublicationArtykuł poświęcony realizowanemu na Wydziale Architektury Politechniki Gdańskiej programowi edukacyjnemu ''Projektowanie Przestrzeni Wspólnej''. Program realizowany jest wspólnie z samorządami lokalnymi województwa pomorskiego. W programie uczestniczą studenci Wydziału Architektury i osoby niepełnosprawne. W artykule opisano zrealizowane warsztaty ''Miasta bez Barier'', które odbyły się w Gdyni i Kwidzynie.
-
A NEW MASTER'S DEGREE PROGRAM IN GEODESY
PublicationFaculty of Civil and Environmental Engineering (WILiS) at Gdansk University of Technology (GUT) offers studies in the fields of Geodesy and Cartography. The bachelor program (7 semesters) was started ten years ago in 2009. It provides the student with the basic skills and knowledge in the fields of surveying, geodesy and more generally geomatics and cartography. It is strongly related to expertise knowledge of civil building (geodetic...
-
Zintegrowany Program Rozwoju Politechniki Gdańskiej
PublicationPolitechnika Gdańska realizuje projekt Zintegrowany Program Rozwoju Politechniki Gdańskiej (POWER 3.5) dofinansowywany z Europejskiego Funduszu Społecznego. Celem projektu jest podniesienie jakości kształcenia na studiach II i III stopnia, zwiększenie efektywności zarządzania Politechniką Gdańską oraz podniesienie kompetencji kadr. Projekt jest realizowany od 1 kwietnia 2018 roku do 31 marca 2022 roku. Instytucją pośredniczącą...
-
Zrównoważony rozwój - program na jutro
PublicationOmówienie pracy S. Kozłowskiego (Abrys, Poznań 2008) dotyczącej zagadnień zrównoważonego rozwoju. Dość szczegółowa przezntacja programu Natura 2000. Polska na drodze do zrównoważonego rozwoju, pprzezntacja na tle europejskim. Wykazana potrzeba skutecznej koordynacji na poziomie krajowym.
-
Komputerowy program do analizy hałasu
PublicationW pracy przedstawiono założenia i wyniki opracowywanej aplikacji do pomiaru i analizy poziomu hałasu, będącego częścią konstruowanego ogólnopolskiego systemu telemonitoringu hałasu. Opracowano graficzny sposób prezentacji wyników pomiaru. W pracy zawarto opis wybranych algorytmów obliczeniowych zastosowanych w programie, przedstawiono analizę porównawczą otrzymanych wyników pomiarów z wykorzystaniem opracowanego programu.
-
Lokalny Program Rewitalizacji Miasta Wejherowa
PublicationPraca dotyczy planowania rewitalizacji miasta Wejherowa w oparciu o wytyczne Ministerstwa Infrastruktury i Rozwoju. Na jej strukturę składają sie zarówno delimitacja obszarów zdegradowanych i rewitalziajci jak i zapisy samego Programu Rewitalizacji
-
program verification strategy and edge ranking of graphs
PublicationW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Rozpowszechnienie zaburzeń lipidowych w populacji wiejskiej -Program ''Kiełpino'' = Dyslipideamia prevalence in rural population - Kiełpino program
PublicationPodwyższony poziom cholesterolu odgrywa kluczową rolę w rozwoju miażdżycy i jej powikłań. Potwierdziły to liczne badania anatomopatologiczne, badania przekrojowe i prospektywne obserwacje epidemiologiczne. Wyniki badania Framingham wykazały, że wysokie stężenie cholesterolu całkowitego we krwi wiąże się ze zwiększonym ryzykiem wystąpienia zawału mięśnia sercowego i że ryzyko to rośnie proporcjonalnie wraz ze zwiększającym się...
-
Program Wsparcia Centrum Spotkań – amsterdamski program zintegrowanego wsparcia dla osób z otępieniem i ich opiekunów
Publication -
Program rewitalizacji drogi wodnej E-70
PublicationCoraz wyraźniej rysuje się potrzeba uruchomienia korytarzy transportowych północ- południe, w których drogom wodnym wykorzystującym Wisłę i Odrę przypisuje się coraz większe znaczenie w tym także równoleżnikowemu szlakowi E-70 spinającemu całą Europę. W pracy Autor przedstawił stan istniejący i uwarunkowania rozwoju dróg wodnych,kierunki i cele rewitalizacji oraz cele i uwarunkowania środowiskowe i gospodarcze.Opracowna Strategia...
-
Gminny Program Rewitalizacji Miasta Starogard Gdański
PublicationPublikacja stanowi podsumowanie prac nad programem rewitalziacji miasta. Ujeto w nim zagadnienia delimitacji obszaru zdegradowanego i obszaru rewitalizacji, a także zapisy samego planu.
-
Stadtumbau Ost - program ratowania miast wschodnich landów.
PublicationW dziesięć lat po ponownym zjednoczeniu Niemiec dochodzi do ogromnej zapaści ekonomicznej nowych landów. Postępująca suburbanizacja, strukturalne bezrobocie zmiany demograficzne powodują niespotykaną po wojnie nadprodukcję mieszkań. Pogłębia to obserwowany od 10 lat kryzys miast wschodnich landów.''Strategie kurczenia'', ''Rozwój przez jakość a nie przez ilość'' to hasła sygnalizujące zwrot w planowaniu przestrzennym. ''Stadtumbau...
-
Power devices in Polish National Silicon Carbide Program
PublicationArtykuł zawiera informacje o polskim rządowym programie ''Nowe technologie na bazie węglika krzemu i ich zastosowania w elektronice wielkich częstotliwości, dużych mocy i wysokich temperatur''. Program zawiera trzy główne zadania zawierające następujące cele: wytworzenie podłoży z SiC, wytworzenie przyrządów z SiC oraz ocenę działania wybranych przyrządów w układach aplikacyjnych. Omówiono zastosowane metody wytwarzania podłoży,...
-
The ONETEP linear-scaling density functional theory program
PublicationWe present an overview of the ONETEP program for linear-scaling density functional theory (DFT) calculations with large basis set (planewave) accuracy on parallel computers. The DFT energy is computed from the density matrix, which is constructed from spatially localized orbitals we call Non-orthogonal Generalized Wannier Functions (NGWFs), expressed in terms of periodic sinc (psinc) functions. During the calculation, both the...
-
Regulacja osi toru w warunkach pomiarów satelitarnych :(program badań) = Geometrical adjustment of the railway track in the conditions of the satellite surveying : (research program)
PublicationW pracy zwrócono uwagę na uwarunkowania związane z zastosowaniem technik pomiarów satelitarnych GPS w pomiarach inwentaryzacyjnych linii kolejowych. Wskazano na konieczność nawiązania współpracy pomiędzy specjalistami z dziedziny pomiarów satelitarnych i środowiskiem kolejowym. Może to spowodować radykalną poprawę w zakresie poziomu utrzymania kształtu geometrycznego torów, gdzie występująca obecnie sytuacja budzi poważne zastrzeżenia....
-
Uniwersalny program komputerowy do projektowania zmiany kierunku trasy
PublicationW pracy przedstawiono kolejny program komputerowy stanowiący implementację algorytmu obliczeniowego dotyczącego projektowania zmiany kierunku trasy kolejowej, dostosowanego do techniki ciągłych pomiarów satelitarnych. Program ten ma charakter uniwersalny, gdyż w ogólnym przypadku obejmuje wprowadzenie do układu geometrycznego dwóch łuków kołowych o różnym promieniu, czyli zastosowanie łuku koszowego. Może się to okazać szczególnie...
-
Program wspomagający wyznaczanie parametrów modeli procesu przepływu gazu
PublicationJedną z wielkości decydujących o zgodności wyników symulacyjnych i eksperymentalnych napędu pneumatycznego jest masowe natężenie przepływu gazu. Do jego opisu wykorzystywane są różne modele matematyczne, o eksperymentalnie wyznaczonych współczynnikach.W pracy przedstawiono program komputerowy umożliwiający wyznaczanie tych współczynników.
-
ThreSpect – A Program for the Determination of the Appearance Energies of Neutral and Ionized Species
PublicationCollisions of photons and charged particles with molecules lead to their excitation, ionization, and dissociation into neutral and ionized fragments. Accurately determining thresholds of the formation of particular products plays a vital role in analyzing processes occurring during these interactions. Therefore, we present a computer program, “ThreSpect,” that allows calculating threshold energies of various species generated in...
-
Hydraulic Calculations of a Slotted Separator Using the SSIIM Program
Publication -
Program Operacyjny Przekształceń Młodego Miasta w Gdańsku
Publication -
Speed monitoring and management in national road safety program
PublicationW referacie przedstawiono system długoterminowych badań prędkości pojazdów umozliwiający śledzenie ich zmian. Zmiany te są analizowane w powiązaniu z wdrażanymi środkami nadzoru oraz edukacyjnymi oddziaływaniami na uczestników ruchu, a także ze zmianami infrastruktury drogowej. Podano też ogólne zalecenia do programu GAMBIT 2005, wynikające z dotychczasowych badań prędkości.
-
Powiatowy Program Bezpieczeństwa Ruchu Drogowego - GAMBIT człuchowski
PublicationReferat zawiera genezę powstania pierwszego w Polsce Powiatowego Programu Bezpieczeństwa Ruchu Drogowego - GAMBIT Człuchowski. W szczególności uwagę zwrócono na zagadnienia związane z budową lokalnego systemu brd oraz diagnozę stanu bezpieczeństwa w powiecie.
-
Program europeistyki w opinii studentów Politechniki Gdańskiej
PublicationNowa ustawa prawo o szkolnictwie wyższym obowiązująca od 1 października 2011 r. kładzie nacisk na uzyskanie przez absolwentów szkół wyższych kwalifikacji i kompetencji poszukiwanych przez pracodawców. Umiejętności absolwentów weryfikowane są przez rynek pracy. wprowadzenie Krajowych Ram Kompetencji i odstąpienie od standardów nauczania daje niektórym uczelniom duże możliwości swobodnego kształtowania programów. Zdaniem autorki,...
-
Program komputerowy do projektowania zmiany kierunku trasy kolejowej
PublicationW pracy przedstawiono metodę projektowania odcinków trasy kolejowej położonych w łuku, w której zastosowano analityczną formę opisu za pomocą odpowiednich formuł matematycznych. Jest to szczególnie przydatne w przypadku korzystania z danych uzyskanych z ciągłych pomiarów satelitarnych. Algorytm obliczeniowy zaimplementowano w opracowanym programie komputerowym. Opisano podstawowe funkcje i działanie tego programu. Pokazano ciąg...
-
DYNWIR S-70 program for modal analysis of multisupported and multimass rotors
PublicationThe article provides a brief description of the program Dynwir-S-70 (currently being developed in the Rotor Dynamics and Slide Bearings Department in the Institute of Fluid-Flow Machinery Polish Academy of Sciences in Gdansk) which is a program for analysis of multi-supported and multi-mass rotors. Used algorithms and the construction of mass and stiffness matrix were presented. Damping matrix structure based on Rayleigh damping...
-
The possibility of use by-products for synthesis of emulsifiers
PublicationIn the last years the interest in use of materials originated from natural sources, e.g. vegetables to produce attractive products still grows. According to that, also the synthesis of these products should be adequate to the green chemistry requirements. The typical example observed in recent years focuses on utlization of bioglycerol - the by - product of global biodiesel manufacturing. The still growing production of biodiesel...
-
Talents, Competencies and Techniques of Business Analyst: A Balanced Professional Development Program
PublicationThis paper presents preliminary results of action research in which we search for fundamentals of an universal theory of balanced approaches to software process. It is developed on the basis of balanced approach for professional development program for business analysts which integrates approaches oriented on talents, competencies and techniques. This paper includes the description of key concepts in background approaches, components...
-
Employee Suggestion Program as a way to involve employees in improving business processes
PublicationThe following article presents one of the Lean Management tools – employee suggestion program. Companies consider this method as a way to involve employees in improving business processes. In the first part of the article the author explained the idea of the Japanese management system. The next part presents the philosophy of Kaizen, which is crucial for proper implementation of Lean Management concept in the company. Moreover,...
-
Program bezpieczeństwa ruchu na drogach krajowych do roku 2013
PublicationMimo dotychczas podejmowanych wielu działań na rzecz poprawy bezpieczeństwa ruchu drogowego na sieci dróg krajowych w Polsce, rezultaty są dalekie od oczekiwań i zadań postawionych przez krajowych program GAMBIT 2005. W artykule przedstawiono zarys tego programu, koncentrując się głównie na: roli strategii brd, zasadach doboru celów, wyborze wiodących strategii zwiększania bezpieczeństwa oraz na charakterystyce programów funkcjonalnych.
-
UKŁAD I PROGRAM DO WYZNACZANIA PARAMETRÓW SCHEMATU ZASTĘPCZEGO SUPERKONDENSATORA
PublicationW pracy przedstawiono prototyp urządzenia do wyznaczania parametrów schematu zastępczego superkondensatora na podstawie jego charakterystyk ładowania i rozładowania. Urządzenie składa się ze sterowanego źródła prądowego do ładowania i rozładowywania superkondensatora, przetwornika analogowo-cyfrowego do pomiaru prądu i napięcia w trakcie eksperymentu oraz mikroprocesora do sterowania pomiarem i komunikacji z komputerem na którym...
-
Program ochrony powietrza od wpływu transportu w Gdańsku.
PublicationWymagania krajowe w zakresie ochrony powietrza.Uwarunkowania europejskie w zakresie ochrony powietrza.Przykłady programów ochrony powietrza w miastach.Analiza stanu zanieczyszczeń powietrza w Gdańsku.Propozycja programu ochrony powietrza w Gdańsku.
-
Program angielskiego parku romantycznego w krajobrazie północnych Kaszub
PublicationTekst zawiera analizę porównawczą zastosowania i realizacji romantycznego programu w parku przy zamku w Krokowej koło Pucka z obowiązującym w XVIII wieku w Europie programem powstałym na bazie nowego kanonu w sztuce ogrodowej. Wymieniono i zparezentowano odnalezione w trakcie badań konserwaotrskich zabytkowe elementy terenowe, świadczące o zastosowaniu tej idei w parku w Krokowej i ich znaczenia w krajobrazie północnych Kaszub.
-
Program komputerowy do odtwarzania kształtu osi toru kolejowego
PublicationW pracy przedstawiono metodę odtwarzania kształtu osi toru kolejowego w płaszczyźnie poziomej na podstawie ciągłych pomiarów satelitarnych. W metodzie tej został wykorzystany algorytm projektowania odcinków trasy kolejowej położonych w łuku, w którym zastosowano analityczną formę opisu za pomocą odpowiednich formuł matematycznych. Procedura projektowania ma charakter uniwersalny − stwarza możliwość zróżnicowania rodzaju i długości...
-
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.
-
Problemy społeczeństwa informacyjnego w Polsce a program e-Europe+.
PublicationProblemy społeczeństwa informacyjnego w Polsce wiążą się ze słabą infrastrukturą teleinformatyczną, drogim i ograniczonym dostępem do Internetu oraz niewystarczająca wiedzą naszego społeczeństwa. Obszary wiejskie i małych miasteczek są permanentnie zaniedbywane w tworzeniu nowoczesnej infrastruktury teleinformatycznej.
-
Program komputerowy do określania kształtu eksploatowanego toru kolejowego
PublicationW pracy podjęto kwestię komputerowego wspomagania obróbki danych uzyskanych z pomiarów satelitarnych, z wykorzystaniem pakietów programowych Leica GeoOffice i Mathsoft Mathcad. Następnie przedstawiono podstawowe założenia opracowywanego w Politechnice Gdańskiej programu komputerowego SATTRACK do wizualizacji, oceny i projektowania trasy kolejowej. W sposób szczegółowy skupiono się na czterech modułach programu służących do określania...
-
Program optymalizacji działań dotyczących sieci wodociągowych i kanalizacyjnych
PublicationOptymalizacja funkcjonowania przedsiębiorstwa w zakresie sieci wodociągowych i kanalizacyjnych. Doświadczenia uzyskane w gdańskim przedsiębiorstwie SNG
-
Thermal stability of V2O5 nanorods under oxidizing atmosphere
Open Research DataThe DataSet contains the TGA curves of V2O5 nanorods obtained at 650°C. The information about nanorods synthesis is described in the Journal of Nanomaterials.
-
Program Erasmus Mundus : szansa na oryginalną formę kształcenia analityków
PublicationNową formą dydaktyki prowadzonej w roku akademickim 2009/2010 na Wydziale Chemicznym Politechniki Gdańskiej w ramach programu Erasmus Mundus są studia magisterskie European Master in Quality in Analytical Laboratories - EMQAL. Program ten wychodzi naprzeciw potrzebom europejskiego szkolnictwa wyższego związanym nie tylko ze stałym podnoszeniem jakości, atrakcyjności i innowacyjności kształcenia, ale również naprzeciw potrzebom...
-
Krajowy Program Bezpieczeństwa Ruchu Drogowego 2005-2007-2013. GAMBIT 2005
PublicationW artykule przedstawiono syntezę Krajowego Programu Bezpieczeństwa Ruchu Drogowego GAMBIT 2005. Jest to dokument opracowany na zamówienie Krajowej Rady BRD, przyjęty przez Radę Ministrów w dniu 19 kwietnia 2005 jako program dla Polski na lata 2005-2007-2013. Polska wchodząc do Unii Europejskiej w maju 2004 przyjęła cel ustalony w Polityce Transportowej UE ''w ciągu dekady zmniejszyć o połoweę liczbę śmiertelnych ofiar wypadków...
-
Changes in heat flow of V2O5 nanorods under oxidizing atmosphere
Open Research DataThe DataSet contains the DSC curves of V2O5 nanorods obtained at 650°C. The information about nanorods synthesis is described in the Journal of Nanomaterials.
-
Thermal stability of V2O5 nanorods under inert atmosphere
Open Research DataThe DataSet contains the TGA curves of V2O5 nanorods obtained at 650°C. The information about nanorods synthesis is described in the Journal of Nanomaterials.
-
Program lojalnościowy jako narzędzie budowania trwałych relacji z klientami
PublicationPrzedsiębiorstwa, funkcjonując na coraz bardziej konkurencyjnym rynku, stale poszukują nowych form uzyskiwania przewagi konkurencyjnej. Staje się to coraz trudniejsze wobec licznych działań podejmowanych przez podmioty działające w tej samej branży. W latach 90. ubiegłego stulecia zrodziła się koncepcja marketingu relacji. Obserwując działania podmiotów branży hotelarskiej, wydaje się być ona nadal aktualna. Głównym działaniem...
-
Program IPMed — zastosowanie kardiografii impedancyjnej do monitorowania układu krążenia
PublicationZaburzenia hemodynamiczne stanowią drugą najczęstszą przyczynę zgonu u chorych po udarze mózgu. Istniejące standardy postępowania nie uwzględniają pełnej diagnostyki układu sercowo-naczyniowego u tych chorych. W niniejszej pracy przedstawiono wieloośrodkowy projekt IPMed, który jest próbą aplikacji kardiografii impedancyjnej (ICG) do monitorowania hemodynamiki pacjentów po udarze mózgu.
-
PROGRAM BADAŃ DIAGNOSTYCZNYCH MODELU TURBOZESPOŁU WIATROWEGO W MAŁEJ SKALI
PublicationW artykule przybliżono wybrane problemy eksploatacyjne morskich turbozespołów wiatrowych uzasadniających podjęcie badań diagnostycznych na modelu w małej skali w zakresie identyfikacji symptomów i syndromów najczęściej występujących uszkodzeń ich układów mechanicznych. W zaproponowanym programie badań eksperymentalnych przyjęto koncepcję obserwacji realizowanych procesów energetycznych: podstawowych i towarzyszących, przy zastosowaniu...
-
HIGH LEVEL SYNTHESIS IN FPGA OF TCS/RNS CONVERTER
PublicationThe work presents the design process of the TCS/RNS (two's complement–to– residue) converter in Xilinx FPGA with the use of HLS approach. This new approach allows for the design of dedicated FPGA circuits using high level languages such as C++ language. Such approach replaces, to some extent, much more tedious design with VHDL or Verilog and facilitates the design process. The algorithm realized by the given hardware circuit is...