Computational Engineering Commons^™

Systematic Model-Based Design Assurance And Property-Based Fault Injection For Safety Critical Digital Systems, Athira Varma Jayakumar

Theses and Dissertations

With advances in sensing, wireless communications, computing, control, and automation technologies, we are witnessing the rapid uptake of Cyber-Physical Systems across many applications including connected vehicles, healthcare, energy, manufacturing, smart homes etc. Many of these applications are safety-critical in nature and they depend on the correct and safe execution of software and hardware that are intrinsically subject to faults. These faults can be design faults (Software Faults, Specification faults, etc.) or physically occurring faults (hardware failures, Single-event-upsets, etc.). Both types of faults must be addressed during the design and development of these critical systems. Several safety-critical industries have widely adopted …

Zechipc: Time Series Interpolation Method Based On Lebesgue Sampling, Luis Miralles-Pechuán, Muhammad Atif Qureshi, Matthieu Bellucci, Brian Mac Namee

Books/Book Chapters

In this paper, we present an interpolation method based on Lebesgue sampling that could help to develop systems based time series more efficiently. Our methods can transmit times series, frequently used in health monitoring, with the same level of accuracy but using much fewer data. Our method is based in Lebesgue sampling, which collects information depending on the values of the signal (e.g. the signal output is sampled when it crosses specific limits). Lebesgue sampling contains additional information about the shape of the signal in-between two sampled points. Using this information would allow generating an interpolated signal closer to the …

Quantitative Performance Assessment Of Lidar-Based Vehicle Contour Estimation Algorithms For Integrated Vehicle Safety Applications, David M. Mothershed

College of Graduate Studies: Theses & Dissertations

Many nations and organizations are committing to achieving the goal of `Vision Zero' and eliminate road traffic related deaths around the world. Industry continues to develop integrated safety systems to make vehicles safer, smarter and more capable in safety critical scenarios. Passive safety systems are now focusing on pre-crash deployment of restraint systems to better protect vehicle passengers. Current commonly used bounding box methods for shape estimation of crash partners lack the fidelity required for edge case collision detection and advanced crash modeling. This research presents a novel algorithm for robust and accurate contour estimation of opposing vehicles. The presented …

Attitudes Towards Teaching Computational Thinking And Computer Science: Insights From Educator Interviews And Focus Groups, Jorge Valenzuela

Journal of Computer Science Integration

In the last three years, integration of both computational thinking (CT) and computer science (CS) into K-12 instruction has become a focus of many schools throughout the Commonwealth of Virginia and the United States. With this new widespread demand, educational leaders and educators are focusing efforts on understanding the core concepts and practices of CT and CS, looking for logical connections for integrating across curriculum, and seeking strategies for implementing a wide variety of educational technology tools (apps and devices). This phenomenological research study was designed to gather depth information from 14 K-16 educators through both semi-structured interviews and two …

Stock Price Using Domain Specific Lexicons, Zane Turner

Computer Science and Computer Engineering Undergraduate Honors Theses

Sentiment analysis is a broad and expanding field that aims to extract and classifying opinions from textual data. Lexicon-based approaches are based on using a sentiment lexicon, a list of words each mapped to a sentiment score, to rate the sentiment of a text chunk. Our work focuses on predicting stock price change using a sentiment lexicon built from financial conference call logs. We introduce a method to generate a sentiment lexicon based upon an existing probabilistic approach. By using a domain-specific lexicon, we outperform traditional techniques and demonstrate that domain-specific sentiment lexicons provide higher accuracy than generic sentiment lexicons …

Bitcoin Price Prediction Using Neural Networks, Vladislav Killiakov

Electrical Engineering

In this project, I will investigate the performance of several major neural network architectures for the task of Bitcoin price prediction. Bitcoin is a cryptocurrency that is recently becoming increasingly more popular, and more widely adopted as a financial instrument. As a result, more efforts have been made in the past several years to model and predict its price. However, to this moment a large portion of work on Bitcoin price modeling was done using statistical or classical machine learning techniques. At the same time, other artificial intelligence based prediction techniques, and specifically neural networks, have not been explored to …

A Cfd Study On The Performance Of High Speed Planing Hulls, Mowgli J. Crosby

Masters Theses

Most high speed water craft are able to achieve high speeds through the use of a planing hull. Planing hulls use hydrodynamic forces to lift a portion of the vessel out of the water, reducing drag, and allowing for greater speeds. Determining the flow around such vessels is traditionally achieved using a scale model in a tow tank. The purpose of this study was to analyze the performance of a high speed planing hull determine the effects of several geometric features using computational fluid dynamics rather than traditional experimentation. The goal was to determine the best configuration to ensure the …

Synthesis And Applications Of Hematite Α-Fe2o3 : A Review, Muhamad Muhajir, Poppy Puspitasari, Jeefferie Abdul Razak

Journal of Mechanical Engineering Science and Technology (JMEST)

This article reviewed the hematite α-Fe2O3. It focuses on its material properties, nanostructures, synthesis techniques, and its numerous applications. Researchers prepared the hematite nanostructure using the synthesis methods such as hydrothermal, and, further, enhanced it by improving the techniques to accommodate the best performance for specific applications and to explore new applications of hematite in humidity sensing.

Failure Analysis On Titen Proto-Xx Car Chassis, Gaguk Jatisukamto, Rika Dwi Hidayatul Qoryah, Santoso Mulyadi

Journal of Mechanical Engineering Science and Technology (JMEST)

The car chassis as a skeleton supports all loads and is the most important component. Car chassis requirements must be rigid, twisting resistant, vibration resistant and resistant to fatigue. This study aims to find the cause of the failure of the Titen Proto-XX car chassis connection. The research methodology was conducted by testing the composition of materials and structural analysis using Ansys Workbench Release 15.0 software. The conclusion of the research is that the skeletal structure material uses Aluminum AA series 1XXX with Al content greater than 99.5%, the welding ability is low, causing a failure in the welded joint. …

The Effect Of Chlorophyll Concentration From Papaya Leaves On The Performance Of Dye-Sensitized Solar Cell, Dede Rizali, Heru Suryanto, Sukarni Sukarni

Journal of Mechanical Engineering Science and Technology (JMEST)

Dye-Sensitized Solar Cell (DSSC) is the third generation solar cell that has sandwich structure consisted of organic dye material and other components such as titanium dioxide (TiO2) semiconductor, electrolyte, and substrates (counter electrode and working electrode). The dye in the device was made from green plant chlorophyll such as papaya. This research aimed to find the influence of dye concentration from papaya leaves chlorophyll on the performance of DSCC. The discussion covered the output power (Pout), Fill Factor (FF), and efficiency (ɳ). The method in this research was explorative experimental with independent variables such as direct and indirect sunlight. The …

The Flame Characteristics Of Diesel Fuel Blend With Kepuh (Sterculia Foetida) Biodiesel, Dani Hari Tunggal Prasetiyo, Nasrul Ilminnafik, Salahuddin Junus

Journal of Mechanical Engineering Science and Technology (JMEST)

Kepuh biodiesel fuel (sterculia foetida) is an alternative fuel that can be used to replace fossil fuel. Diesel fuel is performed to determine the laminar burning velocity and high flame by adding biodiesel kepuh volume of 10%, 20%, 30%. The purpose of this study was to study the effect of biodiesel and the effect of bunsen burners on the laminar burning velocity and flame height. Bunsen burner is made of copper and stainless steel. Testing of flame characteristics was carried out by heating the mixture of fuel and air at a temperature of 200°C. The purpose of heating the air …

Critical Solid Fraction Point Analysis: Case Study On Cement Mill Machine Diaphragm, Mochamad Achyarsyah, Poppy Puspitasari

Journal of Mechanical Engineering Science and Technology (JMEST)

During the solidification process, metal liquids turn into solid geometry units including the riser and gating system. The disruption in the liquid flow often causes shrinkage in the object. Critical Solid Fraction Point is a critical point where the continuous liquid supply turned solid and unable to pour to some sections. Simulation software can predict the critical solid fraction time of an object and the liquid supply behavior. The simulation helps the designer in the casting design. The application of low steel alloys in the cement industry, e.g., the Diaphragm, needs development to minimize the shrinkage. This research aimed to …

Characteristic Analysis Of Horizontal Axis Wind Turbine Using Airfoil Naca 4712, Bili Darnanto Susilo, Gaguk Jatisukamto, Nurkoyim Kustanto

Journal of Mechanical Engineering Science and Technology (JMEST)

Wind energy has been developed and used as a source of electrical energy by converting wind energy into electrical energy using a generator. There are some wind turbine parameters that important for wind turbines design and model, includes the size of the rotor radius, airfoil selection, chord length, and pitch angle. The study aims to characterize the performance of a horizontal axis wind turbine using computational methods. The methods used a design and simulation of NACA 4412 and NACA 4712 airfoil using QBlade software using wind conditions in the region of Pancer, Jember. Results show that the maximum Cl value …

Molecular Dynamics Simulations Of Interaction Of Dna Nucleotides And Lignin Oligomers With Small Molecules And Interfaces, Xinjie Tong

LSU Doctoral Dissertations

Molecular dynamics (MD) simulations of interaction of DNA nucleotides with self-assembled monolayers (SAMs) provide valuable information that is critical to the development of a new DNA sequencing technique. We investigated the interactions and transport characteristics of mononucleotides moving through nanoslits with SAMs-covered surfaces. Our simulations focused on nanoslits in which the walls were composed of three different types of SAMs: methylformyl terminated, methyl terminated, and phenoxy terminated. The results demonstrated that the phenoxy terminated surfaces have the shortest required nanoslits length for nucleotides separation.

Using MD simulations, we also investigated the interaction of mono-lignin and oligo-lignols with lipid bilayers and …

Cyber Metaphors And Cyber Goals: Lessons From “Flatland”, Pierre Trepagnier

Military Cyber Affairs

Reasoning about complex and abstract ideas is greatly influenced by the choice of metaphors through which they are represented. In this paper we consider the framing effect in military doctrine of considering cyberspace as a domain of action, parallel to the traditional domains of land, sea, air, and space. By means of the well-known Victorian science-fiction novella Flatland, we offer a critique of this dominant cyber metaphor. In Flatland, the problems of lower-dimensional beings comprehending additional dimensions are explored at some length. Inspired by Flatland, our suggested alternate metaphor for cyber is an additional (fourth) dimension. We …

Data-Driven Predictive Maintenance Scheduling Policies For Railways, Pedro Cesar Lopes Gerum, Ayca Altay, Melike Baykal-Gürsoy

Supply Chain Management

Inspection and maintenance activities are essential to preserving safety and cost-effectiveness in railways. However, the stochastic nature of railway defect occurrence is usually ignored in literature; instead, defect stochasticity is considered independently of maintenance scheduling. This study presents a new approach to predict rail and geometry defects that relies on easy-to-obtain data and integrates prediction with inspection and maintenance scheduling activities. In the proposed approach, a novel use of risk-averse and hybrid prediction methodology controls the underestimation of defects. Then, a discounted Markov decision process model utilizes these predictions to determine optimal inspection and maintenance scheduling policies. Furthermore, in the …

Size Matters: The Impact Of Training Size In Taxonomically-Enriched Word Embeddings, Alfredo Maldonado, Filip Klubicka, John D. Kelleher

Articles

Word embeddings trained on natural corpora (e.g., newspaper collections, Wikipedia or the Web) excel in capturing thematic similarity (“topical relatedness”) on word pairs such as ‘coffee’ and ‘cup’ or ’bus’ and ‘road’. However, they are less successful on pairs showing taxonomic similarity, like ‘cup’ and ‘mug’ (near synonyms) or ‘bus’ and ‘train’ (types of public transport). Moreover, purely taxonomy-based embeddings (e.g. those trained on a random-walk of WordNet’s structure) outperform natural-corpus embeddings in taxonomic similarity but underperform them in thematic similarity. Previous work suggests that performance gains in both types of similarity can be achieved by enriching natural-corpus embeddings with …

Generalized Relay Network Design And Collaborative Dispatching In Truckload Transportation, Amin Ziaeifar

Operations Research and Engineering Management Theses and Dissertations

The truckload industry faces a serious problem of high driver shortage and turnover rate which is typically around 100\%. Among the major causes of this problem are extended on-the-road times where drivers handle several truckload pickup and deliveries successively; non-regular schedules and get-home rates; and low utilization of drivers dedicated time. These are by-and-large consequences of the driver-to-load dispatching method, which is based on point-to-point dispatching or direct shipment from origin-to-destination, commonly employed in the industry. In this dissertation, we consider an alternative dispatching method that necessitates careful design of an underlying network. In this scheme, a truckload on its …

A Cfd Study Of Steady Fully Developed Laminar Flow Through A 90-Degree Bend Pipe With A Square Cross-Sectional Area, Subodh Sushant Toraskar

Mechanical & Aerospace Engineering Theses & Dissertations

Fluid flow through a closed curved conduit has always been a topic of extensive research, as it has many practical and industrial applications. The flow is generally characterized by a presence of secondary flow, vortical motions and pressure losses for different flow regimes. These observed irregularities may positively or negatively impact the flow. They are beneficial for cases where mixing of fluids is required, usually observed for multiphase flow regimes or detrimental for cases involving particles in the fluid. There are also instances where a particle-laden fluid transported through the curved pipe was directly related to corrosion- erosion related problems. …

Gesture Based Control Of Semi-Autonomous Vehicles, Brian Sanders

Computational Modeling & Simulation Engineering Theses & Dissertations

The objective of this investigation is to explore the use of hand gestures to control semi-autonomous vehicles, such as quadcopters, using realistic, physics based simulations. This involves identifying natural gestures to control basic functions of a vehicle, such as maneuvering and onboard equipment operation, and building simulations using the Unity game engine to investigate preferred use of those gestures. In addition to creating a realistic operating experience, human factors associated with limitations on physical hand motion and information management are also considered in the simulation development process. Testing with external participants using a recreational quadcopter simulation built in Unity was …