Filtry
wszystkich: 1052
wybranych: 855
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
Straightened characteristics of McKendrick-von Foerster equation
PublikacjaWe study the McKendrick-von Foerster equation with renewal (that is the age-structured model, with total population dependent coefficient and nonlinearity). By using a change of variables, the model is then transformed to a standard age-structured model in which the total population dependent coefficient of the transport term reduces to a constant 1. We use this transformation to get existence, uniqueness of solutions of the problem...
-
The cohomological span of LS-Conley index
PublikacjaIn this paper we introduce a new homotopy invariant – the cohomological span of LS-Conley index. We prove the theorems on the existence of critical points for a class of strongly indefinite functionals with the gradient of the form Lx+K(x), where L is bounded linear and K is completely continuous. We give examples of Hamiltonian systems for which our methods give better results than the Morse inequalities. We also give a formula...
-
Integrate-and-fire models with an almost periodic input function
PublikacjaWe investigate leaky integrate-and-fire models (LIF models for short) driven by Stepanov and μ-almost periodic functions. Special attention is paid to the properties of the firing map and its displacement, which give information about the spiking behavior of the considered system. We provide conditions under which such maps are well-defined and are uniformly continuous. We show that the LIF models with Stepanov almost periodic...
-
Homotopy invariance of the Conley index and local Morse homology in Hilbert spaces
PublikacjaIn this paper we introduce a new compactness condition — Property-(C) — for flows in (not necessary locally compact) metric spaces. For such flows a Conley type theory can be developed. For example (regular) index pairs always exist for Property-(C) flows and a Conley index can be defined. An important class of flows satisfying the this compactness condition are LS-flows. We apply E-cohomology to index pairs of LS-flows and obtain...
-
Fixed point indices of iterated smooth maps in arbitrary dimension
PublikacjaWe give a complete description of possible sequences ofindices of iterations of f at an isolated fixed point, answering inaffirmative the Chow, Mallet-Paret and Yorke conjecture posed in[S.N. Chow, J. Mallet-Parret, J.A. Yorke, A periodic point index whichis a bifurcation invariant, in: Geometric Dynamics, Rio de Janeiro,1981, in: Lecture Notes in Math., vol. 1007, Springer, Berlin, 1983,pp. 109-131].
-
Time-of-flight electron scattering from molecular hydrogen: Benchmark cross sections for excitation of the X1Σ+g→b3Σ+u transition
PublikacjaThe electron impact X1Σ+g to b3Σ+u transition in molecular hydrogen is one of the most important dissociation pathways to forming atomic hydrogen atoms, and is of great importance in modeling astrophysical and industrial plasmas where molecular hydrogen is a substantial constituent. Recently it has been found that the convergent close-coupling (CCC) cross sections of Zammit et al. [Phys. Rev. A 95, 022708 (2017)] are up to a factor...
-
Semantic Driven Table Understanding in Born-Digital Documents
PublikacjaThis paper presents a new approach to table understanding, suitable for born-digital PDF documents. Advance beyond the current state of the art in table understanding is provided by the proposed reverse MVC method, which takes advantage of only partial logic structure loss (degradation) in born-digital PDF documents, as opposed to unrecoverable loss (deterioration) taking place in scan based PDF documents.
-
Research of hydrotronic variable displacement radial piston pump with electro -pneumatic control
PublikacjaThe paper presents the developed new electro-pneumatic control (pneumotronic) system for hydraulic fixed-displacement radial piston pump. Hydraulic fixed-displacement radial piston pump equipped with the proposed control system changes into hydrotronic variable-displacement radial piston pump. Pump flow rate control is realized by means of programmable logic controller, electro-pneumatic valves, pneumatic cylinders and a sensor.
-
Estimation of a Stochastic Burgers' Equation Using an Ensemble Kalman Filter
PublikacjaIn this work, we consider a difficult problem of state estimation of nonlinear stochastic partial differential equations (SPDE) based on uncertain measurements. The presented solution uses the method of lines (MoL), which allows us to discretize a stochastic partial differential equation in a spatial dimension and represent it as a system of coupled continuous-time ordinary stochastic differential equations (SDE). For such a system...
-
Magnetic disturbances caused by magnetic contamination of plastics
PublikacjaIn the study of low magnetic fields precision magnetometers working in a differential system are used. Two optically pumped magnetometers working in a differential system allow for precise measuring of disturbances in the magnetic field. In order to attain high accuracy of magnetic field measurement, it is necessary to use appropriate materials for the construction of a magnetometric system, particularly of those located closely...
-
Computational issues of solving the 1D steady gradually varied flow equation
PublikacjaIn this paper a problem of multiple solutions of steady gradually varied flow equation in the form of the ordinary differential energy equation is discussed from the viewpoint of its numerical solution. Using the Lipschitz theorem dealing with the uniqueness of solution of an initial value problem for the ordinary differential equation it was shown that the steady gradually varied flow equation can have more than one solution....
-
Modelling Evolution of Knowledge-Based Information Technology Organization: The Concept and Perspective
PublikacjaIncreasing pressure on improving the efficiency of companies' operations leads to transformation of their Information Technology (IT) organizations from technology-oriented to service-oriented, based on the Information Technology Infrastructure Library (ITIL) model. The evolution of these IT organizations can be supported by the knowledge-based systems centered on the rules determined through agregation and refinement of existing...
-
A significance of multi slip condition for inclined MHD nano-fluid flow with non linear thermal radiations, Dufuor and Sorrot, and chemically reactive bio-convection effect
PublikacjaThe aim of this research is to discuss the significance of slip conditions for magnetized nanofluid flow with the impact of nonlinear thermal radiations, activation energy, inclined MHD, sorrot and dufour, and gyrotactic micro motile organisms over continuous stretching of a two-dimensional sheet. The governing equations emerge in the form of partial differential equations. Since the resultant governing differential equations...
-
On solvability of initial boundary-value problems of micropolar elastic shells with rigid inclusions
PublikacjaThe problem of dynamics of a linear micropolar shell with a finite set of rigid inclusions is considered. The equations of motion consist of the system of partial differential equations (PDEs) describing small deformations of an elastic shell and ordinary differential equations (ODEs) describing the motions of inclusions. Few types of the contact of the shell with inclusions are considered. The weak setup of the problem is formulated...
-
Ontology-Aided Software Engineering
PublikacjaThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Zaangażowanie konsumenta w usługach w ujęciu logiki dominacji usługowej
PublikacjaW odniesieniu do opracowanego modelu koncepcyjnego integrującego teorie zaangażowania klienta (ang. CE) i logiki dominacji usług (ang. S-D logic) zrealizowano badanie ilościowe wśród konsumentów usług. Wyniki badania pozwoliły na weryfikację założeń teoretycznych i potwierdzenie słuszności zakładanych powiązań między zmiennymi modelu. Wykorzystując konfirmacyjną analizę czynnikową (ang. CFA), potwierdzono strukturę czynnikową badanej...
-
Fuzzy Methods and Models for a Team-Building Process
PublikacjaThis chapter contains an introduction to fuzzy-logic model-based approaches for a team-building process. Such appraches allow extending typical recruiting practice and selection processes to enable a wider and more precise assessment of a new team and/or existing team members, taking into account both their hard and soft skills. Moreover, as effectiveness of teams depends on the interpersonal skills and emotional intelligence...
-
Evaluation of the Macro- and Micro-Economic Factors Affecting the Financial Energy of Households
PublikacjaThis paper is an evaluation of the common macro-economic, micro-economic, and social factors affecting households’ financial situations. Moreover, the author’s objective was to develop a fuzzy logic model for forecasting fluctuations in the number of nonperforming consumer loans in a country using the example of Poland. This study represents one of the first attempts in the global literature to develop such a forecasting model...
-
Simulation of Wave Propagation in Media Described by Fractional-Order Models
PublikacjaIn this paper, algorithms for simulation of the wave propagation in electromagnetic media described by fractional-order (FO) models (FOMs) are presented. Initially, fractional calculus and FO Maxwell's equations are introduced. The problem of the wave propagation is formulated for media described by FOMs. Then, algorithms for simulation of the non-monochromatic wave propagation are presented which employ computations in the time...
-
Flock behavior and control
PublikacjaIn this paper we present the results of the Flock Behaviour and Control workshop cluster during “Shapes of Logic Conference 2015”. During the event, students got familiar with the techniques of both visual and sound real-time data processing. The second topic presented for students was behaviourbased approach of design process, mainly based on the mathematical rules set up by Craig Raynolds on the swarm behaviour. The aim of the...
-
Application of muscle model to the musculoskeletal modeling
PublikacjaThe purpose of this paper is to investigate new fusiform muscle models. Each of these models treats a muscle as a system composedof parts characterized by different mechanical properties. These models explain the influence of differences in the stiffness of lateral parts and the degree of muscle model discretization. Each muscle model is described by a system of differential equations and a single integro-differential equation....
-
Significant Production of Thermal Energy in Partially Ionized Hyperbolic Tangent Material Based on Ternary Hybrid Nanomaterials
PublikacjaNanoparticles are frequently used to enhance the thermal performance of numerous materials. This study has many practical applications for activities that have to minimize losses of energy due to several impacts. This study investigates the inclusion of ternary hybrid nanoparticles in a partially ionized hyperbolic tangent liquid passed over a stretched melting surface. The fluid motion equation is presented by considering the...
-
Music Recommendation Based on Multidimensional Description and Similarity Measures . Rekomendacja muzyki na podstawie wielowymiarowego wektora cech i miar podobieństwa
PublikacjaThis study aims to create an algorithm for assessing the degree to which songs belong to genres defined a priori. Such an algorithm is not aimed at providing unambiguous classification-labelling of songs, but at producing a multidimensional description encompassing all of the defined genres. The algorithm utilized data derived from the most relevant examples belonging to a particular genre of music. For this condition to be met,...
-
Pomiary interkonektów typu RLC na pakietach elektronicznych z wykorzystaniem magistrali mieszanej sygnałowo IEEE 1149.4
PublikacjaPrzedstawiono wyniki badań nad wykorzystaniem magistrali testującej mieszanej sygnałowo zgodnej ze standardem IEEE 1149.4 do pomiarów interkonektów typu RLC na pakietach układów elektronicznych. Do badań użyto pierwszych komercyjnych układów scalonych STA400 wyposażonych w magistralę, opracowanych w firmie National Semoconductor i Logic Vision. Pomiary przeprowadzano metodami proponowanymi w normie IEEE 1149.4 oraz nowoopracowanymi...
-
ANFIS-Based NPC Population Control in Video Games
PublikacjaModern computer games aim at providing rich, vivid worlds. The aim is to encourage the player to explore and interact with the in-game world. To describe the complex relations between in-game NPCs and their surrounding fuzzy logic is used. The paper presents ANFIS based population control in the video game. We present an approach allowing stabilizing the number of NPCs in-game by providing a certain amount of food to the environment....
-
Critical Remarks on Landauer’s principle of erasure– dissipation: Including notes on Maxwell demons and Szilard engines
PublikacjaWe briefly address Landauer’s Principle and some related issues in thermal demons. We show that an error-free Turing computer works in the zero-entropy limit, which proves Landauer’s derivation incorrect. To have a physical logic gate, memory or information-engine, a few essential components necessary for the operation of these devices are often neglected, such as various aspects of control, damping and the fluctuation–dissipation...
-
Computational intelligence methods in production management
PublikacjaThis chapter presents a survey of selected computational intelligence methods used in production management. This group of methods includes, among others, approaches based on the artificial neural networks, the evolutionary algorithms, the fuzzy logic systems and the particle swarm optimization mechanisms. From the abovementioned methods particularly noteworthy are the evolutionary and the particle swarm algorithms, which are successfully...
-
Długie pociągi
PublikacjaWskazano, że przy wprowadzaniu długich pociągów pojawiają się możliwości, ale i ograniczenia różnej natury oraz problemy do rozwiązania. Inne w przypadku długich pociągów i inne w przypadku ciężkich pociągów. Pokazano długie pociągi, jako szansę na polepszenie bezpieczeństwa na drogach, poprzez ograniczenie na nich ruchu samochodów ciężarowych. Łatwiej będzie w praktyce realizować pomysł „Tiry na tory” Długie pociągi są szansą...
-
Parabolic Equations with Functional Dependence
PublikacjaWe consider the Cauchy problem for nonlinear parabolic equations with functional dependence and prove theorems on the existence of solutions to parabolic differential-functional equations.
-
Induction machine behavioral modeling for prediction of EMI propagation.
PublikacjaThis paper presents the results of wideband behavioral modeling of an induction machine (IM). The proposed solution enables modeling the IM differential- and common-mode impedance for a frequency range from 1 kHz to 10 MHz. Methods of parameter extraction are derived from the measured IM impedances. The developed models of 1.5 kW and 7.5 kW induction machines are designed using the Saber Sketch scheme editor and simulated in the...
-
A Strategy to Locate Fixed Points and Global Perturbations of ODE’s: Mixing Topology with Metric Conditions
PublikacjaIn this paper we discuss a topological treatment for the planar system z' = f (t, z) + g(t, z) where f and g are T -periodic in time and g(t, z) is bounded. Namely, we study the effect of g(t, z) in two different frameworks: isochronous centers and time periodic systems having subharmonics. The main tool employed in the proofs consists of a topological strategy to locate fixed points in the class of orientation preserving embedding...
-
On the Existence of Homoclinic Type Solutions of a Class of Inhomogenous Second Order Hamiltonian Systems
PublikacjaWe show the existence of homoclinic type solutions of a class of inhomogenous second order Hamiltonian systems, where a C1-smooth potential satisfies a relaxed superquadratic growth condition, its gradient is bounded in the time variable, and a forcing term is sufficiently small in the space of square integrable functions. The idea of our proof is to approximate the original system by time-periodic ones, with larger and larger...
-
Local fixed point indices of iterations of planar maps
PublikacjaW artykule podana zostaje postać indeksów iteracji dla pewnej klasy odwzorowań planarnych. Podstawowymi narzędziami stosowanym w pracy są liczba Nielsena i indeks Conleya.
-
Theoretical and experimental study on scattering of low-energy electrons by dimethyl and diethyl ethers
PublikacjaWe report a joint theoretical and experimental investigation on low-energy electron scattering by dimethyl and diethyl ethers. The experimental elastic differential cross sections were measured at impact energies from 1 eV up to 30 eV and scattering angle range of 10◦ to 130◦. Theoretical elastic differential, integral and momentum-transfer cross sections are calculated at impact energies up to 30 eV, employing the Schwinger multichannel...
-
Use of Sensory Analysis Methods to Evaluate the Odor of Food and Outside Air
PublikacjaSensory analysis is applied in many areas of daily life. It is used to carry out the sensory evaluation of foodstuffs or other products and to evaluate the properties of odors present in the environment. The authors attempt to summarize the knowledge on the classification and application of sensory analysis methods to evaluate the odor nuisance of air, which allows the identification of sensory impressions and determination of...
-
Elastic electron scattering and vibrational excitation of isoxazole molecules in the energy range from 2 to 20 eV
PublikacjaDifferential cross sections for elastic electron scattering and the excitation of the C-H vibrational modes of isoxazole molecules were measured in the energy range from 2 to 20 eV and over the scattering angle range from 10◦ to 180◦. The cross sections at the scattering angles of and above 90◦ were accessible with the use of a magnetic angle changer. The differential cross sections were integrated to yield integral and momentum...
-
Hybrid fuzzy-ontological project framework of a team work simulation system
PublikacjaThe aim of this article is to present the project framework for constructing a Software Process Simulation Modeling (SPSM) system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the...
-
Metody projektowania ułatwiającego testowanie dla układów cyfrowych
PublikacjaPrzedstawiono przegląd metod ułatwiających testowanie DFT (Design for Testability) dla układów cyfrowych. Zaprezentowano metody stosowane na poziomie układów scalonych, pakietów oraz systemów elektronicznych. Pokazano heurystyczne metody projektowania pozwalające na zwiększenie sterowalności i obserwowalności układów oraz metody strukturalne, a wśród nich układy BILBO (Built-In Logic Block Observer), BIST (Built-In Self Test),...
-
Numerical and quantitative analysis of HIV/AIDS model with modified Atangana-Baleanu in Caputo sense derivative
PublikacjaFractional calculus plays an important role in the development of control strategies, the study of the dynamical transmission of diseases, and some other real-life problems nowadays. The time-fractional HIV/AIDS model is examined using a novel method in this paper. Based on the Atangana-concept Baleanu’s of a derivative in the Caputo sense, the current modified fractional derivative operator uses singular and non-local kernels....
-
Projekt mechanizmu różnicowego do pojazdu samochodowego z zachowaniem wymogów jakościowych ISO/TS 16949
PublikacjaW artykule przedstawiono proces projektowania mechanizmu różnicowego. Dokonano wyboru koncepcji z pośród istniejących rozwiązań stosowanych obecnie w pojazdach samochodowych. Skupiono się przede wszystkim na przebiegu procesu wykonania prototypu z zachowaniem wymogów i standardów ISO/TS 16949 dla produktu i projektu.
-
Predicting bankruptcy with the use of macroeconomic variables
PublikacjaRegarding the current global financial crisis, the firms can expect the increased uncertainty of their existence. The relevant literature includes extensive studies on bankruptcy prediction. Studies show that the most popular method used for prediction of firms' failures are discriminant analyses (30,3% of all models), then logit and probit models (21,3%), which all three are parametric models. The nature, the structure of the...
-
The modelling method of discrete-continuous systems
PublikacjaThe paper introduces a method of discrete-continuous systems modelling. In the proposed method a three-dimensional system is divided into finite elements in only two directions, with the third direction remaining continuous. The thus obtained discrete-continuous model is described by a set of partial differential equations. General difference equations of discrete system are obtained using the rigid finite element method. The limit...
-
Numerical solution of threshold problems in epidemics and population dynamics
PublikacjaA new algorithm is proposed for the numerical solution of threshold problems in epidemics and population dynamics. These problems are modeled by the delay-differential equations, where the delay function is unknown and has to be determined from the threshold conditions. The new algorithm is based on embedded pair of continuous Runge–Kutta method of order p = 4 and discrete Runge–Kutta method of order q = 3 which is used for the...
-
An inclination in Thermal Energy Using Nanoparticles with Casson Liquid Past an Expanding Porous Surface
PublikacjaPhysical aspects of inclined MHD nanofluid towards a stretching sheet embedded in a porous medium are visualized. Two types of nanoparticles are used named as copper and alumna dioxide with water as base fluid. Similarity transformations are used to convert the partial differential equations into the set of ordinary differential equation. Closed solutions are found to examine the velocity and the temperature profiles. It is examined...
-
N-point estimators of the Instantaneous Complex Frequency
PublikacjaIn this paper estimators of the instantaneous complex frequency (ICF) are presented and discussed. The differential approach for the estimation of the ICF is used, therefore the estimators are based on maximally flat N-point FIR filters: differential and delay. The investigation of the filter performance includes static characteristics of ICF estimation and the error of the ICF estimation in the discrete frequency domain.W pracy...
-
Dyskretno-ciągła metoda modelowania układów dynamicznych
PublikacjaW artykule przedstawiono oryginalną metodę modelowania układów dyskretno-ciągłych. Metoda polega na dyskretyzowaniu układu trójwymiarowego jedynie w dwóch wybranych kierunkach. W trzecim z kierunków układ pozostaje ciągły. Otrzymany w ten sposób model jest modelem dyskretno-ciągłym. Opisany jest za pomocą równań różniczkowych cząstkowych. Ogólne równania różnicowe układu dyskretnego otrzymano, wykorzystując metodę sztywnych elementów...
-
Equations with Separated Variables on Time Scales
PublikacjaWe show that the well-known theory for classical ordinary differential equations with separated variables is not valid in case of equations on time scales. Namely, the uniqueness of solutions does not depend on the convergence of appropriate integrals.
-
Bounded solutions of odd nonautonomous ODE
PublikacjaBorsuk-Ulam type argument is used in order to prove exstence of nontrivial bounded solutions to some nonautonomous differential euations which are odd with respect to the spatial variable. A Poincare compactification trick is also applied.
-
Optimization model of agile team’s cohesion
PublikacjaTeam’s cohesion is one of the most important factors of IT project execution effectiveness. Optimization of team’s cohesion gives the possibility of reducing the risk of project failure. It also allows to increase the teamwork efficiency and thus optimize time of tasks execution, increase the guarantee of maintaining the scope of the project and the chance of achieving a given level of products quality. This article presents determination...
-
Expert systems in quality control of manufacturing processes
PublikacjaThe paper deals with quality control in conditions of computer integrated manufacturing (CIM). It shows that quality of material stream items have to be analyzed on every stage of manufacturing process. Collecting and analyzing quantity of data with usage of expert systems make it possible to create a system for coordination of cell's work. The system contains error recovery algorithm and adaptive control subsystem based on fuzzy...