Filters
total: 1644
filtered: 1493
-
Catalog
- Publications 1493 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 20 available results
- Inventions 5 available results
- Projects 2 available results
- Laboratories 3 available results
- e-Learning Courses 56 available results
- Events 31 available results
- Open Research Data 2 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: wzgledy formalne
-
Karta założeń nowego produktu
PublicationW pracy przedstawiono istotę i funkcje założeń nowego produktu oraz składniki karty założeń. Założenia te stanowią zestawienie planowanych aspektów technicznych, marketingowych i ekonomicznych dotyczących wdrażanego nowego produktu. Powstają one jako jeden z końcowych elementów fazy przygotowania koncepcji w procesie kształtowania nowego produktu, zaś karta założeń jest ich formalnym wyrazem. Określono trzy podstawowe funkcje założeń...
-
High quality speech coding using combined parametric and perceptual modules. [Kodowanie sygnału mowy z zachowaniem wysokiej jakości przy wykorzystaniu modułu parametrycznego i perceptualnego]
PublicationW komunikacie zaprezentowano nową metodę hybrydowego kodowania sygnału mowy. Techniki kodowania parametrycznego oraz perceptualnego zostały wykorzystane w celu zapewnienia wysokiej jakości kodowania sygnału mowy. Przedstawiono wyniki badań dla dwóch architektur kodeka. Jedna z nich bazuje na algorytmie pozwalajacym wyodrębnić składowe dźwięczne, bezdźwięczne oraz transjenty. Składowe dźwięczne kodowane są metodą perceptualną, bezdźwięczne...
-
The role of analytical chemistry in the study of the Anthropocene
PublicationThe term “Anthropocene” refers to not yet formalized epoch of geologic time during which geologic processes have been dominated by the human impact. This impact takes on many forms. Biological, physical and chemical changes to the Earth System caused by anthropogenic activity are recorded in natural archives either as new fossil assemblages (neobiota), anthropogenic deposits or a wide variety of pollutants emitted to the environment....
-
2-D constitutive equations for orthotropic Cosserat type laminated shells in finite element analysis
PublicationWe propose 2-D Cosserat type orthotropic constitutive equations for laminated shells for the purpose of initial failure estimation in a laminate layer. We use nonlinear 6-parameter shell theory with asymmetric membrane strain measures and Cosserat kinematics as the framework. This theory is specially dedicated to the analysis of irregular shells, inter alia, with orthogonal intersections, since it takes into account the drilling...
-
Analiza drgań przewodu jezdnego dla potrzeb walidacji modelu matematycznego sieci trakcyjnej
PublicationNieprawidłowa współpraca odbieraka z siecią jezdną, w niekorzystnych warunkach lokalnych, prowadzi do uszkodzeń sieci lub odbieraka. Najczęściej spowodowane to jest niewłaściwą regulacją tych elementów układu zasilania. Awarie te wywołują z reguły duże opóźnienia w ruchu pociągów i generują olbrzymie koszty. Sieć trakcyjna nie posiada rezerwy, stąd wysokie wymagania jakościowe i niezawodnościowe określa się szczególnie dla niej....
-
Teoria zbiorów rozmytych w zarządzaniu ryzykiem jako utylitarne narzędzie systemu zarządzania jakością
PublicationDziałalność przedsiębiorstwa wiąże się z potrzebą analizowania ryzyka oddziałującego na procesy firmy. Norma PN-EN ISO 9001:2015 dokonuje identyfikacji czynników ryzyka i ich wpływu na jakość wyrobu. W szacowaniu ryzyka punktowe oceny wyrażające subiektywne opinie zastępowane są coraz częściej formalnym zapisem niepewności. Artykuł ukazuje zastosowanie rozmytego systemu wnioskującego w procesie zarządzania ryzykiem, umożliwiającego...
-
Billiard in a rotating half-plane
PublicationThe main objective of this research is to study the properties of a billiard system in an unbounded domain with moving boundary. We consider a system consisting of an infinite rod (a straight line) and a ball (a massless point) on the plane. The rod rotates uniformly around one of its points and experiences elastic collisions with the ball. We define a mathematical model for the dynamics of such a system and write down asymptotic...
-
Manifesty urbanistyczne. W poszukiwaniu współczesnego modelu miasta
PublicationPrzypominane w tym tomie manifesty urbanistyczne powstały w odpowiedzi na „szok urbanizacyjny” XIX i początku XX wieku, kiedy problemy wyrosłe z nienotowanego nigdy wcześniej wzrostu miast odsunęły na bardzo daleki plan wcześniejsze rozwiązania geometryczne jako nieadekwatne do palących problemów społecznych, ekonomicznych, technicznych i środowiskowych. Wizje miast zaczęli budować nie tylko, a może nawet nie przede wszystkim,...
-
Balancing agility and discipline in a research project
PublicationSuccessful software development requires both agility and discipline. Optimal selection of methods, however, is not an easy task. The problem becomes even more difficult for long lasting projects. Appropriate selection of methods involving skillful introduction and abandonment of certain practices in time makes the whole process dynamic. The paper presents in this context a research project which was realized in a few iterations....
-
Systems, environments, and soliton rate equations: A non-Kolmogorovian framework for population dynamics
PublicationSoliton rate equations are based on non-Kolmogorovian models of probability and naturally include autocatalytic processes. The formalism is not widely known but has great unexplored potential for applications to systems interacting with environments. Beginning with links of contextuality to non- Kolmogorovity we introduce the general formalism of soliton rate equations and work out explicit examples of subsystems interacting with...
-
Scheduling jobs to contain a natural disaster: a model and complexity
Publicationthis paper is devoted to the problem of scheduling suppression units so that a natural disaster is dealt with as efficient as possible. the concept of deteriorating jobs is adopted, that is, the formal model of scheduling represents linearly increasing value loss as the disaster remains unsuppressed and increasing time for its suppression. more precisely, two different goals are considered: finding a suppression schedule of minimal...
-
Modeling of hazards, consequences and risk for safety assessment of ships in damaged conditions in operation
PublicationPraca dotyczy problematyki związanej z modelowaniem zagrożeń, konsekwencji i ryzyka, w metodzie oceny bezpieczeństwa statków w stanie uszkodzonym. Metoda oparta jest na podejściu zorientowanym na ocenę zachowania się statku i ocenę ryzyka wypadku. Kolejne moduły metody dotyczą identyfikacji zagrożeń i scenariuszy wypadków oraz oceny i kontroli ryzyka. Ocenę ryzyka można przeprowadzić przy zastosowaniu elementów metodyki Przypadku...
-
Navy sonar's modernization developed in Gdansk University of Technology
PublicationSzybki rozwój technologii elektronicznej i metod przetwarzania sygnałów powoduje szybkie starzenie moralne systemów instalowanych na okrętach. Ponieważ kadłuby, silniki i inne, drogie, mechaniczne komponenty okrętów nie starzeją się w takim tempie i wytrzymują kilkadziesiąt nawet lat eksploatacji, istnieje głęboki sens modernizacji systemów sonarowych, z ewentualnym zachowaniem istniejących anten hydroakustycznych i ich stabilizacji....
-
Sparse autoregressive modeling
PublicationIn the paper the comparison of the popular pitch determination (PD) algorithms for thepurpose of elimination of clicks from archive audio signals using sparse autoregressive (SAR)modeling is presented. The SAR signal representation has been widely used in code-excitedlinear prediction (CELP) systems. The appropriate construction of the SAR model is requiredto guarantee model stability. For this reason the signal representation...
-
Procedura zmiany sprzedawcy energii elektrycznej w Polsce
PublicationOstatnie kilkanaście lat w polskiej energetyce to okres dynamicznych zmian. Jednym z istotnych przykładów tych przemian jest liberalizacja rynku energii. Wprowadzone, w krajowej energetyce, mechanizmy rynku konkurencyjnego umożliwiają odbiorcom energii m.in. swobodny wybór sprzedawcy energii elektrycznej w formule TPA. W artykule przedstawiony został proces zmiany sprzedawcy bazujący na generalnej umowie dystrybucji (GUD). Odniesiono...
-
Proces zmiany sprzedawcy energii elektrycznej w Polsce
PublicationOstatnie kilkanaście lat w polskiej energetyce to okres dynamicznych zmian. Jednym z istotnych przykładów tych przemian jest liberalizacja rynku energii. Wprowadzone, w krajowej energetyce, mechanizmy rynku konkurencyjnego umożliwiają odbiorcom energii m.in. swobodny wybór sprzedawcy energii elektrycznej w formule TPA. W artykule przedstawiony został proces zmiany sprzedawcy bazujący na generalnej umowie dystrybucji (GUD). W trakcie...
-
Metoda symulacyjna Monte Carlo w analizie niezawodności przestrzennych układów ramowych
PublicationW pracy zaprezentowano koncepcję analizy probabilistycznej stanu granicznego układu prętowego, w oparciu o specjalną procedurę symulacyjną Monte Carlo. Stan graniczny zdefiniowany ze względu na obciążenia przeanalizowano na trzech przykładach: ramy płaskiej, ramy przestrzennej i istniejącej przestrzennej struktury. Przedstawiono także alternatywne sformułowanie problemu stanów granicznych, ze względu na własności materiałowe. Przeprowadzono...
-
Kompletna dwuwymiarowa chromatografia gazowa-nowoczesne narzędzie analityczne. Cz II. Aparatura.
PublicationTechniki chromatograficzne od lat cieszą się bardzo dużym zainteresowaniem ze względu na szeroki zakres praktycznego zastosowania.Kompletna dwuwymiarowa chromatografia gazowa staje się obecnie skutecznym i wszechstronnym narzędziem analitycznym ze względu na swoje niewątpliwe zalety w analizie próbek o bardzo złożonym składzie. W pracy omówiono podstawy techniki kompletnej wielowymiarowej chromatografii gazowej (GCxGC), detektory,...
-
WIELOWARIANTOWA ANALIZA WPŁYWU MODERNIZACJI LINII KOLEJOWEJ NR 201 NA DOSTĘPNOŚĆ KOLEJOWĄ GDYŃSKIEGO PORTU
PublicationW artykule zawarto analizę zdolności przepustowej przy różnych wariantach modernizacji linii kolejowej nr 201 na odcinku Kościerzyna – Gdynia Główna. Wykazano, że przeprowadzenie obszernych inwestycji infrastrukturalnych jest niezbędne nie tylko ze względu na możliwość zapewnienia alternatywy dla pociągów towarowych kursujących do/z Portu Gdynia po liniach kolejowych nr 9 i 202, ale przede wszystkim ze względu na przyszłe natężenie...
-
Firing map of an almost periodic input function
PublicationIn mathematical biology and the theory of electric networks the firing map of an integrate-and-fire system is a notion of importance. In order to prove useful properties of this map authors of previous papers assumed that the stimulus function f of the system ẋ = f(t,x) is continuous and usually periodic in the time variable. In this work we show that the required properties of the firing map for the simplified model ẋ = f(t) still...
-
Virtual Engineering Objects: Effective Way of Knowledge Representation and Decision Making
PublicationThis paper presents a knowledge representation case study by constructing Decisional DNA of engineering objects. Decisional DNA, as a knowledge representation structure not only offers great possibilities on gathering explicit knowledge of formal decision events but also it is a powerful tool for decision-making process. The concept of Virtual engineering Object (VEO), which is a knowledge and experience representation of engineering...
-
Participatory approach to urban regeneration processes in polish cities and regions
PublicationThe paper presents the impact of EU Cohesion Policy 2014-2020 on regeneration processes which are implemented in Polish towns, cities and metropolis when emphasizing general formal and legal framework including examination of the possible distribution of EU funds for regeneration projects within the regional operational programmes. The paper focuses on different approaches to the implementation of Cohesion Policy in Polish regions....
-
Risk criteria for sea-going ships arising from the operation of the main engines' crankshaft - conecting rod - piston systems
PublicationIn the article the risk criterion for sea-going ships arising from the operation of the main engines' crankshaft - connecting rod - piston systems is proposed. These criterion is based on the procedures recommended in the Formal Safety Assessment method developed under the auspices of International Maritime Organization (IMO). First of all the collective risk criterion for ship has been proposed. In the next step, the share of...
-
Modelowanie i ograniczanie skutków ataków uzurpacji uprawnień w systemach teleinformatycznych wspierających różnicowanie poziomu QoS
PublicationW wieloagentowych systemach teleinformatycznych pracujących w paradygmacie Klient-Serwer i wspierających różnicowanie poziomu QoS poważnym zagrożeniem są ataki uzurpacji uprawnień metodą Fałszywego VIPa. Ich celem jest zapewnienie Klientowi nienależnie wysokiego poziomu QoS, co powoduje nadużycie zasobów Serwera i szkody dla innych Klientów. W referacie podjęto próbę sforma-lizowania modelu takich ataków oraz zaproponowa-no obustronnie...
-
Charakterystyka i przydatność składników szarłatu w biotechnologii żywności
PublicationW artykule przedstawiono charakterystykę szarłatu, który jest pseudozbożem o dobrej wartości żywieniowej ze względu na zawartość lipidów o korzystnej proporcji nasyconych i nienasyconych kwasów tłuszczowych i białek o dobrym składzie aminokwasowym. Brak białek frakcji glutenu świadczy o przydatności szarłatu do wytwarzania dietetetycznej żywności przeznaczonej dla chorych na celiakię. Ze względu na małe rozmiary ziaren skrobi szarłatu...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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,...
-
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ą...
-
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...
-
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...
-
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...
-
The limit case of a domination property
PublicationPraca dotyczy dolnego ograniczenia liczby dominowania w grafach, ze względu na ilość wierzchołków oraz największą liczbę liści w drzewie spinającym.
-
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,...
-
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...
-
Tlenek cynku: synteza, właściwości oraz zastosowanie
PublicationTlenek cynku posiada szczególne właściwości optyczne, elektryczne oraz termiczne. Ze względu na te właściwości, tlenek ten znajduje zastosowanie w różnorodnych dziedzinach.
-
Lower bound on the weakly connected domination number of a tree
PublicationPraca dotyczy dolnego ograniczenia liczby dominowania słabo spójnego w drzewach (ograniczenie ze względu na ilość wierzchołków i ilość wierzchołków końcowych w drzewie).
-
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...
-
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,...
-
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...
-
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...
-
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...
-
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....