Search
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
-
Konstrukcja obiektów oceanotechnicznych, 2024/25
e-Learning CoursesKurs obejmuje materiały pomocnicze do wykładu z „Konstrukcji obiektów oceanotechnicznych” przeznaczone dla studiów stacjonarnych, specjalność Siłownie i Urządzenia Oceanotechniczne.Materiały do wykładu zawierają prezentacje, które można obejrzeć bezpośrednio, oraz pliki w formacie PDF z komentarzem do wykładów.
-
Konstrukcja obiektów oceanotechnicznych, 2023/24 – prow.WP
e-Learning CoursesKurs obejmuje materiały pomocnicze do wykładu z „Konstrukcji obiektów oceanotechnicznych” przeznaczone dla studiów stacjonarnych, specjalność Siłownie i Urządzenia Oceanotechniczne.Materiały do wykładu zawierają prezentacje, które można obejrzeć bezpośrednio, oraz pliki w formacie PDF z komentarzem do wykładów.
-
Wpływ utleniania w wysokich temperaturach na struktury napawanych warstw na bazie kobaltu
PublicationPrzedmiotem badań są napawane plazmowo warstwy wykonane ze stopu kobaltu zawierające ok. 29% chromu, ok. 5% wolframu i ok. 2% niklu, nałożone powierzchnie przylgni grzybków zaworów wylotowych silnika dieslowskiego. Powierzchnia podlega zarówno oddziaływaniom temperatury i środowiska, jak i oddziaływaniom mechanicznym. Podczas badań warstwy poddano oddziaływaniu środowiska utleniającego i wysokich temperatur: 750°C- górna w normalnej...
-
Wpływ struktur wsparcia na efektywność nauczania języka pisanego w środowisku e-learningowym
PublicationThe process of knowledge and language skills development during an online course can be very effective if student engagement in learning is achieved. This can be attained by introducing general and specific support mechanisms prior to the commencement of the course and during it. The former relates to the technological aspect, that is to familiarizing students with the functionalities of the virtual learning environment they will...
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublicationHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
On Some Aspects of Fish Target Strength Estimation in Shallow Waters
PublicationThe theory of acoustic surveys for determining fish abundance are well established in fishery acoustics. The origins of the estimation are related to overcoming the problem of unknown position of target in the beam using statistical inversion. Although recently researchers use more sophisticated echosounders that provides more informative data allowing for direct solution it is known that the results are biased due to not ideally...
-
Możliwości wyszukiwania dokumentów muzycznych utworzonych zgodnie z architekturą IODA
PublicationArtykuł przedstawia zagadnienie zastosowania dokumentów muzycznych utworzonych zgodnie z architekturą IODA (ang. Interactive Open Document Architecture). Dokumenty w architekturze IODA składają się z wielu plików powiązanych ze sobą semantycznie. Zależności te definiowane są w tzw. grzbiecie (ang. spine) dokumentu będącym plikiem w formacie XML (ang. eXtensible Markup Language). Dokumenty muzyczne tworzone zgodnie z architekturą...
-
Quality Model for Integrated Security Monitoring and Control in Water Distribution Systems
PublicationThis article addresses the problem of drinking water distribution system (DWDS) security in the terms of water quality which in the era of terrorist threat is of high importance to the public. The contribution of this paper is the development of the so called security module to extend a multi-species water quality model. This gives an insight to the situation in DWDS not only under normal operational conditions but also in case...
-
Graph security testing
PublicationSet S ⊂ V is called secure set iff ∀ X ⊂ S | N [ X ] ∩ S | ≥ | N ( X ) \ S | [3]. That means that every subset of a secure set has at least as many friends (neighbour vertices in S) as enemies (neighbour vertices outside S) and will be defended in case of attack. Problem of determining if given set is secure is co −NP -complete, there is no efficient algorithm solving it [3]. Property testers are algorithms that distinguish inputs...
-
Algorytm dyskretnej transformacji falkowej zoptymalizowany dla implementacji w mikrokontrolerze
PublicationNajczęściej stosowane algorytmy dyskretnej transformacji falkowej (DWT) wymagają sporych mocy obliczeniowych i dużych ilości pamięci danych, same obliczenia natomiast wykonywane są na liczbach rzeczywistych. Nie można ich zatem bezpośrednio zastosować w mikrontrolerach. Praca przedstawia propozycję optymalizacji algorytmu dyskretnej transformacji falkowej pod kątem implementacji w mikrontrolerze 8-bitowym. Dokonano przyspieszenia...
-
Application of 3D Whole Body Scanning in Research on Human Body Surface Area
PublicationHuman body surface area (BSA) is one of the major parameters used in several medical fields. Its heterogeneity caused by individual human characteristics sustains a many-decades-long research on the matter. Today’s technology allows to create exact body models in mere seconds. However, an extensive research that includes scanning people with major disfigurements or people suffering from diseases, which often prevent their mobility,...
-
Multiscalar Control Based Airgap Flux Optimization of Induction Motor for Loss Minimization
PublicationBased on the induction motor model, considering the core loss resistance that accounts for magnetic characteristic saturation, a speed control approach is devised with an adaptive full-order (AFO) speed observer. The induction motor model analysis is done sincerely in a stationary reference frame. The control approach incorporates a flux reference generator designed to meet optimal operational circumstances and a nonlinear speed...
-
Low-Cost Data-Driven Surrogate Modeling of Antenna Structures by Constrained Sampling
PublicationFull-wave electromagnetic (EM) analysis has become one of the major design tools for contemporary antenna structures. Although reliable, it is computationally expensive which makes automated simulation-driven antenna design (e.g., parametric optimization) difficult. This difficulty can be alleviated by utilization of fast and accurate replacement models (surrogates). Unfortunately, conventional data-driven modeling of antennas...
-
PROBLEMY WYKONYWANIA AUDYTÓW ENERGETYCZNYCH W OBIEKTACH PRZEMYSŁOWYCH
PublicationW artykule zestawiono informacje obejmujące ramy prawne wykonania audytów energetycznych w zakładach przemysłowych. Opisano główne założenia dokumentów formalnych, a także zinterpretowano kluczowe fragmenty. Odniesiono zapisy prawa do rzeczywistych możliwości ich zastosowania. Zamiarem autorów było, aby zamieszczone uwagi wskazywały najważniejsze problemy wykonywania audytów przemysłowych, z którymi spotyka się audytor. Dotyczy...
-
Quantitative risk assessment of new ship designs in damage conditions
PublicationThe paper is devoted to safety of ships in damage conditions. The novel contribution of the paper is connected with a new Multi-Task ship (MT-ship) design at the preliminary stage of design. There are a few problems at the preliminary stage that should be considered. One problem is connected with if the quantitative risk-based method is a reliable and formal method for safety assessment of such the new design (MT-ship) in damage...
-
Szpital -- forma i funkcja
PublicationForma architektoniczna obiektów służby zdrowia, zwłaszcza szpitali, zdeterminowana jest funkcją. Powiązania między działami szpitala, technologia medyczna, wyposażenie techniczne i instalacyjne, konstrukcja budynku wynikają bezpośrednio z przyjętego układu funkcjonalnego i w znaczący sposób wpływają na rozwiązania formalne i estetyczne. Istotnym elementem prawidłowego funkcjonowania szpitala jest układ komunikacji wewnętrznej,...
-
Geodezja wyższa i astronomia geodezyjna_2022
e-Learning CoursesTrygonometria sferyczna: linia trygonometryczna, własności trójkąta sferycznego; twierdzenie sinusów, cosinusów dla boków, cosinusów dla kątów oraz tangensów. Wzory Borda, analogie Nepera. Nadmiar sferyczny. Pole powierzchni trójkąta sferycznego. Wprowadzenie do geodezji wyższej: podział geodezji, kształt Ziemi, powierzchnie odniesienia, sieci geodezyjne. Elipsoida obrotowa spłaszczona jako powierzchnia odniesienia: elementarne...
-
Geodezja wyższa i astronomia geodezyjna - Ćwiczenia_2022
e-Learning CoursesTrygonometria sferyczna: linia trygonometryczna, własności trójkąta sferycznego; twierdzenie sinusów, cosinusów dla boków, cosinusów dla kątów oraz tangensów. Wzory Borda, analogie Nepera. Nadmiar sferyczny. Pole powierzchni trójkąta sferycznego. Wprowadzenie do geodezji wyższej: podział geodezji, kształt Ziemi, powierzchnie odniesienia, sieci geodezyjne. Elipsoida obrotowa spłaszczona jako powierzchnia odniesienia: elementarne...
-
Effective residue-to-binary converter with the Chinese Remainder Theorem
PublicationKonwersja liczb z systemu resztowego do systemu binarnego jest podstawową operacją we wszystkich układach cyfrowego przetwarzania sygnałów, które wykorzystują system resztowy. W niniejszej pracy zaproponowano nową metodę konwersji opartą o chińskie twierdzenie o resztach dla modułów 5- i 6-bitowych. Specyficzną cechą nowej metody jest sposób obliczania tzw. współczynnika nadmiaru w formule chińskiego twierdzenia o resztach, co...
-
Dokumentacja projektowa konstrukcji stalowych w budowlanych przedsięwzięciach inwestycyjnych
PublicationObowiązujące akty prawne regulujące wymagania odnośnie do formy i zakresu dokumentacji projektowej nie są całkowicie jednoznaczne, co pozwala na stosunkową dowolną ich interpretację. W rezultacie na placach budów i w wytwórniach konstrukcji stalowych wciąż są problemy związane z poprawnym wykonaniem, scaleniem i montażem konstrukcji stalowych, wynikające z niekompletnej lub niedopracowanej dokumentacji projektowej. W książce są...
-
Wytrzymałość zmęczeniowa i nośność graniczna – prow.WP
e-Learning CoursesKurs obejmuje materiały pomocnicze do wykładu i projektu z „Wytrzymałości zmęczeniowej i nośności granicznej” przeznaczone dla studiów stacjonarnych i niestacjonarnych, specjalność Budowa okrętów i jachtów, profil „Duże statki”.Materiały do wykładu zawierają prezentacje, które można obejrzeć bezpośrednio, oraz pliki w formacie PDF z komentarzem do wykładów. Materiały do projektu zawierają wprowadzenia merytoryczne do poszczególnych...
-
Towards the boundary between easy and hard control problems in multicast Clos networks
PublicationIn this article we study 3-stage Clos networks with multicast calls in general and 2-cast calls, in particular. We investigate various sizes of input and output switches and discuss some routing problems involved in blocking states. To express our results in a formal way we introduce a model of hypergraph edge-coloring. A new class of bipartite hypergraphs corresponding to Clos networks is studied. We identify some polynomially...
-
Systematic Management of Simulation State for Multi-Branch Simulations in Simulink
PublicationSystematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement...
-
An Adaptive Network Model Simulating the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning
PublicationThis paper investigates computationally the following research hypotheses: (1) Higher flexibility and discretion in organizational culture results in better mistake management and thus better organizational learning, (2) Effective organizational learning requires a transformational leader to have both high social and formal status and consistency, and (3) Company culture and leader's behavior must align for the best learning effects....
-
An Adaptive Network Model Simulating the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning
PublicationThis paper investigates computationally the following research hypotheses: (1) Higher flexibility and discretion in organizational culture results in better mistake management and thus better organizational learning, (2) Effective organizational learning requires a transformational leader to have both high social and formal status and consistency, and (3) Company culture and leader’s behavior must align for the best learning effects....
-
Developing Prognostic Models of Organization Evolution
PublicationThe work focuses on the problem of measuring evolution of IT organizations. Changes in business influence functioning of the IT organization. IT departments or companies must ensure that the needs of their parent company/customers will be met. Therefore they must constantly evolve. Following question can be raised: is it possible to support process of changes the IT organization to run it smoother, faster, easier but with reduced...
-
Source-related Wavefields in Fluids and Dielectrics: A new way of Thinking about Medium Dynamics
PublicationAcoustic and electromagnetic wave phenomena may seem to have a proper formal representation in field theory dating from the 19th century, founded on the mathematics of complex functions. This paper shows, however, that when replacing the classical spectrum-domain approach related to the assumption of harmonic timeform of signals, with a time-domain approach imposingnorestrictionastotheclassoftimeevolutionofsourceandfieldsignals,...
-
Computational Simulation of the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning
PublicationThis chapter investigates computationally the following research hypotheses: (1) Higher flexibility and discretion in organisational culture results in better mistake management and thus better organisational learning, (2) Effective organisational learning requires a transformational leader to have both high social and formal status and consistency, and (3) Company culture and leader’s behavior must align for the best learning...
-
IFIP Joint International Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification
Conferences -
Oriented Gaussian beams for high-accuracy computation with accuracy control of X-ray propagation through a multi-lens system
PublicationA highly accurate method for calculating X-ray propagation is developed. Within this approach, the propagating wave is represented as a superposition of oriented Gaussian beams. The direction of wave propagation in each Gaussian beam agrees with the local direction of propagation of the X-ray wavefront. When calculating the propagation of X-ray waves through lenses, the thin lens approximation is applied. In this approximation,...
-
Ontological Model for Contextual Data Defining Time Series for Emotion Recognition and Analysis
PublicationOne of the major challenges facing the field of Affective Computing is the reusability of datasets. Existing affective-related datasets are not consistent with each other, they store a variety of information in different forms, different formats, and the terms used to describe them are not unified. This paper proposes a new ontology, ROAD, as a solution to this problem, by formally describing the datasets and unifying the terms...
-
Development of the New Polish Method for Capacity Analysis of Motorways and Expressways
PublicationThe paper presents development of the new Polish method for performing capacity analysis of basic segments of dual carriageway roads (motorways and expressways). The method is based on field traffic surveys conducted at 30 motorway and expressway sites (class A and S roads) in Poland. Traffic flows, composition and travel times were observed in 15-min intervals at each site using ANPR filming method. These data were used to calibrate...
-
Design Equation for Stirring Fluid by a Stream Pump in a Circulating Tank
PublicationA circulating tank is a very useful theoretical scheme for many fluid-flow objects in several branches of engineering. The motion of the fluid in such objects can be induced in different ways. A stream pump provides an especially interesting possibility; however, the quantitative description of such devices shows some shortcomings. Such a device is analogous to a jet pump, thus has similar advantages (simplicity of construction,...
-
Stochastic model of the process of starting combustion engines and practical application of the process
PublicationW atrykule zaproponowano model procesu rozruchu silników o zapłonie samoczynnym w formie procesu semimarkowskiego dyskretnego w stanach i ciągłego w czasie. Zaproponowano również koncepcję zastosowania opracowanego modelu do określenia ilości substancji szkodliwych, jakie są emitowane wraz z spalinami do otoczenia podczas rozruchu każdego silnika. W rozważaniach tych przyjęto, że statystyka zmiennej losowej, rozumianej jako masa...
-
Wysokotemperaturowa trwałość stali i złączy spawanych w środowisku spalin
PublicationBadano przyczyny zróżnicowanej trwałości eksploatacyjnej dwóch osłon palników generatorów gazów obojętnych. Przeprowadzono badania materiałowe; analizę chemiczną, badania metalograficzne i mikroanalizę warstw wierzchnich. Wykazały one, że osłona, która uległa zniszczeniu po ok. 40 godzinach normalnej eksploatacji generatora była wykonana ze stali niestopowej, natomiast osłona, która przepracowała nieco ponad 6 miesięcy i uległa...
-
Przechowywanie złożonych funkcji oświetlenia w postaci mapy normalnych
PublicationMapy normalnych są jedną z najszerzej stosowanych technik w grafice komputerowej, gdyż pozwalają na stosunkowo mało kosztowne odzwierciedlenie detali obiektów i ich interakcji z oświetleniem. Standardowe mapy normalnych przechowują jednak informacje jedynie o orientacji fragmentów powierzchni i nie oddają efektu rzucania cieni w ramach jednej powierzchni. Prezentowany w artykule algorytm pozwala na zakodowanie w standardowej mapie...
-
An application of multi-agent system for ship’s power systems design
PublicationDesign process of transport ship power system consists of structure (topology) and component elements selection. Compliance with the requirements for static components does not guarantee optimal dynamic characteristics of entire power system. Design steps are difficult to formalize and as a consequence to this reason expert and multi-agent systems are used for solving selected design issues. In the paper distributed multi-agent...
-
Oceny środowiskowe w lokalizacji węzłów integracyjnych : przykład węzła integracyjnego "Czerwony Most" w Gdańsku
PublicationArtykuł prezentuje system ocen oddziaływania na środowisko (OOŚ) jako narzędzie przewidywania, oceny i łagodzenia skutków środowiskowych, wynikających z realizacji i funkcjonowania wielkich inwestycji infrastrukturalnych, jakimi są węzły zintegrowane oraz dworce kolejowe, zwłaszcza gdy są one lokowane na obszarach o dużych wartościach historycznych i estetycznych. Procedura OOŚ jest pokazana nie tylko jako formalny wymóg niezbędny...
-
Dynamiczne sieci VLAN z zastosowaniem mechanizmów silnego uwierzytelniania użytkowników oraz metod ochrony przesyłanych informacji
PublicationW pracy zaprezentowano definicje wirtualnych sieci LAN. Klasyfikację algorytmów sieci VLAN przeprowadzono używając kryterium przynależności tzn. port przełącznika, adres MAC, adres sieciowy, adres grupowy IP lub reguły logiczne. Opisano zasady tworzenia sieci VLAN w środowisku wieloprzełącznikowym z użyciem rozwiązań standardu 802.1Q lub protokółu ISL. Scharakteryzowano rozwiązania LANE oraz MPOA umożliwiającego integrację z siecią...
-
Logistyka robót budowlanych. Projektowanie i realizacja zgodne z systemem zarządzania jakością ISO 9000
PublicationProjektowanie i zarządzanie w budownictwie dotyczy nie tylko samej realizacji określonego obiektu inżynierskiego, ale jest też ściśle związane z planowaniem logistycznym. Logistyka przedsięwzięcia budowlanego polega na zaprojektowaniu m.in. placu budowy, planu transportu zamówień oraz sposobu przemieszczania na terenie budowy zarówno pojazdów, materiałów, jak i pracowników. W artykule przedstawiono ideę systemu zarządzania jakością...
-
Technologia medyczna w obiektach świadczących usługi lecznicze- Medical technology in healthcare facilities
PublicationArchitektura budynków szpitalnych kreowana jest pod silnym wpływem wymagań sanitarno-higienicznych oraz wytycznych wynikających z charakteru świadczonych usług medycznych. Naczelną rolę odgrywa tu technologia medyczna, która jest zasobem wiedzy, procesów organizacyjnych i środków fizycznych uczestniczących w realizacji zdefiniowanych świadczeń zdrowotnych. Istotnym elementem takiej kreacji architektonicznej jest szereg procesów...
-
ROLA ZABYTKÓW W GOSPODARCE - WYBRANE ZAGADNIENIA
PublicationRola zabytków w gospodarce rynkowej jest dwojaka i ogranicza się jedynie do wartości historycznej, naukowej czy artystycznej. Z jednej strony budują tożsamość narodową i pełnią funkcje społeczne, a z drugiej – stanowią produkt rynkowy, który wspiera rozwój regionalny pod względem atrakcyjności turystycznej oraz inwestycyjnej. Zabytki jako część infrastruktury stanowią element rozwoju społeczno – gospodarczego. Można więc powiedzieć,...
-
Teoria ruchu pojazdów - W-30/Ć-15/L-0/P-0, WIMiO, PMRiUN, I st., sem. 05, stacjonarne, (M:31576W0), semestr zimowy 2022/2023
e-Learning CoursesPrzenoszenie napędu przez koło ogumione: toczenie z poślizgiem, toczenie przy dużej odkształcalności ogumienia, normalne i styczne reakcje nawierzchni, przyczepność, straty energetyczne, siły w obszarze styku opony z jezdnią. Opory ruchu: powietrza, wzniesienia, bezwładności i holowania. Siły i momenty sił działające na pojazd w ruchu prostoliniowym. Graniczne wartości sił reakcji podłoża. Różne układy napędowe - porównanie właściwości....
-
Teoria ruchu pojazdów - W-30/Ć-15/L-0/P-0, WIMiO, PMRiUN, I st., sem. 05, stacjonarne, (M:31576W0), semestr zimowy 2023/2024
e-Learning CoursesPrzenoszenie napędu przez koło ogumione: toczenie z poślizgiem, toczenie przy dużej odkształcalności ogumienia, normalne i styczne reakcje nawierzchni, przyczepność, straty energetyczne, siły w obszarze styku opony z jezdnią. Opory ruchu: powietrza, wzniesienia, bezwładności i holowania. Siły i momenty sił działające na pojazd w ruchu prostoliniowym. Graniczne wartości sił reakcji podłoża. Różne układy napędowe - porównanie właściwości....
-
Smart Innovation Engineering: Toward Intelligent Industries of the Future
PublicationKnowledge-based Engineering Systems are founded upon integration of knowledge into computer systems and are one of the core requirements for the future Industry 4.0. This paper presents a system called Smart Innovation Engineering (SIE) capable of facilitating product innovation process semi-automatically. It enhances decision-making processes by using the explicit knowledge of formal decision events. The SIE system carries the...
-
Decisional-DNA Based Smart Production Performance Analysis Model
Publicationn order to allocate resources effectively according to the production plan and to reduce disturbances, a framework for smart production performance analysis is proposed in this article. Decisional DNA based knowledge models of engineering objects, processes and factory are developed within the proposed framework. These models are the virtual representation of manufacturing resources, and with help of Internet of Things, are capable...
-
Towards Experience-Based Smart Product Design for Industry 4.0
PublicationThis paper presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development process. It enhances the decision making process during different stages and activities involved in product development i.e. product design, manufacturing, and its inspection planning. The enhancement is achieved by using the explicit knowledge of formal past decision events, which are captured,...
-
Towards automating repairs of IT systems
PublicationThis paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...
-
Discovering patterns of Web Page Visits from Associaton Rules Viewpoint
PublicationThe popularity of the Internet results from the almost unlimited resources of information stored in it. At the same time, Internet portals have become a widespread source of information and note very large number of visits. The list of web pages opened by users is stored in web servers' log files. Extraction of knowledge on the navigation paths of users has become carefully analyzed problem. Currently, there are a number of algorithms...
-
Smart Virtual Product Development (SVPD): Experience Based Product Development System for Industry 4.0
PublicationThis chapter presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development. It enhances the decision making process during various activities involved in product development i.e. product design, manufacturing, and inspection planning. This is achieved by using the explicit knowledge of past formal decision events, which are captured, stored, and recalled in the form...