Mathematics Commons^™

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.

Structure Borne Noise Analysis Using Helmholtz Equation Least Squares Based Forced Vibro Acoustic Components, Logesh Kumar Natarajan

Wayne State University Dissertations

This dissertation presents a structure-borne noise analysis technology that is focused on providing a cost-effective noise reduction strategy. Structure-borne sound is generated or transmitted through structural vibration; however, only a small portion of the vibration can effectively produce sound and radiate it to the far-field. Therefore, cost-effective noise reduction is reliant on identifying and suppressing the critical vibration components that are directly responsible for an undesired sound. However, current technologies cannot successfully identify these critical vibration components from the point of view of direct contribution to sound radiation and hence cannot guarantee the best cost-effective noise reduction.

The technology developed …

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 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.

Neutrosophic Emergencies And Incidences, Florentin Smarandache, Stefan Vladutescu

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Study On Optimal Dwell Time At Jakarta International Container Terminal, Siti Nurrochmah Badrudin

World Maritime University Dissertations

No abstract provided.

Freight Forecasting Of Dry Bulk Market Based On The Bp Neural Network, Qianran Huang

World Maritime University Dissertations

No abstract provided.

The Rationality Study On Capacity Allocation For Cscl’S Asia-Europe Route, Yan Zhou

World Maritime University Dissertations

No abstract provided.

Container-Handling Operation Optimization At Koja Container Terminal, Moh Taufik Hidayat

World Maritime University Dissertations

No abstract provided.

Design And Implementation Of Erp Software In Material Supply Chain Management For Siix Corp., Xing'er Chen

World Maritime University Dissertations

No abstract provided.

Role Of Glutathione In Lung Retention Of 99mtc-Hexamethylpropyleneamine Oxime In Two Unique Rat Models Of Hyperoxic Lung Injury, Said H. Audi, David L. Roerig, Steven Thomas Haworth, Anne V. Clough

Biomedical Engineering Faculty Research and Publications

Rat exposure to 60% O₂ for 7 days (hyper-60) or to >95% O₂ for 2 days followed by a 24-hour in room air (hyper-95R) confers susceptibility or tolerance, respectively, of the otherwise lethal effects of subsequent exposure to 100% O₂. The objective of this study was to determine if lung retention of the radiopharmaceutical agent ^99mTc-HMPAO (hexamethylpropyleneamine oxime) is differentially altered in hyper-60 and hyper-95R rats. Tissue retention of HMPAO is dependent on intracellular content of the antioxidant glutathione (GSH) and mitochondrial function. HMPAO was injected i.v. in anesthetized rats and planar images were acquired. …

Ultra-Low Voltage Digital Circuits And Extreme Temperature Electronics Design, Aaron J. Arthurs

Graduate Theses and Dissertations

Certain applications require digital electronics to operate under extreme conditions e.g., large swings in ambient temperature, very low supply voltage, high radiation. Such applications include sensor networks, wearable electronics, unmanned aerial vehicles, spacecraft, and energyharvesting systems. This dissertation splits into two projects that study digital electronics supplied by ultra-low voltages and build an electronic system for extreme temperatures. The first project introduces techniques that improve circuit reliability at deep subthreshold voltages as well as determine the minimum required supply voltage. These techniques address digital electronic design at several levels: the physical process, gate design, and system architecture. This dissertation analyzes …

Generating Minimal T-Wise Test Suites, Luis C. Gutierrez, Carlos Nieto, Francisco Zapata, Martine Ceberio

COURI Symposium Abstracts, Summer 2012

As the use of computing devices increases every day, users rely on the adequate functioning of software. When software is not tested properly, it can yield erroneous information or a complete failure of the system. The NIST estimates that defective software cost the United States economy close to $60 billion a year. Therefore, there is a need to develop software testing techniques that are time and cost effective. Fully testing software under all possible combinations of parameters values cannot be reduced. However, testing can focus on covering all combinations of subsets of parameters and empirical data shows that doing so …

Numerical Analysis And Design Optimization Of Organic Bulk Hetero-Junction Solar Cells Using The Mixed Finite Element And Arc-Length Methods, James L. Dean

Mechanical & Aerospace Engineering Theses & Dissertations

Due to the high coupling and non-linear nature of the semiconductor equations, numerical stability becomes a major problem when using a purely Newtonian numerical method in solving these equations. Presented is a robust mixed finite element formulation with application for organic solar cell devices that incorporates the arc-length predictor-corrector method to bypass such stability issues. The simulated device represents a multilayered solar cell using organic bulk hetero-junction materials including donor materials Poly[2,1,3-benzothiadiazole-4,7-diyl[4,4-bis(2-ethylhexyl)-4H-cyclopenta[2,1-b:3,4- b']dithiophene-2,6-diyl]] (PCPDTBT) and poly 3-hexylthiophene (P3HT) with acceptor fullerene materials [6,6]-phenyl C61 butyric acid methyl ester (PC61BM) or [6,6]-phenyl C71 butyric acid methyl ester (PC71BM) as the photoactive …

Response Surface Optimization Of Electron Beam Freeform Fabrication Depositions Using Design Of Experiments, Patricia A. Quigley

Engineering Management & Systems Engineering Theses & Dissertations

The Electron Beam Freeform Fabrication (EBF³ ) System is a material depositing, layer additive technique that produces three dimensional (3D) parts out of a wide range of metals in high vacuum, using an electron beam and wire feedstock. Screening deposition trials on a titanium alloy, Ti-6Al-4V, at the National Aeronautics Space Administration (NASA) revealed selective vaporization of the aluminum content of linear prototypes when subjected to chemical analysis. In this study, the aluminum content, bead height and bead width output responses were analyzed from a systematic study of the effects that the interactions of the EBF³ processing parameters …

Extended Pcr Rules For Dynamic Frames, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

In most of classical fusion problems modeled from belief functions, the frame of discernment is considered as static. This means that the set of elements in the frame and the underlying integrity constraints of the frame are fixed forever and they do not change with time. In some applications, like in target tracking for example, the use of such invariant frame is not very appropriate because it can truly change with time. So it is necessary to adapt the Proportional Conflict Redistribution fusion rules (PCR5 and PCR6) for working with dynamical frames. In this paper, we propose an extension of …

Analytic And Finite Element Solutions Of The Power-Law Euler-Bernoulli Beams, Dongming Wei, Yu Liu

Mathematics Faculty Publications

In this paper, we use Hermite cubic finite elements to approximate the solutions

of a nonlinear Euler-Bernoulli beam equation. The equation is derived

from Hollomon’s generalized Hooke’s law for work hardening materials with

the assumptions of the Euler-Bernoulli beam theory. The Ritz-Galerkin finite

element procedure is used to form a finite dimensional nonlinear program

problem, and a nonlinear conjugate gradient scheme is implemented to find

the minimizer of the Lagrangian. Convergence of the finite element approximations

is analyzed and some error estimates are presented. A Matlab finite

element code is developed to provide numerical solutions to the beam equation.

Some …

Generating Minimal Pair-Wise Covering Test Suites, Luis C. Gutierrez ^, Martine Ceberio *

COURI Symposium Abstracts, Spring 2012

Software is ubiquitous and needs to be reliable. Software testing therefore plays an important role in software development. Proper testing a software system informs about its quality and reliability so as to prevent unexpected behavior during system execution. One of the methods to prevent failures consists in testing a system under different input values, but when all possible input values are tested, an impractical number of test cases might result. In software testing, pair-wise testing is a combinatorial technique which uses combination of pair input values to generate test cases. Using pair-wise testing dramatically reduces the number of test cases, …

Numerical Simulation Of Nanopulse Penetration Of Biological Matter Using The Adi-Fdtd Method, Fei Zhu

Doctoral Dissertations

Nanopulses are ultra-wide-band (UWB) electromagnetic pulses with pulse duration of only a few nanoseconds and electric field amplitudes greater than 105 V/m. They have been widely used in the development of new technologies in the field of medicine. Therefore, the study of the nanopulse bioeffects is important to ensure the appropriate application with nanopulses in biomedical and biotechnological settings. The conventional finite-difference time-domain (FDTD) method for solving Maxwell's equations has been proven to be an effective method to solve the problems related to electromagnetism. However, its application is restricted by the Courant, Friedrichs, and Lewy (CFL) stability condition that confines …

Mathematical Modeling Of Pipeline Features For Robotic Inspection, Yang Gao

Doctoral Dissertations

Underground pipeline systems play an indispensable role in transporting liquids in both developed and developing countries. The associated social and economic cost to repair a pipe upon abrupt failure is often unacceptable. Regular inspection is a preventative action that aims to monitor pipe conditions, catch abnormalities and reduce the chance of undesirable surprises. Robots with CCTV video cameras have been used for decades to inspect pipelines, yielding only qualitative information. It is becoming necessary and preferable for municipalities, project managers and engineers to also quantify the 3-D geometry of underground pipe networks. Existing robots equipped specialized hardware and software algorithms …

Section Abstracts: Astronomy, Mathematics And Physics With Materials Science

Virginia Journal of Science

Abstracts of the Astronomy, Mathematics, and Physics with Material Science Section for the 90th Annual Meeting of the Virginia Academy of Science, May 23-25, 2012, Norfolk State University, Norfolk, Virginia

Wireless Channel Equalization In Digital Communication Systems, Sammuel Jalali

CGU Theses & Dissertations

Our modern society has transformed to an information-demanding system, seeking voice, video, and data in quantities that could not be imagined even a decade ago. The mobility of communicators has added more challenges. One of the new challenges is to conceive highly reliable and fast communication system unaffected by the problems caused in the multipath fading wireless channels. Our quest is to remove one of the obstacles in the way of achieving ultimately fast and reliable wireless digital communication, namely Inter-Symbol Interference (ISI), the intensity of which makes the channel noise inconsequential.

The theoretical background for wireless channels modeling and …

High-Order Central Finite-Volume Schemes For Atmospheric Modeling, Kiran Kumar Katta

Open Access Theses & Dissertations

Atmospheric numerical modeling has been going through drastic changes over the past decade, mainly to utilize the massive computing capability of the petascale systems. This obliges the modelers to develop grid systems and numerical algorithms that facilitate exceptional level of scalability on these systems. The numerical algorithms that can address these challenges should have the local properties such as the high on-processor operation count and minimum parallel communication i.e., high parallel efficiency. They should also satisfy the following properties such as inherent local and global conservation, high-order accuracy, geometric flexibility, non-oscillatory advection and positivity preservation properties. The goal of this …

Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary set-functor is given and proven to be strongly complete under additional assumptions. We proceed in three parts.

Part I argues that sifted colimit preserving functors are those functors that preserve universal algebraic structure. Our main theorem here states that a functor preserves sifted colimits if and only if it has a finitary presentation by operations and equations. Moreover, the presentation of the …

Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover modality depending on the type functor. Its semantics is defined in terms of a categorically defined relation lifting operation.

As the main contributions of our paper we introduce a derivation system, and prove that it provides a sound and complete axiomatization for the collection of coalgebraically valid inequalities. Our soundness and completeness proof is algebraic, …

Applications Of Extenics To 2d-Space And 3d-Space, Florentin Smarandache, Victor Vladareanu

Branch Mathematics and Statistics Faculty and Staff Publications

In this article one proposes several numerical examples for applying the extension set to 2D- and 3D-spaces. While rectangular and prism geometrical figures can easily be decomposed from 2D and 3D into 1D linear problems, similarly for the circle and the sphere, it is not possible in general to do the same for other geometrical figures.

Consensus-Type Stochastic Approximation Algorithms, Yu Sun

Wayne State University Dissertations

This work is concerned with asymptotic properties of consensus-type algorithms for networked systems whose topologies switch randomly. The regime-switching process is modeled as a discrete-time Markov chain with a nite state space. The consensus control is achieved by designing stochastic approximation algorithms. In the setup, the regime-switching process (the Markov chain) contains a rate parameter

"Ε> 0 in the transition probability matrix that characterizes how frequently the topology switches. On the other hand, the consensus control algorithm uses a step-size Μ that denes how fast the network states are updated. Depending on their relative values, three distinct scenarios emerge. Under …

A Class Of Discontinuous Petrov–Galerkin Methods. Part Iii: Adaptivity, Leszek Demkowicz, Jay Gopalakrishnan, Antti H. Niemi

Mathematics and Statistics Faculty Publications and Presentations

We continue our theoretical and numerical study on the Discontinuous Petrov–Galerkin method with optimal test functions in context of 1D and 2D convection-dominated diffusion problems and hp-adaptivity. With a proper choice of the norm for the test space, we prove robustness (uniform stability with respect to the diffusion parameter) and mesh-independence of the energy norm of the FE error for the 1D problem. With hp-adaptivity and a proper scaling of the norms for the test functions, we establish new limits for solving convection-dominated diffusion problems numerically: for 1D and for 2D problems. The adaptive process is fully automatic and starts …

Equivalent Circuit Model Of Coaxial Probes For Patch Antennas, Y. S. Hu, Yanzhi Zhang, Jun Fan

Mathematics and Statistics Faculty Research & Creative Works

An equivalent circuit model of coaxial probes is derived directly from the intrinsic via circuit model. as all the higher-order evanescent modes have been included analytically in the parasitic circuit elements, only the propagating mode needs to be considered by the simplest uniform-current model of a coaxial probe in numerical solvers such as -nite element method (FEM) or -nite divergence time domain (FDTD). This avoids dense meshes or sub-gridding techniques and greatly reduces the computational efforts for accurate calculation of the probe input impedance. the derived equivalent circuit model and the new feeding technique have been validated by both analytical …