Open Access. Powered by Scholars. Published by Universities.®

Other Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

PDF

2014

Engineering

Articles 1 - 10 of 10

Full-Text Articles in Other Mathematics

A Game-Theoretic Analysis Of The Nuclear Non-Proliferation Treaty, Peter Revesz Nov 2014

A Game-Theoretic Analysis Of The Nuclear Non-Proliferation Treaty, Peter Revesz

CSE Conference and Workshop Papers

Although nuclear non-proliferation is an almost universal human desire, in practice, the negotiated treaties appear unable to prevent the steady growth of the number of states that have nuclear weapons. We propose a computational model for understanding the complex issues behind nuclear arms negotiations, the motivations of various states to enter a nuclear weapons program and the ways to diffuse crisis situations.

Go to article

Termodynamika Procesowa I Techniczna Lab., Wojciech M. Budzianowski Jan 2014

Termodynamika Procesowa I Techniczna Lab., Wojciech M. Budzianowski

Wojciech Budzianowski

No abstract provided.

Go to article

Tematyka Prac Dyplomowych Dla Studentów Wydziału Mechaniczno-Energetycznego Pwr., Wojciech M. Budzianowski Jan 2014

Tematyka Prac Dyplomowych Dla Studentów Wydziału Mechaniczno-Energetycznego Pwr., Wojciech M. Budzianowski

Wojciech Budzianowski

No abstract provided.

Go to article

Tematyka Prac Dyplomowych Dla Studentów Wydziału Chemicznego Pwr., Wojciech M. Budzianowski Jan 2014

Tematyka Prac Dyplomowych Dla Studentów Wydziału Chemicznego Pwr., Wojciech M. Budzianowski

Wojciech Budzianowski

No abstract provided.

Go to article

Mechanika Płynów Lab., Wojciech M. Budzianowski Jan 2014

Mechanika Płynów Lab., Wojciech M. Budzianowski

Wojciech Budzianowski

No abstract provided.

Go to article

Evolution Of Perturbations In Flow Field Mechanics, Samantha R. Bell, David Forliti, Nils Sedano, Kriss Vanderhyde Jan 2014

Evolution Of Perturbations In Flow Field Mechanics, Samantha R. Bell, David Forliti, Nils Sedano, Kriss Vanderhyde

STAR Program Research Presentations

This project explores the stability analysis of a given flow field. Specifically, where the peak disturbance occurs in a flow as this is the disturbance that is most likely to occur. In rocket combustion, it is important to understand where the maximum disturbance occurs so that the mixing of fuel can be stabilized. The instabilities are the results of frequencies in the area surrounding the flow field. The linear stability governing equations are employed to better understand the disturbance. The governing equations for continuity and momentum in the x and y directions are used to form an equation for the …

Go to article

A Mathematical Framework For Unmanned Aerial Vehicle Obstacle Avoidance, Sorathan Chaturapruek Jan 2014

A Mathematical Framework For Unmanned Aerial Vehicle Obstacle Avoidance, Sorathan Chaturapruek

HMC Senior Theses

The obstacle avoidance navigation problem for Unmanned Aerial Vehicles (UAVs) is a very challenging problem. It lies at the intersection of many fields such as probability, differential geometry, optimal control, and robotics. We build a mathematical framework to solve this problem for quadrotors using both a theoretical approach through a Hamiltonian system and a machine learning approach that learns from human sub-experts' multiple demonstrations in obstacle avoidance. Prior research on the machine learning approach uses an algorithm that does not incorporate geometry. We have developed tools to solve and test the obstacle avoidance problem through mathematics.

Go to article

A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić Jan 2014

A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural …

Go to article

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

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.

Go to article

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

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.

Go to article