Search results for "Calculus"

Interpreting Connexive Principles in Coherence-Based Probability Logic

2021

We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form If \(\mathord {\thicksim }A\), then A, should not hold, since the conditional’s antecedent \(\mathord {\thicksim }A\) contradicts its consequent A. Our approach covers this intuition by observing that for an event A the only coherent probability assessment on the conditional event \(A|\bar{A}\) is \(p(A|\bar{A})=0\). Moreover, connexive logics aim to capture the intuition that conditionals should express some “connection” between the antecedent and the consequent or, in terms of inferences, valid…

Quasi conjunction and p-entailment in nonmonotonic reasoning

2010

We study, in the setting of coherence, the extension of a probability assessment defined on n conditional events to their quasi conjunction. We consider, in particular, two special cases of logical dependencies; moreover, we examine the relationship between the notion of p-entailment of Adams and the inclusion relation of Goodman and Nguyen. We also study the probabilistic semantics of the QAND rule of Dubois and Prade; then, we give a theoretical result on p-entailment.

Numerical approach for signal delay in general distributed networks

2003

The authors consider a general network with telegraph equations modelling distributed elements and having, additionally, nonlinear capacitors. A global asymptotic exponential stability of the solution is given. A simple computable upper bound of the delay time is given. Numerical examples illustrate the usefulness of the results. >

Monitoring wireless sensor networks through logical deductive processes

2006

This paper proposes a distributed multi-agent architecture for wireless sensor networks management, which exploits the dynamic reasoning capabilities of the Situation Calculus in order to emulate the reactive behavior of a human expert to fault situations. The information related to network events is generated by tunable agents installed on the network nodes and is collected by a logical entity for network managing where it is merged with general domain knowledge, with the aim of identifying the root causes of faults, and deciding on reparative actions. The logical inference system has being devised to carry out automated isolation, diagnosis, and, whenever possible, repair of network anoma…

Sequent Depth Ratio of a B-Jump

2011

A B-jump is defined as the jump having the toe section located on a positively sloping upstream channel and the roller end on a downstream horizontal channel. This jump often occurs in the stilling basins with a horizontal bottom and located downstream of a steep channel. For a B-jump, a completely theoretical approach is not sufficient to solve the momentum equation and to establish the sequent depth ratio. In this paper, by using the laboratory measurements carried out in this investigation, some available empirical relationships useful for estimating the sequent depth ratio are tested. Then, by using the Π theorem of the dimensional analysis and the incomplete self-similarity theory, a g…

Analytical Solutions of Viscoelastic Nonlocal Timoshenko Beams

2022

A consistent nonlocal viscoelastic beam model is proposed in this paper. Specifically, a Timoshenko bending problem, where size- and time-dependent effects cannot be neglected, is investigated. In order to inspect scale phenomena, a stress-driven nonlocal formulation is used, whereas to simulate time-dependent effects, fractional linear viscoelasticity is considered. These two approaches are adopted to develop a new Timoshenko bending model. Analytical solutions and application samples of the proposed formulation are presented. Moreover, in order to show influences of viscoelastic and size effects on mechanical response, parametric analyses are provided. The contributed results can be usefu…

2003

In this article we apply the S(M, g)–calculus of L. Hormander and, in particular, results concerning the spectral invariance of the algebra of operators of order zero in ℒ(L2(ℝn)) to study generators of Feller semigroups. The core of the article is the proof of the invertibility of λ Id + P for a strongly elliptic operator P in Ψ(M, g) and suitable weight functions M and metrics g. The proof depends highly on precise estimates of the remainder term in asymptotic expansions of the product symbol in Weyl and Kohn–Nirenberg quantization. Due to the Hille–Yosida–Ray theorem and a theorem of Courrege, the result concerning the invertibility of λ Id + P is applicable to obtain sufficient conditio…

First-Order Calculus on Metric Measure Spaces

2020

In this chapter we develop a first-order differential structure on general metric measure spaces. First of all, the key notion of cotangent module is obtained by combining the Sobolev calculus (discussed in Chap. 2) with the theory of normed modules (described in Chap. 3). The elements of the cotangent module L2(T∗X), which are defined and studied in Sect. 4.1, provide a convenient abstraction of the concept of ‘1-form on a Riemannian manifold’.

Spaces of weighted symbols and weighted sobolev spaces on manifolds

1987

This paper gives an approach to pseudodifferential operators on noncompact manifolds using a suitable class of weighted symbols and Sobolev spaces introduced by H.O. Cordes on ℙ. Here, these spaces are shown to be invariant under certain changes of coordinates. It is therefore possible to transfer them to manifolds with a compatible structure.

On the Hencl's notion of absolute continuity

2009

Abstract We prove that a slight modification of the notion of α-absolute continuity introduced in [D. Bongiorno, Absolutely continuous functions in R n , J. Math. Anal. Appl. 303 (2005) 119–134] is equivalent to the notion of n, λ-absolute continuity given by S. Hencl in [S. Hencl, On the notions of absolute continuity for functions of several variables, Fund. Math. 173 (2002) 175–189].