Filtry
wszystkich: 1061
wybranych: 864
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
Reliability Analysis of Data Storage Using Survival Signature and Logic Differential Calculus
PublikacjaThe Data storage system is an important part of any information system. All the necessary data that must be available for the successful operation of the information system are stored here. Therefore, it is advisable to think about the reliability of such a data storage system. As part of reliability engineering, it is possible to perform a reliability analysis of any system. Therefore, the data storage system can be analyzed as...
-
Variable Order Differential Models of Bone Remodelling * *This work was supported by FCT, through IDMEC, under LAETA, projects UID/EMS/50022/2013, BoneSys, joint Polish-Portuguese project Modelling and controlling cancer evolution using fractional calculus, PERSEIDS (PTDC/EMS-SIS/0642/2014) and IF/00653/2012
Publikacja -
On the Fenchel–Moreau conjugate of G-function and the second derivative of the modular in anisotropic Orlicz spaces
PublikacjaIn this paper, we investigate the properties of the Fenchel–Moreau conjugate of G-function with respect to the coupling function c(x, A) = |A[x]2 |. We provide conditions that guarantee that the conjugate is also a G-function. We also show that if a G-function G is twice differentiable and its second derivative belongs to the Orlicz space generated by the Fenchel–Moreau conjugate of G then the modular generated by G is twice differentiable...
-
The Palais–Smale condition for the Hamiltonian action on a mixed regularity space of loops in cotangent bundles and applications
PublikacjaWe show that the Hamiltonian action satisfies the Palais-Smale condition over a “mixed regular- ity” space of loops in cotangent bundles, namely the space of loops with regularity H^s, s ∈ (1/2, 1), in the baseand H^{1−s} in the fiber direction. As an application, we give a simplified proof of a theorem of Hofer-Viterbo on the existence of closed characteristic leaves for certain contact type hypersufaces in cotangent bundles.
-
Homoclinics for singular strong force Lagrangian systems in R^N
PublikacjaWe will be concerned with the existence of homoclinics for second order Hamiltonian systems in R^N (N>2) given by Hamiltonians of the form H(t,q,p)=Φ(p)+V(t,q), where Φ is a G-function in the sense of Trudinger, V is C^2-smooth, periodic in the time variable, has a single well of infinite depth at a point ξ and a unique strict global maximum 0 at the origin. Under a strong force type condition aroud the singular point ξ, we prove...
-
Application of non-classical operational calculus to indicate hazards in numerical solutions of engineering problems
PublikacjaThe article addresses the application of non- classical operational calculus to approximative solutions of engineering problems. The engineering-sound examples show that a continuous–discrete problem transformation from differential unequivocal problem to a differential wildcard problem, triggering a change in solution quality. A number of approximative methods are capable to alter both quantitative and qualitative...
-
Numerical Investigation of Nuclear Reactor Kinetic and Heat Transfer Fractional Model with Temperature Feedback
PublikacjaAbstract—In the paper, the numerical results concerning the kinetics and proposed heat exchange models in nuclear reactor based on fractional calculus are presented for typical inputs. Two fractional models are proposed and compared with the model based on ordinary derivative. The first fractional model is based on one of the generalized Cattaneo equations. The second one is based on replacing the ordinary to fractional order of...
-
Applications of Tensor Analysis in Continuum Mechanics
PublikacjaA tensor field is a tensor-valued function of position in space. The use of tensor fields allows us to present physical laws in a clear, compact form. A byproduct is a set of simple and clear rules for the representation of vector differential operators such as gradient, divergence, and Laplacian in curvilinear coordinate systems. The tensorial nature of a quantity permits us to formulate transformation rules for its components...
-
Physics-guided neural networks (PGNNs) to solve differential equations for spatial analysis
PublikacjaNumerous examples of physically unjustified neural networks, despite satisfactory performance, generate contradictions with logic and lead to many inaccuracies in the final applications. One of the methods to justify the typical black-box model already at the training stage and lead to many inaccuracies in the final applications. One of the methods to justify the typical black-box model already at the training stage involves extending...
-
Unifying Aspects of Generalized Calculus
PublikacjaNon-Newtonian calculus naturally unifies various ideas that have occurred over the years in the field of generalized thermostatistics, or in the borderland between classical and quantum information theory. The formalism, being very general, is as simple as the calculus we know from undergraduate courses of mathematics. Its theoretical potential is huge, and yet it remains unknown or unappreciated.
-
Topological invariants for equivariant flows: Conley index and degree
PublikacjaAbout forty years have passed since Charles Conley defined the homotopy index. Thereby, he generalized the ideas that go back to the calculus of variations work of Marston Morse. Within this long time the Conley index has proved to be a valuable tool in nonlinear analysis and dynamical systems. A significant development of applied methods has been observed. Later, the index theory has evolved to cover such areas as discrete dynamical...
-
Simple Fractal Calculus from Fractal Arithmetic
PublikacjaNon-Newtonian calculus that starts with elementary non-Diophantine arithmetic operations of a Burgin type is applicable to all fractals whose cardinality is continuum. The resulting definitions of derivatives and integrals are simpler from what one finds in the more traditional literature of the subject, and they often work in the cases where the standard methods fail. As an illustration, we perform a Fourier transform of a real-valued...
-
Bell-Type Inequalities from the Perspective of Non-Newtonian Calculus
PublikacjaA class of quantum probabilities is reformulated in terms of non-Newtonian calculus and projective arithmetic. The model generalizes spin-1/2 singlet state probabilities discussed in Czachor (Acta Physica Polonica:139 70–83, 2021) to arbitrary spins s. For s → ∞ the formalism reduces to ordinary arithmetic and calculus. Accordingly, the limit “non-Newtonian to Newtonian” becomes analogous to the classical limit of a quantum theory
-
Analysis of Learning Outcomes in Medical Education with the Use of Fuzzy Logic
PublikacjaThe national curricula of the EU member states are structured around learning outcomes, selected according to Bloom’s Taxonomy. The authors of this paper claim that using Bloom’s Taxonomy to phrase learning outcomes in medical education in terms of students’ achievements is difficult and unclear. This paper presents an efficient method of assessing course learning outcomes using Fuzzy Logic.
-
Systems of Nonlinear Fractional Differential Equations
PublikacjaUsing the iterative method, this paper investigates the existence of a unique solution to systems of nonlinear fractional differential equations, which involve the right-handed Riemann-Liouville fractional derivatives D(T)(q)x and D(T)(q)y. Systems of linear fractional differential equations are also discussed. Two examples are added to illustrate the results.
-
The Implementation of Fuzzy Logic in Forecasting Financial Ratios
PublikacjaThis paper is devoted to the issue of forecasting financial ratios. The objective of the conducted research is to develop a predictive model with the use of an innovative methodology, i.e., fuzzy logic theory, and to evaluate its effectiveness. Fuzzy logic has been widely used in machinery, robotics and industrial engineering. This paper introduces the use of fuzzy logic for the financial analysis of enterprises. While many current...
-
Different types of solvability conditions for differential operators
PublikacjaSolvability conditions for linear differential equations are usually formulated in terms of orthogonality of the right-hand side to solutions of the homogeneous adjoint equation. However, if the corresponding operator does not satisfy the Fredholm property such solvability conditions may be not applicable. For this case, we obtain another type of solvability conditions, for ordinary differential equations on the real axis, and...
-
Description Logic As A Common Software Engineering Artifacts Language
PublikacjaDescription logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring...
-
On the Peano Theorem for Some Functional Differential Equations on Time Scale
PublikacjaThe Peano Theorem for some functional differential equations on time scale is proved. Assumptions are of Caratheodory type. Two counter examples for false Peano theorems in the literature are presented.
-
Some applications of fractional order calculus
Publikacja -
A fuzzy logic model for forecasting exchange rates
PublikacjaThis article is devoted to the issue of forecasting exchange rates. The objective of the conducted research is to develop a predictive model with the use of an innovative methodology - fuzzy logic theory - and to evaluate its effectiveness in times of prosperity and during the financial crisis. The model is based on sets of rules written by the author in the form of IF-THEN, where expert knowledge is stored. This model is the result...
-
Fuzzy logic in controlling flexible manufacturing cell
PublikacjaIn the present work a controlling method based on fuzzy rule base is proposed. Practical approaches are developed and focused on real time problems related to flexible manufacturing cell. Techniques for design and implementation of fuzzy systems in the framework of control production and quality states are presented. Keywords: controlling, manufacturing system, fuzzy logic, turning, burnishingW artykule przedstawiono propozycję...
-
Restrained differential of a graph
PublikacjaGiven a graph $G=(V(G), E(G))$ and a vertex $v\in V(G)$, the {open neighbourhood} of $v$ is defined to be $N(v)=\{u\in V(G) :\, uv\in E(G)\}$. The {external neighbourhood} of a set $S\subseteq V(G)$ is defined as $S_e=\left(\cup_{v\in S}N(v)\right)\setminus S$, while the \emph{restrained external neighbourhood} of $S$ is defined as $S_r=\{v\in S_e : N(v)\cap S_e\neq \varnothing\}$. The restrained differential of a graph $G$ is...
-
Description logic based generator of data-centric applications
PublikacjaThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Description logic based generator of data-centric applications
PublikacjaThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Method of Decision-Making Logic Discovery in the Business Process Textual Data
PublikacjaGrowing amount of complexity and enterprise data creates a need for novel business process (BP) analysis methods to assess the process optimization opportunities. This paper proposes a method of BP analysis while extracting the knowledge about Decision-Making Logic (DML) in a form of taxonomy. In this taxonomy, researchers consider the routine, semi-cognitive and cognitive DML levels as functions of BP conceptual aspects of Resources,...
-
The evidential value of dental calculus in the identification process
Publikacja -
Application of fuzzy logic to determine the odour intensity of model gas mixtures using electronic nose
PublikacjaThe paper presents the possibility of application of fuzzy logic to determine the odour intensity of model, ternary gas mixtures (α-pinene, toluene and triethylamine) using electronic nose prototype. The results obtained using fuzzy logic algorithms were compared with the values obtained using multiple linear regression (MLR) model and sensory analysis. As the results of the studies, it was found the electronic nose prototype along...
-
Processing and querying description logic ontologies using cartographic approach
PublikacjaLogika opisowa (ang. description logic) jest formalizem reprezentacji wiedzy, który w ostatnich latach uzyskał dużą popularność pomiędzy inżynierami wiedzy. Po krótkim wprowadzeniu do formalizmu logiki opisowej artykuł prezentuje system wnioskowania opracowany na Politechnice Gdańskiej w ramach projektu PIPS 6 Programu Ramowego UE. System wnioskujący jest oparty na nowatorskiej metodzie kartograficznej, której podstawy również...
-
Survey on fuzzy logic methods in control systems of electromechanical plants
PublikacjaРассмотрены алгоритмы управления электромеханическими системами с использованием теории нечеткой логики, приводятся основные положения их синтеза, рассматриваются методы анализа их устойчивости на основе нечетких функций Ляпунова. Эти алгоритмы чаще всего реализуются в виде различных регуляторов, применение которых целесообразно в системах, математическая модель которых не известна, не детерминирована или является строго нелинейной,...
-
A New, Reconfigurable Circuit Offering Functionality of AND and OR Logic Gates for Use in Algorithms Implemented in Hardware
PublikacjaThe paper presents a programmable (using a 1-bit signal) digital gate that can operate in one of two OR or AND modes. A circuit of this type can also be implemented using conventional logic gates. However, in the case of the proposed circuit, compared to conventional solutions, the advantage is a much smaller number of transistors necessary for its implementation. Circuit is also much faster than its conventional counterpart. The...
-
Boundary problems for fractional differential equations
PublikacjaIn this paper, the existence of solutions of fractional differential equations with nonlinear boundary conditions is investigated. The monotone iterative method combined with lower and upper solutions is applied. Fractional differential inequalities are also discussed. Two examples are added to illustrate the results.
-
Analysis of odour interactions in model gas mixtures using electronic nose and fuzzy logic
PublikacjaMeasurement and monitoring of air quality in terms of odour nuisance is an important problem. Although the source of these nuisances is different (e.g. wastewater treatment plants, municipal landfills), their common feature is that they are a complex mixture of odorants with different odour thresholds. An additional problem is occurrence of the odour interactions between mixture components. From a practical point of view, it would...
-
Combining MUSHRA Test and Fuzzy Logic in the Evaluation of Benefits of Using Hearing Prostheses
PublikacjaAssessing the effectiveness of hearing aid fittings based on the benefits they provide is crucial but intricate. While objective metrics of hearing aids like gain, frequency response, and distortion are measurable, they do not directly indicate user benefits. Hearing aid performance assessment encompasses various aspects, such as compensating for hearing loss and user satisfaction. The authors suggest enhancing the widely used...
-
Computer animation system based on rough sets and fuzzy logic
PublikacjaA fuzzy logic inference system was created, based on the analysis of animated motion features. The objective of the system is to facilitate the creation of high quality animation by analyzing personalized styles contained in numerous animations. Sequences portraying a virtual character acting with a differentiating personalized style (natural or exaggerated) and various levels of fluidity were prepared and subjectively evaluated....
-
Role patterns in IT projects teams - design of a selection module using fuzzy logic techniques
PublikacjaPresented paper introduces an approach based on usage of role patterns and modelling by the use of fuzzy logic tool for selection process with limitation to the area of IT projects environment. The article shows a concept of role patterns structures and their further usage in process of forming a fuzzy model dedicated to candidate assessment process support
-
Fuzzy logic in financial management
PublikacjaW rozdziale tym przedstawiono rozważania na temat możliwości prognozowania sytuacji finansowej gospodarstw domowych przy zastosowaniu logiki rozmytej. Autor zaproponował model składający się ze zmiennych wejściowych opartych na informacjach demograficznych i finansowych konsumentów - na przykład: wiek, wykształcenie, liczba dzieci, wynagrodzenie, stopień zabezpieczenia finansowego.
-
Fuzzy logic and production planning.
PublikacjaReferat prezentuje efektywność logiki rozmytej w projektowaniu procesów produkcyjnych. Przedstawiono algorytm i przesłanki zastosowania logiki rozmytej opartej o informacje eksperckie.
-
Voltage and Reactive Power Load Flow Optimization in the Power System Using Fuzzy Logic
PublikacjaThe paper presents issues related to voltage control in the power system. An original method of reactive power flow optimization is considered, which leads to improved voltages in the power system and reduced active power losses. The optimization method is based on a procedure that employs fuzzy logic and is supported by a gradient search algorithm. The method has been implemented in PLANS software and verified.
-
DESIGN LOGICAL LINGUISTIC MODELS TO CALCULATE NECESSITY IN TRUCKS DURING AGRICULTURAL CARGOES LOGISTICS USING FUZZY LOGIC
Publikacja: The study is aimed to develop the logic-linguistic models to design a number of rules for the correct calculation of the vehicles needed, taking into account the technical, technological, and weather and climate conditions of the harvesting and transport complex. The article has shown that the construction of the design of logic-linguistic models was not performed earlier to solve the problem of the agro-industrial production...
-
Implementing fuzzy logic to generate user profile in decisional DNA television: the concept and initial case study
PublikacjaIn the paper the concept and case study of a novel approach that generates a television user's profile utilizing principles of fuzzy logic is presented.
-
Underfrequency Load Shedding: An Innovative Algorithm Based on Fuzzy Logic
PublikacjaIn contemporary power systems, the load shedding schemes are typically based on disconnecting a pre-specified amount of load after the frequency drops below a predetermined value. The actual conditions at the time of disturbance may largely dier from the assumptions, which can lead to non-optimal or ineective operation of the load shedding scheme. For many years, increasing the eectiveness of the underfrequency load shedding (UFLS)...
-
Modelling heat transfer in heterogeneous media using fractional calculus
Publikacja -
Modeling Heat Transfer in Heterogeneous Media Using Fractional Calculus
Publikacja -
Fractional differential equations with causal operators
PublikacjaWe study fractional differential equations with causal operators. The existence of solutions is obtained by applying the successive approximate method. Some applications are discussed including also the case when causal operator Q is a linear operator. Examples illustrate some results.
-
A Criterion for Conditional Instability by the First Approximation for Solutions of Differential Systems
Publikacja -
On neutral differential equations and the monotone iterative method
PublikacjaThe application of the monotone iterative method to neutral differential equations with deviating arguments is considered in this paper. We formulate existence results giving sufficient conditions which guarantee that such problems have solutions. This approach is new and to the Authors' knowledge, this is the first paper when the monotone iterative method is applied to neutral first-order differential equations with deviating...
-
Comparison of tuning procedures based on evolutionary algorithm for multi-region fuzzy-logic PID controller for non-linear plant
PublikacjaThe paper presents a comparison of tuning procedures for a multi-region fuzzy-logic controller used for nonlinear process control. This controller is composed of local PID controllers and fuzzy-logic mechanism that aggregates local control signals. Three off-line tuning procedures are presented. The first one focuses on separate tuning of local PID controllers gains in the case when the parameters of membership functions of fuzzy-logic...
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublikacjaInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublikacjaThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...