Filtry
wszystkich: 1061
wybranych: 864
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
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...
-
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...
-
Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi
PublikacjaTekst stanowi krótki przegląd wybranych konstrukcji służących reprezentacji wiedzy w postaci ontologii opartych na logice opisowej i porównanie ich z odpowiednikami opartymi na zapisie regułowym. Z powodu ograniczonej liczby stron pokazano tylko elementy związane z reprezentacją konceptów, bez uwzględniania ról. Do zapisu ontologii wykorzystano formalizmy języka OWL, zaś reguły wyrażono w Prologu. Dla lepszego zilustrowania tych...
-
Human awareness versus Autonomous Vehicles view: comparison of reaction times during emergencies
PublikacjaHuman safety is one of the most critical factors when a new technology is introduced to the everyday use. It was no different in the case of Autonomous Vehicles (AV), designed to replace generally available Conventional Vehicles (CV) in the future. AV rules, from the start, focus on guaranteeing safety for passengers and other road users, and these assumptions usually work during normal traffic conditions. However, there is still...
-
Existence and uniqueness of monotone and bounded solutions for a finite-difference discretization a` la Mickens of the generalized Burgers–Huxley equation.
PublikacjaDeparting from a generalized Burgers–Huxley partial differential equation, we provide a Mickens-type, nonlinear, finite-difference discretization of this model. The continuous system is a nonlinear regime for which the existence of travelling-wave solutions has been established previously in the literature. We prove that the method proposed also preserves many of the relevant characteristics of these solutions, such as the positivity,...
-
Efficiency of acoustic heating in the Maxwell fluid
PublikacjaThe nonlinear effects of sound in a fluid describing by the Maxwell model of the viscous stress tensor is the subject of investigation. Among other, viscoelastic biological media belong to this non-newtonian type of fluids. Generation of heating of the medium caused by nonlinear transfer of acoustic energy, is discussed in details. The governing equation of acoustic heating is derived by means of the special linear combination...
-
Thermoplastic polyurethane/(organically modified montmorillonite) nanocomposites produced by in situ polymerization
PublikacjaA series of polyurethane nanocomposites were synthesized from thermoplastic polyurethanes (with different hard segment ratios) and two types of organically modified montmorillonites (OMMT) - Cloisite® 10A and Cloisite® 20A. The thermal behavior was examined by non-isothermal thermogravimetry (TG, DTG), Differential Scanning Calorimetry (DSC) and Dynamic-Mechanical Thermal Analysis (DMTA). The results of X-ray analyses showed that...
-
Subcritical bifurcation of free elastic shell of biological cluster
PublikacjaIn this paper we will investigate symmetry-breaking bifurcation of equilibrium forms of biological cluster. A biological cluster is a two-dimensional analogue of a gas balloon. The cluster boundary is connected with its kernel by elastic links. The inside part is filled with compressed gas or fluid. Equilibrium forms of biological cluster can be found as solutions of a certain second order ordinary functional-differential equation...
-
Torsional buckling and post-buckling of columns made of aluminium alloy
PublikacjaThe paper concerns torsional buckling and the initial post-buckling of axially compressed thin-walled aluminium alloy columns with bisymmetrical cross-section. It is assumed that the column material behaviour is described by the Ramberg–Osgood constitutive equation in non-linear elastic range. The stationary total energy principle is used to derive the governing non-linear differential equation. An approximate solution of the equation...
-
Monitoring of volatile organic compounds (VOCs) in atmospheric air. Part I. On-line gas analyzers
PublikacjaThe paper reviews the subject literature concerning the analytical instruments routinely used for monitoring volatile organic compounds in atmospheric air. The analyzers are classified as stationary or mobile according to their ease of transport. Stationary DOAS (Differential Optical Absorption Spectroscopy) analyzer is characterized, as are MIMS (Membrane Introduction Mass Spectrometry), MESI (Membrane Extraction with Sorbent...
-
Application of Web-GIS and Geovisual Analytics to Monitoring of Seabed Evolution in South Baltic Sea Coastal Areas
PublikacjaRegular surveys of coastal zone seabed deliver important information about geomorphologic processes such as silting of waterways. The recent introduction of the Sentinel series of sensors has allowed for the use of satellite sensing for shallow bathymetry morphology monitoring. In this context, this article presents a dedicated Geographic Information System for Baltic Sea shallow water depth monitoring on the basis of Sentinel-2...
-
Modelling the malware propagation in mobile computer devices
PublikacjaNowadays malware is a major threat to the security of cyber activities. The rapid develop- ment of the Internet and the progressive implementation of the Internet of Things (IoT) increase the security needs of networks. This research presents a theoretical model of malware propagation for mobile computer devices. It is based on the susceptible-exposed- infected-recovered-susceptible (SEIRS) epidemic model. The scheme is based on...
-
Analog modelling in qualitative analysis of vibration propagation
PublikacjaThe theory of dynamic systems is usually used to model the real systems. The models are based on solving ordinary differential equations, partial or difference, which enable obtaining the relation between input signal and the system response (output signal). The analogy between those models and generalized dynamic systems or control systems can be practically used. Vibration propagation can be described in a similar way as the...
-
Analytical method of determining dynamic properties of thermocouples used in measurements of quick – changing temperatures of exhaust gases in marine diesel engines
PublikacjaThe article presents selected issues of mathematical modeling of heat exchange between the thermocouple and the exhaust gas flowing them, in unsteady conditions. On the way of energy balancing consideration of thermodynamic processes developed differential equations describing the dynamic properties for three versions of the design sheathed thermocouples: with weld isolated from the sheath, with weld welded the sheath and with...
-
Melamine-modified boron-doped diamond towards enhanced detection of adenine, guanine and caffeine
PublikacjaThis work describes the electrochemical method of boron-doped diamond (BDD) modification by poly-melamine to obtain organic film. The detection of adenine, guanine and caffeine were carried out by differential pulse wave voltammetry. The poly-melamine modified B-NCD electrodes exhibit excellent activity towards the electrochemical oxidation of all examined analytes. The poly-melamine modified BDD electrodes in all measurements...
-
The application of nonlinear curvature sections in the turnout diverging track
PublikacjaThe paper presents the analytical method of modelling the diverging track of railway turnout with nonlinear curvature sections. These sections were used for smoothing the graph of curvature in the extreme areas of turnout. The problem of the curvature distribution was identified with the use of differential equations. The resulting solutions are of universal nature for example the ability of assuming any values of curvature at...
-
Distortional buckling of composite thin-walled columns of a box-type cross section with diaphragms
PublikacjaDistortional buckling of axially compressed columns of box-like composite cross sections with andwithout internal diaphragms is investigated in the framework of one-dimensional theory. The channel membersare composed of unidirectional fibre-reinforced laminate. Two approaches to the member orthotropic materialare applied: homogenization based on the theory of mixture and periodicity cells, and homogenization basedon the Voigt–Reuss...
-
THE COMPOSITION MODULATION EFFECT IN GaInPAs SOLID SOLUTIONS AS A MANIFESTATION OF ENERGY RESONANCE AFTER MATERIAL'S SPINODAL DECOMPOSITION
PublikacjaThe Cahn-Hilliard model concepts are extended to describe the spinodal decomposition of Ga$_x$In$_{1-x}$P$_y$As$_{1-y}$ solid solutions grown on the InP substrate. The energy of elastic deformation of the thin layer of a solid solution was calculated on the assumption of its coherent conjugation with the massive InP substrate. The excess energy of component mixing in the solid phase was modeled in accordance with the simple solution...
-
Low-energy positron scattering from gas-phase tetrahydrofuran: A quantum treatment of the dynamics and a comparison with experiments
PublikacjaIn this paper we report new quantum calculations of the dynamics for low-energy positrons interacting with gaseous molecules of tetrahydrofuran. The new quantum scattering cross sections are differential and integral cross sections at collision energies between 1.0 and 25.0 eV and include a careful treatment of the additional effects on the scattering process brought about by the permanent dipole moment of the target molecule....
-
Impedance of cation-coupled electron transfer reaction: Theoretical description of one pathway process
PublikacjaIt has been assumed that cation electron coupled charge transfer can be conducted in accordance with two mutually coupled reactions. Using a differential method an expression was introduced which describes the impedance of a cation electron coupled transfer reaction. Also, an electrical equivalent circuit has been defined. The total faradaic impedance is the sum of electron transfer impedance and cation transfer impedance. Issues...
-
Kinetics of cross-linking processes of fast-curing polyurethane system
PublikacjaThis work focuses on the application of thermal analysis and kinetics investigations to analyze chemical processes during cross-linking of the complex fast-curing polyurethane system. Non-isothermal Differential Scanning Calorimetry (DSC) measurements were performed for both stoichiometric mixtures of polyol and isocyanate component and for mixture with large isocyanate excess. Isoconversional methods were used to calculate initial...
-
Approximation of Fractional Order Dynamic Systems Using Elman, GRU and LSTM Neural Networks
PublikacjaIn the paper, authors explore the possibility of using the recurrent neural networks (RNN) - Elman, GRU and LSTM - for an approximation of the solution of the fractional-orders differential equations. The RNN network parameters are estimated via optimisation with the second order L-BFGS algorithm. It is done based on data from four systems: simple first and second fractional order LTI systems, a system of fractional-order point...
-
Application of surface active amino acid ionic liquids as phase-transfer catalyst
PublikacjaFive structurally related morpholinium derived ionic liquids containing N-acetyl-glycinate anion were synthesized and their thermal stability, surface properties and activity as phase transfer catalysts investigated. The thermal properties were studied by differential scanning calorimetry, while the adsorption at the air/water interface and micellization behavior was analyzed by surface tension measurements, conductometry and isothermal...
-
Efficiency of acoustic heating in the Maxwell fluid
PublikacjaThe nonlinear effects of sound in a fluid describing by the Maxwell model of the viscous stress tensor is the subject of investigation. Among other, viscoelastic biological media belong to this non-newtonian type of fluids. Generation of heating of the medium caused by nonlinear transfer of acoustic energy, is discussed in details. The governing equation of acoustic heating is derived by means of the special linear combination...
-
Characterization of recombinant homocitrate synthase from Candida albicans
PublikacjaLYS21 and LYS22 genes from Candida albicans encoding isoforms of homocitrate synthase (HCS), an enzyme catalyzing the first committed step in the L-lysine biosynthetic pathway, were cloned and expressed as NoligoHistagged fusion proteins in Escherichia coli. The purified gene products revealed HCS activity, i.e. catalyzed the condensation of α-ketoglutarate with acetyl-coenzyme A to yield homocitrate. The recombinant enzymes were purified...
-
Symmetry-Breaking Bifurcation for Free Elastic Shell of Biological Cluster, Part 2
PublikacjaWe will be concerned with a two-dimensional mathematical model for a free elastic shell of biological cluster. The cluster boundary is connected with its kernel by elastic links. The inside part is filled with compressed gas or fluid. Equilibrium forms of the shell of biological cluster may be found as solutions of a certain nonlinear functional-differential equation with several physical parameters. For each multiparameter this...
-
Stability by linear approximation for time scale dynamical systems
PublikacjaWe study systems on time scales that are generalizations of classical differential or difference equations and appear in numerical methods. In this paper we consider linear systems and their small nonlinear perturbations. In terms of time scales and of eigenvalues of matrices we formulate conditions, sufficient for stability by linear approximation. For non-periodic time scales we use techniques of central upper Lyapunov exponents...
-
Maximum transportation growth in energy and solute particles in Prandtl martial across a vertical 3D-heated surface: Simulations achieved using by finite element approach
PublikacjaThe goal of this study is to determine the maximum energy and solute particles' transportation growth in a 3D-heated region of Prandtl martial through a dynamic magnetic field. The effects of this field on the properties of solvent molecules and heat conduction are studied. A correctly stated functional method and a finite element approach are comparable to a certain type of differential equations. In order demonstrate the effects...
-
Flexural buckling and post-buckling of columns made of aluminium alloy
PublikacjaThe paper concerns flexural buckling and initial post-buckling of axially compressed columns made of aluminium alloy described by the Ramberg-Osgood relationship. The non-linear differential equation of the problem is derived using the stationary total energy principle and the assumptions of classical beam theory within a finite range. The approximate analytical solution of the equation leading to the buckling loads and initial...
-
Supporting Gastroesophageal Reflux Disease Diagnostics by Using Wavelet Analysis in Esophageal pH-Metry
PublikacjaThis paper presents a new approach to computer supported esophageal pH-metry measurement analysis performed in order to diagnose gastroesophageal reflux disease. In this approach wavelet analysis was used to analyse the esophageal pH-metry course. The research was performed on three groups of pH-metry courses: whole 24-hour pH-metry course, sleep only pH-metry course and 20 minutes after the end of a meal pH-metry course. After...
-
Rigid polyurethane foams modified with ground tire rubber - mechanical, morphological and thermal studies
PublikacjaRigid polyurethane foams, prepared by a single step method, were modified with the two types of ground tire rubber particles, i.e. untreated and thermo-mechanically reclaimed by using a co-rotating twin screw extruder. The foaming process as well as the structure and the physical, mechanical and thermal properties of the resulting foams were investigated. The presence of ground tire rubber decreased the velocity of polymerization....
-
Local buckling of compressed flange of cold-formed channel members made of aluminum alloy
PublikacjaThe paper deals with local buckling of a compressed single flange of thin-walled channel cold- formed columns and beams made of aluminum alloy. Material is described by means of the Ramberg-Osgood constitutive equation. Axial compression of the columns and beams undergoing bending is taken into consid- eration. A simple model of the member flange in the form a long beam elastically connected to the web is used to find the critical...
-
Simulation of the remanence influence on the transient states in a single-phase multiwinding transformer
PublikacjaThis paper presents the mathematical model of a single-phase multi-winding core type transformer taking into account magnetic hysteresis phenomenon based on the feedback Preisach model (FPM). The set of loop differential equations was developed for a K-th winding transformer model where the flux linkages of each winding includes flux Φ common to all windings as a function of magneto motive force Θ of all windings. The first purpose...
-
Buckling and initial post-local buckling behaviour of cold-formed channel member flange
PublikacjaThe initial post-buckling behaviour of a cold-formed channel member flange after its local buckling is investigated. An axially compressed column or beam subjected to pure bending is considered. The member material is assumed to follow a linear stress-strain relationship. The governing non-linear differential equation of the problem is derived using the minimum total potential energy principle. An approximate solution for the equation...
-
Transition curve with smoothed curvature at its ends for railway roads
PublikacjaIn the paper, in view of a railway ballasted track, a new concept of transition curve of linear form of curvature along its length and smoothed extreme regions is presented. For this purpose use has been made of an original, universal method for identifying transition curves by means of differential equations. Some general curvature equations for three regions investigated have been determined to be followed by appropriate parametric...
-
The Dynamic Model of Magnetic Hysteresis
PublikacjaThis paper presents the scalar dynamic magnetic hysteresis model based on the Preisach theory. The important role in this theory played hysteresis operator states. The changes of these operators` states are not immediate in the dynamic model but they are a function of time and parameter k representing the magnetic properties of the material. In this paper the transient state of the hysteresis operator is defined by the nonlinear...
-
Fault detection in electronic circuits using test buses
PublikacjaA survey of test buses designed for diagnostics of digital and analog electronic circuits is presented: the IEEE 1149.1 bus for digital circuits, the IEEE 1149.4 bus for mixed-signal and the IEEE 1149.6 bus for AC coupled complex digital circuits. Each bus is presented with its structure, solution of key elements, particularly boundary registers and a set of test instructions. Diagnosis with the use of the described buses is...
-
Implementacja algorytmu regulacji predykcyjnej MPC w sterownikach programowalnych
PublikacjaSterowniki programowalne PLC (ang. Programmable Logic Controllers) są główną przemysłową platformą implementacji algorytmów sterowania bezpośredniego. Standardowo producenci PLC udostępniają programistom jedynie podstawowe algorytmy sterowania. W niniejszym artykule rozważana jest implementacja w PLC zaawansowanej metody sterowania – algorytmu MAC/MPC (ang. Model Algorithmic Control/Model Predictive Control) ze względu na jego...
-
EMI attenuation in a DC-DC buck converter using GaN HEMT
PublikacjaA dc-dc buck converter using gallium nitride (GaN) high electron mobility transistors (HEMT) is experimentally investigated at the discontinuous current mode (DCM) and at the triangular current mode (TCM) operation. The paper objective is to specify the power conversion efficiency and attenuation of common mode (CM) and differential mode (DM) noise voltage, measured at the line impedance stabilization network (LISN) for compared...
-
Power equalization of AES FPGA implementation
PublikacjaThis paper briefly introduces side channel attacks on cryptographic hardware with special emphasis on differential power analysis(DPA). Based on existing countermeasures against DPA, design method combining power equalization for synchronous and combinatorialcircuits has been proposed. AES algorithm has been implemented in Xilinx Spartan II-E field programmable gate array (FPGA) deviceusing the standard and power-equalized methods....
-
An interval estimator for chlorine monitoring in drinking water distribution systems under uncertain system dynamics, inputs and chlorine concentration measurement errors
PublikacjaThe design of an interval observer for estimation of unmeasured state variables with application to drinking water distribution systems is described. In particular, the design process of such an observer is considered for estimation of the water quality described by the concentration of free chlorine. The interval observer is derived to produce the robust interval bounds on the estimated water quality state variables. The stability...
-
Buckling of thin-walled columns accounting for initial geometrical imperfections
PublikacjaThe paper is devoted to the effect of some geometrical imperfections on the critical buckling load of axially compressed thin-walled I-columns. The analytical formulas for the critical torsional and flexural buckling loads accounting for the initial curvature of the column axis or the twist angle respectively are derived. The classical assumptions of theory of thin-walled beams with non-deformable cross-sections are adopted. The...
-
Isothermal Vulcanization and Non-Isothermal Degradation Kinetics of XNBR/Epoxy/XNBR-g-Halloysite Nanotubes (HNT) Nanocomposites
PublikacjaThe effect of several concentrations of carboxylated nitrile butadiene rubber (XNBR) functionalized halloysite nanotubes (XHNTs) on the vulcanization and degradation kinetics of XNBR/epoxy compounds were evaluated using experimental and theoretical methods. The isothermal vulcanization kinetics were studied at various temperatures by rheometry and differential scanning calorimetry (DSC). The results obtained indicated that the...
-
Demonstrator testera wbudowanego BIST dla układów w pełni różnicowych
PublikacjaPrzedstawiono demonstrator testera wbudowanego, przeznaczony do pracy na stanowisku dydaktycznym w laboratorium z przedmiotu Zaawansowane Metody Pomiarowe i Diagnostyczne. Na stanowisku studenci zapoznają się z technologią BIST (ang. Built-In Self-Test), która jest przykładem wdrożenia strategii projektowania dla testowania.
-
Studies on the influence of β-cyclodextrin derivatives on the physical stability of famotidine
PublikacjaThe usage of Fourier transform infrared spectroscopy, near infrared spectroscopy, differential scanning calorimetry and microscopy is presented in this work focused on the exploration of the effect of CD on the physical stability of famotidine (FAM). The most significant information was achieved by analysis of the second derivatives ofnear infrared (NIR) spectra recorded. Changes in the shape of spectra derivatives allow...
-
Application of vibrational spectroscopy, thermal analyses and X-Ray diffraction in the rapid evaluation of the stability in solid-state of ranitidine, famotidine and cimetidine
PublikacjaThis paper reports the study on applicability of Fourier transform infrared (FTIR), near-infrared (NIR) and Raman spectroscopy, differential scanning calorimetry (DSC) and X-ray diffraction (XRD) for the estimation of the chemical stability and photostability of histamine H2-receptor antagonist substances. Ranitidine hydrochloride (RAN), famotidine (FAM) and cimetidine (CIM) were tested and differences in sensitivity were measured...
-
Heteroleptic tri-tert-butoxysilanethiolate complexes of manganese(II) - thermal studies
PublikacjaThe thermal behavior of Mn(II) silanethiolate series [Mn(SR)2L(MeOH)n], where R=SSi(OBut)3, L=heterocyclic nitrogen base and n=0, 1 or 2 has been comparatively investigated using differential scanning calorimetry (DSC), thermogravimetry (TG) and TG-infrared spectoscopy (IR) techniques. The TG curves indicate the differences in the thermal decomposition due to presence of distinct N-donor ligands and labile MeOH molecules coordinated...
-
The consideration to the dynamic systems parameter identification
PublikacjaIn this paper, a concept for continuous-time dynamic systems parameter identification using modulating function approach is presented. It refers to linear as well as selected non-linear systems. It shows the possibility of direct application without converting differential equation. In particular cases direct application can decrease the amount of computation in non-linear system identification, which generally requires Fourier...
-
Comparative molecular modelling of biologically active sterols
PublikacjaMembrane sterols are targets for a clinically important antifungal agent – amphotericin B. The relatively specific antifungal action of the drug is based on a stronger interaction of amphotericin B with fungal ergosterol than with mammalian cholesterol. Conformational space occupied by six sterols has been defined using the molecular dynamics method to establish if the conformational features correspond to the preferential interaction...
-
Mechanism of Solute and Thermal Characteristics in a Casson Hybrid Nanofluid Based with Ethylene Glycol Influenced by Soret and Dufour Effects
PublikacjaThis article models a system of partial differential equations (PDEs) for the thermal and solute characteristics under gradients (concentration and temperature) in the magnetohydrodynamic flow of Casson liquid in a Darcy porous medium. The modelled problems are highly non-linear with convective boundary conditions. These problems are solved numerically with a finite element approach under a tolerance of 10−8. A numerical algorithm...