Filtry
wszystkich: 1061
wybranych: 864
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
Numerical solution analysis of fractional point kinetics and heat exchange in nuclear reactor
PublikacjaThe paper presents the neutron point kinetics and heat exchange models for the nuclear reactor. The models consist of a nonlinear system of fractional ordinary differential and algebraic equations. Two numerical algorithms are used to solve them. The first algorithm is application of discrete Grünwald-Letnikov definition of the fractional derivative in the model. The second involves building an analog scheme in the FOMCON Toolbox...
-
Numerical Analysis of Steady Gradually Varied Flow in Open Channel Networks with Hydraulic Structures
PublikacjaIn this paper, a method for numerical analysis of steady gradually varied fl ow in channel networks with hydraulic structures is considered. For this purpose, a boundary problem for the system of ordinary differential equations consisting of energy equation and mass conservation equations is formulated. The boundary problem is solved using fi nite difference technique which leads to the system of non-linear algebraic equations....
-
Metody zwiększania dostępności i efektywności informatycznej infrastruktury w inteligentnym mieście
PublikacjaW pracy omówiono metody zwiększania dostępności i efektywności informatycznej infrastruktury w inteligentnym mieście. Sformułowano dwa kryteria do oceny rozmieszczenia kluczowych zasobów w systemie smart city. Zobrazowano proces wyznaczania rozwiązań kompromisowych spośród rozwiązań Pareto-optymalnych. Omówiono metaheurystyki inteligencji zbiorowej, w tym roju cząstek, kolonii mrówek, roju pszczół oraz ewolucji różnicowej, za pomocą...
-
Kształtowanie toru zwrotnego rozjazdu z odcinkami krzywizny liniowej
PublikacjaW pracy została przedstawiona analityczna metoda kształtowania toru zwrotnego rozjazdu kolejowego posiadającego na swojej długości odcinki krzywizny liniowej. Odróżnia go to w istotny sposób od rozwiązania typowego, stanowiącego pojedynczy łuk kołowy bez krzywych przejściowych. W metodzie tej dokonano identyfikacji problemu rozkładu krzywizny za pomocą równań różniczkowych. Uzyskane rozwiązania mają charakter uniwersalny; m. in....
-
Verification of algorithms determining wave loads on support structure of wind turbine
PublikacjaThe offshore wind turbines require determination of wave loads on their support structure. This structure is fixed and, therefore, this problem is reduced to solving only the diffraction problem, which is determined by Laplace equation and conditions on the following boundaries: on the support structure, on the sea free surface and on its bottom, and at infinity on free surface. The linear problem was applied to determine the wave...
-
Low to intermediate energy elastic electron scattering from dichloromethane (CH2Cl2)
PublikacjaWe report a theoretical-experimental investigation of electron scattering by dichloromethane (CH2Cl2) in the low- and intermediate energy ranges. Experimental elastic differential cross sections (DCS), in the incident electron energy range of 0.5-800 eV and scattering angle range of 10°–130°, were measured using a crossed beam relative flow technique. Integral and momentum- transfer cross sections were determined from the experimental...
-
Electromagnetic Control and Dynamics of Generalized Burgers’ Nanoliquid Flow Containing Motile Microorganisms with Cattaneo–Christov Relations: Galerkin Finite Element Mechanism
PublikacjaIn our research work, we have developed a model describing the characteristics of the bio-convection and moving microorganisms in the flows of a magnetized generalized Burgers’ nanoliquid with Fourier’s and Fick’s laws in a stretchable sheet. Considerations have been made to Cattaneo–Christov mass and heat diffusion theory. According to the Cattaneo–Christov relation, the Buongiorno phenomenon for the motion of a nanoliquid in...
-
Materials Design for the Titanium Scaffold Based Implant
PublikacjaThe main objective of here presented research is a design the scaffold/porous titanium(Ti) alloy based composite material demonstrating better biocompatibility, longer lifetime andbioactivity behaviour for load-bearing implants. The development of such material is proposed bymaking a number of consecutive tasks. Modelling the mechanical, biomechanical and biologicalbehavior of porous titanium structure and an elaboration of results...
-
Materials Design for the Titanium Scaffold Based Implant
PublikacjaThe main objective of here presented research is a design the scaffold/porous titanium(Ti) alloy based composite material demonstrating better biocompatibility, longer lifetime andbioactivity behaviour for load-bearing implants. The development of such material is proposed bymaking a number of consecutive tasks. Modelling the mechanical, biomechanical and biologicalbehavior of porous titanium structure and an elaboration of results...
-
Advanced Control Structures of Turbo Generator System of Nuclear Power Plant
PublikacjaIn the paper a synthesis of advanced control structures of turbine and synchronous generator for nuclear power plant working under changing operating conditions (supplied power level) is presented. It is based on the nonlinear models of the steam turbine and synchronous generator cooperating with the power system. Considered control structure consists of multi-regional fuzzy control systems with local linear controllers, including...
-
Carsharing - Opportunities and Threats for Cities: Proposals of Solutions for Urban Policy
PublikacjaThe carsharing of a current generation is a short-term car renting service with a capability to find in the nearest surrounding a fleet car parked anywhere in the public space where the previous user left it, as well as to book, open, rent and pay of, with the use of a dedicated mobile application. Nowadays, only a minority of municipalities is considering implementing the carsharing in their policies. The lack of awareness of...
-
Advanced Control Structures of Turbo Generator System of Nuclear Power Plant
PublikacjaIn the paper a synthesis of advanced control structures of turbine and synchronous generator for nuclear power plant working under changing operating conditions (supplied power level) is presented. It is based on the nonlinear models of the steam turbine and synchronous generator cooperating with the power system. Considered control structure consists of multi-regional fuzzy control systems with local linear controllers, including...
-
Development of Intelligent Control for Annealing Unit to Ensure the Minimization of Retroactive Effects on the Supply Network
PublikacjaResearch conducted by our team focused on the development of a complete annealing unit, using modern technologies and components, such as a programmable logic controller, an industrial computer and microcontrollers, ensuring an intelligent way to control power semiconductor elements (SSR relays), with regard to minimizing retroactive effects on the supply network. This modern configuration offers a number of new possibilities of...
-
Analiza działania rozszerzonego obserwatora prędkości w szerokim zakresie zmian prędkości maszyny indukcyjnej
PublikacjaW artykule przedstawiono zagadnienia związane z odtwarzaniem zmiennych stanu maszyny indukcyjnej. Wykorzystano obserwator oparty na modelu matematycznym maszyny z dodatkowymi zmiennymi. Przedstawiono macierz stanu zlinearyzowanych równań błędu odtwarzania. Opisano sposób definiowania wyznacznika jakości na podstawie rozkładu biegunów obserwatora. Zaproponowano metodę korekcji wzmocnień wraz ze zmianą warunków pracy maszyny. Wykazano...
-
Zastosowanie komputerów w dziedzinie wyszukiwania strategii optymalnych w grach logicznych
PublikacjaProblem jaki stanowi wyszukiwanie strategii optymalnej w grach logicznych jest bardzo złożony. Można go podzielić na następujące podproblemy: obliczeniowy, pamięciowy oraz operacji wejścia/wyjścia. Jednak rosnąca z roku na rok siła obliczeniowa komputerów, ilość pamięci oraz prędkość transferu danych pomiędzy podzespołami zarówno lokalnymi jak i rozproszonymi, a także wzrost skuteczności wykorzystywanych technik algorytmicznych...
-
Action-reaction based synthesis of acoustic wavefield equations
PublikacjaThe analysis of acoustic fields is usually based on the well-known mathematics of second order partial differential equations called wave equations. The author explores the duality and symmetry of linear fluid mechanics and develops two distinct equations of acoustics on the basis of a causal approach to local small-scale phenomena. Wavefields that are solutions of these equations have different composition, the spherical pressure...
-
Modelling of Diffusing Capacity Measurement Results in Lung Microangiopathy Patients. A novel Diagnostic Suppport
PublikacjaLung microangiopathy is a little known negative influence of diabetes mellitus on the functioning of the lungs. The aim of this study is to design a supportive method for diagnosing lung microangiopathy. This will be based on routinely performed pulmonary measurements as well as on investigation process modelling and data processing. A model of the diffusion of oxygen from the alveoli to the blood has been described with a set...
-
Vibration of the bridge under moving singular loads - theoretical formulation and numerical solution
PublikacjaThe paper presents the results of the numerical analysis of a simple vehicle passing over a simply supported bridge span. The bridge is modelled by a Euler-Bernoulli beam. The vehicle is modelled as a linear, visco-elastic oscillator, moving at a constant speed. The system is described by a set of differential equations of motion and solved numerically using the Runge-Kutta algorithm. The results are compared with the solution...
-
Development of the sound field 3D intensity probe based on miniature microphones
PublikacjaThe engineered measuring probe uses three pairs of miniature microphones coupled. The signals from the microphones after an initial amplification are fed to differential circuits. Due to the required symmetry of the circuit it was necessary to select electronic components very carefully. Moreover, additional digital signal processing techniques were applied to avoid amplitude and phase mismatch. The view of the engineered probe...
-
Numerical solution of fractional neutron point kinetics in nuclear reactor
PublikacjaThis paper presents results concerning solutions of the fractional neutron point kinetics model for a nuclear reactor. Proposed model consists of a bilinear system of fractional and ordinary differential equations. Three methods to solve the model are presented and compared. The first one entails application of discrete Grünwald-Letnikov definition of the fractional derivative in the model. Second involves building an analog scheme...
-
Design criterion for hydrodynamic vortex separators
PublikacjaTechnical objects designing involves determination of geometrical parameters that characterize a given object. When the device is described by the differential equations, an inverse problem brings difficulties, as geometrical values sought condition the solution to the problem. Vortex separators can be designed by the "criterion method'. Firstly, a critical particle is distinguished such that bigger particles are removed from...
-
A Stand for Measurement and Prediction of Scattering Properties of Diffusers
PublikacjaIn this paper we present a set of solutions which may be used for prototyping and simulation of acoustic scattering devices. A system proposed is capable of measuring sound field. Also a way to use an open source solution for simulation of scattering phenomena occurring in proximity of acoustic diffusers is shown. The result of our work are measurement procedure and a prototype of the simulation script based on FEniCS - an open source...
-
PROCESSING, MECHANICAL AND THERMAL PROPERTIES OF RECYCLED LOW-DENSITY POLYETHYLENE STREAMS
PublikacjaThe recycling of plastics is currently one of the most significant industrial challenges. Due to the enormous amounts of plastic wastes generated by various industry branches, it is essential to look for the potential methods of their utilization. Nevertheless, for the efficient application of recycled materials it is crucial to analyze their performance. Therefore, in presented paper we investigated the processing (melt flow index),...
-
Bistability in a One-Dimensional Model of a Two-Predators-One-Prey Population Dynamics System
PublikacjaIn this paper, we study a classical two-predators-one-prey model. The classical model described by a system of three ordinary differential equations can be reduced to a one-dimensional bimodalmap. We prove that this map has at most two stable periodic orbits. Besides, we describe the bifurcation structure of the map. Finally, we describe a mechanism that leads to bistable regimes. Taking this mechanism into account, one can easily...
-
Rozprzestrzenianie się w podtorzu skutków katastrof kolejowych z udziałem materiałów niebezpiecznych
PublikacjaDuża część przewozów materiałów niebezpiecznych prowadzona jest koleją. W związku z tym bezpieczeństwo tych przewozów nabiera coraz większego znaczenia. Każda katastrofa z udziałem materiałów niebezpiecznych ma negatywny wpływ na uczestników tego zdarzenia oraz na otaczające środowisko, bowiem jej zasięg na ogół nie jest lokalny. Z tego wynika, że w przypadku zaistnienia katastrofy należy minimalizować jej skutki oraz w dalszych...
-
Zastosowanie odcinków nieliniowej krzywizny w torze zwrotnym rozjazdu kolejowego
PublikacjaW pracy została przedstawiona analityczna metoda kształtowania toru zwrotnego rozjazdu kolejowego posiadającego na swojej długości odcinki nieliniowej krzywizny. Odcinki te służą łagodzeniu wykresu krzywizny w skrajnych strefach rozjazdu W omawianej metodzie dokonano identyfikacji problemu rozkładu krzywizny za pomocą równań różniczkowych. Uzyskane rozwiązania mają charakter uniwersalny; m. in. pozwalają na przyjmowanie dowolnych...
-
Geo-engineering computer simulation seems attractive but is it the real world?
PublikacjaCorrect formulation of the differential equation system for equilibriom conditions of subsoil, especially in terms of controlled numerical calculation, is discussed. The problem of solution stability is also considered. The solution of problems, which are ill-posed, have no practical value in the majority of cases and is this way the engineering prognosis can lead to real disaster. The object of this paper is quite relevant if...
-
Acoustic Heating Produced in the Thermoviscous Flow of a Shear-Thinning Fluid
PublikacjaThis study is devoted to the instantaneous acoustic heating of a shear-thinningfluid. Apparent viscosity of a shear-thinning fluid depends on the shear rate. Thatfeature distinguishes it from a viscous Newtonian fluid. The special linear combi-nation of conservation equations in the differential form makes it possible to derivedynamic equations governing both the sound and non-wave entropy mode inducedin the field of sound. These...
-
Simplified probabilistic analysis of settlement of cyclically loaded soil stratum using point estimate method
PublikacjaThe paper deals with the probabilistic analysis of settlement of a non-cohesive soil layer subjected to cyclic loading. Originally, the settlement assessment is based on deterministic compaction model which requires integration of a set of differential equations. However, making use of the Bessel functions the settlement of the soil stratum can be calculated by means of simplified algorithm. The compaction model parameters were...
-
Polarisation effects in low-energy positron–molecule scattering
PublikacjaThe UK molecular R-matrix method has been adapted to treat positron collisions from polyatomic targets. A simple empirical enhancement factor which corrects for the underestimation of electron–positron polarisation and correlation effects in the calculations performed with the static-plus-polarization model at low scattering energies is presented. Application of this model to positron scattering from carbon dioxide at energies...
-
Hopf bifurcation in time‐delayed gene expression model with dimers
PublikacjaWe study a mathematical model of gene transcription and protein synthesis with negative feedback. We consider a system of equations taking into account the formation of dimers (i.e., complex formed by two protein monomers), the way in which dimers bind to DNA and time delay in translation process. For the model consisting of three ordinary differential equations with time delay, we derive conditions for stability of the positive...
-
Atmospheric opacity estimation based on IWV derived from GNSS observations for VLBI applications
PublikacjaThermal emission of atmospheric water vapor has a great influence on the calibration of radio astronomical observations at millimeter wavelengths. The phenomenon of an atmospheric water vapor emits noise signal and attenuates astronomical emission. At 22 GHz, integrated water vapor (IWV) obtained from global navigation satellite systems (GNSS) is strictly related to atmospheric opacity (τ0), which is a crucial parameter for data...
-
Modeling of medium flow processes in transportation pipelines - the synthesis of their state-space models and the analysis of the mathematical properties of the models for leak detection purposes
PublikacjaThe dissertation concerns the issue of modeling the pipeline flow process under incompressible and isothermal conditions, with a target application to the leak detection and isolation systems. First, an introduction to the model-based process diagnostics is provided, where its basic terminology, tools, and methods are described. In the following chapter, a review of the state of the art in the field of leak detection and isolation...
-
Hyperelastic Microcantilever AFM: Efficient Detection Mechanism Based on Principal Parametric Resonance
PublikacjaThe impetus of writing this paper is to propose an efficient detection mechanism to scan the surface profile of a micro-sample using cantilever-based atomic force microscopy (AFM), operating in non-contact mode. In order to implement this scheme, the principal parametric resonance characteristics of the resonator are employed, benefiting from the bifurcation-based sensing mechanism. It is assumed that the microcantilever is made...
-
Evolution of charge density wave order in continuous solid solutions Lu(Ni1-xCox)C2
PublikacjaPseudo-ternary solid solutions, Lu(Ni1-xCox)C2 (0 ≤ x ≤ 1), were studied by means of powder X-ray diffraction, differential thermal analysis as well as electrical resistivity and heat capacity measurements. The crystal structure of the Lu(Ni1-xCox)C2 series, as investigated by means of X-ray powder diffraction, is of structure type CeNiC2, space group Amm2, Pearson symbol oS8. The structural analysis reveals a non-monotonous evolution,...
-
Activation Energy and Inclination Magnetic Dipole Influences on Carreau Nanofluid Flowing via Cylindrical Channel with an Infinite Shearing Rate
PublikacjaThe infinite shear viscosity model of Carreau fluid characterizes the attitude of fluid flow at a very high/very low shear rate. This model has the capacity for interpretation of fluid at both extreme levels, and an inclined magnetic dipole in fluid mechanics has its valuable applications such as magnetic drug engineering, cold treatments to destroy tumors, drug targeting, bio preservation, cryosurgery, astrophysics, reaction kinetics,...
-
Modeling and simulation of blood flow under the influence of radioactive materials having slip with MHD and nonlinear mixed convection
PublikacjaRadioactive materials are widely in industry, nuclear plants and medical treatments. Scientists and workers in these fields are mostly exposed to such materials, and adverse effects on blood and temperature profiles are observed. In this regard, objective of the current study is to model and simulate blood based nanofluid with three very important radioactive materials, named as Uranium dioxide (UO2), Thorium dioxide (ThO2) and...
-
Energy-Aware Scheduling for High-Performance Computing Systems: A Survey
PublikacjaHigh-performance computing (HPC), according to its name, is traditionally oriented toward performance, especially the execution time and scalability of the computations. However, due to the high cost and environmental issues, energy consumption has already become a very important factor that needs to be considered. The paper presents a survey of energy-aware scheduling methods used in a modern HPC environment, starting with the...
-
Automated Valuation Model based on fuzzy and rough set theory for real estate market with insufficient source data
PublikacjaObjective monitoring of the real estate value is a requirement to maintain balance, increase security and minimize the risk of a crisis in the financial and economic sector of every country. The valuation of real estate is usually considered from two points of view, i.e. individual valuation and mass appraisal. It is commonly believed that Automated Valuation Models (AVM) should be devoted to mass appraisal, which requires a large...
-
Music genre classification applied to bass enhancement for mobile technology
PublikacjaThe aim of this paper is to present a novel approach to the Virtual Bass Synthesis (VBS) algorithms applied to portable computers. The proposed algorithm is related to intelligent, rule-based setting of synthesis parameters according to music genre of an audio excerpt. The classification of music genres is automatically executed employing MPEG 7 parameters and the Principal Component Analysis method applied to reduce information...
-
PLC-based Implementation of Stochastic Optimization Method in the Form of Evolutionary Strategies for PID, LQR, and MPC Control
PublikacjaProgrammable logic controllers (PLCs) are usually equipped with only basic direct control algorithms like proportional-integral-derivative (PID). Modules included in engineering software running on a personal computer (PC) are usually used to tune controllers. In this article, an alternative approach is considered, i.e. the development of a stochastic optimizer based on the (μ,λ) evolution strategy (ES) in a PLC. For this purpose,...
-
Geoscience Methods in Real Estate Market Analyses Subjectivity Decrease
PublikacjaReal estate management, including real estate market analysis, is part of a so-called geosystem. In recent years, the popularity of creating various types of systems and automatic solutions in real estate management, including those related to property classification and valuation, has been growing in the world, mainly to reduce the impact of human subjectivity, to increase the scope of analyses and reduce research time. A very...
-
Neural network agents trained by declarative programming tutors
PublikacjaThis paper presents an experimental study on the development of a neural network-based agent, trained using data generated using declarative programming. The focus of the study is the application of various agents to solve the classic logic task – The Wumpus World. The paper evaluates the effectiveness of neural-based agents across different map configurations, offering a comparative analysis to underline the strengths and limitations...
-
Ontologie jako metoda reprezentacji wiedzy
PublikacjaLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Existence and uniqueness for neutral equations with state dependent delays
PublikacjaW pracy w celu wykazania istnienia i jednoznaczności rozwiązania równania została zaprezentowana metoda porównawcza.
-
Non-linear circuit model of a single doubly-fed induction machine formulated in natural axes for drive systems simulation purposes
PublikacjaMathematical modelling and a circuit model formulated in natural axes of a single doubly-fed induction machine, with the account of magnetic circuit nonlinearity are presented in the paper. Derivation of the model differential equations was based on Lagrange's energy method. State functions of magnetic elements in the model are non-linear and depend on all currents flowing in the machine windings and on the angle of rotor position....
-
GENERALISED HERSCHEL MODEL APPLIED TO BLOOD FLOW MODELLING
PublikacjaThis paper introduces a new rheological model of blood as a certain generalisation of the standard Herschel-Bulkley model. This model is a rheological constitutive equation and belongs to the group of the so-called generalised Newtonian fluids. Experimental data is compared with results, obtained from the new model, to demonstrate that it allows for the best agreement together with Luo-Kuang model. The new model may be easily implemented...
-
Nonlinear Interaction of Modes in a Planar Flow of a Gas with Viscous and Thermal Attenuation
PublikacjaThe nonlinear interaction of wave and non-wave modes in a gas planar flow are considered. Attention is mainly paid to the case when one sound mode is dominant and excites the counter-propagating sound mode and the entropy mode. The modes are determined by links between perturbations of pressure, density, and fluid velocity. This definition follows from the linear conservation equations in the differential form and thermodynamic...
-
Some Artificial Intelligence Driven Algorithms For Mobile Edge Computing in Smart City
PublikacjaSmart mobile devices can share computing workload with the computer cloud that is important when artificial intelligence tools support computer systems in a smart city. This concept brings computing on the edge of the cloud, closer to citizens and it can shorten latency. Edge computing removes a crucial drawback of the smart city computing because city services are usually far away from citizens, physically. Besides, we introduced...
-
Application of the Boundary Element Method for the Simulation of Two-dimensional Viscous Incompressible Flow
PublikacjaThe paper presents the application of an indirect variant of the boundary element method (BEM) to solve the two-dimensional steady flow of a Stokes liquid. In the BEM, a system of differential equations is transformed into integral equations. Thi smakes it possible to limit discretization to the border of the solution. Numerical discretization of the computational domain was performed with linear boundary elements, for which a...