Filters
total: 1152
-
Catalog
- Publications 1000 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 16 available results
- Laboratories 1 available results
- e-Learning Courses 66 available results
- Events 35 available results
- Open Research Data 2 available results
displaying 1000 best results Help
Search results for: FORMALNE%20WYMAGANIA
-
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...
-
The need for new transport protocols on the INTERNET
PublicationThe TCP/IP protocol suite is widely used in IP networks, regardless of diverse environments and usage scenarios. Due to the fact of being the basic concept of organizing the work of the Internet, it is the subject of interest and constant analysis of operators, users, network researchers, and designers. The Internet is a "living" organism in which new needs appear all the time. This is particularly important due to the emerging...
-
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...
-
Projektowanie wodnych instalacji c.o. Nowa norma PN-EN 12828
PublicationPrzedstawiono wymagania dla projektowanej instalacji centralnego ogrzewania wg nowej normy PN-EN 12828 z podziałem na następujące elementy: dostawa ciepła, rozdział ciepła w instalacji c.o, grzejniki, regulacja (centralna, strefowa, miejscowa, programowana) i urządzenia zabezpieczające (instalacje zamknięte, naczynia wzbiorcze, wymagania dla instalacji otwartych, izolacja cieplna).
-
Możliwości komunikacyjne nowoczesnych wyłączników niskiego napięcia
PublicationNowoczesne systemy rozdziału energii stawiają przed wyłącznikami mocy coraz większe wymagania, przekraczające realizację funkcji ochronnych i zabezpieczeniowych. Z tego względu nowoczesna aparatura łączeniowa niskiego napięcia powinna spełniać wymagania stawiane przez zaawansowane systemy sterowania, uwzględniające przede wszystkim: możliwości komunikacyjne, wsparcie programowe, diagnostykę i możliwości szybkiej archiwizacji zdarzeń.
-
Nowoczesne wyłączniki niskiego napięcia
PublicationNowoczesne systemy rozdziału energii stawiają przed wyłącznikami mocy coraz większe wymagania, przekraczające realizację funkcji ochronnych i zabezpieczeniowych. Z tego względu nowoczesna aparatura łączeniowa niskiego napięcia powinna spełniać wymagania stawiane przez zaawansowane systemy sterowania, uwzględniające przede wszystkim: możliwości komunikacyjne, wsparcie programowe, diagnostykę i możliwości szybkiej archiwizacji zdarzeń.
-
Nowoczesne wyłączniki niskiegfo napięcia
PublicationNowoczesne systemy rozdziału energii stawiają przed wyłącznikami mocy coraz większe wymagania, przekraczające realizację funkcji ochronnych i zabezpieczeniowych. Z tego względu nowoczesna aparatura łączeniowa niskiego napięcia powinna spełniać wymagania stawiane przez zaawansowane systemy sterowania, uwzględniające przede wszystkim: możliwości komunikacyjne, wsparcie programowe, diagnostykę i możliwości szybkiej archiwizacji zdarzeń.
-
Diagnostyka wyłączników niskiego napięcia
PublicationNowoczesne systemy rozdziału energii stawiają przed wyłącznikami mocy coraz większe wymagania, przekraczające realizację funkcji ochronnych i zabezpieczeniowych. Z tego względu nowoczesna aparatura łączeniowa niskiego napięcia powinna spełniać wymagania stawiane przez zaawansowane systemy sterowania, uwzględniające przede wszystkim: możliwości komunikacyjne, wsparcie programowe, diagnostykę i możliwości szybkiej archiwizacji zdarzeń.
-
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...
-
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...
-
Tracing of dynamic objects in distributed interactive simulation systems
PublicationDistributed interactive simulation systems require integration of several areas of computer science and applied mathematics to enable each individual simulation object to visualize effectively dynamic states of other objects. Objects are unpredictable,i.e., controlled by their local operators, and are remote, i.e., must rely on some transmission media to visualize dynamic scene from their local perspectives. The paper...
-
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.
-
Rozwój techniki połączeń rur w domowych instalacjach wodociągowych
PublicationZmiany zasad łączenia rurociągów. Szczególne wymagania poszczególnych rozwiązań materiałowych.
-
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...
-
Charakterystyczne zagrożenia związane z wprowadzaniem nowych sieciowych rozwiązań technologicznych w Polsce.
PublicationSzczególne wymagania nowych rozwiązań materiałowych. Konsekwencje ich lekceważenia, informacja techniczna.
-
Armatura sieciowa w wodociągach
PublicationArmatura sieciowa w wodociągach. Zasady stosowania. Przegląd rozwiązań. Wymagania techniczne.
-
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.
-
Beton - tradycja i nowoczesność - historyczny, czy perspektywiczny materiał budowlany.
PublicationWspółczesne wymagania w stosunku do konstrukcji betonowych stosowanych w inżynierii sanitarnej.
-
Szczególne problemy realizacji i funkcjonowania kanalizacji. Szczególne problemy konstrukcyjne.
PublicationKonsekwencje obniżenia wielkości przepływu oraz zagęszczenia ścieków. Warunki funkcjonowania kanalizacji. Wymagania.
-
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)
-
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.
-
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...
-
Sprawdzanie częstościomierzy cyfrowych w układzie z odbiornikiem częstotliwości wzorcowej DCF77
PublicationOmówiono wymagania stawiane wzorcom częstotliwości wykorzystywanym do sprawdzania częstościomierzy cyfrowych. Przedstawiono praktyczną realizację odbiornika radiowego sygnału częstotliwości wzorcowej 77,5 kHz niemieckiego nadajnika DCF77 oraz konfiguracje systemów pomiarowych wykorzystujących ten odbiornik przy kalibracji częstotliwości w trybie pracy ręcznej, półautomatyczneji automatycznej. Przeprowadzone badania potwierdziły,...
-
Aplikacja RDC - Repozytorium dokumentów cyfrowych
PublicationOkreślono potrzeby i wymagania na utworzenie systemu zarządzającego repozytorium dokumentów cyfrowych - RDC. Opisano wymagania projektowe i przypadki użycia. Przedstawiono ogólny model architektury systemu oraz opis automatycznej klasyfikacji dokumentów. RDC jest systemem, który łączy w sobie podstawowe funkcje aplikacji nadzorującej gromadzenie dokumentów, w szczególności prac dyplomowych, wraz z dodatkowymi mechanizmami, które...
-
International Conference on Software Engineering and Formal Methods
Conferences -
A Satellite workshop on Formal Approaches to Testing of Software
Conferences -
International Workshop on Formal Methods for interactive Systems
Conferences -
International Conference Formal Concept Analysis Conference
Conferences -
International Conference on Formal Ontology in Information Systems
Conferences -
International Conference on Formal Structures for Computation and Deduction
Conferences -
International Conference on Formal Engineering Methods [FEM]
Conferences -
Kanalizacja skomplikowana. Uchybienia w procesie budowlanym.
Publicationwymagania w stosunku do uczestników procesu budowlanego. Analiza najczęstszych odstępstw od formalnych wymagań.
-
Tradycyjne i alternatywne kanalizacyjne studzienki rewizyjne (cz. II).
PublicationCharakterystyczne wymagania posadowienia konstrukcji w podłożu gruntowym. Przeciwdziałanie zewnętrznym siłom niszczącym. Kompensacja odkształceń.
-
Węże i końcówki. Eksploatacja kanalizacji
PublicationProblemy współczesnej eksploatacji kanalizacji. Charakterystyka wyposażenia. Szczególne wymagania w stosunku do sprzętu. Ograniczenia.
-
Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL
PublicationIstnieje mozliwość formalnego zapisu przebiegu różnego rodzaju przedsięwzięć. Jedną z mozliwości zapisu scenariusza przedsięwzięcia jest wykorzystanie języka WS-CDL. Zaprezentowano metodę tworzenia konkretnej choreografii przedsięwzięcia w tym języku. Zwrócono uwagę na taniec negocjacyjny, w tym definicje ról, związków oraz typów kanałów komunikacyjnych. Dodatkowo zaproponoano środowisko wykonania scenariuszy zapisanych w tym języku.
-
Linear Time-Varying Dynamic-Algebraic Equations of Index One on Time Scales
PublicationIn this paper, we introduce a class of linear time-varying dynamic-algebraic equations (LTVDAE) of tractability index one on ar- bitrary time scales. We propose a procedure for the decoupling of the considered class LTVDAE. Explicit formulae are written down both for transfer operator and the obtained decoupled system. A projector ap- proach is used to prove the main statement of the paper and sufficient conditions of decoupling...
-
A method for assessing hazards, risks and safety of damaged ships at sea
PublicationPrzedstawiono wybrane problemy związane z metodą oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka, w warunkach eksploatacyjnych. Omówiono zakres oceny bezpieczeństwa i analizy ryzyka w odniesieniu do zagadnienia zachowania się statku uszkodzonego na morzu. Analiza ryzyka oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Opisano główne kroki analizy ryzyka. Podano podstawowe...
-
Szczególne znaczenie normy PN-EN 13598-2
PublicationKanalizacyjna studzienka z tworzywa. Kategoryzacja. Szczególne wymagania normy. Kontrowersje przy projektowaniu. Deklarowanie podstawowych parametrów.
-
Contextual Knowledge to Enhance Workplace Hazard Recognition and Interpretation in a Cognitive Vision Platform
PublicationThe combination of vision and sensor data together with the resulting necessity for formal representations builds a central component of an autonomous Cyber Physical System for detection and tracking of laborers in workplaces environments. This system must be adaptable and perceive the environment as automatically as possible, performing in a variety of plants and scenes without the necessity of recoding the application for each...
-
Zagospodarowanie wód opadowych - problem z punktu widzenia eksploatatora
PublicationZagadnienie eksploatacji systemu wód opadowych. Problemy eksploatatora. Wymagania i braki prawne. Czynnik techniczny i ekonomiczny
-
Analiza rozwiązań konstrukcyjnych studzienek kanalizacyjnych.
PublicationRozwiązania konstrukcyjno - materiałowe kanalizacyjnych studzienek rewizyjnych. Szczególne własności, wymagania i możliwości. Problem wyboru, konsekwencje. Różnice
-
Lekka obudowa, część 2: bezpieczeństwo pożarowe
PublicationLekka obudowa ścienna i dachowa. Przedstawiono wymagania dotyczące bezpieczeństwa przeciwpożarowego zewnętrznych przegród ściennych i dachowych