displaying 1000 best results Help
Search results for: LOGIC DIFFERENTIAL CALCULUS
-
Research of hydrotronic variable displacement radial piston pump with electro -pneumatic control
PublicationThe 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.
-
Semantic Driven Table Understanding in Born-Digital Documents
PublicationThis 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.
-
Thermal properties of VO2 and V2O3 nanostructures
Open Research DataThe DataSet contains the DSC and TG curves of VO2 and V2O3 nanostructures obtained by the sol-gel with different reaction conditions. The information about xerogel powder synthesis is described in the Journal of Nanomaterials. The xerogel powder was annealing under argon atmosphere at the selected temperature: 500C, 600C, and 1000C.
-
Estimation of a Stochastic Burgers' Equation Using an Ensemble Kalman Filter
PublicationIn 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
PublicationIn 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
PublicationIn 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
PublicationIncreasing 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
PublicationThe 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
PublicationThe 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
PublicationThis 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
PublicationW 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
PublicationThis 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
PublicationThis 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...
-
ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming
Conferences -
Simulation of Wave Propagation in Media Described by Fractional-Order Models
PublicationIn 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
PublicationIn 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...
-
The Chow Ring of flag manifolds
Open Research DataSchubert calculus is the intersection theory of 19th century. Justifying this calculus is the content of the 15th problem of Hilbert. In the course to establish the foundation of algebraic geometry, Van der Vaerden and A. Weil attributed the problem to the determination of the chow ring of flag manifolds G/P, where G is a compact Lie group and P is...
-
Application of muscle model to the musculoskeletal modeling
PublicationThe 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
PublicationNanoparticles 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...
-
Pomiary interkonektów typu RLC na pakietach elektronicznych z wykorzystaniem magistrali mieszanej sygnałowo IEEE 1149.4
PublicationPrzedstawiono 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...
-
Music Recommendation Based on Multidimensional Description and Similarity Measures . Rekomendacja muzyki na podstawie wielowymiarowego wektora cech i miar podobieństwa
PublicationThis 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,...
-
Critical Remarks on Landauer’s principle of erasure– dissipation: Including notes on Maxwell demons and Szilard engines
PublicationWe 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
PublicationThis 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...
-
ANFIS-Based NPC Population Control in Video Games
PublicationModern 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....
-
Fourier transform infrared spectroscopy (FTIR) of pre- PXBS (0 h) and PXBS during the crosslinking process (24 h–288 h)
Open Research DataThe goal of this research was developing biodegradable and biocompatibile xylitol-based copolymers with improved mechanical properties, and investigating the change in their thermal and chemical properties withprogress of the cross-linking process. Using a raw material of natural origin such as xylitol, a prepolymer wasobtained by esterification and...
-
Thermal behaviour of vanadium xerogel powder under oxidizing atmosphere
Open Research DataThe DataSet contains the results of the thermal behavior of the vanadium xerogel powder. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Thermal behaviour of vanadium xerogel powder under argon atmosphere
Open Research DataThe DataSet contains the results of the thermal behavior of the vanadium xerogel powder. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Długie pociągi
PublicationWskazano, ż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ą...
-
Maria Jastrzębska dr hab.
PeopleMaria Jastrzębska is an employee of the Department of Finance. She is the author of over 170 publications, including 8 monographs - Financial Management of Municipalities. Theoretical aspects; Budgetary policy of local government units; Debt management of local government units; Finances of local government units; Risk management in the activity of local government units with special consideration of catastrophic risk (co-author...
-
Parabolic Equations with Functional Dependence
PublicationWe 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.
PublicationThis 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
PublicationIn 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...
-
Local fixed point indices of iterations of planar maps
PublicationW artykule podana zostaje postać indeksów iteracji dla pewnej klasy odwzorowań planarnych. Podstawowymi narzędziami stosowanym w pracy są liczba Nielsena i indeks Conleya.
-
On the Existence of Homoclinic Type Solutions of a Class of Inhomogenous Second Order Hamiltonian Systems
PublicationWe 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...
-
Marek Zienkiewicz dr inż.
PeopleDoctor engineer Marek Hubert Zienkiewicz is a graduate of the Faculty of Geodesy, Spatial Engineering and Construction at the University of Warmia and Mazury in Olsztyn. During his engineering, master's and doctoral studies he developed his scientific interests under the supervision of representatives of the Olsztyn geodetic compensatory calculus school. In 2011, he obtained the title of Master of Science in Geodesy and Cartography,...
-
Theoretical and experimental study on scattering of low-energy electrons by dimethyl and diethyl ethers
PublicationWe 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...
-
Dagmara Lisman PhD
PeopleScientist, biologist, forensic geneticist. She completed her master's studies at the West Pomeranian University of Technology in Szczecin, at the Faculty of Biology, and obtained a doctoral degree in forensic genetics at the Pomeranian Medical University in Szczecin. Currently, he works as an assistant at the Department of Forensic Medicine of the same university. Her research, conducted at the Department of Forensic Genetics at...
-
Use of Sensory Analysis Methods to Evaluate the Odor of Food and Outside Air
PublicationSensory 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
PublicationDifferential 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...
-
Raman spectra and electrochemical data of carbon nanowall with tailored defects
Open Research DataThis dataset comprises of Raman spectra aquired with different excitation laser sources and the electrochemical data of defect-induced carbon nanowall electrodes (CNW).
-
Hybrid fuzzy-ontological project framework of a team work simulation system
PublicationThe 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
PublicationPrzedstawiono 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
PublicationFractional 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
PublicationW 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
PublicationRegarding 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
PublicationThe 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...
-
N-point estimators of the Instantaneous Complex Frequency
PublicationIn 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...
-
Numerical solution of threshold problems in epidemics and population dynamics
PublicationA 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
PublicationPhysical 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...
-
Dyskretno-ciągła metoda modelowania układów dynamicznych
PublicationW 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...