Search results for "Mathematica"

Towards Axiomatic Basis of Inductive Inference

2001

The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…

Southern-Tyrrhenian seismicity in space-time-magnitude domain

2006

An analysis is conducted on a catalogue containing more than 2000 seismic events
 occurred in the southern Tyrrhenian Sea between 1988 and October 2002, as an attempt
 to characterise the main seismogenetic processes active in the area in space, time and magnitude domain by means of the parameters of phenomenological laws.
 
 We chose to adopt simple phenomenological models, since the low number of data did
 not allow to use more complex laws.
 
 The two main seismogenetic volumes present in the area were considered for the purpose
 of this work. The first includes a nearly homogeneous distribution of hypocentres in a
 NW steeply dipping layer as far as a…

Space‐time dynamical models

2008

Purpose – The purpose is to present a new formal approach based on a partial integro‐differential equation, the space‐time state transition equation (STSTE), and on a set of general equations with which space‐time dynamical models of complex systems, such as social systems and ecosystems, can be built.Design/methodology/approach – The STSTE provides the partial derivative of the density of a state‐variable with regard to time as a sum of time rates and space‐time rates. Time rates describe the dynamics of the system for each space‐point irrespectively of the other points, whilst space‐time rates describe this evolution as a consequence of the relation of each space‐point with a given set of…

Space‐Time Isogeometric Analysis of Parabolic Diffusion Problems in Moving Spatial Domains

2019

Visualization of Parameter Sensitivity of 2D Time-Dependent Flow

2018

In this paper, we present an approach to analyze 1D parameter spaces of time-dependent flow simulation ensembles. By extending the concept of the finite-time Lyapunov exponent to the ensemble domain, i.e., to the parameter that gives rise to the ensemble, we obtain a tool for quantitative analysis of parameter sensitivity both in space and time. We exemplify our approach using 2D synthetic examples and computational fluid dynamics ensembles.

A method to transform a nonlocal model into a gradient one within elasticity and plasticity

2014

Abstract A method based on the principle of the virtual power (PVP) is presented, by which a mechanical problem of nonlocal elasticity, or plasticity, is transformed into one of gradient nature. Different Taylor series expansion techniques are applied to the driving local strain fields of the nonlocal problem, either full spatial expansion within the bulk volume, or uni-directional expansion along the normal to the thin boundary layer. This, at the limit when the boundary layer thickness tends to zero, makes the PVP of the nonlocal model transform itself into one featuring a counterpart gradient model. Also, for a class of “associated” nonlocal and gradient elasticity models (i.e. the kerne…

Phenomenological-Semantic Investigations into Incompleteness

2000

When today the phenomenologist surveys the history of the philosophical comprehension of Godel’s theorems, he is confronted with the realization that the decisive publications come almost exclusively from the sphere of analytic philosophy.1 But does phenomenology in the spirit of Husserl not mean to keep in step with the epochal results of the special sciences by working on the phenomenological understanding of them? Phenomenological research of this kind means the same as development of phenomenological theory of science (Wissenschaftstheorie). In connection with the incompleteness theorems, the latter would be confronted with fundamental questions such as, “To what extent can mathematical…

On the convergent parts of high order spectral moments of stationary structural responses

1986

The paper deals with the evaluation of the convergent parts of the high spectral moments of linear systems subjected to stationary random input. An adequate physical meaning of these quantities in both the time and frequency domains is presented. Recurrence formulas to obtain the high convergent cross spectral moments of any order are given in the case of white noise input.

Spectral moments of the edge adjacency matrix in molecular graphs. 3. Molecules containing cycles

1998

A substructural approach to quantitative structure−property relationships based on the spectral moments of the edge adjacency matrix is extended to molecules containing cycles. Spectral moments are expressed as linear combinations of structural fragments of any kind of nonweighted graphs. The boiling points of a series of 80 cycloalkanes was well-described by the present approach. The predictive power of the model was proved by using a test set of another 26 compounds. An equation that expresses the contribution of the different fragments of the molecules to the boiling point was obtained.

Non-stationary pre-envelope covariances of non-classically damped systems

1991

Abstract A new formulation is given to evaluate the stationary and non-stationary response of linear non-classically damped systems subjected to multi-correlated non-separable Gaussian input processes. This formulation is based on a new and more suitable definition of the impulse response function matrix for such systems. It is shown that, when using this definition, the stochastic response of non-classically damped systems involves the evaluation of quantities similar to those of classically damped ones. Furthermore, considerations about non-stationary cross-covariances, spectral moments and pre-envelope cross-covariances are presented for a monocorrelated input process.