Mathematics Commons^™

Using In Situ Liquid Single Photon Ionization Mass Spectrometry (Spi-Ms) To Probe Lithium Polysulfide Electrolyte In Motion, Aala M. Al Hasan, Jiachao Yu, Juan Yao, Vijayakumar Murugesan, Manjula Nandasiri, Xiao-Ying Yu

STAR Program Research Presentations

The solid-liquid (s-l) interface is the most common interface encountered in electrochemical systems. The s-l interface has wide applications in energy storage, catalysis, and material sciences. In situ studies of chemical reactions taking place on the s-l interfaces can further our understanding of electron transfer and link to real-world device functions under challenging conditions. Direct probing of the solid electrode and liquid electrolyte interface has been realized using a vacuum compatible electrochemical microfluidic reactor, system for analysis at the liquid vacuum interface (SALVI) with time-of-flight secondary ion mass spectrometry (ToF-SIMS). Most recently, the electrochemical version of SALVI was integrated to …

Applications Of The Homotopy Analysis Method To Optimal Control Problems, Shubham Singh

Open Access Theses

Traditionally, trajectory optimization for aerospace applications has been performed using either direct or indirect methods. Indirect methods produce highly accurate solutions but suer from a small convergence region, requiring initial guesses close to the optimal solution. In past two decades, a new series of analytical approximation methods have been used for solving systems of dierential equations and boundary value problems.

The Homotopy Analysis Method (HAM) is one such method which has been used to solve typical boundary value problems in nance, science, and engineering. In this investigation, a methodology is created to solve indirect trajectory optimization problems using the Homotopy …

Ua66 Ogden College Of Science & Engineering Newsletter, Cheryl Stevens, Dean

Ogden College of Science & Engineering Publications

No abstract provided.

Pythagorean Combinations For Lego Robot Building., Ronald I. Greenberg

Computer Science: Faculty Publications and Other Works

This paper provides tips for LEGO robot construction involving bracing or gear meshing along a diagonal using standard Botball kits.

Quantum Random Number Generation Using A Quanta Image Sensor, Emna Amri, Yacine Felk, Damien Stucki, Jiaju Ma, Eric Fossum

Dartmouth Scholarship

A new quantum random number generation method is proposed. The method is based on the randomness of the photon emission process and the single photon counting capability of the Quanta Image Sensor (QIS). It has the potential to generate high-quality random numbers with remarkable data output rate. In this paper, the principle of photon statistics and theory of entropy are discussed. Sample data were collected with QIS jot device, and its randomness quality was analyzed. The randomness assessment method and results are discussed.

Longitudinal Success Of Calculus I Reform, Doug Bullock, Kathrine E. Johnson, Janet Callahan

Mathematics Faculty Publications and Presentations

This paper describes the second year of an ongoing project to transform calculus instruction at Boise State University. Over the past several years, Calculus I has undergone a complete overhaul that has involved a movement from a collection of independent, uncoordinated, personalized, lecture-based sections, into a single coherent multi-section course with an activelearning pedagogical approach. The overhaul also significantly impacted the course content and learning objectives. The project is now in its fifth semester and has reached a steady state where the reformed practices are normative within the subset of instructors who might be called upon to teach Calculus I. …

Injury Severity Data For Front And Second Row Passengers In Frontal Crashes, Theresa Atkinson, Leszek Gawarecki, Massoud S. Tavakoli

Mathematics Publications

The data contained here were obtained from the National Highway Transportation Safety Administration׳s National Automotive Sampling System – Crashworthiness Data System (NASS-CDS) for the years 2008–2014. This publically available data set monitors motor vehicle crashes in the United States, using a stratified random sample frame, resulting in information on approximately 5000 crashes each year that can be utilized to create national estimates for crashes. The NASS-CDS data sets document vehicle, crash, and occupant factors. These data can be utilized to examine public health, law enforcement, roadway planning, and vehicle design issues. The data provided in this brief are a subset …

The Eagle Programming Language, Samuel G. Horlbeck Olsen

Mathematics, Statistics, and Computer Science Honors Projects

C remains the dominant systems programming language despite many new languages attempting to take its place. Modern languages generally value abstraction and safety over speed and direct control of hardware. They are therefore not well suited to the low-level tasks for which C was designed. This paper introduces a novel programming language, Eagle, which represents a fast, elegant alternative to C. It allows low-level programming while providing optional modern features like reference counting, closures, generators, and classes. In addition to specifying this language and reviewing the current alternatives, the paper describes the implementation of a working Eagle compiler. The language …

On The Scattering Of An Acoustic Plane Wave By A Soft Prolate Spheroid, Joseph Michael Borromeo

UNLV Theses, Dissertations, Professional Papers, and Capstones

This thesis solves the scattering problem in which an acoustic plane wave of propagation number K1 is scattered by a soft prolate spheroid. The interior field of the scatterer is characterized by a propagation number K2, while the field radiated by the scatterer is characterized by the propagation number K3. The three fields and their normal derivatives satisfy boundary conditions at the surface of the scatterer. These boundary conditions involve six complex parameters depending on the propagation numbers. The scattered wave also satisfies the Sommerfeld radiation condition at infinity. Through analytical methods, series representations are constructed for the interior field …

Ua66 Ogden College Of Science & Engineering Newsletter, Cheryl Stevens, Dean

Ogden College of Science & Engineering Publications

No abstract provided.

Off The Lip Conference - Transdisciplinary Approaches To Cognitive Innovation. Conference Proceedings, Sue Denham, Michael Punt, Edith Doove, Martha Blassnigg, Raluca Briazu, Kathryn Francis, Agi Haynes, Guy Edmonds, Adam Benjamin, Matthew Emmett, Iris Garrelfs, Christopher B. Germann, Joanna Griffin, Diane Humphrey, Bryanna Lucyk, Christie Purchase, Rachel Sansone, Emily Baxter, Amy Ione, Frank Loesche, Abigail Jackson, Alexis Kirke, Eduardo Miranda, Luke Rendell, Simon Ingram, Yutaka Nakamura, Gi Taek Ryoo, Eugenia Stamboliev, Michael Straeubig, Chun-Wei Hsu, Pinar Oztop, Mihaela Taranu, Sundar Sarukkai, James Sweeting, Minami Hirayama

Off the Lip Conference - Transdisciplinary Approaches to Cognitive Innovation

The promise of cognitive innovation as a collaborative project in the sciences, arts and humanities is that we can approach creativity as a bootstrapping cognitive process in which the energies that shape the poem are necessarily indistinguishable from those that shape the poet. For the purposes of this conference the exploration of the idea of cognitive innovation concerns an understanding of creativity that is not exclusively concerned with conscious human thought and action but also as intrinsic to our cognitive development. As a consequence, we see the possibility for cognitive innovation to provide a theoretical and practical platform from which …

Risk And Safety Of Complex Network Systems, Xiao-Bing Hu, Adrian V. Gheorghe, Mark S. Leeson, Supeng Leng, Julien Bourgeois, Xiaobo Qu

Engineering Management & Systems Engineering Faculty Publications

No abstract provided.

Optimization Of An Agitated Extractor, Evan Zapf

Undergraduate Journal of Mathematical Modeling: One + Two

In this scenario, we use calculus to determine the optimal operating specifications of a chemical extraction process. The results are achieved by first developing an expression that yields the total annual cost of the process. Factoring in electricity, vessel, agitator, and solvent costs, an annual cost expression was fabricated. AGIEX company manufactures a certain amount of a product, A, which has an impurity that it wishes be reduced. By engineering an optimally sized vessel to perform the extraction of impurity, the company will save costs by ensuring no inefficient spending on power or excess solvent occurs. A specific amount of …

Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …

Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.

Boundary Control Of Parabolic Pde Using Adaptive Dynamic Programming, Behzad Talaei

Doctoral Dissertations

"In this dissertation, novel adaptive/approximate dynamic programming (ADP) based state and output feedback control methods are presented for distributed parameter systems (DPS) which are expressed as uncertain parabolic partial differential equations (PDEs) in one and two dimensional domains. In the first step, the output feedback control design using an early lumping method is introduced after model reduction. Subsequently controllers were developed in four stages; Unlike current approaches in the literature, state and output feedback approaches were designed without utilizing model reduction for uncertain linear, coupled nonlinear and two-dimensional parabolic PDEs, respectively. In all of these techniques, the infinite horizon cost …

A Linear Matrix Inequality-Based Approach For The Computation Of Actuator Bandwidth Limits In Adaptive Control, Daniel Robert Wagner

Masters Theses

"Linear matrix inequalities and convex optimization techniques have become popular tools to solve nontrivial problems in the field of adaptive control. Specifically, the stability of adaptive control laws in the presence of actuator dynamics remains as an important open control problem. In this thesis, we present a linear matrix inequalities-based hedging approach and evaluate it for model reference adaptive control of an uncertain dynamical system in the presence of actuator dynamics. The ideal reference dynamics are modified such that the hedging approach allows the correct adaptation without being hindered by the presence of actuator dynamics. The hedging approach is first …

Unique Characterization Of Materials With Memory, John Murrough Golden

Articles

In general, materials with linear memory constitutive relations are characterized by a relaxation function. This leads to a situation where the free energy for most materials with memory is not unique. There is a convex set of free energy functionals with a minimum and a maximum element. An alternative procedure is proposed which characterizes a material by the kernel of the rate of dissipation functional. Using some recent results, we find that a unique free energy and relaxation function may then be deduced. An example is given for discrete spectrum materials. Also, the new results are used to show that …

Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki’s dynamic epistemic logic, and enjoys Belnap-style cut …

Geometric Deformations Of Sodalite Frameworks, Ciprian Borcea, Ileana Streinu

Computer Science: Faculty Publications

In mathematical crystallography and computational materials science, it is important to infer flexibility properties of framework materials from their geometric representation. We study combinatorial, geometric and kinematic properties for frameworks modeled on sodalite.

Applying Dijkstra Algorithm For Solving Neutrosophic Shortest Path Problem, Florentin Smarandache, Luige Vladareanu, Said Broumi, Assia Bakali, Muhammad Akram

Branch Mathematics and Statistics Faculty and Staff Publications

The selection of shortest path problem is one the classic problems in graph theory. In literature, many algorithms have been developed to provide a solution for shortest path problem in a network. One of common algorithms in solving shortest path problem is Dijkstra’s algorithm. In this paper, Dijkstra’s algorithm has been redesigned to handle the case in which most of parameters of a network are uncertain and given in terms of neutrosophic numbers. Finally, a numerical example is given to explain the proposed algorithm.

Combining Interval And Probabilistic Uncertainty In Engineering Applications, Andrew Martin Pownuk

Open Access Theses & Dissertations

In many practical application, we process measurement results and expert estimates. Measurements and expert estimates are never absolutely accurate, their result are slightly different from the actual (unknown) values of the corresponding quantities. It is therefore desirable to analyze how this measurement and estimation inaccuracy affects the results of data processing. There exist numerous methods for estimating the accuracy of the results of data processing under different models of measurement and estimation inaccuracies: probabilistic, interval, and fuzzy. To be useful in engineering applications, these methods should provide accurate estimate for the resulting uncertainty, should not take too much computation time, …

A Hierarchical Statistical Engineering Modeling Methodology, Teddy Steven Cotter

Engineering Management & Systems Engineering Faculty Publications

In the ASEM-IAC 2015, Cotter (2015) proposed a systemic joint deterministic-stochastic dynamic causal Bayesian statistical engineering model that addressed the knowledge gap needed to integrate deterministic mathematical engineering models within a stochastic framework. However, Cotter did not specify the modeling methodology through which statistical engineering models could be developed, diagnosed, and applied to predict systemic mission performance. This paper updates research into the development a hierarchical statistical engineering modeling methodology and sets forth the initial theoretical foundation for the methodology.

Science Is Helpful For Engineering Applications: A Theoretical Explanation Of An Empirical Observation, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Empirical evidence shows that when engineering design uses scientific analysis, we usually get a much better performance that for the system designed by using a trial-and-error engineering approach. In this paper, we provide a quantitative explanation for this empirical observation.

Filters And Matrix Factorization, Myung-Sin Song, Palle E. T. Jorgensen

SIUE Faculty Research, Scholarship, and Creative Activity

We give a number of explicit matrix-algorithms for analysis/synthesis

in multi-phase filtering; i.e., the operation on discrete-time signals which

allow a separation into frequency-band components, one for each of the

ranges of bands, say N , starting with low-pass, and then corresponding

filtering in the other band-ranges. If there are N bands, the individual

filters will be combined into a single matrix action; so a representation of

the combined operation on all N bands by an N x N matrix, where the

corresponding matrix-entries are periodic functions; or their extensions to

functions of a complex variable. Hence our setting entails …

Ua66 Ogden College Of Science & Engineering Newsletter, Cheryl Stevens, Dean

Ogden College of Science & Engineering Publications

No abstract provided.

Global Optimized Isothermal And Nonlinear Models Of Earth’S Standard Atmosphere, Nihad E. Daidzic, Ph.D.,

International Journal of Aviation, Aeronautics, and Aerospace

Both, a global isothermal temperature model and a nonlinear quadratic temperature model of the ISA was developed and presented here. Constrained optimization techniques in conjunction with the least-square-root approximations were used to design best-fit isothermal models for ISA pressure and density changes up to 47 geopotential km for NLPAM, and 86 orthometric km for ISOAM respectively. The mass of the dry atmosphere and the relevant fractional-mass scale heights have been computed utilizing the very accurate eight-point Gauss-Legendre numerical quadrature for both ISOAM and NLPAM. Both, the ISOAM and the NLPAM represent viable alternatives to ISA in many practical applications and …

Section Abstracts: Astronomy, Mathematics And Physics With Material Science

Virginia Journal of Science

Abstracts of the Astronomy, Mathematics, and Physics with Material Science Section for the 93rd Annual Meeting of the Virginia Academy of Science, May 21-23, 2015, James Madison University, Richmond, Virginia

Ua66 Ogden College Of Science & Engineering Newsletter, Cheryl Stevens, Dean

Ogden College of Science & Engineering Publications

No abstract provided.

Development Of A Tridimensional Measuring Application For Ipads, Michael Casebolt, Nicolas Kouatli, Jack Mullen

Computer Science and Software Engineering

In today’s fast-paced distribution centers workers and management alike are constantly searching for the quickest and most efficient way to package items for distribution. Even with the advancement of app-oriented solutions to a variety of problems across many industries there is a distinct unmet need in distribution environments for an application capable of increasing the efficiency and accuracy of packaging items. This senior project focused on the development and testing of an application utilizing the Structure Three Dimensional Sensor and a 4th generation iPad to scan an object or group of objects to be packaged and determine the overall dimensions …