Engineering Commons^™

Proving Non-Deterministic Computations In Agda, Sergio Antoy, Michael Hanus, Steven Libby

Computer Science Faculty Publications and Presentations

We investigate proving properties of Curry programs using Agda. First, we address the functional correctness of Curry functions that, apart from some syntactic and semantic differences, are in the intersection of the two languages. Second, we use Agda to model non-deterministic functions with two distinct and competitive approaches incorporating the non-determinism. The first approach eliminates non-determinism by considering the set of all non-deterministic values produced by an application. The second approach encodes every non-deterministic choice that the application could perform. We consider our initial experiment a success. Although proving properties of programs is a notoriously difficult task, the functional logic …

Variable Structure Feedback Control With Application To Spacecraft With Small Thrust Propulsion Systems, Samuel J. Kitchen-Mckinley

Doctoral Dissertations and Master's Theses

Small spacecrafts requiring small propulsion systems are becoming more popular for low Earth orbit. It is important for these research satellites to have accurate guidance and control systems. Small propulsion systems will also be beneficial for multiple small spacecrafts used future exploration expeditions beyond low Earth orbit. These small spacecrafts benefit from the simplicity of low thrust cold gas propulsion systems. Additionally, large spacecrafts using low thrust, high specific impulse propellants for main propulsion systems, such as ion engines, allow longer and more flexible missions, including Earth orbiting spacecraft and interplanetary spacecraft.

In order to extend the life of future …

Indoor Mapping Drone, Benjamin J. Plevny, Andrew Armstrong, Miguel Lopez, Davidson Okpara

Williams Honors College, Honors Research Projects

This project addresses the need for an autonomous indoor mapping system that will create a 3D map of an unknown physical environment in real time. The aerial system moves and avoids obstacles autonomously, without the need for human remote control or observation. An aerial system produces a map of an unknown indoor environment by transmitting data received from the aerial device’s sensors. The transmission occurs over a wireless channel from the aerial device to a remote server for processing and storage of the data. As the transmission is done in real time, the aerial system does not require hardware for …

Controlled Humidity Chambers To Maintain Red Roses’ Freshness And Improve Their Shelf Life, Rima Vasudevan

Williams Honors College, Honors Research Projects

Floriculture is the third largest agricultural crop in the United States of America. Flowers are usually transported in pots of mud or with the roots still submerged in water to increase their shelf life and ensure freshness during long hours of transport. This not only increases the weight of the transport materials but also makes the process expensive.

The research conducted provides the first stages of an alternative packaging material that can lower the weight of transport materials and maintain the freshness of the flowers. The experiments conducted in this work support the hypothesis that using controlled high (>60%) …

Development Of Self-Sensing Carbon Nanotube-Based Composites For Civil Infrastructure Applications, Thomas Schumacher, Erik T. Thostenson

Civil and Environmental Engineering Faculty Publications and Presentations

Presented at the 5th International Symposium on Sensor Science (I3S 2017), Barcelona, Spain, 27–29 September 2017.

Worldwide, civil infrastructure systems are aging and deteriorating due to maintenance neglect, increasing traffic, and an environment that is becoming increasingly more severe. In particular, bridges play a critical role in the transportation network. With limited monies available for maintenance and repair, a need exists for effective yet inexpensive solutions to strengthen and monitor bridges. This presentation provides an overview of the development of carbon nanotube (CNT)-based composites, which offer a means to strengthen and monitor a deteriorated bridge member simultaneously. CNT sensors are …

Coates Family Collection, Zach S. Henderson Library Special Collections

Finding Aids

Spanning 1988-2020, the collection highlights the life, career and personal interests of Dr. Basil L. Coates, former faculty member of Mechanical Engineering at Georgia Southern University. Materials also reference Dr. Coates’ wife and fellow faculty member, Kay G. Coates, as well as their shared travels and research.

Find this collection in the University Library's Catalog

Percy H. Perkins, Jr. Architectural Drawings, Zach S. Henderson Library Special Collections

Finding Aids

This collection consists of materials relating to author and gemologist Percy H. Perkins. Materials span 1923 to 1985, and consist of architecture drawings for various significant buildings in southeast Georgia, including a six room schoolhouse in Claxton, GA, Pembroke State Bank, the Stadium & Athletic Field for Morris Brown College, the Women's Dormitory School for Officers’ Training at The Salvation Army Headquarters, Bacon County Elementary School, Claxton High School, and Evans County Training School.

Find this collection in the University Libraries' catalog.

Resilience In Ecotoxicology: Toward A Multiple Equilibrium Concept, Mirco Bundschuh, Ralf Schulz, Ralf B. Schäfer, Craig R. Allen, David G. Angeler

School of Natural Resources: Faculty Publications

The term resilience describes stress-response patterns across scientific disciplines. In ecology, advances have been made to clearly define resilience based on underlying mechanistic assumptions. Engineering resilience (rebound) is used to describe the ability of organisms to recover from adverse conditions (disturbances), which is termed the rate of recovery. By contrast, the ecological resilience definition considers a systemic change, that is, when ecosystems reorganize into a new regime following disturbance. Under this new regime, structural and functional aspects change considerably relative to the previous regime, without recovery. In this context, resilience is an emergent property of complex systems. In the present …

A Study Of Copper And Aluminum Incorporated Chromium Oxide Core-Shell Magnetic Nanoparticles, Tamzid Ibn Minhaj

MSU Graduate Theses

The structural and magnetic properties of copper (Cu) and aluminum (Al) -incorporated chromium oxide (α-Cr₂O₃, i.e., chromia) inverted core-shell nanoparticles (CSNs) were investigated. The objectives of this study were to determine the role of the substituting (for chromium, Cr) element and of Cu concentration on governing the magnetic properties of the CSNs. For synthesis of the CSNs, α-Cr₂O₃ nanoparticles were first grown using microwave assisted synthesis whereupon a hydrothermal nanophase epitaxy (HNE) method was used to incorporate Cu or Al in the chromia-based shell of the nanoparticles. The morphology, structure and size characteristics …

From Gd2o3suspension To Nanocomposite: Synthesis, Properties And Radiation Protection, Ly B. T. La

Theses: Doctorates and Masters

This study provides details for the design, preparation of an environmentally friendly, clinically safe and lightweight radiation protective shield made ofGd2O3/epoxy nanocomposite (Gd-nanocomposite) which is proposed as an alternative to traditional toxic lead (Pb)-based aprons for diagnostic X-ray protection. In theory, this particulate nanocomposite can possess significant features of both inorganic particles and organic polymeric matrices. However, in practice, its performance does not simply depend on the sum of the individual contributions of characteristics of the constituent phases but on the interaction of their inner interfaces and the homogeneous dispersion of inorganic particles in the polymer matrix.

The miniaturization of …

A Proposed Method Of Correcting The Construction Entries In The 2006 Philippine Input-Output Table, Albert E. Lamberte, Krista Danielle Yu, Caesar Cororation

Angelo King Institute for Economic and Business Studies (AKI)

The construction of national input-output (IO) tables follows internationally acceptable standards such as the United Nations Systems of National Accounts (UN SNA) and European System of Accounts (ESA). These standards are used to ensure tractability and coherence between country tables. The 2006 Philippine IO table published by the Philippine Statistics Authority (PSA) assumes that the construction sector does not provide any input to the production of output for any economic sector. With the booming infrastructure development in the Philippines, this assumption that intermediate demand for construction output has a value of zero is unreasonable. This study proposes a corrective approach …

Skintronics: Wireless, Skin-Wearable Electronics For Monitoring Of Electrocardiogram, Matthew B. Piper, Woon-Hong Yeo, Yongkuk Lee

Undergraduate Research Posters

The ECGs I micro-fabricate are designed to be flexible, stretchable and wireless circuits that can be applied to the skin directly. The device is encased in a conformal, silicon-like substrate, that allows the ECG to be attached with the electrodes. Each electrode has been previously measured and verified that it will be correctly placed for an accurate reading. Prototyping this ECG/electrode device allows the user to mount the prototype directly to the patient without having to attach and wire ten other electrodes. This prototype solves the issue that comes about when a doctor, nurse or emergency medical technician must attach …

Minimization Of Quantum Circuits Using Quantum Operator Forms, Martin Lukac, Michitaka Kameyama, Marek Perkowski, Pawel Kerntopf

Electrical and Computer Engineering Faculty Publications and Presentations

In this paper we present a method for minimizing reversible quantum circuits using the Quantum Operator Form (QOF); a new representation of quantum circuit and of quantum-realized reversible circuits based on the CNOT, CV and CV† quantum gates. The proposed form is a quantum extension to the well known Reed-Muller but unlike the Reed-Muller form, the QOF allows the usage of different quantum gates. Therefore QOF permits minimization of quantum circuits by using properties of different gates than only the multi-control Toffoli gates. We introduce a set of minimization rules and a pseudo-algorithm that can be used to design circuits …

Dft Study On The Li Mobility In Li-Ion-Based Solid-State Electrolytes, Shafiqul Islam

MSU Graduate Theses

I have investigated the diffusion mechanisms of Li-ion in amorphous lithium phosphite (LiPO₃) with addition of sulphur. By applying the nudge elastic band (NEB) method in crystal LiPO₃ and Li₃PO₄, I confirmed the easing of diffusion pathways for Li ion in LiPO₃ which is consistent with the previous theoretical finding[1]. From the diffusion study in 0.5 Li₂O- 0.5 P₂O₅ and 0.4 Li₂SO₄ – 0.6 (Li₂O-P₂O₅) melts above 3000K performed with ab-initio molecular dynamics (AIMD), produces identical outcome as …

Study Of Nano-Bio Interfaces In Nano-Bio Conjugates: Nanoparticles Of Zinc Oxide (Zno) And Biomolecules Of Glucose, Cytosine, And Thymine, Bithi Paul

MSU Graduate Theses

Nano conjugates, composites of inorganic nanomaterials and bio molecules such as DNA, RNA and proteins, establish a sequence of wide varieties of nano-bio boundaries. The formation of these boundaries strongly depends on bio physicochemical reaction of biomolecules coated on the surface of nanomaterials. I am investigating various nano-bio conjugates consisting of zinc oxide (ZnO) nanoparticles with simple biomolecules including glucose and the nitrogenous bases of DNA such as cytosine and thymine. All nano-bio conjugates were fabricated using a standard bio-chemical synthesis process. Structural, physical, bio-chemical interface properties of nano-bio composites were probed using X-ray diffraction (XRD), Raman spectroscopy, and photoluminescence …

A Holistic Approach To Managing Microalgae For Biofuel Applications, Pau Loke Show

Pau Loke Show

No abstract provided.

Bonus.Jpg, Judi Poker Online

judi poker online

Autopath: Harnessing Parallel Execution Paths For Efficient Resource Allocation In Multi-Stage Big Data Frameworks, Han Gao, Zhengyu Yang, Janki Bhimani, Teng Wang, Jiayin Wang, Ningfang Mi, Bo Sheng

Zhengyu Yang

Analytical Model Of Sic Mosfet For Accurately Predicting The Switching Performance, Mei Liang

Kang Peng

No abstract provided.

Finite Element Simulation Of Prevention Thermal Cracking In Mass Concrete, Juncai Xu, Zhengzhong Shen, Song Yang, Xin Xie, Zhengyu Yang

Zhengyu Yang

Fim: Performance Prediction For Parallel Computation In Iterative Data Processing Applications, Janki Bhimani, Ningfang Mi, Miriam Leeser, Zhengyu Yang

Zhengyu Yang

Ea2s2: An Efficient Application-Aware Storage System For Big Data Processing In Heterogeneous Clusters, Teng Wang, Jiayin Wang, Son Nam Nguyen, Zhengyu Yang, Ningfang Mi, Bo Sheng

Zhengyu Yang

Accelerating Big Data Applications Using Lightweight Virtualization Framework On Enterprise Cloud, Janki Bhimani, Zhengyu Yang, Miriam Leeser, Ningfang Mi

Zhengyu Yang

Enhancing Ssds With Multi-Stream: What? Why? How?, Janki Bhimani, Jingpei Yang, Zhengyu Yang, Ningfang Mi, N. H. V. Krishna Giri, Rajinikanth Pandurangan, Changho Choi, Vijay Balakrishnan

Zhengyu Yang

Seina: A Stealthy And Effective Internal Attack In Hadoop Systems, Jiayin Wang, Teng Wang, Zhengyu Yang, Ying Mao, Ningfang Mi, Bo Sheng

Zhengyu Yang

Forecasting Mbt Technologies Using Dea And Lr, Yonghee Cho, Timothy R. Anderson

Joseph Cho

Comparing Caenorhabditis Elegans Gentle And Harsh Touch Response Behavior Using A Multiplexed Hydraulic Microfluidic Device, Patrick D. Mcclanahan, Joyce Xu, Christopher Fang-Yen

Christopher Fang-Yen

An Algorithm For Non-Steady Thermal Dynamics Finite Element Simulation And Differential Evolution, Juncai Xu, Zhenzhong Shen, Qingwen Ren, Xin Xie, Zhengyu Yang

Zhengyu Yang

Ri56.Pdf, João F. Gomes

João F Gomes

No abstract provided.

Calcium Rich Food Wastes Based Catalysts For Biodiesel Production, João F. Gomes

João F Gomes

No abstract provided.