Filters
total: 725
-
Catalog
- Publications 585 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 15 available results
- Laboratories 1 available results
- e-Learning Courses 65 available results
- Events 25 available results
- Open Research Data 2 available results
Search results for: SPECYFIKACJE FORMALNE
-
Rozproszony system akwizycji, prezentacji i analizy informacji przestrzennej
PublicationW 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
PublicationNowe 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.
PublicationPrzedstawiono 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...
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublicationThe 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...
-
Ocena wykrywalności modelowych wad wąskoszczelinowych metodą pomiaru przestrzennego rozkładu magnetycznego pola rozproszonego
PublicationWykazano, że metoda pomiaru natężenia metodą pomiaru natężenia pola rozproszonego (MPR) w polu szczątkowym umożliwia skuteczne wykrywanie zewnętrznych wad szczelinowych o głębokościach 0,2 mm przy długości 2,5 mm, oraz wad punktowych o średnicy mniejszej od 1mm i głębokości 0,3 mm. Zwiększenie poziomu namagnesowania (pomiary w pełnym polu magnetycznym) umożliwiło wykrywanie wad o znacznie mniejszych rozmiarach. Wykazano również,...
-
Ekspertyza dotycząca oszacowania wartości odtwarzacza plików mp3 w telefonie komórkowym
PublicationEkspertyza ma na celu rozstrzygnięcie kwestii czy jest możliwe ustalenie, jaką część telefonu komórkowego stanowi odtwarzacz plików w formacie mp3 i czy jest on w takim przypadku "urządzeniem w urządzeniu", czy też jest to wyłącznie aplikacja.
-
Nowoczesny menedżeryzm sądowy
PublicationCelem artykułu jest ocena rozwiązań przyjętych w wymiarze sprawiedliwości dotyczących zarządzania nim przez profesjonalne podmioty. Artykuł odpowiada na pytania, na ile formalne kompetencje menedżerów sądowych pokrywają się z kompetencjami merytorycznymi i praktycznymi. I wreszcie, na ile menedżerowie są świadomi wyzwań stojących przed współczesnym wymiarem sprawiedliwości w Polsce. Brak wiedzy i umiejętności z zakresu zarządzania...
-
Comparative analysis of the theoretical models of ideal propulsor, ideal fluid brake, ideal screw propeller and ideal axial wind turbine
PublicationThe article presents a detailed discussion of four different fluid dynamics devices.These devices are presented with all relevant mathematical formulae regarding the forces, the power and the efficiency. It is demonstrated that application of the Betz theorem to axial wind turbines is not correct and it underestimates the maximujm achievable efficiency. This conclusion is supported by numerical calculations.
-
Bending of a Three-Layered Plate with Surface Stresses
PublicationWe discuss here the bending deformations of a three-layered plate taking into account surface and interfacial stresses. The first-order shear deformation plate theory and the Gurtin-Murdoch model of surface stresses will be considered and the formulae for stiffness parameters of the plate are derived. Their dependence on surface elastic moduli will be analyzed.
-
Formal Methods in Computer-Aided Design
Conferences -
Formal Power Series and Algebraic Combinatorics
Conferences -
A performance-oriented risk-based method for assessment of safety of ships. Modelling uncertainties in hazard and risk analysis
PublicationW artykule podano informacje na temat alternatywnej metody oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka. Zaproponowano użycie metody do projektowania statków w oparciu o ocenę ryzyka. W takim podejściu do projektowania bezpieczeństwo powinno być celem projektowym. Ocena bezpieczeństwa w proponowanej metodzie powinna być dokonywana na podstawie oceny ryzyka. Do oceny ryzyka zastosowano elementy...
-
Estimation of pile bearing capacity by dynamic and static tests
PublicationBadania dynamiczne, szczególnie dla pali wbijanych, w budownictwie hydrotechnicznym stają się coraz bardziej popularne. Badania, poparte formalnie zapisami zawartymi w Eurokodzie 7, wykorzystywane w badaniach ''na wodzie'' i ''na lądzie'' są szybkie i ekonomiczne. Przedstawiono serię badań dla gruntów uwarstwionych dla pali prefabrykowanych żelbetowych, wbijanych stalowych pali rurowych oraz pali Vibro-Fundex. Badania dynamiczne...
-
Istota indywidualnego projektowania domów
PublicationDomy 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...
-
Zastosowanie badań symulacyjnych w projektowaniu układów automatyki podsystemów energetycznych statków
PublicationPrzedstawiono strukturę i funkcje systemu informatycznego wspomagania projektowania układów automatyki statku. Szczególną uwagę zwrócono na funkcję oceny rozwiązań projektowych na podstawie prowadzonych badań symulacyjnych. Omówiono reprezentację wiedzy o projektowanym podsystemie energetycznym statku, dobór struktur modeli elementów składowych podsystemów umożliwiający zastosowanie reguł do budowy modeli symulacyjnych i reguły...
-
Oszacowanie kąta tarcia wewnętrznego piasków morskich na podstawie sondowań statycznych metodą CPTU
PublicationOszacowanie kąta tarcia wewnętrznego piasków na Wybrzeżu Bałtyku w gruntach normalnie skonsolidowanych i prekonsolidowanych, starych złożach i refulatach. Porównanie tych wartości z wynikami badań w aparacie trójosiowego ściskania.Dobór odpowiednich zależności korelacyjnych między wynikami badań laboratoryjnych i terenowych.
-
Workshop on Formal Techniques for Java-like Programs (Workshop on Formal Techniques for Java Programs [FTJP])
Conferences -
Satelitarna telekomunikacja osobista
PublicationOmó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...
-
Generation of conformance test suites for parallel and distributed languages and APIS.
PublicationArtykuł 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,...
-
Anita Maria Dąbrowicz-Tlałka dr
PeopleAnita Dąbrowicz-Tlałka graduated from the Faculty of Mathematics and Physics at the University of Gdańsk with an outstanding grade, having written her thesis in the field of geometric topology. She concurrently obtained a diploma in Postgraduate Studies in the Basics of Computer Science at the University of Gdańsk. In 2001 she received a Ph.D. degree in mathematical studies at the Poznań University of Technology after defending...
-
passive spice networks from non-passive data
PublicationArtykuł przestawia technike generacji schematow zastepczych w formacie SPICE dla pasywnych układów mikrofalowych. Wynikowy schemat zastepczy ma zagwarantowana pasywnosc. Schematy zastepcze powstaja na podstawie symulacji lub pomiarow w dziedzinie czestotliwosci i moga byc wykorzystane do symulacji w dziedzinie czasu.
-
Efektywna warstwa pośrednicząca dla obliczeń typu master-slave w środowisku C++/MPI
PublicationPokazano, jak dla wysokowydajnościowego algorytmu pisanego w modelu master-slave w języku C++ i spełniającego pewne ograniczenia można napisać i wykorzystać warstwę komunikacyjną zupełnie oddzielającą kod odpowiedzialny za komunikację od kodu odpowiedzialnego za dzie-dzinę problemową. Przedstawiona zostaje specyfkacja wymagań, jakie powinien spełniać hipotetyczny system rozproszony oraz warstwa komunikacyjna, a także wymagania...
-
EKSPERTYZA TECHNICZNA WOZÓW WYCIĄGOWYCH NA POCHYLNIACH KANAŁU ELBLĄSKIEGO – DLA POCHYLNI BUCZYNIEC I JELENIE
PublicationGłó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...
-
Elektrownia Ostrołęka C w budowie a „momentum-FSI”
PublicationMimo przeszkód, trwa budowa elektrowni Ostrołęka C. O tym zapewniają nas główni decydenci – Jarosław Małkowski, Prezes Elektrowni Ostrołęka, czy Sławomir Żygowski, Prezes GE Power, firmy odpowiedzialnej projekt, wykonanie i budowę. Możemy o tym dowiedzieć się w mediach społecznościowych. Ale te same media informują również, że 31 lipca 2019 r. Sąd okręgowy w Poznaniu stwierdził nieważność uchwały Walnego Zebrania Akcjonariuszy...
-
Wzornictwo regionalne jako źródło inspiracji we współczesnym projektowaniu architektonicznym
PublicationKaszuby to region o wyjątkowym wzornictwie regionalnym. Ocalało wiele dobrze zachowanych przykładów zabudowy ruralistycznej i samych obiektów architektonicznych. Szczególną rolę pełni tu wdzydzki skansen stanowiący pełnowymiarowy wzornik inspirujący współczesnych twórców. Rozwiązania formalne oraz detale rzemieślnicze utrwalone tradycją zdobniczą i określoną topografią oraz zasobnością regionu, a także elementy dekoracyjne towarzyszące...
-
Seminarium dyplomowe, S, Mtr, sem. 03, lato 21/22 (M:00039987)
e-Learning CoursesOgólne zasady wykonywania pracy magisterskiej.Dobór i wykorzystanie źródeł do pracy.Formalna strona pracy: poprawność języka, spis treści, spis literatury, odsyłacze.Zasady sporządzania prezentacji dotyczącej pracy magisterskiej.Zasady referowania głównych założeń i tez realizowanej pracy magisterskiej.
-
Koncepcja oszacowania zanieczyszczeń zawartych w spalinach silników o zapłonie samoczynnym
PublicationZaproponowano model procesu rozruchu silników o zapłonie samoczynnym, w formie procesu semimarkowskiego. Zaproponowano również możliwość uwzględnienia w badaniach ilości substancji szkodliwych, zawartych w spalinach masy substancji zanieczyszczonej, jako zmiennej losowej. W rozważaniach tych przyjęto, że statystyka tej zmiennej ma rozkład asymptotycznie normalny.
-
Ciepłownia geotermalna w Uniejowie na tle warunków hydrogeologicznych Polski
PublicationPrzeprowadzono szczegółowy przegląd warunków hydrogeologicznycb Polski, charakteryzując poszczególne obszary wartościami gęstości podpowierzchniowego strumienia ciepła i gradientu temperatury, a także podając ich powierzchnie i kubatury zawartych tam wód termalnych. Podano szczegółowy opis systemu grzewczego w uniwejowie, wykorzystującego lokalne wody termalne i wspomaganego pracą kotłów weodnych.
-
Skills mismatch in the context of technological change
PublicationThe main purpose of this dissertation is to assess the perception asymmetry of smart skills and formal education in ICT based economy. In other words, the goal of this research is to assess perceptions of smart skills and competences in the context of technological change from the perspectives of employers and students in Poland. Determining the fore-mentioned relationship gives insight into the hypothetical perception asymmetry...
-
Specyfikacja geometryczna wyrobu, Ć, ZiIP, st. II, sem. 1, letni, 2023/2024, PG_00059493
e-Learning Courses -
Specyfikacja geometryczna wyrobu, L, ZiIP, st. II, sem. 1, letni, 2023/2024, PG_00059493
e-Learning Courses -
Specyfikacja geometryczna wyrobu, W, ZiIP, st. II, sem. 1, letni, 2023/2024, PG_00059493
e-Learning Courses -
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublicationW 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...
-
Model zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i jego zastosowanie przy podejmowaniu decyzji
PublicationW publikacji przedstawiono formalny opis procesu zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i uzasadniono, że modelem tego procesu może być proces semimarkowski o skończonym zbiorze stanów. Przydatność tego modelu została wykazana na przykładzie często spotykanej w praktyce eksploatacyjnej sytuacji decyzyjnej, w której należy podjąć najlepszą decyzję spośród możliwych do podjęcia....
-
Wpływ specyficznych właściwości czynnych systemów wodociągowych w Polsce na metodykę pomiarów terenowych i interpretacje ich wyników
PublicationW opracowaniu scharakteryzowano trzy następujące cechy: 1) przewymiarowanie sieci wodociągowej, 2) pozorną chropowatość przewodów z odłożonymi osadami, 3) pulsację ciśnienia w układzie wodociągowym. Następnie wskazano na utrudnienia jakie one powodują w przygotowaniu pomiarów, ich przeprowadzeniu, a niekiedy interpretacji uzyskanych wyników. W efekcie dowiedziono, że normalne warunki eksploatacji nie pozwalają na bezpośrednie pomiary...
-
Evaluation of affective intervention process in development of affect-aware educational video games
PublicationIn this paper initial experiences are presented on implementing specific methodology of affective intervention design (AFFINT) for development of affect-aware educational video games. In the described experiment, 10 student teams are to develop affect-aware educational video games using AFFINT to formalize the whole process. Although all projects are still in progress, first observations and conclusions may already be presented.
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublicationArtykuł 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.
PublicationPraca 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...
-
Control theory methods in diagnostic system design
PublicationPraca 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...
-
Remote learning among students with and without reading difficulties during the initial stages of the COVID-19 pandemic
PublicationThis article presents the results of a survey on yet under-researched aspects of remote learning and learning difficulties in higher education during the initial stage (March – June 2020) of the COVID-19 pandemic. A total of 2182 students from University of Warsaw in Poland completed a two-part questionnaire regarding academic achievements in the academic year 2019/2020, living conditions and stress related to learning and pandemic,...
-
Buckling resistance of a metal column in a corrugated sheet silo - experiments and non-linear stability calculations
PublicationThe results of experimental and numerical tests of a single corrugated sheet silo column’s buckling resistance are presented in this study. The experiments were performed in a real silo with and without bulk solid (wheat). A very positive impact of the bulk solid on the column buckling resistance occurred. The experimental results were first compared to the buckling resistance calculated by Eurocode 3 formulae. The comparison revealed that...
-
Dynamical nonlocality in quantum time via modular operators
PublicationWe formalize the concept of the modular energy operator within the Page and Wootters timeless framework. As a result, this operator is elevated to the same status as the more studied modular operators of position and momentum. In analogy with dynamical nonlocality in space associated with the modular momentum, we introduce and analyze the nonlocality in time associated with the modular energy operator. Some applications of our...
-
Influence of traffic conditions on the operating fuel consumption
PublicationPrzedstawiona w pracy metoda umożliwia ocenę warunków eksploatacji pojazdu. Warunki te mogą wynikać zarówno z lokalnej specyfiki ruchu pojazdów jak również ze sposobu prowadzenia auta przez kierowcę. W pracy zamieszczono przykłady oceny zarejestrowanych w normalnej eksploatacji warunków ruchu pojazdu i ich wpływu na przebiegowe zużycie paliwa.
-
Comments on “Closed Form Variable Fractional Time Delay Using FFT”
PublicationIn this letter drawbacks of the aforementioned paper are pointed out. The proposed approach is improved with minor modifications of the discrete frequency response. This allows for design of fractional delay filters which are close to optimal and can be efficiently implemented in the frequency domain using the sliding DFT based structure. Alternatively, the derived equivalent closed form formulae for offset windows can be used...
-
Factors influencing decisions to retire – case study of Poland
PublicationThe main objective of the article is to present the factors influencing the decisions of the Poles from the older age groups to withdraw from the labour market by retirement, or on the contrary – to remain economically active, also upon reaching the formal retirement age.
-
Seminarium Dyplomowe, S, MTR IIst, sem.03, letni 2022/23(00057037)
e-Learning CoursesOgólne zasady wykonywania pracy magisterskiej. Dobór i wykorzystanie źródeł do pracy. Formalna strona pracy: poprawność języka, spis treści, spis literatury, odsyłacze. Zasady sporządzania prezentacji dotyczącej pracy magisterskiej. Zasady referowania głównych założeń i tez realizowanej pracy magisterskiej.
-
Why do Poles withdraw from the labour market so early? - systematics of the factors influencing Poles' decisions to retire
PublicationThe study undertakes to identify the factors that influence the decisions of the working population approaching retirement age to withdraw from the labour market (which in this case is equivalent to retirement) or continue economic activity (also after reaching the formal retirement age)
-
Finite element investigations of granular material behaviour during cyclic wall shearing under a constant normal stiffness condition
PublicationW artykule przedstawiono wyniki numnerycznej analizy zachowania sie materiałów granulowanych podczas cyklicznego ścinanai wzdłuz szorstkiej ściany z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego nodelu hipopalstycznego. Obliczenia wykonano dla róznych sztywności, początkowych wskaźników porowatości i sredniej średnicy ziarna. Wyniki numeryczne porównano...
-
International Conference on Software Engineering and Formal Methods
Conferences -
A Satellite workshop on Formal Approaches to Testing of Software
Conferences