Logic and Foundations Commons^™

Lagrange's Theory Of Analytical Functions And His Ideal Of Purity Of Method, Giovanni Ferraro, Marco Panza

MPP Published Research

We reconstruct essential features of Lagrange’s theory of analytical functions by exhibiting its structure and basic assumptions, as well as its main shortcomings. We explain Lagrange’s notions of function and algebraic quantity, and we concentrate on power-series expansions, on the algorithm for derivative functions, and the remainder theorem—especially on the role this theorem has in solving geometric and mechanical problems. We thus aim to provide a better understanding of Enlightenment mathematics and to show that the foundations of mathematics did not, for Lagrange, concern the solidity of its ultimate bases, but rather purity of method—the generality and internal organization of …

A New Algorithm For Solving Shortest Path Problem On A Network With Imprecise Edge Weight, Amit Kumar, Manjot Kumar

Applications and Applied Mathematics: An International Journal (AAM)

Nayeem and Pal (Shortest path problem on a network with imprecise edge weight, Fuzzy Optimization and Decision Making 4, 293-312, 2005) proposed a new algorithm for solving shortest path problem on a network with imprecise edge weight. In this paper the shortcomings of the existing algorithm, (Nayeem and Pal, 2005) are pointed out and to overcome these shortcomings a new algorithm is proposed. To show the advantages of the proposed algorithm over existing algorithm the numerical examples presented in (Nayeem and Pal, 2005) are solved using the proposed algorithm and obtained results are discussed.

Reliability Analysis Of A Series And Parallel Network Using Triangular Intuitionistic Fuzzy Sets, D. Pandey, S. K. Tyagi, Vinesh Kumar

Applications and Applied Mathematics: An International Journal (AAM)

This paper describes a novel approach, based on intuitionistic fuzzy set theory for reliability analysis of series and parallel network. The triangular intuitionistic fuzzy sets are used to represent the failure possibility of each basic (terminal) event to get more comprehensive results for the failure possibility of the top event. The proposed technique is demonstrated on a web server LOG data used to illustrate HTTP (Hyper Text Transfer Protocol) failure

Exact Optimal Solution Of Fuzzy Critical Path Problems, Amit Kumar, Parmpreet Kumar

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a fuzzy critical path problem is chosen to show that the results, obtained by using the existing method [Liu, S.T.: Fuzzy activity times in critical path and project crashing problems. Cybernetics and Systems 34 (2), 161-172 (2003)], could be improved to reflect, more appropriate real life situations. To obtain more accurate results of fuzzy critical path problems, a new method that modifies the existing one is proposed here. To demonstrate the advantages of the proposed method it is used to solve a specific fuzzy critical path problem.

Relocatable Field Programmable Gate Array Bitstreams For Fault Tolerance, David P. Montminy, Rusty O. Baldwin, Paul D. Williams

AFIT Patents

A Field Programmable Gate Array (FPGA) circuit capable of operating through at least one fault. The FPGA circuit includes a configuration memory and an embedded microprocessor. The embedded microprocessor having access to the configuration memory, static modules, at least one relocatable module, and at least one spare module. The relocatable module being relocatable from a first target area to a second target area. The relocatable module being relocatable by manipulating a partial bitstream with the embedded microprocessor. The microprocessor calculating a plurality of bitstream changes, to relocate the at least one relocatable module using at least triple modular redundancy (TMR).

Modal Logic And Its Applications, Explained Using Puzzles And Examples, Marek Perkowski

Systems Science Friday Noon Seminar Series

The talk introduces Modal Logic as an extension of classical propositional and First Order Logics. We discuss motivations of Lewis to create modal logic system, axioms and rules of proof. Several examples illustrate deriving theorems from axioms. "Muddy Children" puzzle is used to explain the principles of dealing with uncertainty problems where a temporal lack of response is used as additional information. Other examples include "Narrow Bridge" problem/game which relates to the problem of necessary evil in the world, robot planning and law and robot morality problems, especially related to military robots and use of force by police. Kripke semantics …

Statistical Properties Of A Convoluted Beta-Weibull Distribution, Jianan Sun

Theses, Dissertations and Capstones

A new class of distributions recently developed involves the logit of the beta distribution. Among this class of distributions are the beta-normal (Eugene et.al. (2002)); beta-Gumbel (Nadarajah and Kotz (2004)); beta-exponential (Nadarajah and Kotz (2006)); beta-Weibull (Famoye et al. (2005)); beta-Rayleigh (Akinsete and Lowe (2008)); beta-Laplace (Kozubowski and Nadarajah (2008)); and beta-Pareto (Akinsete et al. (2008)), among a few others. Many useful statistical properties arising from these distributions and their applications to real life data have been discussed in the literature. One approach by which a new statistical distribution is generated is by the transformation of random variables having known …

The Mathematical Landscape, Antonio Collazo

CMC Senior Theses

The intent of this paper is to present the reader will enough information to spark a curiosity in to the subject.  By no means is the following a complete formulation of any of the topics covered.  I want to give the reader a tour of the mathematical landscape.  There are plenty of further details to explore in each section, I have just touched the tip the iceberg.  The work is basically in four sections: Numbers, Geometry, Functions, Sets and Logic, which are the basic building blocks of Math.  The first sections are a exposition into the mathematical objects and their …

Neutrosophic Interval Bialgebraic Structures, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors for the first time introduce the notion of neutrosophic intervals and study the algebraic structures using them. Concepts like groups and fields using neutrosophic intervals are not possible. Pure neutrosophic intervals and mixed neutrosophic intervals are introduced and by the very structure of the interval one can understand the category to which it belongs. We in this book introduce the notion of pure (mixed) neutrosophic interval bisemigroups or neutrosophic biinterval semigroups. We derive results pertaining to them. The new notion of quasi bisubsemigroups and ideals are introduced. Smarandache interval neutrosophic bisemigroups are also introduced and …

Finite Neutrosophic Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book for the first time the authors introduce the notion of real neutrosophic complex numbers. Further the new notion of finite complex modulo integers is defined. For every C(Zn) the complex modulo integer iF is such that 2 Fi = n – 1. Several algebraic structures on C(Zn) are introduced and studied. Further the notion of complex neutrosophic modulo integers is introduced. Vector spaces and linear algebras are constructed using these neutrosophic complex modulo integers. This book is organized into 5 chapters. The first chapter introduces real neutrosophic complex numbers. Chapter two introduces the notion of finite complex …

Algebraic Structures Using Super Interval Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The advantage of using super interval matrices is that one can build only one vector space using m × n interval matrices, but in case of super interval matrices we can have several such spaces depending on the partition on the interval matrix.

This book has seven chapters. Chapter one is introductory in nature, just introducing the super interval matrices or interval super matrices. In chapter two essential operations on super interval matrices are defined. Further in this chapter algebraic structures are defined on these super interval matrices using these operation. Using these super interval matrices semirings and semivector spaces …

Interval Semirings, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the notion of interval semirings are introduced. The authors study and analyse semirings algebraically. Methods are given for the construction of non-associative semirings using loops and interval semirings or interval loops and semirings. Another type of non-associative semirings are introduced using groupoids and interval semirings or interval groupoids and semirings. Examples using integers and modulo integers are given. Also infinite semirings which are semifields are given using interval semigroups and semirings or semigroups and interval semirings or using groups and interval semirings. Interval groups are introduced to construct interval group interval semirings, and properties related with them …

Interval Semigroups, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce the notion of interval semigroups using intervals of the form [0, a], a is real. Several types of interval semigroups like fuzzy interval semigroups, interval symmetric semigroups, special symmetric interval semigroups, interval matrix semigroups and interval polynomial semigroups are defined and discussed. This book has eight chapters. The main feature of this book is that we suggest 241 problems in the eighth chapter. In this book the authors have defined 29 new concepts and illustrates them with 231 examples. Certainly this will find several applications. The authors deeply acknowledge Dr. Kandasamy for the proof reading …

Dsm Super Vector Space Of Refined Labels, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of supermatrices of refined labels. Authors prove super row matrix of refined labels form a group under addition. However super row matrix of refined labels do not form a group under product; it only forms a semigroup under multiplication. In this book super column matrix of refined labels and m × n matrix of refined labels are introduced and studied. We mainly study this to introduce to super vector space of refined labels using matrices. We in this book introduce the notion of semifield of refined labels using which …

Problems With And Without … Problems!, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This book is addressed to College honor students, researchers, and professors. It contains 136 original problems published by the author in various scientific journals around the world. The problems could be used to preparing for courses, exams, and Olympiads in mathematics. Many of these have a generalized form. For each problem we provide a detailed solution.

I was a professeur coopérant between 1982-1984, teaching mathematics in French language at Lycée Sidi EL Hassan Lyoussi in Sefrou, Province de Fès, Morocco. I used many of these problems for selecting and training, together with other Moroccan professors, in Rabat city, of the …

Dsm Vector Spaces Of Refined Labels, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The study of DSm linear algebra of refined labels have been done by Florentin Smarandache, Jean Dezert, and Xinde Li.

In this book the authors introduce the notion of DSm vector spaces of refined labels. The reader is requested to refer the paper as the basic concepts are taken from that paper [35]. This book has six chapters. The first one is introductory in nature just giving only the needed concepts to make this book a self contained one. Chapter two introduces the notion of refined plane of labels, the three dimensional space of refined labels DSm vector spaces. Clearly …

A New Approach To Algebraic Coding Theory Through The Applications Of Soft Sets, Florentin Smarandache, Mumtaz Ali

Branch Mathematics and Statistics Faculty and Staff Publications

Algebraic codes play a signifcant role in the minimisation of data corruption which caused by defects such as inference, noise channel, crosstalk, and packet loss. In this paper, we introduce soft codes (soft linear codes) through the application of soft sets which is an approximated collection of codes. We also discuss several types of soft codes such as type-1 soft codes, complete soft codes etc. Further, we construct the soft generator matrix and soft parity check matrix for the soft linear codes. Moreover, we develop two techniques for the decoding of soft codes.

Uniform And Partially Uniform Redistribution Rules, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

This paper introduces two new fusion rules for combining quantitative basic belief assignments. These rules although very simple have not been proposed in literature so far and could serve as useful alternatives because of their low computation cost with respect to the recent advanced Proportional Conflict Redistribution rules developed in the DSmT framework.

Evidence Supporting Measure Of Similarity For Reducing The Complexity In Information Fusion, Xinde Li, Jean Dezert, Florentin Smarandache, Xinhan Huang

Branch Mathematics and Statistics Faculty and Staff Publications

This paper proposes a new solution for reducing the number of sources of evidence to be combined in order to diminish the complexity of the fusion process required in some applications where the real-time constraint and strong computing resource limitation are of prime importance. The basic idea consists in selecting, among the whole set of sources of evidence, only the biggest subset of sources which are not too contradicting based on a criterion of Evidence Supporting Measure of Similarity (ESMS) in order to process solely the coherent information received. The ESMS criterion serves actually as a generic tool for outlier …

Contradiction Measures And Specificity Degrees Of Basic Belief Assignments, Florentin Smarandache, Arnaud Martin, Christophe Osswald

Branch Mathematics and Statistics Faculty and Staff Publications

In the theory of belief functions, many measures of uncertainty have been introduced. However, it is not always easy to understand what these measures really try to represent. In this paper, we re-interpret some measures of uncertainty in the theory of belief functions. We present some interests and drawbacks of the existing measures. On these observations, we introduce a measure of contradiction. Therefore, we present some degrees of non-specificity and Bayesianity of a mass. We propose a degree of specificity based on the distance between a mass and its most specific associated mass. We also show how to use the …

Neutrosophic Code, Mumtaz Ali, Florentin Smarandache, Munazza Naz, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

The idea of neutrosophic code came into my mind at that time when i was reading the literature about linear codes and i saw that, if there is data transformation between a sender and a receiver. They want to send 11and 00 as codewords. They suppose 11 for true and 00 for false. When the sender sends the these two codewords and the error occurs. As a result the receiver received 01 or 10 instead of 11 and 00. This story give a way to the neutrosophic codes and thus we introduced neutrosophic codes over finite field in this paper.

G-Neutrosophic Space, Mumtaz Ali, Florentin Smarandache, Munazza Naz, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

The Concept of a G-space came into being as a consequence of Group action on an ordinary set. Over the history of Mathematics and Algebra, theory of group action has emerged and proven to be an applicable and effective framework for the study of different kinds of structures to make connection among them.

Generalized Interval Neutrosophic Soft Set And Its Decision Making Problem, Said Broumi

Branch Mathematics and Statistics Faculty and Staff Publications

In this work, we introduce the concept of generalized interval neutrosophic soft set and study their operations. Finally, we present an application of generalized interval neutrosophic soft set in decision making problem.

Relation Liftings On Preorders And Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil

Engineering Faculty Articles and Research

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets.

Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We introduce formal languages over infinite alphabets where words may contain binders.We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.

Generic Trace Logics, Christian Kissig, Alexander Kurz

Engineering Faculty Articles and Research

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.