Filters
total: 2961
-
Catalog
- Publications 2594 available results
- Journals 56 available results
- Conferences 37 available results
- People 79 available results
- Inventions 13 available results
- Projects 4 available results
- Laboratories 1 available results
- Research Teams 1 available results
- e-Learning Courses 67 available results
- Events 7 available results
- Open Research Data 102 available results
displaying 1000 best results Help
Search results for: finite element modelling
-
ARRAY OF MINIJETS – THERMAL AND HYDRAULIC PHENOMENA IN BOUNDARY LAYER
PublicationPresented work considers flow and thermal phenomena occurring in the system consisting of minijets array and heated with constant heat flux surface. Numerical analyses, based on the mass, momentum and energy conservation laws, were conducted. Focus was placed on the proper model construction, in which turbulence and boundary layer modelling was crucial. Calculations were done for various mass flow rates. The main calculations were...
-
Cognitum Ontorion: Knowledge Representation and Reasoning System
Publication“If knowledge can create problems, it is not through ignorance that we can solve them.” (Isaac Asimov). Nevertheless, at any point of human activity, knowledge (besides practice) is a key factor in understanding and solving any given problem. Nowadays, computer systems have the ability to support their users in an efficient and reliable way. In this paper we present and describe the functionality of the Cognitum Ontorion system....
-
Semantic OLAP with FluentEditor and Ontorion Semantic Excel Toolchain
PublicationSemantic technologies appear as a step on the way to creating systems capable of representing the physical world as real time computational processes. In this context, the paper presents a toolchain for an ontology based knowledge management system. It consists of the ontology editor, FluentEditor and the distributed knowledge representation system, Ontorion. FluentEditor is a comprehensive tool for editing and manipulating complex...
-
Autonomous Driver Based on an Intelligent System of Decision-Making
PublicationThe paper presents and discusses a system (xDriver) which uses an Intelligent System of Decision-making (ISD) for the task of car driving. The principal subject is the implementation, simulation and testing of the ISD system described earlier in our publications for the task of autonomous driving. The design of the whole ISD system is a result of a thorough modelling of human psychology based on an extensive literature study. Concepts...
-
HYDROGEN PRODUCTION PERFORMANCE IN THERMOCATALYTIC REACTOR BASED ON THE INTERMETALLIC PHASE OF NI3AL
PublicationThe main aim of the following paper is mathematical modelling for momentum, heat and mass transfer, which is accompanied by chemical surface reactions of the flow of the mixture helium and methanol. The thermocatalytic devices used for decomposition of hydrocarbons incorporate vertical microchannels coupling at the ends and heated to 500 oC at the walls. The results of the experiment were compared with CFD calculations to calibrate...
-
Turbulence models impact on the flow and thermal analyses of jet impingement
PublicationAccurate numerical reconstruction of heat and mass transfer processes in particular applications, such a jet impingement, is difficult to obtain even with the use of modern computational methods. In the proposed paper, the flow and thermal phenomena occurring during single minijet impingement on the flat, concave and convex, heated surfaces were considered. Problem of impingement on non-flat surface, still not common and purely...
-
Spectral reflectance modeling of ZnO layers made with Atomic Layer Deposition for application in optical fiber Fabry-Perot interferometric sensors
PublicationSuitability of zinc oxide (ZnO) layers grown using Atomic Layer Deposition for operation in optical-fiber extrinsic Fabry-Perot sensors is investigated using a numerical model. Reflectance spectra obtained using the developed model indicate that the application of these layers in optical-fiber extrinsic Fabry-Perot sensors is difficult as it may require a source whose spectrum width is about 300 nm. A series of ZnO layers grown...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Oxygen partial pressure and temperature dependence of Gerischer element of symmetrical porous Sr0.86Ti0.65Fe0.35O3 electrode on CGO substrate
Open Research DataThis dataset contains values of Gericher element at different temperatures (800 °C, 750 °C, 700 °C, 650 °C and 600 °C)and oxygen partial pressures (20%, 10%, 5%, 1%, 0.1% and 0.01% pO2) of symmetrical Sr0.86Ti0.65Fe0.35O3 electrode sintered at 1000 °C. This values were obtained by fitting each measured impedance spectra by electrical equivalent circuit...
-
Modelling and analysis of a synchronous generator in more electric aircraft power system using Synopsys/Saber simulator = Modelowanie i analiza generatora synchronicznego w systemie elektroenergetycznym nowoczesnego samolotu. Zastosowanie symulatora Synopsys/Saber
PublicationStreszczenie angielskie: A model for studying synchronous machine (SM) dynamic behaviour in more electric aircraft (MEA) power system is developed and implemented in the Synopys/Saber simulation environment. The modelling language MAST has been used to elaborate the SM model. The elaborated model exhibit a network with the same number of external terminals/ports as the real SM, and represents its behaviour in terms of the electrical...
-
Mathematical and numerical modelling, P, IDE-sem.01, AT-sem. 03, CS-sem. 03, summer 22/23, (PG_00057379)
e-Learning CoursesProject on Mathematical and numerical modelling.
-
Mathematical and numerical modelling, P, IDE-sem.01, AT-sem. 03, CS-sem. 03, summer 22/23, (PG_00057379)
e-Learning CoursesProject on Mathematical and numerical modelling.
-
Wizualizacja - element warsztatu współczesnego architekta = Visualization - element of modern architect's workshop
PublicationArtykuł dotyczy wizualizacji architektonicznej jako realistycznej prezentacji projektu za pomocą grafiki komputerowej. Został tu przedstawiony zakres problematyki, z którą styka się użytkownik programów komputerowych w kolejnych etapach tworzenia wirtualnego obrazu.
-
Realistic noise-tolerant randomness amplification using finite number of devices
PublicationRandomness is a fundamental concept, with implications from security of modern data systems, to fundamental laws of nature and even the philosophy of science. Randomness is called certified if it describes events that cannot be pre-determined by an external adversary. It is known that weak certified randomness can be amplified to nearly ideal randomness using quantum-mechanical systems. However, so far, it was unclear whether randomness amplification...
-
Closed Form Constraint Equations Used to Express Frictionless Slip of Multibody Systems Attached to Finite Elements—Application to a Contact between a Double Pendulum and a Beam
PublicationThis paper focuses on the numerical modeling of the dynamics of mechanical systems. Robots that can inspect high-voltage lines inspired this research. Their control systems must anticipate potential grab positions appropriately. We intend to formulate equations dedicated to the numerical description of the robot/cable contact. The investigated problem is not straightforward, since parts of the modeled systems are numerically inhomogeneous....
-
Optimizing the computation of a parallel 3D finite difference algorithm for graphics processing units
PublicationThis paper explores the possibilities of using a graphics processing unit for complex 3D finite difference computation via MUSTA‐FORCE and WENO algorithms. We propose a novel algorithm based on the new properties of CUDA surface memory optimized for 2D spatial locality and compare it with 3D stencil computations carried out via shared memory, which is currently considered to be the best approach. A case study was performed for...
-
Techniki Komputerowe - Integracja Procesów Projektowania (2022/2023)
e-Learning CoursesProgram nauczania zapewnia studentom solidne podstawy w BIM (Building Information Modelling) przy użyciu programu Autodesk Revit Architecture. Plan zajęć wprowadza w typowy przepływ pracy projektowej, rozwija umiejętności rozwiązywania problemów podczas tworzenia pełnego modelu 3D BIM i powiązanej z nim dokumentacji architektoniczno-budowlanej. Kurs zawiera następujące zasoby: materiały szkoleniowe online, filmy instruktażowe oraz...
-
Incremental construction of finite-state automata
PublicationRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
Locking effects in finite elemnt method
PublicationIn the present paper a short survey of the locking effect literature is given. As this area of scientific research is still developing, the author of the paper restricted it to about 70 papers. This study is proposed as an introduction to the comprehensive investigation of locking effects.
-
On the convergence of a finite-difference discretization à la Mickens of the generalized Burgers–Huxley equation
PublicationIn this note, we establish the property of convergence for a finite-difference discretization of a diffusive partial differential equation with generalized Burgers convective law and generalized Hodgkin–Huxley reaction. The numerical method was previously investigated in the literature and, amongst other features of interest, it is a fast and nonlinear technique that is capable of preserving positivity, boundedness and monotonicity....
-
Applications of the discrete green's function in the finite-difference time-domain method
PublicationIn this paper, applications of the discrete Green's function (DGF) in the three-dimensional (3-D) finite-difference time-domain (FDTD) method are presented. The FDTD method on disjoint domains was developed employing DGF to couple the subdomains as well as to compute the electromagnetic field outside these subdomains. Hence, source and scatterer are simulated in separate subdomains and updating of vacuum cells, being of little...
-
Safety at railway level crossings and Vision Zero
PublicationIn this work, safety analysis at the railway level crossings is presented using advanced mathematical modelling. Resistivity of track subgrade panels is taken into account. The analysis does not refer to the assessment of the current regulations. Specific cases of generalized dynamic system are considered by introducing operations S=Δ, S=P defined in space C(N) of real sequences. In this model, generalized discrete exponential...
-
Synthesis of a state feedback controller for an averaging tank with variable filling
PublicationIn paper, a nonlinear averaging tank with variable filling is considered. The main purpose of this research work was the modelling and control system synthesis of an averaging tank. The control objectives included ensuring stability and zero steady-state error of the system and achieving settling time as short as possible, while maintaining a minimal overshoot. In order to achieve the intended purpose, firstly a mathematical model...
-
Experiments and calibration of a bond-slip relation and efficiency factors for textile reinforcement in concrete
PublicationTextile reinforcement yarns consist of many filaments, which can slip relative each other. At modelling of the global structural behaviour, interfilament slip in the yarns, and slip between the yarns and the concrete can be considered by efficiency factors for the stiffness and strength of the yarns, and by applying a bond-slip relation between yarns and concrete. In this work, an effective and robust method for calibration of...
-
Optimal state feedback controller for balancing cube
PublicationIn this paper, a nonlinear balancing cube system is considered, the concept for which is based on an inverted pendulum. The main purpose of this work was the modelling and construction of a balancing cube with the synthesis of the control system. The control objectives included swing-up and stabilization of the cube on its vertex at an unstable equilibrium. Execution of the intended purpose required, first, deriving a cognitive...
-
Comparative study of a combined heat and power plant retrofitted by CO2 capture during the combustion of syngas from sewage sludge gasification versus zero-emission combustion of hydrogen produced using renewables
PublicationWith ecological requirements aimed at limiting the production of CO2, it is necessary to produce all, or most of the energy from RES. During the transformation process, ecological and highly efficient combustion power plants will be needed. The classic cycle of combined heat and power (CCGT) with green improvements will continue to be one of the most suitable technologies for this task. This article presents the modernization of...
-
Application analysis of a hybrid solid oxide fuel cell-gas turbine system for marine power plants
PublicationThe results of theoretical studies of the possibilities of using hybrid solid oxide fuel cell–gas turbine (SOFC-GT) systems for marine power plants are presented. A 500 kW auxiliary marine power plant scheme using stacks of SOFCs in combination with a regenerative gas turbine operating with over-expansion based on our recent patent application is proposed. The results of mathematical modelling showed the opportunity to obtain a...
-
A 95-Year-Old Concrete Arch Bridge: From Materials Characterization to Structural Analysis
PublicationThe structural analysis of a 95-year-old concrete arch bridge located in Jagodnik (Poland) is performed in this paper, in order to check its behavior under today’s traffic loads. The mechanical properties of both the concrete and the reinforcement are investigated by testing cores and bar stubs extracted from the bridge. Structural analysis confirms that the bridge meets today’s load requirements in terms of bearing capacity, serviceability...
-
A hyperelastic model for soils with stress-induced and inherent anisotropy
PublicationIn this paper, modelling of the superposition of stress-induced and inherent anisotropy of soil small strain stiffness is8presented in the framework of hyperelasticity. A simple hyperelastic model, capable of reproducing variable stress-induced9anisotropy of stiffness, is extended by replacement of the stress invariant with mixed stress–microstructure invariant to10introduce constant inherent cross-anisotropic component. A convenient...
-
A Direct Modulation for Matrix Converters based on the Onecycle Atomic operation developed in Verilog HDL.
PublicationThis paper presents a fast direct Pulse Width Modulation (PWM) algorithm for the Conventional Matrix Converters (CMC) developed in Verilog Hardware Description language (HDL). All PWM duty cycle calculations are performed in one cycle by an atomic operation designed as a digital module using FPGA basic blocks. The algorithm can be extended to any number of output phase. The improved version of the discontinuous Direct Analytic...
-
Structural and Temporal Topic Models of Feedbacks on Service Quality – A Path to Theory Development?
PublicationThere is growing interest in applying computational methods in analysing large amount of data without sacrificing rigour in Information Systems research. In this paper, we demonstrate how the use of structural and temporal topic modelling can be employed to produce insights of both theoretical and practical importance from the analysis of textual comments on the quality of services in hospitals. As a first step, we revealed the...
-
Optimization of Wireless Networks for Resilience to Adverse Weather Conditions
PublicationIn this chapter, we consider how adverse weather conditions such as rain or fog affect the performance of wireless networks, and how to optimize these networks so as to make them robust to these conditions. We first show how to analyze the weather conditions in order to make them useful for network optimization modelling. Using an example realistic network, we show how to optimize two types of wireless networks: free-space optical...
-
Monitoring the BTEX Volatiles during 3D Printing with Acrylonitrile Butadiene Styrene (ABS) Using Electronic Nose and Proton Transfer Reaction Mass Spectrometry
PublicationWe describe a concept study in which the changes of concentration of benzene, toluene, ethylbenzene, and xylene (BTEX) compounds and styrene within a 3D printer enclosure during printing with different acrylonitrile butadiene styrene (ABS) filaments were monitored in real-time using a proton transfer reaction mass spectrometer and an electronic nose. The quantitative data on the concentration of the BTEX compounds, in particular...
-
Comparative Study of Integer and Non-Integer Order Models of Synchronous Generator
PublicationThis article presents a comparison between integer and non-integer order modelling of a synchronous generator, in the frequency domain as well as in the time domain. The classical integer order model was compared to one containing half -order systems. The half-order systems are represented in a Park d-q axis equivalent circuit as impedances modelled by half-order transmittances. Using a direct method based on the approximation...
-
Methodology of the Morphometry Study on Baltic Herring
PublicationAcoustic techniques are used in the estimation of the abundance of Baltic herring. Investigations of the relationship between the Baltic herring individual target strength TS and the total fish length L, significant in the acoustic assessment, demonstrated its de-pendence on the study area location. It motivated the detailed analysis of the relationship between herring from the southern Baltic ICES Subdivisions 24, 25, and 26,...
-
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...
-
Fast Design Optimization of Waveguide Filters Applying Shape Deformation Techniques
PublicationThis paper presents an efficient design of microwave filters by means of geometry optimization using shape deformation techniques. This design procedure allows for modelling complex 3D geometries which can be fabricated by additive manufacturing (AM). Shape deforming operations are based on radial basis function (RBF) interpolation and are integrated into an electromagnetic field simulator based on the 3D finiteelement method (FEM)....
-
Spectral reflectance and transmission modeling of multi-cavity Fabry-Pérot interferometer with ZnO thin films
PublicationIn this paper spectral reflectance and transmission of a low-coherence fiber-optic Fabry-Pérot interferometer with thin ZnO layers is analyzed using a multi-cavity approach. In the investigated setup two standard single-mode optical fibers (SMF-28) with thin ZnO films deposited on their end-faces form an extrinsic Fabry-Pérot interferometer with air cavity. Calculations of the spectral response of the interferometer were performed...
-
Rating mathematical models for first-pass of tracer in pCT lung studies
PublicationThis paper presents a comparison of model based on the Gauss function and the most commonly used Gamma-variate model in perfusion computed tomography (pCT) lung studies. It also verifies whether used model affects value of blood volume parameter. Three mean concentration-time curves were created from actual pCT measurements: arterial input function, blood vessels in lungs and lung parenchyma. On the basis of these mean curves we...
-
Cognitum Ontorion: Knowledge Representation and Reasoning System
PublicationAt any point of human activity, knowledge and expertise are a key factors in understanding and solving any given problem. In present days, computer systems have the ability to support their users in an efficient and reliable way in gathering and processing knowledge. In this chapter we show how to use Cognitum Ontorion system in this areas. In first section, we identify emerging issues focused on how to represent and inference...
-
Overheating of underground power cable line due to its partial exposition to solar radiation
PublicationCurrent-carrying capacity of underground power cable lines depends, among others, on thermal resistivity of the soil and cables layout: trefoil formation, flat formation with or without spacing. If conditions for heat transfer in the ground are favorable, the current-carrying capacity is relatively high. Therefore, it generates risk of the power cables overheating, if part of the cable line is located vertically in the air, to...
-
Mathematical modeling of hydrogen production performance in thermocatalytic reactor based on the intermetallic phase of Ni3Al
PublicationThe main goal of the following work is to adjust mathematical modelling for mass transfer, to specific conditions resulting from presence of chemical surface reactions in the flow of the mixture consisting of helium and methanol. The thermocatalytic devices used for decomposition of organic compounds incorporate microchannels coupled at the ends and heated to 500 oC at the walls regions. The results of the experiment were compared...
-
Numerical Analysis of Impact of Energy Buoy Anchoring Configurations on its Motion and Efficiency
PublicationThis paper presents a numerical analysis of the impact of energy buoy mooring configurations on its movement on the wave and effectiveness. The method used to analyse the buoy movement modelling in six degrees of freedom was described in a paper presented at the Conference 2011. Simulations of the buoy movement in regular wave and power calculations were conducted for several configurations of anchoring systems and position of...
-
Application of the fluid–structure interaction technique for the analysis of hydrodynamic lubrication problems.
PublicationFluid–structure interaction technique seems to be one of the most promising possibilities for theoretical analysis of lubrication problems. It allows coupling of different physical fields in one computational task, taking into account the interaction between them. In this article, two sets of fluid–structure interaction analyses focusing on the bearing performance evaluation are presented. One analysis was applied to a water-lubricated...
-
COLREGS compliance in Evolutionary Sets of Cooperating Ship Trajectories
PublicationIn general, Evolutionary Sets of Cooperating Ship Trajectories combine some of the assumptions of game theory with evolutionary programming and aim to find optimal set of cooperating trajectoriesof all ships involved in an encounter situation. In a two-ship encounter situation the method enables the operator of an on-board collision-avoidance system to predict the most probable behaviour of atarget and to plan the own manoeuvres...
-
FINITE GROUND CPW-FED UWB ANTENNA OVER THE METALLIC CYLINDRICAL SURFACES
PublicationThe investigation of finite ground coplanar fed ultra-wideband (UWB) antenna and the influence of its curvature and the proximity of circular metallic screen on the reflection coefficients and radiation characteristics is presented. The antenna is composed of two circular coplanar strips which enclose slot aperture of similar shape and is designed on a thin and flexible substrate which allows its bending. The antenna configuration...
-
COMBUSTION THEORY AND MODELLING
Journals -
Journal of Modelling in Management
Journals -
Journal of Choice Modelling
Journals -
Journal of Language Modelling
Journals