Filtry
wszystkich: 1023
-
Katalog
- Publikacje 852 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 17 wyników po odfiltrowaniu
- Wynalazki 6 wyników po odfiltrowaniu
- Projekty 7 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 53 wyników po odfiltrowaniu
- Wydarzenia 12 wyników po odfiltrowaniu
- Dane Badawcze 47 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA
-
Przetwórstwo tworzyw sztucznych i gumy
Kursy OnlineKurs dla studentów Technologii Chemicznych - semestr VII. Początek kursu: 06.10.2020 r. - godzina 7:15
-
Rozproszony system akwizycji, prezentacji i analizy informacji przestrzennej
PublikacjaW artykule przedstawiono skalowalny system prezentacji danych przestrzennych pochodzących z różnych źródeł, ze szczególnym uwzględnieniem specyfikacji Open Geospatial Consortium (OGC). System został zaimplementowany w technologii .NET i pracuje w środowisku rozproszonym w oparciu o Web Service. Aplikacja zrealizowana jest w formie apletu .NET, dzięki czemu można ją w prosty sposób osadzić w dokumencie HTML i umieścić na serwerze...
-
Analiza porównawcza protokołów routingu dla bezprzewodowych sieci ad hoc
PublikacjaNowe usługi oferowane przez bezprzewodowe sieci LAN (WLAN) obejmują również wspieranie mobilności stacji końcowych. Prawidłowe funkcjonowanie ruchomych sieci WLAN wymaga oczywiście implementacji efektywnych metod routingu. By rozwiązać ten problem, IETF powołała grupę roboczą MANET (Mobile Ad Hoc Net-working Working Group). Zgodnie ze specyfikacją RFC 2501, sieć MANET jest zbiorem komunikujących się bezprzewodowo urządzeń, mogących...
-
System zarządzania ruchem w sieci z węzłami dgt.
PublikacjaPrzedstawiono opracowany we współpracy z firmą DGT system informatyczny do zarządzania ruchem w rzeczywistej sieci telekomunikacyjnej z węzłami DGT. Referat składa się z dwóch części. W części związanej z zagadnieniami telekomunikacyjnymi przedstawiono wyniki analizy metod zarządzania ruchem w sieci pod kątem możliwości zaimplementowania ich w sieci z węzłami DGT. Dla wybranych metod zarządzania określono wymagane parametry wyznaczane...
-
Charakterystyka właściwości kompozytów termoplastycznych napełnianych miałem gumowym
PublikacjaKompozyty termoplastyczne napełniane miałem gumowym otrzymano przy użyciu współbieżnej wytłaczarki dwuślimakowej. Scharakteryzowano właściwości mechaniczne oraz morfologię badanych kompozytów. Uzyskane wyniki wskazują że kompozyty typu termoplast/miał gumowy stanowią proekologiczną formę recyklingu zużytych opon samochodowych stanowiąc tym samym ciekawą alternatywę dla powszechnie stosowanego odzysku energetycznego.
-
Formal Methods in Computer-Aided Design
Konferencje -
Formal Power Series and Algebraic Combinatorics
Konferencje -
Posadowienie obiektu liniowego
PublikacjaProblemy posadowienia obiektu liniowego w warunkach zmiennych (na długości i głębokości) stosunków gruntowo -wodnych, konsekwencje błędnych decyzji. Posadowienie praktycznie dominuje jako przyczyna awarii. Wymagania formalne w zakresie opracowania warunków posadowienia. Konieczność zwiększenia wymagań formalnych na skutek powszechnego lekceważenia prawa. Warunki gruntowe oraz kategorie geotechniczne obiektów. Zasady kwalifikacji...
-
A model of ship propulsion systems operating process.
PublikacjaArtykuł zawiera opis formalny procesu eksploatacji układów napędowych statków. Model tego procesu został przedstawiony w formie dwuwymiarowego procesu,, którego współrzędnymi są procesy semi-Markowa o skończonych zbiorach stanów. Jeden z tych procesów jest procesem zmian stanów technicznych układów napędowych a drugi „ procesem zmian ich stanów eksploatacyjnych. Zaproponowano także jednowymiarowy model procesu eksploatacji układów...
-
METHOD FOR SHIP'S ROLLING PERIOD PREDICTION WITH REGARD TO NON-LINEARITY OF GZ CURVE
PublikacjaThe paper deals with the problem of prediction of the rolling period. A special emphasis is put on the practical application of the new method for rolling period prediction with regard to non-linearity of the GZ curve. The one degree-of-freedom rolling equation is applied with using the non-linear stiffness moment and linear damping moment formulas. A number of ships are considered to research the discrepancies between the pending...
-
Nowe oblicze melioracji i retencji w Polsce
PublikacjaProblemy związane z formalnie nieistniejącymi "melioracjami miejskimi". Nowe zadania, obowiązki i możliwości wprowadzone nowym prawem wodnym. Zadania gmin, potencjalne nowe możliwości przedsiębiorstwa "wodociągów i kanalizacji". Zagadnienia organizacyjne i ekonomiczne.
-
Workshop on Formal Techniques for Java-like Programs (Workshop on Formal Techniques for Java Programs [FTJP])
Konferencje -
Trzy historyczne miejsca kultu - włączone-wyłączone a przestrzeń miasta Gdańska = Three historic sities for religious cult - included-excluded in the space of the city of Gdansk.
Publikacjapublikacja przedstwia historię 3 wybranych świątyń w gdańsku, które zmieniały obrządek oraz ich deklaratywną rolę we współczesnym mieście wynikajacą z potrzeb i możliwości obrządku oraz lokalizacji.trzy obiekty to: cerkiew prawosławna ul. traugutta w gdańsku-wrzeszczu,synagoga w gdańsku-wrzeszczu, kośiół-cerkiew unicka w gdańsku głównym. autor zwraca uwagę na wartości zarówno formalne jak i duchowe oraz związki nieformalne.
-
Współczesne cykle wytwarzania oprogramowania
PublikacjaPraca 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,...
-
The application of an expert system for simulation investigations in yhe aided design of ship power systems automation.
PublikacjaPrzedstawiono strukturę i funkcje systemu wspomagającego projektowanie automatyki systemów enegretycznych statków. Dane opisujące projektowany podsystem energetyczny są wprowadzane w trybie interaktywnym do systemu ekspertowego. Reguły określaja poprawność formalną i merytoryczną wprowadzonych danych. W przypadku braku błędów system automatycznie tworzy model symulacyjny projektowanego podsystemu enegretycznego i wywołuje program...
-
Generation of conformance test suites for parallel and distributed languages and APIS.
PublikacjaArtykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...
-
Satelitarna telekomunikacja osobista
PublikacjaOmówiono stan obecny i perspektywy rozwojowe satelitarnych systemów telekomunikacji osobistej. Scharakteryzowano takie systemy pod względem rodzaju orbity i budowy konstelacji satelitarnej, z czego wynikają właściwości użytkowe określonego rozwiązania. W szczególności porównano systemy nisko i wysokoorbitowe, w tym także uruchomione ostatnio systemy satelitarnej telefonii komórkowej. Następnie opisano europejski program badawczy...
-
Grimm Grass 1 (Słówka Grimmów)
PublikacjaKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Grimm Grass 2 (Słówka Grimmów)
PublikacjaKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Elastyczne nanokopozytowe pianki poliuretanowe
PublikacjaPrzedmiotem badań były elastyczne pianki poliuretanowe modyfikowane nanonapełniaczem z grupy glinokrzemianiów warstwowych oraz fosforoorganicznym związkiem zmniejszającym palność.
-
Badania wpływu konstrukcji układu uplastyczniającego oraz prędkości obrotowej ślimaków na jakość dewulkanizatów otrzymanych metodą ciągłą
PublikacjaPrzedstawiono wyniki badań procesu termomechanicznej dewulkanizacji ciągłej rozdrobnionych odpadów gumowych prowadzonej przy użyciu wytłaczarki dwuślimakowej współbieżnej. Scharakteryzowano wpływ konfiguracji ślimaków oraz prędkości obrotowej ślimaków na parametry pracy wytłaczarki, zawartość ekstraktu acetonowego, zawartość frakcji zol-żel, stopień dewulkanizacji oraz lepkość Mooney`a otrzymanych produktów. Określono wpływ wtórnej...
-
ELASTYCZNE NANOKOMPOZYTOWE PIANKI POLIURETANOWE
PublikacjaPrzedmiotem badań były elastyczne pianki poliuretanowe modyfikowane nanonapełniaczem z grupy glinokrzemianów warstwowych oraz fosforoorganicznym związkiem zmniejszającym palność. Zbadano wpływ tych napełniaczy na zmiany właściwości fizycznych, mechanicznych oraz palność otrzymanych układów.
-
The influence of feed rate and shear forces on the devulcanization process of ground tire rubber (GTR) conducted in a co-rotating twin screw extruder
PublikacjaThe search for new ways to recycling of rubber waste has been the aim of many studies conducted by research centers and companiesworldwide. The results of our investigations on the process of continuous thermomechanical devulcanization of ground tire rubber using a twin screw extruder are presented.We used a co-rotating twin screw extruder with a special configuration of plasticizing unit, enabling generation of considerable shear...
-
Dewulkanizacja i kompatybilizacja w wytłaczarce dwuślimakowej
PublikacjaDynamiczny rozwój przemysłu motoryzacyjnego przyczynił się do powstania ogromnej ilości odpadów gumowych, z których aż 80% stanowią zużyte opony samochodowe. Szacunkowe dane wskazują, że na całym świecie rocznie powstaje ponad 17 mln sztuk zużytych opon, z czego w krajach UE wycofywanych z eksploatacji jest prawie 3,3 mln opon samochodowych. W Polsce, wg szacowań Ministerstwa Środowiska, Głównego Urzędu Statycznego oraz Oddziału...
-
Wpływ polietylenu szczepionego bezwodnikiem maleinowym oraz sił ścinających na właściwości mieszanin polietylen wysokiej gęstości-miał gumowy
PublikacjaScharakteryzowano wpływ kompatybilizatora w postaci polietylenu szczepionego bezwodnikiem maleinowym na właściwości mieszanin PE-HD–miał gumowy. Kompozycje termoplastyczne zawierające 50 cz. mas. rozdrobnionych odpadów gumowych, otrzymano przy użyciu współbieżnej wytłaczarki dwuślimakowej. Poziom sił ścinających generowanych podczas mieszania, regulowano za pomocą zmian prędkości obrotowych ślimaków. Przeprowadzono charakterystykę...
-
Wpływ termoplastycznych kompozycji napełnianych miałem gumowym na wybrane właściwości asfaltu drogowego
PublikacjaDynamiczny rozwój transportu samochodowego zmusza do wykonywania nawierzchni drogowych z materiałów o wysokiej wytrzymałości oraz odporności na odkształcenia trwałe, co znacznie wydłuża żywotność nawierzchni. Polskie przedsiębiorstwo BISEK Sp. z o.o. z Wrocławia we współpracy z Politechniką Wrocławską, jako pierwsze wykorzystało miał gumowy do modyfikacji asfaltów metodą mokrą. W chwili obecnej firma Lotos Asfalt Sp. z o.o. wprowadziła...
-
Styrene-Butadiene Rubber/Modified Ground Tire Rubber Blends Co-Vulcanization: Effect of Accelerator Type
PublikacjaGround tire rubber was thermo-mechanically modified with using a co-rotating twin screw extruder. Modification of GTR was conducted in autothermal conditions. Styrene-butadiene rubber and modified ground tire rubber blends were prepared via two-roll milling. Obtained compounds were cured with conventional system (sulfur/vulcanization accelerator ratio was 2:1). During this research three commonly vulcanization accelerators (MBT,...
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublikacjaThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
-
Second-order Stark effect and polarizability of a relativistic two-dimensional hydrogenlike atom in the ground state
PublikacjaThe second-order Stark effect for a planar Dirac one-electron atom in the ground state is analyzed within the framework of the Rayleigh-Schrödinger perturbation theory, with the use of the Sturmian series expansion of the generalized Dirac-Coulomb Green's function. A closed-form analytical expression for the static dipole polarizability of that system is found. The formula involves the generalized hypergeometric function ${}_{3}F_{2}$...
-
Ocena stanu technicznego obiektów budowlanych Pomorskiej Kolei Metropolitarnej po ekstremalnym opadzie atmosferycznym w dniach 14 - 15 lipca 2016 r
PublikacjaOpinię wykonano w związku z powołaniem przez Marszałka Województwa Pomorskiego, Zespołu Ekspertów ds. analizy inwestycji Pomorskiej Kolei Metropolitarnej w kontekście stanu infrastruktury PKM po deszczu nawalnym w dniu 14/15.07.2016 r. Celem przeprowadzonych prac studialnych (uzupełnionych o wizje lokalne) była analiza udostępnionych dokumentacji pod kątem poprawności rozwiązań technicznych. Zakres prac: • Ocena zgodności dokumentacji...
-
Formula SAE Michigan 2020 Rozwój potencjału naukowego studentów Politechniki Gdańskiej oraz start w zawodach inżynierskich Formula SAE Michigan 2020
ProjektyProjekt realizowany w Katedra Mechaniki i Mechatroniki zgodnie z porozumieniem MNiSW/2020/162/DIR/NN4 z dnia 2020-03-13
-
Control theory methods in diagnostic system design
PublikacjaPraca dotyczy zastosowania wybranych metod teorii sterowania do syntezy al-gorytmów detekcji uszkodzeń. Algorytmy takie, stanowiące istotną gałąźwspółczesnej diagnostyki technicznej obiektów dynamicznych, w swej istocieopierają się na rozwiązaniach odpowiednich zadań odpornego wyznaczania wek-torów resztowych, czyli ważonych błędów oszacowań wyjściadanego obiektu dy-namicznego (nadzorowanego procesu). Na treść pracy...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublikacjaArtykuł 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...
-
Metody teorii sterowania w projektowaniu układów diagnostycznych.
PublikacjaPraca dotyczy zastosowania wybranych metod teorii sterowania do syntezy algorytmów detekcji uszkodzeń. Algorytmy takie, stanowiące istotną gałąź współczesnej diagnostyki technicznej obiektów dynamicznych, w swej istocie opierają się na rozwiązaniach odpowiednich zadań odpornego wyznaczania wektorów resztowych, czyli ważonych błędów oszacowań wyjścia danego obiektu dynamicznego (nadzorowanego procesu). Na treść pracy...
-
Arte and Arche. On Art and Architecture
PublikacjaArchitekci poszukują inspiracji i wzorców dla form architektonicznych wśród innych dziedzin sztuki. Zapożyczenia, cytaty i reinterpretacje malarstwa, rzeźby, muzyki, a nawet tańca mogą przynieść oryginalne koncepcje i rozwiązania formalne, przy okazji wiążąc architekturę z szerszym kontekstem historycznym, duchowym i kulturowym. Współczesne formy architektoniczne nieraz powstają jako przestrzenna interpretacja kompozycji malarskich...
-
Istota indywidualnego projektowania domów
PublikacjaDomy to przestrzenie stanowiące formalną i symboliczną odpowiedź na potrzebę i konieczność zamieszkiwania. Ich indywidualne projektowanie ma za zadanie odpowiedzieć na definiowane przez przyszłych mieszkańców potrzeby w warstwie fizycznej i aksjologicznej. W wyniku twórczego dialogu i wartościowego spotkania twórcy obiektu i jego przyszłego użytkownika powstaje przestrzeń będąca schronieniem, zabezpieczeniem oczekiwań, a jednocześnie...
-
Prediction of ringing frequencies in DC-DC boost converter
PublikacjaIn the paper ringing phenomena in a DC-DC boost converter is presented. The ringing frequency is calculated using an analytical formula. The necessary wide band models of MOSFET transistor, passive and parasitics are described. The calculation results are verified in simulation and laboratory tests.
-
Compatibilization of polymeric composition filled with ground tire rubber – short review
PublikacjaWaste rubber is recognized as valuable materials resource and searching for new recycling methods is the main activity of many research institutions and companies. At the turn of the last years only few scientific papers about foamed polymer compositions filled with ground tire rubber were published. In paper review about progress in compatibilization and foaming of polymeric compositions filled with ground tire rubber.
-
Confronting representative spectral structures of vocal tract pulse responses
PublikacjaArtykuł niniejszy jest kolejnym w cyklu prac publikowanych na łamach Materiałów OSA, które poświęcono problemowi klasyfikacji formalnej leksemów odmiennych języków.W pracy omówiono metody i rezultaty automatycznego kwalifikowania wybranych leksemów trzech systemów języka na podstawie konfrontowania ich cyfrowych reprezantacji.
-
A risk-based method for ship safety assessment at the preliminary designstage
PublikacjaPraca zawiera wyniki badań dotyczących opracowania metody do analizy bezpieczeństwa statku w warunkach krytycznych. Metoda oparta jest na podejściu systemowym do oceny bezpieczeństwa, formalnej ocenie bezpieczeństwa FSA i hydromechanice okrętu. Podano przykłady oceny ryzyka utraty statku w warunkach krytycznych.
-
Kulturowe determinanty zarządzania przedsiębiorstwami klastrowymi
PublikacjaCelem prezentowanego artykułu jest próba określenia swoistego kulturowego profilu zarządzania specyficznym rodzajem organizacji, jaką jest tzw. przedsiębiorstwo klastrowe, czyli podmiot gospodarczy wchodzący w skład formalnie wyodrębnionej z otoczenia „nadorganizacji” (lub po prostu organizacji wyższego rzędu), za jaką uważana jest inicjatywa klastrowa.
-
International Conference on Software Engineering and Formal Methods
Konferencje -
A Satellite workshop on Formal Approaches to Testing of Software
Konferencje -
International Workshop on Formal Methods for interactive Systems
Konferencje -
International Conference Formal Concept Analysis Conference
Konferencje -
International Conference on Formal Ontology in Information Systems
Konferencje -
International Conference on Formal Structures for Computation and Deduction
Konferencje -
International Conference on Formal Engineering Methods [FEM]
Konferencje -
Zachowanie poprzez sieciowanie w przedsiębiorczości społecznej w odpowiedzi na trudne otoczenie instytucjonalne – przypadek 5 spółdzielni socjalnych
PublikacjaCelem niniejszego artykułu jest zobrazowanie procesów, jakimi są zachowania przedsiębiorców, zachodzących w przedsiębiorczości społecznej w odpowiedzi na trudne otoczenie instytucjonalne. Opisano zachowania przedsiębiorcze przedstawicieli pięciu spółdzielni socjalnych na podstawie pogłębionych wywiadów i obserwacji . Za pomocą metody ciągłego porównywania wyodrębniono 3 główne kategorie zachowań badanych przedsiębiorców, które...
-
EKSPERTYZA TECHNICZNA WOZÓW WYCIĄGOWYCH NA POCHYLNIACH KANAŁU ELBLĄSKIEGO – DLA POCHYLNI BUCZYNIEC I JELENIE
PublikacjaGłównym celem wykonanej ekspertyzy było wykonanie oceny stanu technicznego wozów wyciągowych znajdujących się na pochylniach Buczyniec i Jelenie, wraz ze wskazaniem przyczyn ich nieprawidłowego funkcjonowania oraz sformułowaniem zaleceń dotyczących dalszej eksploatacji. W ramach wykonanej ekspertyzy przeanalizowano istniejącą dokumentację techniczną i formalną oraz wykonano trzy wizje lokalne na pochylni Buczyniec i dwie wizje...