Engineering Commons^™

Examples Where The Conjunctive And Dempster’S Rules Are Insensitive, Florentin Smarandache, Jean Dezert, Valeri Kroumov

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we present several counter-examples to the Conjunctive rule and to Dempster rule of combinations in information fusion.

Characterization Of The Drilling Via The Vibration Augmenter Of Rotary-Drills And Sound Signal Processing Of Impacted Pipe As A Potential Water Height Assessment Tool, Nicholas Morris

STAR Program Research Presentations

The focus of the internship has been on two topics: a) Characterize the drilling performance of a novel percussive augmenter – this drill was developed by the JPL’s Advanced Technologies Group and its performance was characterized; and b) Examine the feasibility of striking a pipe as a means of assessing the water height inside the pipe. The purpose of this investigation is to examine the possibility of using a simple method of applying impacts to a pipe wall and determining the water height from the sonic characteristic differences including damping, resonance frequencies, etc. Due to multiple variables that are relevant …

Decoupling The Stationary Navier-Stokes-Darcy System With The Beavers-Joseph-Saffman Interface Condition, Yong Cao, Yuchuan Chu, Xiaoming He, Mingzhen Wei

Mathematics and Statistics Faculty Research & Creative Works

This paper proposes a domain decomposition method for the coupled stationary Navier-Stokes and Darcy equations with the Beavers-Joseph-Saffman interface condition in order to improve the efficiency of the finite element method. The physical interface conditions are directly utilized to construct the boundary conditions on the interface and then decouple the Navier-Stokes and Darcy equations. Newton iteration will be used to deal with the nonlinear systems. Numerical results are presented to illustrate the features of the proposed method.

Imprecise Probabilities In Engineering Analyses, Michael Beer, Scott Ferson, Vladik Kreinovich

Departmental Technical Reports (CS)

Probabilistic uncertainty and imprecision in structural parameters and in environmental conditions and loads are challenging phenomena in engineering analyses. They require appropriate mathematical modeling and quantification to obtain realistic results when predicting the behavior and reliability of engineering structures and systems. But the modeling and quantification is complicated by the characteristics of the available information, which involves, for example, sparse data, poor measurements and subjective information. This raises the question whether the available information is sufficient for probabilistic modeling or rather suggests a set-theoretical approach. The framework of imprecise probabilities provides a mathematical basis to deal with these problems which …

Relation Lifting, With An Application To The Many-Valued Cover Modality, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jirí Velebil

Engineering Faculty Articles and Research

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the “powerset monad” on categories, one is the preservation by T of “exactness” of certain squares. Both characterisations are generalisations of the “classical” results known for set functors: the first characterisation generalises the existence of a distributive law over the genuine powerset monad, the second generalises preservation of weak pullbacks.

The results presented in this paper …

Mathematical Self-Efficacy: Addressing The Declining Interest In Engineering Careers, Eileen Goold

Conference Papers

This paper presents the findings of a study investigating whether there is a relationship between students’ experiences with school mathematics and their choice of engineering as a career. The study was inspired by the observation that there is a lacuna in the scholarly literature concerning the nature of mathematics’ role, if any, as a significant cause of the declining number of students entering professional engineering courses. The population of interest in this study comprises professional engineers practising in Ireland. Engineers’ experiences of school mathematics, factors that contributed to their engagement with school mathematics and the impact of their feelings about …

Indeterminate Masses, Elements And Models In Information Fusion, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper at the beginning, we make a short history of the logics, from the classical Boolean logic to the most general logic of today neutrosophic logic. We define the general logic space and give the definition of the neutrosophic logic. Then we introduce the indeterminate models in information fusion, which are due either to the existence of some indeterminate elements in the fusion space or to some indeterminate masses.

The best approach for dealing with such models is the neutrosophic logic, which is part of neutrosophy. Neutrosophic logic is connected with neutrosophic set and neutrosophic probability and statistics.

Dynamic Sequent Calculus For The Logic Of Epistemic Actions And Knowledge, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

"Dynamic Logics (DLs) form a large family of nonclassical logics, and perhaps the one enjoying the widest range of applications. Indeed, they are designed to formalize change caused by actions of diverse nature: updates on the memory state of a computer, displacements of moving robots in an environment, measurements in models of quantum physics, belief revisions, knowledge updates, etc. In each of these areas, DL-formulas express properties of the model encoding the present state of affairs, as well as the pre- and post-conditions of a given action. Actions are semantically represented as transformations of one model into another, encoding the …

Nominal Regular Expressions For Languages Over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques – as those popular in process calculi – we extend classical regular expressions with names (to model computational resources) and suitable operators (for allocation, deallocation, scoping of, and freshness conditions on resources). We discuss classes of such nominal regular expressions, show how such expressions have natural interpretations in terms of languages over infinite alphabets, and give Kleene theorems to characterise their formal languages in terms of nominal automata.

Nominal Coalgebraic Data Types With Applications To Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, Fer-Jan De Vries

Engineering Faculty Articles and Research

We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.

Nominal Computation Theory (Dagstuhl Seminar 13422), Mikołaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 13422 “Nominal Computation Theory”. The underlying theme of the seminar was nominal sets (also known as sets with atoms or Fraenkel-Mostowski sets) and they role and applications in three distinct research areas: automata over infinite alphabets, program semantics using nominal sets and nominal calculi of concurrent processes.

Epistemic Updates On Algebras, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss-Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. This dual characterization naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application of this dual characterization, we …

Proceedings Of The First International Conference On Smarandache Multispace & Multistructures, Florentin Smarandache, Linfan Mao

Branch Mathematics and Statistics Faculty and Staff Publications

In recent decades, Smarandache’s notions of multispace and multistructure were widely spread and have shown much importance in sciences around the world. Organizedby Prof.Linfan Mao, a professional conference on multispaces and multistructures, named the First International Conference on Smarandache Multispace and Multistructure was held in Beijing University of Civil Engineering and Architecture of P. R. China on June 28-30, 2013, which was announced by American Mathematical Society in advance.

Neutrosophic Emergencies And Incidences, Florentin Smarandache, Stefan Vladutescu

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.