Mathematics Commons^™

New Operations On Intuitionistic Fuzzy Soft Sets Based On First Zadeh's Logical Operators, Florentin Smarandache, Said Broumi, Pinaki Majumdar

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper , we have defined First Zadeh’s implication , First Zadeh’s intuitionistic fuzzy conjunction and intuitionistic fuzzy disjunction of two intuitionistic fuzzy soft sets and some their basic properties are studied with proofs and examples.

Neutrosophic Logic Approaches Applied To ”Rabot” Real Time Control, Alexandru Gal, Luige Vladareanu, Florentin Smarandache, Hongnian Yu, Mincong Deng

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we present a way of deciding which control law should operate at a time for a mobile walking robot. The proposed deciding method is based on the new research field, called Neutrosophic Logic. The results are presented as a simulated system for which the output is related to the inputs according to the Neutrosophic Logic.

Importance Of Sources Using The Repeated Fusion Method And The Proportional Conflict Redistribution Rules #5 And #6, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

We present in this paper some examples of how to compute by hand the PCR5 fusion rule for three sources, so the reader will better understand its mechanism. We also take into consideration the importance of sources, which is different from the classical discounting of sources.

Distance In Matrices And Their Applications To Fuzzy Models And Neutrosophic Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of distance between any two m  n matrices. If the distance is 0 or m  n there is nothing interesting. When the distance happens to be a value t; 0 < t < m  n the study is both innovating and interesting. The three cases of study which is carried out in this book are 1. If the difference between two square matrices is large, will it imply the eigen values and eigen vectors of those matrices are distinct? Several open conjectures in this direction are given. 2. The difference between parity check matrix and the generator matrix for the same C(n, k) code is studied. This will help in detecting errors in storage systems as well as in cryptography.

On High-Performance Parallel Fixed-Point Decimal Multiplier Designs, Ming Zhu

UNLV Theses, Dissertations, Professional Papers, and Capstones

High-performance, area-efficient hardware implementation of decimal multiplication is preferred to slow software simulations in a number of key scientific and financial application areas, where errors caused by converting decimal numbers into their approximate binary representations are not acceptable.

Multi-digit parallel decimal multipliers involve two major stages: (i) the partial product generation (PPG) stage, where decimal partial products are determined by selecting the right versions of the pre-computed multiples of the multiplicand, followed by (ii) the partial product accumulation (PPA) stage, where all the partial products are shifted and then added together to obtain the final multiplication product. In this thesis, …

Modeling And Control Of Nanoparticle Bloodstream Concentration For Cancer Therapies, Scarlett S. Bracey

Doctoral Dissertations

Currently, the most commonly used treatments for cancerous tumors (chemotherapy, radiation, etc.) have almost no method of monitoring the administration of the treatment for adverse effects in real time. Without any real time feedback or control, treatment becomes a "guess and check" method with no way of predicting the effects of the drugs based on the actual bioavailability to the patient's body. One particular drug may be effective for one patient, yet provide no benefit to another. Doctors and scientists do not routinely attempt to quantifiably explain this discrepancy. In this work, mathematical modeling and analysis techniques are joined together …

Identifiability Of Additive, Time-Varying Actuator And Sensor Faults By State Augmentation, Jason M. Upchurch

Electrical & Computer Engineering Theses & Dissertations

Faults in dynamical systems can have serious safety and reliability implications. For example, actuator and sensor faults have been factors in past incidents and mishaps in many aerospace systems. A large body of research is devoted to developing methods to detect and identify actuator and sensor faults in such systems.

One fault detection and identification menthol employs state augmentation, whereby a set of time-varying faults of interest are modeled as outputs of exogenous linear, time-invariant systems and augmented to the state of the nominal system model. The resulting model represents the system dynamics due to a particular actuator-sensor fault configuration. …

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 …

Scitech Book News Reviews, Susan Fingerman

Sci-Tech News

No abstract provided.

3d Modeling And Design Optimization Of Rod Shaped Ionic Polymer Metal Composite Actuator, Siul A. Ruiz

UNLV Theses, Dissertations, Professional Papers, and Capstones

Ionic polymer-metal composites (IPMCs) are some of the most well-known electro-active polymers. This is due to their large deformation provided a relatively low voltage source. IPMCs have been acknowledged as a potential candidate for biomedical applications such as cardiac catheters and surgical probes; however, there is still no existing mass manufacturing of IPMCs. This study intends to provide a theoretical framework which could be used to design practical purpose IPMCs depending on the end users interest.

This study begins by investigating methodologies used to develop quantify the physical actuation of an IPMC in 3-dimensional space. This approach is taken in …

A Parabolic Equation Analysis Of The Underwater Noise Radiated By Impact Pile Driving, Nathan Laws

Dissertations and Theses

Impact pile driving can produce extremely high underwater sound levels, which are of increasing environmental concern due to their deleterious effects on marine wildlife. Prediction of underwater sound levels is important to the assessment and mitigation of the environmental impacts caused by pile driving. Current prediction methods are limited and do not account for the dynamic pile driving source, inhomogeneities in bathymetry and sediment, or physics-based sound wave propagation.

In this thesis, a computational model is presented that analyzes and predicts the underwater noise radiated by pile driving and is suitable for shallow, inhomogeneous environments and long propagation ranges. The …

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.

Particle Dynamics And Resistivity Characteristics In Bifurcated Current Sheets, Tushar Andriyas

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Charged particle chaos and its collective effects in different magnetic geometries are investigated in a sequence of various numerical experiments. The fields generated by the particles as a result of interaction with the background electric and magnetic fields is not accounted for in the simulation. An X-line is first used to describe the geometry of the magnetotail prior to magnetic reconnection and a study of the behavior of charged particles is done from a microscopic viewpoint. Another important geometry in the magnetotail prior to substorm onset is Bifurcated Current Sheet. The same analysis is done for this configuration. The existence …

Traffic Modeling In Lagrangian Coordinates Using Smartphone Apps, Sergio Contreras

UNLV Theses, Dissertations, Professional Papers, and Capstones

Traditionally, one of the ways traffic flow has been studied is by using the kinematic wave model. This model is derived in the Eulerian framework by using conservation of the number of vehicles. Recently, the kinematic wave model has been transformed into Lagrangian coordinates. In this framework, the independent variables are unique

vehicles and time. The detailed change in framework, and the properties of the model in the changed framework are reviewed. Numerical results from different traffic cases are explained. Since vehicle trajectory data can be easily collected from smartphones,

a smartphone application is developed for this purpose. This data …

Mono-Sized Sphere Packing Algorithm Development Using Optimized Monte Carlo Technique, Karn Soontrapa, Yitung Chen

College of Engineering: Graduate Celebration Programs

In this research, fuel cell catalyst layer was developed using the optimized sphere packing algorithm. An optimization technique named adaptive random search technique (ARSET) was employed in this packing algorithm. The ARSET algorithm will generate the initial location of spheres and allow them to move in the random direction with the variable moving distance, randomly selected from the sampling range (a), based on the Lennard–Jones potential and Morse potential of the current and new configuration. The solid fraction values obtained from this developed algorithm are in the range of 0.610–0.624 while the actual processing time can significantly be reduced by …

Applied Analysis Of Ionic Polymer Metal-Composite Actuators, Siul Ruiz, Benjamin Mead, Woosoon Yim

College of Engineering: Graduate Celebration Programs

• IPMC is a type of smart material called an electroactive polymer
• Consists of an ionic polymer such as Nafion or Flemion and a conducive metal such as platinum or gold
• COMSOL multi-physics simulations accurately model the experimental displacement results
• Optimization performed using the multi-physics model to find the maximum deflection, force, and twisting
• Using the closed loop control system accurate IPMC tip location can be achieved
• This control system has been extended to function using a computer mouse as an input

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 …

Study Of Spatiotemporal Signatures Between Objects To Improve Video Segmentation In Complex Environments, Adam Robert Reckley

Electrical & Computer Engineering Theses & Dissertations

Background subtraction is often considered to be a required stage of any video surveillance system being used to detect objects in a single frame and/or track objects across multiple frames in a video sequence. Most current state-of-the-art techniques for object detection and tracking utilize some form of background subtraction that involves developing a model of the background at a pixel, region or frame level and designating any elements that deviate from the background model as foreground. Most existing approaches are capable of segmenting a number of distinct components, but are unable to distinguish between the desired object of interest and …

Developing A Stem Teacher Recruitment Pipeline, Kimberly Shaw, Cindy Ticknor, Tim Howard

Interdisciplinary STEM Teaching & Learning Conference (2012-2019) (Archived)

The Columbus Region Academy of Future Teachers of STEM (CRAFT-STEM), a Phase I Robert Noyce Teacher Scholarship Program, combines internships and scholarships, an exciting summer STEM Honors Camp, a new Teaching Connections Seminar, and an impressive array of existing resources to recruit, prepare, and graduate an increasing number of STEM teachers committed to serving high need high schools.

A Simplified Model Of The Internal Combustion Engine, Christofer Neff

Undergraduate Journal of Mathematical Modeling: One + Two

This project further investigates a model of a simplified internal combustion engine considered by Kranc in 1977. Using Euler’s method for ordinary differential equations, we modeled the interaction between the engine’s flywheel and thermodynamic power cycle. Approximating with sufficiently small time intervals (0.001 seconds over a period of 12 seconds) reproduced Kranc’s results with the engine having an average angular velocity of 72/sec.

Adiabatic Flame Temperature For Combustion Of Methane Ii, Rebeca Pupo

Undergraduate Journal of Mathematical Modeling: One + Two

We calculate the adiabatic flame temperature of a mixture of methane and oxygen in the presence of a diluent gas then determine the mole fractions of methane without respect to nitrogen and solve for the moles of oxygen present. Knowing the moles of methane and oxygen, allows us to calculate the moles of nitrogen present at four constant mole fractions of nitrogen, and the adiabatic flame temperature is determined from the energy released by the reaction. Lastly, we produce several graphs to compare the adiabatic flame temperatures at different mole fractions of nitrogen.

Finding The Area Of A Major League Baseball Field, Jacob Courchaine

Undergraduate Journal of Mathematical Modeling: One + Two

Using a Major League Baseball (MLB) baseball field template for guidelines, we estimate the cost of building the largest possible field accepted under MLB standards. This includes finding the areas of both the clay and grassy regions and determining how many bags of clay and fertilizer are required to cover the field.

New Microarray Image Segmentation Using Segmentation Based Contours Method, Yuan Cheng

Doctoral Dissertations

The goal of the research developed in this dissertation is to develop a more accurate segmentation method for Affymetrix microarray images. The Affymetrix microarray biotechnologies have become increasingly important in the biomedical research field. Affymetrix microarray images are widely used in disease diagnostics and disease control. They are capable of monitoring the expression levels of thousands of genes simultaneously. Hence, scientists can get a deep understanding on genomic regulation, interaction and expression by using such tools.

We also introduce a novel Affymetrix microarray image simulation model and how the Affymetrix microarray image is simulated by using this model. This simulation …

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.

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 …

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 …

Towards Interference-Immune And Channel-Aware Multicarrier Schemes: Filters, Lattices, And Interference Issues, Alphan Sahin

USF Tampa Graduate Theses and Dissertations

In this dissertation, multicarrier schemes are reviewed within the framework of Gabor Systems. Their fundamental elements; what to transmit, i.e., symbols, how to transmit, i.e., filters or pulse shape, and where/when to transmit, i.e., lattices are investigated extensively. The relations between different types of multicarrier schemes are discussed.

Within the framework of Gabor systems, a new windowing approach, edge windowing, is developed to address the out-of-band (OOB) radiation problem of orthogonal frequency division multiplexing (OFDM) based multicarrier schemes. To the best of our knowledge, for the first time, the diversity on the range of the users is exploited to suppress …

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.

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 …