Filters
total: 6925
filtered: 6375
-
Catalog
- Publications 6375 available results
- Journals 3 available results
- Conferences 7 available results
- People 79 available results
- Inventions 4 available results
- Projects 15 available results
- Research Equipment 8 available results
- e-Learning Courses 88 available results
- Events 3 available results
- Open Research Data 343 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: MAKROMECHANICZNY MODEL PRZECINANIA
-
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...
-
Model and laboratory simulation of a induction motor for diagnostic purposes
PublicationStatistics say that bearings are this part of induction motors which is most susceptible to damage. The equipment employed for bearing diagnostics usually makes use of vibrations as the criterion for technical condition of the bearings. A faulty bearing results in additional motor vibrations. They are reflected in the harmonic content of stator currents. In certain operating conditions the current signal is the sole source of information...
-
A model of the response of the MGS-6 gravity sensor to tilting
PublicationThe reliable interpretation of the measurements made by the Micro-g marine gravimetric system (MGS-6) depends on how the temporary changes of the scale coefficients such as gravimeter scale factor, vertical cross-coupling (VCC) effect, tiltmeter cross and tiltmeter long are compensated for during the signal analysis. The listed coefficients cannot be determined from readings during the measurements or by analysing the final data....
-
Implementation of Business Intelligence in an IT organization - the concept of an evaluation model
PublicationThis paper presents the issue of assessing the validity and effectiveness of implementing a Business Intelligence system in an IT Support Organization. This entity provides IT services to external clients involving, in particular, the storage and processing of large amounts of data. The vast amount of realized projects and also incidents reported in connection with those projects prevented effective decisions from being made without...
-
A simplified energy dissipation based model of heat transfer for subcooled flow boiling
PublicationIn the paper a model is presented based on energetic considerations for subcooled flow boiling heat transfer. The model is the extension of authors own model developed earlier for saturated flow boiling and condensation. In the former version of the model we used the heat transfer coefficient for the liquid single-phase as a reference level, due to the lack of the appropriate model for heat transfer coefficient for the subcooled...
-
Linear viscoelastic transversely isotropic model based on the spectral decomposition of elasticity tensors
PublicationThe linear viscoelasticity is still a useful model in the engineering for studying the behavior of materials loaded with different loading rates (frequencies). Certain types of materials reveal also an anisotropic behavior: fiber reinforced composites, asphalt concrete mixtures, or wood, to name a few. In general, researchers try to identify experimentally the dependence of engineering constants like: directional Young’s moduli...
-
Model matematyczny przełączalnego silnika reluktancyjnego w układach napędowych
PublicationW artykule przedstawiono metodę modelowania i model matematyczny przełączalnego silnika reluktancyjnego w układach napędowych. Do modelowania wykorzystano metodę energetyczną Lagrange'a. Współczynniki równania Lagrange'a układu napędowego z przełączalnym silnikiem reluktancyjnym MRV160 wyznaczono na podstawie wyników obliczeń silnika metodą elementów skończonych w programie Flux2D. Zamieszczono wybrane wyniki pomiarów i symulacji...
-
Nonlinear model of a synchronous generator for analysis of more electric aircraft power systems
PublicationA nonlinear model for studying a variable-speed synchronous generator (SG) in more electric aircraft (MEA) power system has been developed. The saturation effects of the SG magnetic circuit have been considered. The model has been implemented in the Synopys/Saber simulation environment. The modelling language MAST has been used to elaborate the SG model. The model exhibit a network with the same number of external terminals/ports...
-
Mining inconsistent emotion recognition results with the multidimensional model
PublicationThe paper deals with the challenge of inconsistency in multichannel emotion recognition. The focus of the paper is to explore factors that might influence the inconsistency. The paper reports an experiment that used multi-camera facial expression analysis with multiple recognition systems. The data were analyzed using a multidimensional approach and data mining techniques. The study allowed us to explore camera location, occlusions...
-
Identification of ship’s hull mathematical model with numerical methods
PublicationThe modern maritime industry is moving toward the development of technology that will allow for full or partial autonomy of ship operation. This innovation places high demands on ship performance prediction techniques at the design stage. The researchwork presented in the article is related to the design stage of the ship and concerns methods for prognosis and evaluation of the specific operational condition of the ship, namely...
-
Nuclear Power Plant Steam Turbine - Modeling for Model Based Control Purposes
PublicationThe nature of the processes taking place in a nuclear power plant (NPP) steam turbine is the reason why their modeling is very difficult, especially when the model is intended to be used for on-line optimal model based process control over a wide range of operating conditions, caused by changing electrical power demand e.g. when combined heat and power mode of work is utilized. The paper presents three nonlinear models of NPP steam...
-
Model niezawodnościowy okrętowej instalacji sanitarnej w aspekcie ochrony środowiska.
PublicationPrzedstawiono probabilistyczny model do oceny niezawodności środowiskowej okrętowej instalacji sanitarnej. Zdefiniowano pojęcie niezawodności środowiskowej instalacji oraz podano wzory, które pozwalają określić jej wartość liczbową.
-
EPILEPTIC BEHAVIOR WITH A DISTINGUISHED PREICTAL PERIOD IN A LARGE-SCALE NEURAL NETWORK MODEL
PublicationWe present a neural network model capable of reproducing focal epileptic behavior. An important property of our model is the distinguished preictal state. This novel feature may shed light on the pathologi-cal mechanisms of seizure generation and, in perspective, help develop new therapeutic strategies to manage refractory partial epilepsy.
-
Synchronous generator model taking into account the non-uniform saturation of the pole shoes
PublicationFor the evaluation of modern electric power systems with regard to their behavior, weight, and reliability a novel modeling and simulation tools have been developed. The paper presents circuit model of synchronous generator taking into account both the non-sinusoidal distribution of the stator and rotor winding, and non-uniform saturation of the pole shoes. This model is suitable for simulation of both salient and no-salient pole...
-
Topological Model of an Electromagnetic Environment Inside a Ship for Electromagnetic Compatibility (EMC) Analysis
PublicationThe mutual electromagnetic (EM) interactions between electrical and electronic devices in a segmented space, such as a ship's environment, ared described. Firstly, the topological structure of a ship's segmented internal environment, which consists of many electrical screening walls (shielding planes), is presented. Then, taking into account the ship's topological structure, a general description of the EM disturbance distribution,...
-
Hipergrafowy model szeregowania w rozrzedzonych systemach zadań wieloprocesorowych
PublicationHipergrafem nazywamy pewne uogólnienie grafu, w którym krawędzie mogą zawierać dowolnie wiele wierzchołków. Model taki pozwala symulować rozmaite zjawiska praktyczne oraz teoretyczne. W tym artykule będziemy mówić o kolorowaniu krawędzi hiperdrzew. Pokażemy jaki jest indeks chromatyczny dla tej klasy hipergrafów oraz jaki jest sumacyjny indeks chromatyczny dla hiperdrzew prostych. Zademonstrujemy także wielomianowe algorytmy szukające...
-
VOF-DEM-FEM combined model of the reef breakwater collapse
PublicationZespolony model numeryczny (metoda modelowania przepływu ze swobodną powierzchnią rozdziału faz ciekłej i gazowej w siatce nieruchomej (ang. Volume of Fluid - VOF, metoda elementów dyskretnych (ang. Distinct Element Method, metoda elementów skończonych (MES)) został wykorzystany do zbadania odkształceń falochronu narzutowego i jego piaszczystego podłoża w wyniku oddziaływania falowania powierzchniowego. Wyniki analizy numerycznej...
-
Delay induced oscillations in gene expression of Hes1 protein model
PublicationW pracy został omówiony model produkcji białka Hes1. Stężenie Hes1 jest kontrolowane przez ujemne sprzężenie zwrotne wbudowane w białko i jego mRNA. Przeprowadzona analiza potwierdziła znane wyniki numeryczne, że oscylacje wywołane są przez opóźnienie. Pokazaliśmy również, że jeśli współczynnik Hilla jest większy niż 1, to istnieje krytyczna wartość opóźnienia, dla której ma miejsce bifurkacja Hopfa i pojawiają się rozwiązania...
-
Parametryczny, przestrzenny model silnika asynchronicznego - aplikacja programu AutoCad.
PublicationW pracy przedstawiono program komputerowy, który w sposób kompleksowy wspomaga użytkownika w automatycznym narysowaniu trójwymiarowego modelu silnika asynchronicznego klatkowego. Model maszyny jest parametryczny, co oznacza, że użytkownik definiuje topologię poszczególnych elementów na podstawie: wymiarów geometrycznych, typu łożyska, rodzaju uzwojenia, liczby żłobków itp. Zakres modelowania dotyczy silników indukcyjnych małej...
-
Model filtru wyjściowego falownika napięcia w symulacji komputerowej.
PublicationW artykule przedstawiono układ z silnikiem asynchronicznym zasilanym z sieci elektroenergetycznej poprzez przemiennik częstotliwości z filtrem wyjściowym falownika napięcia. Zaproponowano nowy model filtru wyjściowego falownika napięcia połączonego z obwodem pośredniczącym przemiennika częstotliwości. Przy pomocy programu TCAD przeprowadzono analizę zamodelowanego układu. Dla badanego modelu filtru zamieszczono przebiegi prądów...
-
A Human Behaviour Model Agent for Testing of Voluntary Computing Systems
PublicationPaper presents a design and performance of a voluntary-based distributed computing system testing agent, implementing a human behaviour model. The agent, nicknamed iRobot, was designed and implemented to enable controlled, large scale testing of core algorithms of Comcute - a new voluntary distributed computing platform complementary to BOINC. The main agent design goals were: emulation of human behaviour when browsing web pages,...
-
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...
-
State equations in the mathematical model of dynamic behaviour of multihull floating unit
PublicationPrzedstawiony 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...
-
MODEL CHŁODZENIA ORGANIZMU NOWORODKA DLA UZYSKANIA STANU HIPOTERMII LAGODNEJ
PublicationArtykuł jest kontynuacją cyklu publikacji, które ukazały się w „TCHK” w 2009 roku, a dotyczyły selektywnego chłodzenia mózgu noworodka po niedotlenieniu okołoporodowym. W tym materiale przedstawiono wykonany w programie Matlab – Simulink model symulujący zmiany, jakie zachodzą w organizmie noworodka podczas wprowadzania go w stan hipotermii łagodnej. Model powyższy pomimo dużych uproszczeń odzwierciedla zmiany fizjologiczne w zakresie...
-
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...
-
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...
-
approximation of photonic crystal fibres with large air holes by the step index fibre model
PublicationAn equivalent step index fibre with a silica core and air cladding is used to model photonic crystal fibres with large air holes. We model this fibre for linear polarisation (we focus on the lowest few transverse modes of the electromagnetic field). The equivalent step index radius is obtained by equating the lowest two eigenvalues of the model to those calculated numerically for the photonic crystal fibres. The step index parameters...
-
An Off-Body Channel Model for Body Area Networks in Indoor Environments
PublicationThis paper presents an off-body channel model for body area networks (BANs) in indoor environments. The proposed model, which is based on both simulations and measurements in a realistic environment, consists of three components: mean path loss, body shadowing, and multipath fading. Seven scenarios in a realistic indoor office environment containing typical scatterers have been measured: five were static (three standing and two...
-
Failure model of main elements of the ship engine crankshaft-piston assembly
PublicationThe paper presents a failure model of main elements of the crankshaft-piston assembly, based on failures ofcrankshaft-piston assembly and timing gear system of the Sulzer RD engines, retrieved from the equipment reliabilitydata of selected ships.
-
Passing from requirements specification to class model using application domain ontology
PublicationThe quality of a classic software engineering process depends on the completeness of project documents and on the inter-phase consistency. In this paper, a method for passing from the requirement specification to the class model is proposed. First, a developer browses the text of the requirements, extracts the word sequences, and places them as terms into the glossary. Next, the internal ontology logic for the glossary needs to...
-
Ontology-Driven Rule-Based Model for an Extension of Information Technology Infrastructure Library Processes
PublicationThe aim of this study is to present the stages for building a development model to create information technology (IT) systems for IT service providers. In order to ensure the consistency of the model, a novel solution is proposed where the stages of the model's construction are controlled using ontologies dedicated to the ITIL standard. In this article, a description of models used to assess the provider organization, with particular...
-
The model of end-to-end call setup time calculation for Session Initiation Protocol
PublicationEnd-to-end call setup delay is one of the most important grade of service (GoS) parameters for VoIP networks with Session Initiation Protocol (SIP). A typical subscriber wants to have a connection established as soon as possible. From the operator's perspective call setup time is also crucial because he needs to know how probability of successful packet transmission on SIP links is related to a call setup delay. Then he can make...
-
Simple multi-laminate model for soft soils incorporating structural anisotropy and destructuration
PublicationZaproponowano nowy model konstytutywny należący do rodziny tzw. modeli wielopłaszczyznowych (multi-laminate) dla gruntów słabonośnych. Oryginalnymi rozwiązaniami w modelu są: wprowadzenie kierunkowo zależnej prekonsolidacji oraz uwzględnienie zmian anizotropii wytrzymałości na ściskanie podczas destrukturyzacji naturalnych gruntów słabonośnych. Model zweryfikowano dla podstawowych badań elementowych.
-
Simple model of rain wind induced vibrations of stayed cables.
PublicationAnalizowano prosty, liniowy model drgań kabli mostów wantowych pod obciążeniem wiatrem i deszczem. Zakłada się, iż częstotliwość ruchu górnej kropli po powierzchni kabla i częstotliwość kabla są równe oraz iż amplituda ruchu kropli dla danej prędkości wiatru są stałe. Otrzymane rezultaty są porównane z istniejącymi w literaturze wynikami badań eksperymentalnych. Podaje się analityczne związki służące do oszacowania tłumienia...
-
Data Model Development for Security Information Sharing in Smart Grids
PublicationThe smart grid raises new security concerns which require novel solutions. It is commonly agreed that to protect the grid, the effective collaboration and information sharing between the relevant stakeholders is prerequisite. Developing a security information sharing platform for the smart grid is a new research direction which poses several challenges related to the highly distributed and heterogeneous character of the grid. In...
-
Ship Dynamic Positioning Based on Nonlinear Model Predictive Control
PublicationThe presented work explores the simulation test results of using nonlinear model predictive control algorithm for ship dynamic positioning. In the optimization task, a goal function with a penalty was proposed with a variable prediction step. The results of the proposed control algorithm were compared with backstepping and PID. The effect of estimation accuracy on the control quality with the implemented algorithms was investigated....
-
Wideband Model Order Reduction for Macromodels in Finite Element Method
PublicationAbstract: This paper presents a novel algorithm for accelerating 3D Finite Element Method simulations by introducing macromodels created in local model order reduction in the selected subdomains of the computational domain. It generates the projection basis for a compact system of equations associated with a separate subdomain. Due to non-linear frequency dependency in the Right Hand Side (RHS), the standard reduction methods do...
-
Advanced Hysteretic Model of a Prototype Seismic Isolation System Made of Polymeric Bearings
PublicationThe present paper reports the results of acomprehensive study designed to verify the effectiveness of an advanced mathematical model in simulating the complex mechanical behaviour of a prototype seismic isolation system made of polymeric bearings (PBs). Firstly, in order to construct the seismic bearings considered in this research, a specially prepared flexible polymeric material with increased damping properties was employed....
-
Simplified Numerical Model for Transient Flow of Slurries at Low Concentration
PublicationRapid transients are particularly dangerous in industrial hydro-transport systems, where solid-liquid mixtures are transported via long pressure pipelines. A mathematical description of such flow is difficult due to the complexity of phenomena and difficulties in determining parameters. The main aim of the study was to examine the influence of the simplified mixture density and wave celerity description on satisfactory reproduction...
-
A semi-empirical model for flow boiling heat transfer with account of the reduced pressure effect
PublicationIn the present study the attention was focused on the influence of reduced pressure on the predictions of heat transfer during flow boiling at the extensive range of pressures. The results of calculations were to test the sensitivity of the in-house flow boiling model with respect to the selection of the appropriate two-phase flow multiplier, which is one of the distinctive elements of that model. For this purpose a few two-phase...
-
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.
-
Hydrodynamic Model of the New Waterway through the Vistula Spit
PublicationThe decision to build a new waterway (strait) in the Polish part of the Vistula Spit was made in 2017. The new connection between the Gulf of Gdańsk and the Vistula Lagoon is planned as an artificial navigable channel with a lock and a small port. During storm surges and wind tides in the gulf or in the lagoon, sluicing will be re-quired for vessels to tackle the Vistula Spit. This procedure does not require significant water flow...
-
Numerical Model of the Aortic Valve Implanted Within Real Human Aorta
PublicationCardiovascular system diseases are the main cause of deaths in developed and developing countries. The main reasons are myocardial infarction, heart failure, stroke and valvular diseases. These are caused mainly by arteriosclerosis. The valvular diseases involve a significant burden for the health care system and their frequency is rising with the patient age. This work describes the tools and numerical models appropriate for modeling...
-
Investigating Analytics Dashboards’ Support for the Value-based Healthcare Delivery Model
PublicationImproving the value of care is one of the essential aspects of Value-Based Healthcare (VBHC) model today. VBHC is a new HC delivery model which is centered on patient health outcomes and improvements. There is anecdotal evidence that the use of decision aid tools like dashboards can play a significant role in the successful implementation of VBHC models. However, there has been little or no systematic studies and reviews to establish...
-
Continuous-time active-RC filters: general model and its applications.
PublicationW pracy przedstawiono ogólny model filtru aktywnego RC opartego na wzmacniaczach odwracających fazę. Model analizowany jest przy użyciu równań macierzowych. Podano jawną formułę określającą funkcję przenoszenia filtru w ogólnym przypadku. Przedstawiono rozszerzenia modelu pozwalające uwzględniać nieidealności wzmacniaczy operacyjnych, w tym skończone wzmocnienie i pasmo przenoszenia oraz niezerową rezystancję wyjściową. Zastosowanie...
-
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...
-
Decisional DNA based intelligent knowledge model for flexible manufacturing system
PublicationModeling 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...
-
A novel heterogeneous model of concrete for numerical modelling of ground penetrating radar
PublicationThe ground penetrating radar (GPR) method has increasingly been applied in the non-destructive testing of reinforced concrete structures. The most common approach to the modelling of radar waves is to consider concrete as a homogeneous material. This paper proposes a novel, heterogeneous, numerical model of concrete for exhaustive interpretation of GPR data. An algorithm for determining the substitute values of the material constants...
-
Developing Methodology for Model Tests of Floating Platforms in Low -Depth Towing Tank
PublicationThe paper presents two different methods of physical modeling of semi-submersible platform mooring system for research in low depth towing tank. The tested model was made in the scale of 1:100 resembling the "Thunder Horse" platform moored in the Gulf of Mexico at a depth of 1,920 m. Its mooring system consisted of 16 semi-taut mooring lines (chain-wire-chain) spaced starshape and attached at the bottom to suction piles. The tests...
-
Programmable dynamically changing RC model for evaluation of Dynamic EIS methods and instrumentation
PublicationThe paper concerns the RC equivalent circuit of electrochemical cell with the impedance changed during the experiment. The model was constructed using the digital potentiometers controlled by the microcontroller. This solution allows to control the model impedance by the software means. By creating adequate changes of the impedance spectrum as a time function, the different impedance measurement method can be tested to find out...