Filtry
wszystkich: 16745
wybranych: 13117
-
Katalog
- Publikacje 13117 wyników po odfiltrowaniu
- Czasopisma 80 wyników po odfiltrowaniu
- Konferencje 21 wyników po odfiltrowaniu
- Osoby 547 wyników po odfiltrowaniu
- Wynalazki 32 wyników po odfiltrowaniu
- Projekty 181 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 30 wyników po odfiltrowaniu
- Aparatura Badawcza 11 wyników po odfiltrowaniu
- Kursy Online 1409 wyników po odfiltrowaniu
- Wydarzenia 70 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
- Dane Badawcze 1241 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: model MARKAL
-
Model gotowości procesowej urzędu miejskiego dojścia do Smart City
PublikacjaPrezentowana książka dostarczyć ma nową perspektywę spojrzenia na Smart City. Dotychczas koncentrowano się na opisie Smart City lub na opisie miast, książka ta przedstawia drogę pomiędzy miastem, a Smart City, wskazując urząd miejski jako kluczową instytucję zarządzającą procesami przejścia na tej drodze. Aby pokazać tę drogę konieczne było przeprowadzenie badań miast. W książce przedstawiono badania dziesięciu polskich, dużych...
-
Building collective intelligence through experience: a survey on the use of the KREM model
PublikacjaThis article presents a survey on the use of KREM, a generic knowledge-based framework for building collective intelligence through experience. After a discussion on the disadvantages of the traditional architecture used to deploy intelligent systems, the KREM architecture (Knowledge, Rules, Experience, Meta-Knowledge) is presented. The novelty of the proposal comes from the inclusion of the capitalisation of experience and the...
-
Decisional DNA based intelligent knowledge model for flexible manufacturing system
PublikacjaModeling an effective mechanism for design and control strategies for the implementation of a flexible manufacturing system (FMS) has been a challenge. Consequently, to overcome this issue various techniques have applied in the past but most of these models are effective only for some specific situation or an element of FMS. In this study, the knowledge representation technique of Decisional DNA (DDNA) is applied to FMS to develop...
-
Neural network model of ship magnetic signature for different measurement depths
PublikacjaThis paper presents the development of a model of a corvette-type ship’s magnetic signature using an artificial neural network (ANN). The capabilities of ANNs to learn complex relationships between the vessel’s characteristics and the magnetic field at different depths are proposed as an alternative to a multi-dipole model. A training dataset, consisting of signatures prepared in finite element method (FEM) environment Simulia...
-
Testing the Effect of Bathymetric Data Reduction on the Shape of the Digital Bottom Model
PublikacjaDepth 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...
-
Optimized Deep Learning Model for Flood Detection Using Satellite Images
PublikacjaThe increasing amount of rain produces a number of issues in Kerala, particularly in urban regions where the drainage system is frequently unable to handle a significant amount of water in such a short duration. Meanwhile, standard flood detection results are inaccurate for complex phenomena and cannot handle enormous quantities of data. In order to overcome those drawbacks and enhance the outcomes of conventional flood detection...
-
Comparison of the Ability of Neural Network Model and Humans to Detect a Cloned Voice
PublikacjaThe vulnerability of the speaker identity verification system to attacks using voice cloning was examined. The research project assumed creating a model for verifying the speaker’s identity based on voice biometrics and then testing its resistance to potential attacks using voice cloning. The Deep Speaker Neural Speaker Embedding System was trained, and the Real-Time Voice Cloning system was employed based on the SV2TTS, Tacotron,...
-
The kinematic model of the novel autonomous underwater robot for ship hull cleaning
PublikacjaOmówiono zagadnienia związane ze sterowaniem autonomicznego robota podwodnego przeznaczonego do oczyszczania kadłuba statku z bioporostów. Dokonano przeglądu wybranych prac na temat systemów lokalizacji i algorytmów sterowania robotów podwodnych oraz przedstawiono projekt własny, w którym zawarto opis obiektu podwodnego przemieszczającego się po ustalonym torze. Dla określonych warunków roboczych zaproponowano koncepcję metody...
-
System Loss Model for Body-to-Body Networks in Indoor and Outdoor Environments
PublikacjaA 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...
-
Development of the System Assurance Reference Model for Generating Modular Assurance Cases
PublikacjaAssurance 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...
-
TRAVELLING WAVES FOR LOW–GRADE GLIOMA GROWTH AND RESPONSE TO A CHEMOTHERAPY MODEL
PublikacjaLow-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 Robust Random Forest Model for Classifying the Severity of Partial Discharges in Dielectrics
PublikacjaPartial 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
PublikacjaA 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....
-
A Comprehensive Review: Applications of the Kozeny–Carman Model in Engineering with Permeability Dynamics
PublikacjaIn 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...
-
A hierarchical observer for a non-linear uncertain CSTR model of biochemical processes
PublikacjaThe 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...
-
Towards a probabilistic model for predicting ship besetting in ice in Arctic waters
Publikacja -
Towards an evidence-based probabilistic risk model for ship-grounding accidents
Publikacja -
A probabilistic model of ship performance in ice based on full-scale data
Publikacja -
Analysis of differences in the stability of proteins encoded in mitochondrial DNA of model organisms
Publikacja -
Development of a Formability Prediction Model for Aluminium Sandwich Panels with Polymer Core
Publikacja -
Generalization of the elastic network model for the study of large conformational changes in biomolecules
Publikacja -
Generalization of the Elastic Network Model for the Study of Large Conformational Changes in Proteins
Publikacja -
A Model of Thermally Activated Molecular Transport: Implementation in a Massive FPGA Cluster
Publikacja -
Developing a model of cooperation between universities and business - the generalization of cases of cooperation
PublikacjaThe 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
PublikacjaAnalizuje 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
PublikacjaAbstract: 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
PublikacjaPrzedstawiono 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
PublikacjaAbstract - 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
PublikacjaThe 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
PublikacjaW 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...
-
Distributed MIND - A New Processing Model Based on Mobile Interactive Documents
PublikacjaObliczenia 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ą...
-
State equations in the mathematical model of dynamic behaviour of multihull floating unit
PublikacjaPrzedstawiony artykuł dotyczy dynamiki wielokadłubowej jednostki pływającej typu katamaran poddanej wymuszeniom pochodzącym od falowania nieregularnego. Analiza dynamiki jednostki wielokadłubowej została przeprowadzona przy założeniu, że model układu jest modelem liniowym na który działa fala nieregularna. Model matematyczny takiego układu dynamicznego jest reprezentowany poprzez równania stanu. Zapisane zostały równania uwzględniające...
-
Simulation model for evaluation of QoS routing algorithm in large packet networks
PublikacjaThe variety of traffic transferred via current telecommunication networks includes also voice, which should meet quality requirements. One of mechanisms, which can support QoS in current packet networks, is routing. There exist many routing proposals which should introduce the QoS into the network but practically they don't. Following paper presents the realization of simulation model for evaluation of a new routing algorithm DUMBRA...
-
Model of the reciprocating engine using iterative procedures of the transient torque calculation
PublikacjaPrzedstawiony w pracy model silnika spalinowego uzależnia wartość dynamicznego momentu od sygnału sterowania po skokowej zmianie nastawy oraz od historii dynamicznej silnika i czasu jaki upłynął od tej zmiany. Przedstawione wyniki badań potwierdzają zasadność takiego opisu modelowanego zjawiska. Można również zauważyć, że po pewnym czasie od chwili rozpoczęcia procesu rozpędzania przebieg momentu dynamicznego będzie przebiegał...
-
Efficient model order reduction for FEM analysis of waveguide structures and resonators
PublikacjaAn 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
PublikacjaW 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
PublikacjaThe 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
PublikacjaThe 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
PublikacjaW 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
PublikacjaIn 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'
PublikacjaW 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.
-
Model matematyczny stosunków wodnych w systemie gleba - roślina - atmosfera
PublikacjaOmówiono proces transpiracji wody z szaty roślinnej. Wskazano, że transpiracja jest funkcja oporności stomatycznej w liściach, która z kolei zależy od potencjału wody w roślinie, a to zależy od zasobów wody roślinnej, co wynika z bilansu wodnego rośliny. Woda w roślinie pobierana jest z gleby i oddawana do atmosfery. Obliczenia mają charakter iteracyjny. Omówiono realizacje komputerowa modelu symulacyjnego i uzyskane wyniki.
-
Ad Hoc Multi-WLAN: A Game-Theoretic Model of Correlated Play
PublikacjaZakładając pewien rozkład prawdopodobieństwa długości sesji danych, scharakteryzowano punkt równowagi korelowanej w przypadku wielodostępu w sieci bezprzewodowej z wieloma sieciami lokalnymi i dokonano porównania wydajności z punktem równowagi mieszanej dla różnych liczb terminali.
-
Flood Routing by the Non-Linear Muskingum Model: Conservation of Mass and Momentum
PublikacjaIn this paper, the conservative properties of the Muskingum equation, commonly applied to solve river flood routing, are analysed. The aim of this analysis is to explain the causes ofthe mass balance error, which is observed in the numerical solutions of its non-linear form. The linear Muskingum model has been considered as a semi-discrete form of the kinematic wave equation and therefore it was possible to derive its two non-linear...
-
Stałoprądowy model tranzystora mos dla zakresu przed- i nadprogowego
PublikacjaZaprezentowano 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
PublikacjaIstnieje 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
PublikacjaZaprezentowano 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.
-
Aplikacje i środowiska kontekstowe: Semantyczny model realizacji ludzkich przedsięwzięć
PublikacjaPrzedstawiono 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
PublikacjaCelem 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...
-
Model analityczny budżetu czasu opóźnienia w sieci IP QoS
PublikacjaPodstawowym 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...