Filters
total: 11557
-
Catalog
- Publications 10292 available results
- Journals 23 available results
- Conferences 21 available results
- People 175 available results
- Inventions 2 available results
- Projects 50 available results
- Laboratories 5 available results
- Research Teams 13 available results
- Research Equipment 9 available results
- e-Learning Courses 369 available results
- Events 25 available results
- Offers 1 available results
- Open Research Data 572 available results
displaying 1000 best results Help
Search results for: SGS MODEL
-
Development of the System Assurance Reference Model for Generating Modular Assurance Cases
PublicationAssurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Larger assurance cases are usually divided into modules to manage the complexity and distribute the work. Each of the modules is developed to address specific goals allocated to the specific objects i.e. components of the...
-
A Robust Random Forest Model for Classifying the Severity of Partial Discharges in Dielectrics
PublicationPartial Discharges (PDs) are a common source of degradation in electrical assets. It is essential that the extent of the deterioration level of insulating medium is correctly identified, to optimize maintenance schedules and prevent abrupt power outages. Temporal PD signals received from damaged insulation, collected through the IEC-60270 method is the gold standard for PD detection. Temporal signals may be transformed to the frequency...
-
A Formal Approach to Model the Expansion of Natural Events: The Case of Infectious Diseases
PublicationA formal approach to modeling the expansion of natural events is presented in this paper. Since the mathematical, statistical or computational methods used are not relevant for development, a modular framework is carried out that guides from the external observation down to the innermost level of the variables that have to appear in the future mathematical-computational formalization. As an example we analyze the expansion of Covid-19....
-
TRAVELLING WAVES FOR LOW–GRADE GLIOMA GROWTH AND RESPONSE TO A CHEMOTHERAPY MODEL
PublicationLow-grade gliomas (LGGs) are primary brain tumours which evolve very slowly in time, but inevitably cause patient death. In this paper, we consider a PDE version of the previously proposed ODE model that describes the changes in the densities of functionally alive LGGs cells and cells that are irreversibly damaged by chemotherapy treatment. Besides the basic mathematical properties of the model, we study the possibility of the...
-
A hierarchical observer for a non-linear uncertain CSTR model of biochemical processes
PublicationThe problem of estimation of unmeasured state variables and unknown reaction kinetic functions for selected biochemical processes modelled as a continuous stirred tank reactor is addressed in this paper. In particular, a new hierarchical (sequential) state observer is derived to generate stable and robust estimates of the state variables and kinetic functions. The developed hierarchical observer uses an adjusted asymptotic observer...
-
Bimodal deep learning model for subjectively enhanced emotion classification in films
PublicationThis research delves into the concept of color grading in film, focusing on how color influences the emotional response of the audience. The study commenced by recalling state-of-the-art works that process audio-video signals and associated emotions by machine learning. Then, assumptions of subjective tests for refining and validating an emotion model for assigning specific emotional labels to selected film excerpts were presented....
-
A Comprehensive Review: Applications of the Kozeny–Carman Model in Engineering with Permeability Dynamics
PublicationIn this review article, we investigate the dynamic nature of the Kozeny–Carman Model concerning permeability and its application in engineering contexts. Providing insights into the changing dynamics of permeability within mining, petroleum, and geotechnical engineering, among other engineering applications. While some are complex and require additional modifcations to be applicable, others are simple and still function in specifc...
-
Analysis of dynamics of a map-based neuron model via Lorenz maps
PublicationModeling nerve cells can facilitate formulating hypotheses about their real behavior and improve understanding of their functioning. In this paper, we study a discrete neuron model introduced by Courbage et al. [Chaos 17, 043109 (2007)], where the originally piecewise linear function defining voltage dynamics is replaced by a cubic polynomial, with an additional parameter responsible for varying the slope. Showing that on a large...
-
Testing the Effect of Bathymetric Data Reduction on the Shape of the Digital Bottom Model
PublicationDepth data and the digital bottom model created from it are very important in the inland and coastal water zones studies and research. The paper undertakes the subject of bathymetric data processing using reduction methods and examines the impact of data reduction according to the resulting representations of the bottom surface in the form of numerical bottom models. Data reduction is an approach that is meant to reduce the size...
-
E-Estonia as a role model? Some general considerations and applicability in France
PublicationEstonia has recently been widely recognised – in the policy circles, academia, as well as the media space – as one of the more advanced nation states when it comes to digital government (and governance) transformation (e.g. Margetts and Naumann, 2017; Heller, 2017). Ever greater attention Estonia attracted with the two most recent digital government initiatives, namely the e-Residency and the virtual data embassy, both first of...
-
System Loss Model for Body-to-Body Networks in Indoor and Outdoor Environments
PublicationA system loss model for body-to-body networks in indoor and outdoor environments is proposed in this paper, based on measurements taken at 2.45 GHz. The influence of the type of environment, antenna visibility and user mobility on model parameters has been investigated. A significant impact of mutual antennas’ placement and their visibility is shown. The proposed model fits well to empirical data, with the average root mean square...
-
A model of occurrence of the situations endangering inland waterways passanger ships and the environment
PublicationZaproponowano czterostanowy semimarkowski model pojawiania się sytuacji zagrażających pasażerskim statkom śródlądowym. Model ten został opracowany w formie semimarkowskiego procesu dyskretnego w stanach i ciągłego w czasie, którego wartościami są rodzaje stanów, interpretowanych jako sytuacje: normalna, skomplikowana, niebezpieczna oraz awaryjna. Zobrazowano przykładową realizację procesu zmian sytuacji, jakie mogą pojawić się...
-
Stałoprądowy model tranzystora mos dla zakresu przed- i nadprogowego
PublicationZaprezentowano spójny fizycznie, stałoprądowy, jednosekcyjny model opisujący pracę tranzystora MOS zarówno w zakresie przed- i nadprogowym, jak również w zakresie liniowym (triodowym) i nasycenia (pentodowym). Przedstawiono założenia modelu fizycznego w przestrzeni 2-D i jego transformację do modelu quasi-dwuwymiarowego praz zademonstrowano wyniki weryfikacji eksperymentalnej modelu. Model spełnia warunek symetrii Gummel'a
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Using a computational model to compare objective negotiations in real and virtual environments
PublicationZaprezentowano obliczeniowy model negocjacji uwzględniający warunki początkowe, przebieg negocjacji i wyniki negocjacji. Przedstawiono komputerowy system wspomagający rejestrację przebiegu negocjacji i ich wyników oraz analizę negocjacji zgodną z proponowanym modelem.
-
Developing a model of cooperation between universities and business - the generalization of cases of cooperation
PublicationThe aim of this paper is to present a model of cooperation between universities and business.
-
Soft- and hard-decision multiple-model estimators for air traffic control
PublicationAnalizuje się problem śledzenia samolotów cywilnych manewrowania w zapewnianiu kontroli ruchu lotniczego (ATC) systemów za pomocą wielomodelowej (MM) estymacji stanu. Budując odpowiedni zestaw modeli manewrowania można opisać, jak różne manewry wpływają na proces oceny stanu wykonywany przez filtr Kalmana (KF) w oparciu o model ruchu bezmanerwowego. Metodologia ta prowadzi do podsystemu diagnostycznego, który wspiera estymator...
-
Polyarmonic model of synchronous generator for analysis of autonomous power generation systems
PublicationAbstract: This paper presents the polyharmonic modelling of synchronous generator (SG) in machine variables. The simple geometry and windings physical layout has been used for inductance calculations of a salient-pole SG. The main advantage of this model is the ease of describing an autonomous power generation system (APGS) in terms of its topology and thus providing effective analysis at the static and dynamic states, both for...
-
Verification of geotechnical numerical simulations by model tests using PIV technique
PublicationPrzedstawiono metodykę i wyniki badań modelowych stateczności fundamentów bezpośrednich posadowionych w sąsiedztwie kątowych ścian oporowych. Dla takiego złożonego układu fundament - obciążenie - podłoże gruntowe wykonano badania modelowe w płaskim stanie odkształcenia na gruncie naturalnym i analogowym. Trajektorie i izopola przemieszczeń oraz progresywny rozwój kształtu i zasięgu powierzchni poślizgu określono techniką PIV.
-
Minimal parameter implicit solvent model for ab initioelectronic-structure calculations
PublicationAbstract - We present an implicit solvent model for ab initio electronic-structure calculations which is fully self-consistent and is based on direct solution of the nonhomogeneous Poisson equation. The solute cavity is naturally defined in terms of an isosurface of the electronic density according to the formula of Fattebert and Gygi (J. Comput. Chem., 23 (2002) 662). While this model depends on only two parameters, we demonstrate...
-
Measurement of the Development of a Learning IT Organization Supported by a Model of Knowledge Acquisition and Processing
PublicationThe paper presents a model of knowledge acquisition and processing for the development of learning organizations. The theory of a learning organization provides neither metrics nor tools to measure its development The authors' studies in this field are based on their experience gathered after projects realized in real IT organizations. The authors have described the construction of the model and the methods of its verification...
-
Asynchronous distributed state estimation based on a continuous-time stochastic model
PublicationW artykule rozważa się ogólny problem estymacji stanu w asynchronicznych rozłożonych systemach (ADE) opartych na wielu czujnikach. W takich systemach stan obiektu jest oceniany przez grupę lokalnych estymatorów, z których każdy oparty zwykle na filtrze Kalmana, dokonuje fuzji danych zebranych poprzez jego lokalne czujniki oraz danych uzyskanych od innych (zdalnych) procesorów, w celu wyznaczenia możliwie najlepszych estymat. Przeprowadzając...
-
Tribological model of porous bearings with particular attention given to the lubricant lubricity
PublicationThe friction and wear problems, accompanying all the tribological systems, lead to reduced service life. In order to prevent such situation, it is necessary to maintain fluid friction, which improves durability of all friction nodes in a tribological system. In the paper, the tribological system consists of porous bearings and the model deals with their weakest spots - the oil outflow points in the porous wall. A kinetic model...
-
New propagation model for wireless monitoring systems in the container terminal environment
PublicationW artykule został poddany analizie problem szacowania tłumienia propagacyjnego na obszarze terminala kontenerowego. Została opisana kampania pomiarowa, której rezultatem było opracowanie nowego modelu propagacyjnego dla łącza radiowego pracującego w warunkach LOS i NLOS.
-
Aplikacje i środowiska kontekstowe: Semantyczny model realizacji ludzkich przedsięwzięć
PublicationPrzedstawiono usystematyzowane podejście do opisu przedsięwzięć ludzkich i usług informacyjnych. Zaprezentowano środowisko WIKI jako platformę wspomagającą przetwarzanie zespołowe oraz zasygnalizowano dalsze trendy jej rozwoju. Wykazano potrzebę uwzględnienia kontekstu związanego z zespołem, realizowanym przedsięwzięciem oraz dziedziną, której ono dotyczy. Podano sposób budowy ontologii dla opisu wymaganych kontekstów.
-
Model zarządzania zasobami wiedzy w środowisku oceny technologii informatycznych
PublicationCelem pracy jest prezentacja modelu zasobów wiedzy systemu agentowego do oceny technologii informatycznych. Na wstępie zaprezentowano koncepcje systemu agentowego do oceny technologii informatycznych opracowanego w Zespole Zarządzania Technologiami Informatycznymi. Następnie scharakteryzowano model proponowanych dla potrzeb systemu baz wiedzy. Opracowany model został następnie poddany weryfikacji w środowisku oceny technologii...
-
Analyzing and improving a mechanistic model for the Microthrix parvicella in activated sludge systems
PublicationW pracy przedstawiono wyniki estymacji parametrów dla mechanistycznego modelu bakterii Microthrix parvicella w systemach osadu czynnego. W tym celu wykorzystano dane z oczyszczalni ścieków w Szwajcarii oraz wyniki dodatkowych badań laboratoryjnych w reaktorze nieprzepływowym. Model właściwie prognozował szybkość poboru tlenu (mierzoną dla różnych substratów) oraz zawartść bakterii Microthrix w biomasie osadu czynnego.
-
Model analityczny budżetu czasu opóźnienia w sieci IP QoS
PublicationPodstawowym celem artykułu jest przedstawienie i przebadanie sposobu podziału opóźnienia end-to-end dla danego strumienia pakietów wzdłuż łączy ścieżki, tak aby wolne zasoby przydzielane były w sposób gwarantujący jakość, a jednocześnie miała miejsce na tej ścieżce maksymalizacja liczby przyjętych do obsługi strumieni pakietów. Proces ten może dotyczyć zarówno łańcucha domen jak i łańcucha łączy. Opisany model LSS oparty jest na...
-
Reliability model of slide bearings with particular attention given to lubricating oil
PublicationThe paper presents the slide bearing with circulating lubrication as a system of series three-element structure, where lubricating oil is the weakest link. In accordance with the Pierce statement that ''strength of chain is the strength of its weakest link'', a bearing reliability model has been developed. It allows to use the lubricating oil to evaluate the probability of correct working of the whole slide bearing, i.e. the reliability....
-
Identification and classification model of the quality perception determinants and tourist services attributes
PublicationW niniejszym rozdziale zaprezentowano model identyfikacji oraz klasyfikacji zarówno determinant percepcji jakości jak i cech charakterystycznych dla usług turystycznych. Wykorzystano w tym celu zarówno cechy charakterystyczne dla usług dowolnego rodzaju zaadaptowane na potrzeby usług turystycznych jak i te które są specyficzne wyłącznie dla tej branży.
-
Efficient model order reduction for FEM analysis of waveguide structures and resonators
PublicationAn efficient model order reduction method for three-dimensional Finite Element Method (FEM) analysis of waveguide structures is proposed. The method is based on the Efficient Modal Order Reduction (ENOR) algorithm for creating macro-elements in cascaded subdomains. The resulting macro-elements are represented by very compact submatrices, leading to significant reduction of the overall number of unknowns. The efficiency of the model...
-
Asynchronous distributed state estimation based on a continuous-time stochastic model
PublicationW artykule rozważa się problem estymacji stanu w asynchronicznych rozłożonych systemach (ADE) opartych na wielu czujnikach pomiarowych. W systemach takich stan obiektu jest oceniany przez grupę lokalnych estymatorów, z których każdy (oparty zwykle na filtrze Kalmana) dokonuje fuzji danych zebranych poprzez jego lokalne czujniki oraz danych odebranych od innych zdalnych procesorów, w celu wyznaczenia możliwie najlepszych estymat....
-
Dynamics of mechanical model of implant-tissue system in ventral hernia repair
PublicationThe paper deals with a finite element modelling of implants in the problem of ventral hernia repair. The synthetic mesh implanted in the abdomen during surgery is here modelled as a membrane structure. Thesystem undergoes the internal abdominal pressure that occurs during the postoperative cough, the load identified in the literature as the main cause of the connection failure and hernia recurrence. The model can be used to estimate...
-
Diagnosis of Damage in a Steel Tank Model by Shaking Table Harmonic Tests
PublicationThe aim of the present paper is to show the results of the shaking table experimental study concerning the diagnosis of damage in a model of cylindrical steel tank with self-supported roof which is filled with liquid. During the tests, the base of the structure was excited under the harmonic loading with variable frequency. The tests were repeated for different stages of damage, which was introduced in the model by easing the bolts...
-
Stability of delay induced oscillations in gene expression of Hes1 protein model
PublicationW pracy prezentowana jest matematyczna analiza modelu ekspresji genu białka Hes1. Rozważamy układ równań z dwoma opóźnieniami - w produkcji białka Hes1 oraz jego mRNA. Dowodzimy istnienia i jednoznaczności oraz nieujemności rozwiązań. Pokazujemy istnienie dokładnie jednego dodatniego stanu stacjonarnego. Wykazujemy, że stabilność stanu stacjonarnego zależy od sumy opóźnień. Podajemy warunek dostateczny na wystąpienie bifurkacji...
-
Simulation model for assessment of IMS-based NGN call processing performance
PublicationIn current telecommunications it is assumed that demands of information society for quickly delivered services will be satisfied by Next Generation Network (NGN) architecture, which includes IP Multimedia Subsystem (IMS) elements. To guarantee Quality of Service (QoS), proper design and dimensioning of NGN is absolutely necessary, for which appropriate models have to be proposed. As NGN architecture is very complicated, the most...
-
Uniwersalny model symulacyjny układu napędowego prototypu samochodu elektrycznego 'ELV001'
PublicationW artykule zaprezentowano uniwersalny model symulacyjny układu napędowego prototypu samochodu elektrycznego "ELV001". Opracowany model implementowano do programu Synopsys/Saber. Przedstawiono wybrane wyniki symulacji zużycia energii elektrycznej przez samochód "ELV001" dla przykładowego przejazdu w ruchu miejskim.
-
Toxoplasma gondii: an evaluation of diagnostic value of recombinant antigens in a murine model
PublicationPraca dotyczy oceny użyteczności sześciu rekombinantowych białek antygenowych Toxoplasma gondii (GRA1, GRA6, GRA7, p35, SAG1 i SAG2) w diagnozowaniu doświadczalnej toksoplazmozy u myszy. Przeprowadzone badania pozwoliły na określenie stopnia reaktywności zastosowanych antygenów z surowicami z wczesnej i przewlekłej toksoplazmozy. W przypadku ostrej fazy choroby obserwowano silną odpowiedź humoralną na antygeny GRA7, GRA6 i p35,...
-
Calculation of self and mutual inductances of the switched reluctance machine mathematical model.
PublicationA mathematical model of the switched reluctance machine (SRM) in a drive system obtained using Lagrange's energy method and a method of calculation of self and mutual inductances of the SRM are presented in the paper. The self and mutual inductances are elements of Lagrange's function in generalised coordinates and have been calculated using the finite element method (FEM). Selected calculation results for the particular machine...
-
Dynamiczny model uogólnionego łącznika energoelektronicznego do symulacji układów przekształtnikowych
PublicationZaproponowano strategię modelowania, w której po określeniu postaci modelu dobiera się numeryczne metody obliczeniowe stosowane w symulacji. Przedstawiono opracowany uogólniony, nieliniowy model tranzystora mocy IGBT. Przyjęto, że do określenia parametrów tego modelu powinna wystarczać znajomość standardowych, katalogowych para-metrów i charakterystyk. Przedstawiono model zaciskowy o klasycznej strukturze, odwzorowujący z wystarczającą...
-
Model ruchowy sygnalizacji w sieci pakietowej z protokołem SIP
PublicationW pracy przedstawiono koncepcję analizy ruchowej sygnalizacji protokołu SIP. Zwrócono uwagę na szczególne cechy protokołu SIP, które należy uwzględnić przy tworzeniu modelu ruchowego. Po przyjęciu pewnych założeń upraszczających zaproponowano model ruchowy składający się z szeregowo połączonych modeli M/G/1. Podano również wzory umożliwiające obliczenie jednego z ważniejszych parametrów QoS, którym jest średni czas przebywania...
-
High quality speech codec employing sines+noise+transients model
PublicationA method of high quality wideband speech signal representation employing sines+transients+noise model is presented. The need for a wideband speech coding approach as well as various methods for analysis and synthesis of sines, residual and transient states of speech signal is discussed. The perceptual criterion is applied in the proposed approach during encoding of sines amplitudes in order to reduce bandwidth requirements and...
-
Mathematical Modeling of Hydrodynamics in Bioreactor by Means of CFD-Based Compartment Model
Publication -
The high-cyclic model for sand tested beyond the usual ranges of application
Publication -
A Consolidation Curve Reproduction Based on Sigmoid Model: Evaluation and Statistical Assessment
Publication -
Barriers to using of Quintuple Helix model to create innovations in Polish regions
Publication -
Integrated model of development as a basis for decision support system for the urban planning
PublicationW artykule omówiono problemy budowy systemów informacji przestrzennej na potrzeby planowania rozwoju miast z wykorzystaniem technik GIS-u
-
Polish internet mortgage market: towards fully developed fuzzy model
PublicationThe first part of the paper consists of introduction describing the Polish Internet Mortgage Market. Later there is presented the idea of the rule based model which may be used on this market. Next step consists of fuzzyfication of the model. This process begins with the initial set of variables which was used previously for the rule based model of the same market. As numerous aspects of the market cannot be presented in the crisp...
-
Distributed MIND - A New Processing Model Based on Mobile Interactive Documents
PublicationObliczenia w trybie zespołowym pozwalają na integrację działań ludzi i agentów systemowych w otwartym środowisku rozproszonym w celu rozwiązywania problemów formułowanych dynamicznie w trakcie pracy systemu. Problemy te najczęściej nie mają charakteru algorytmicznego, tzn. generowane rozwiązania nie mogłyby zostać wyliczone w skończonej liczbie kroków na podstawie danych charakteryzujących uczestników obliczeń. Autorzy proponują...
-
The process of fuzzy model development for the case of polish internet mortgage market
PublicationThe aim of the paper is to present the conceptual description of fuzzy model representing the Polish Internet mortgage market. The first part of the paper consists of assessment and verification of model variables which are important for the Polish Internet Mortgage Market. This process begins with the initial set of variables which was used previously for the rule based model of the same market. As numerous aspects of the market...