Search results for "predicate logic"

Scatter search for an uncapacitated p-hub median problem

2015

Scatter search is a population-based method that has been shown to yield high-quality outcomes for combinatorial optimization problems. It uses strategies for combining solution vectors that have proved effective in a variety of problem settings. In this paper, we present a scatter search implementation for an NP -hard variant of the classic p-hub median problem. Specifically, we tackle the uncapacitated r-allocation p-hub median problem, which consists of minimizing the cost of transporting the traffics between nodes of a network through special facilities that act as transshipment points. This problem has a significant number of applications in practice, such as the design of transportati…

Introduction to Mathematical Logic (Edition 2017)

2017

Hyper-textbook for students in mathematical logic, Edition 2017

A note on some fundamental results in complete gauge spaces and application

2015

We discuss the extension of some fundamental results in nonlinear analysis to the setting of gauge spaces. In particular, we establish Ekeland type and Caristi type results under suitable hypotheses for mappings and cyclic mappings. Our theorems generalize and complement some analogous results in the literature, also in the sense of ordered sets and oriented graphs. We apply our results to establishing the existence of solution to a second order nonlinear initial value problem.

Ein rechnerunterstütztes elektromechanisches Meßsystem zur Untersuchung der Flexions- und Extensionskraft im oberen Sprunggelenk

2008

Introduction to Mathematical Logic, Edition 2021

2021

Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).

Non-Stationary Probabilistic Response of Linear Systems Under Non-Gaussian Input

1991

The probabilistic characterization of the response of linear systems subjected to non-normal input requires the evaluation of higher order moments than two. In order to obtain the equations governing these moments, in this paper the extension of the Ito’s differential rule for linear systems excited by non-normal delta correlated processes is presented. As an application the case of the delta correlated compound Poisson input process is treated.

Stochastic Response on Non-Linear Systems under Parametric Non-Gaussian Agencies

1992

The probabilistic response characterization of non-linear systems subjected to non-normal delta correlated parametric excitation is obtained. In order to do this an extension of both Ito’s differential rule and the Fokker-Planck equation is presented, enabling one to account for the effect of the non-normal input. The validity of the approach reported here is confirmed by results obtained by means of a Monte Carlo simulation.

Liftings and extensions of operators in Brownian setting

2020

We investigate the operators T on a Hilbert space H which have 2-isometric liftings S with the property S ∗ S H ⊂ H . We show that such liftings are closely related to some extensions of T, which h...

Exact extension of the DIRECT algorithm to multiple objectives

2019

The direct algorithm has been recognized as an efficient global optimization method which has few requirements of regularity and has proven to be globally convergent in general cases. direct has been an inspiration or has been used as a component for many multiobjective optimization algorithms. We propose an exact and as genuine as possible extension of the direct method for multiple objectives, providing a proof of global convergence (i.e., a guarantee that in an infinite time the algorithm becomes everywhere dense). We test the efficiency of the algorithm on a nonlinear and nonconvex vector function. peerReviewed

Gear classification and fault detection using a diffusion map framework

2015

This article proposes a system health monitoring approach that detects abnormal behavior of machines. Diffusion map is used to reduce the dimensionality of training data, which facilitates the classification of newly arriving measurements. The new measurements are handled with Nyström extension. The method is trained and tested with real gear monitoring data from several windmill parks. A machine health index is proposed, showing that data recordings can be classified as working or failing using dimensionality reduction and warning levels in the low dimensional space. The proposed approach can be used with any system that produces high-dimensional measurement data. peerReviewed