The Electoral College, the current electoral system in the U.S., operates on a Winner-Take-All or First Past the Post (FPTP) principle, where the candidate with the most votes wins. Despite the Electoral College being the current system, it is problematic. According to Lani Guinier in Tyranny of the Majority, “the winner-take-all principle invariably wastes some votes” (121). This means that the majority group gets all of the power in an election while the votes of the minority groups are completely wasted and hold little to no significance. Additionally, FPTP systems reinforce a two-party system in which neither candidate could satisfy the majority of the electorate’s needs and issues, yet forces them to choose between the two dominant parties. Moreover, voting for a third party candidate only hurts the voter since it takes votes away from the party they might otherwise support and gives the victory to the party they prefer the least, ensuring that the two party system is inescapable. Therefore, a winner-take-all system does not provide the electorate with fair or proportional representation and creates voter disenfranchisement: it offers them very few choices that appeal to their needs and forces them to choose a candidate they dislike. There are, however, alternative voting systems that remedy these issues, such as a Ranked voting system, in which voters can rank their candidate choices in the order they prefer them, or a Proportional voting system, in which a political party acquires a number of seats based on the proportion of votes they receive from the voter base. Given these alternatives, we will implement a software simulation of one of these systems to demonstrate how they work in contrast to FPTP systems, and therefore provide evidence of how these alternative systems could work in practice and in place of the current electoral system.

Partisan politics has created an increasingly polarized political climate in the United States. Despite the divisive political climate, women’s representation in politics has also increased drastically over the years. I began this project to see if there is a partisan rivalry between women in politics or a sense of shared “womanhood.” This thesis explores the role political parties play for women in office by examining how they vote on bills, what type of bills they propose, and whether or not they work collaboratively with their female counterparts at the Arizona State Legislature. My main goals for this project are to see how strong or weak political parties are in shaping political behavior at the Arizona State Legislature and to determine if there is a sense of “womanhood” despite different political affiliations. I also explore the role party affiliation plays within women legislators at the Arizona State Legislature.

System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.

CubeSats can encounter a myriad of difficulties in space like cosmic rays, temperature<br/>issues, and loss of control. By creating better, more reliable software, these problems can be<br/>mitigated and increase the chance of success for the mission. This research sets out to answer the<br/>question: how do we create reliable flight software for CubeSats? by providing a concentrated<br/>list of the best flight software development practices. The CubeSat used in this research is the<br/>Deployable Optical Receiver Aperture (DORA) CubeSat, which is a 3U CubeSat that seeks to<br/>demonstrate optical communication data rates of 1 Gbps over long distances. We present an<br/>analysis over many of the flight software development practices currently in use in the industry,<br/>from industry leads NASA, and identify three key flight software development areas of focus:<br/>memory, concurrency, and error handling. Within each of these areas, the best practices were<br/>defined for how to approach the area. These practices were also developed using experience<br/>from the creation of flight software for the DORA CubeSat in order to drive the design and<br/>testing of the system. We analyze DORA’s effectiveness in the three areas of focus, as well as<br/>discuss how following the best practices identified helped to create a more reliable flight<br/>software system for the DORA CubeSat.

Laminated composites are increasingly being used in various industries including <br/>automotive and aerospace. Under a variety of extreme loading conditions such as low and <br/>high-velocity impacts and crash, laminated composites delaminate. To understand how and<br/>when delamination occurs, two types of laboratory tests are conducted - End-notched <br/>Flexure (ENF) test and Double Cantilever Beam (DCB) test. The ENF test is designed to <br/>find the mode II interlaminar fracture toughness, and the DCB test, the mode I interlaminar <br/>fracture toughness. In this thesis, thermopressed Honeywell Spectra Shield® 5231 <br/>composite specimens made of ultra-high molecular weight polyethylene (UHMWPE), <br/>manufactured under two different pressures (3000 psi and 6000 psi), are tested in the <br/>laboratory to find its delamination properties. The test specimen preparation, experimental <br/>procedures, and data reduction to determine the mode I and mode II interlaminar fracture <br/>properties are discussed. The ENF test results show a 15.8% increase in strain energy <br/>release rate for the 6000 psi specimens when compared to the 3000 psi specimens. <br/>Conducting the DCB tests proved to be challenging due to the low compressive strength <br/>of the material and hence required modifications to the test specimens. An estimate of the <br/>mode I interlaminar fracture toughness was found for only two of the 6000 psi specimens.

"No civil discourse, no cooperation; misinformation, mistruth." These were the words of former Facebook Vice President Chamath Palihapitiya who publicly expressed his regret in a 2017 interview over his role in co-creating Facebook. Palihapitiya shared that social media is ripping apart the social fabric of society and he also sounded the alarm regarding social media’s unavoidable global impact. He is only one of social media’s countless critics. The more disturbing issue resides in the empirical evidence supporting such notions. At least 95% of adolescents own a smartphone and spend an average time of two to four hours a day on social media. Moreover, 91% of 16-24-year-olds use social media, yet youth rate Instagram, Facebook, and Twitter as the worst social media platforms. However, the social, clinical, and neurodevelopment ramifications of using social media regularly are only beginning to emerge in research. Early research findings show that social media platforms trigger anxiety, depression, low self-esteem, and other negative mental health effects. These negative mental health symptoms are commonly reported by individuals from of 18-25-years old, a unique period of human development known as emerging adulthood. Although emerging adulthood is characterized by identity exploration, unbounded optimism, and freedom from most responsibilities, it also serves as a high-risk period for the onset of most psychological disorders. Despite social media’s adverse impacts, it retains its utility as it facilitates identity exploration and virtual socialization for emerging adults. Investigating the “user-centered” design and neuroscience underlying social media platforms can help reveal, and potentially mitigate, the onset of negative mental health consequences among emerging adults. Effectively deconstructing the Facebook, Twitter, and Instagram (i.e., hereafter referred to as “The Big Three”) will require an extensive analysis into common features across platforms. A few examples of these design features include: like and reaction counters, perpetual news feeds, and omnipresent banners and notifications surrounding the user’s viewport. Such social media features are inherently designed to stimulate specific neurotransmitters and hormones such as dopamine, serotonin, and cortisol. Identifying such predacious social media features that unknowingly manipulate and highjack emerging adults’ brain chemistry will serve as a first step in mitigating the negative mental health effects of today’s social media platforms. A second concrete step will involve altering or eliminating said features by creating a social media platform that supports and even enhances mental well-being.

In recent years, immigration, especially concerning those individuals immigrating from Central America and Mexico, has become increasingly controversial. Within the last five presidents, policies concerning immigration have shifted. Under President Bill Clinton in 1997, the Flores Settlement, an agreement between immigration activist organizations and the government that created standards for detaining accompanied and unaccompanied minors was made. Following 9/11, in 2005, President George W. Bush increased the amount of money spent on immigration enforcement in an effort to deport more immigrants. President Barack Obama increased the number of deportations from President Bush during his first term. However, in 2014, an already imperfect immigration system was disrupted by an influx of child immigrants. As a result, detention centers were at capacity and unable to accommodate the increasing numbers of immigrants. Child migrants were placed in caged-areas, immigration lawyers and courts quickly became overwhelmed with cases, and children were alone and could barely communicate. This thesis explores the various relationships between accompanied and unaccompanied minors from Central America, the American legal system, and the media and broadcast news outlets’ rhetoric concerning child migrants. Focusing on the ways in which immigrant minors are objectified by the legal system and the framing of immigrants in the media, it is evident that their complex interaction allows for the oppression of the child migrants. Since the American legal system and the media influence and respond to each other, the responsibility of the child migrants’ dehumanization is on both the legal system and the rhetoric of the media and broadcast news outlets.

Over the years, advances in research have continued to decrease the size of computers from the size of<br/>a room to a small device that could fit in one’s palm. However, if an application does not require extensive<br/>computation power nor accessories such as a screen, the corresponding machine could be microscopic,<br/>only a few nanometers big. Researchers at MIT have successfully created Syncells, which are micro-<br/>scale robots with limited computation power and memory that can communicate locally to achieve<br/>complex collective tasks. In order to control these Syncells for a desired outcome, they must each run a<br/>simple distributed algorithm. As they are only capable of local communication, Syncells cannot receive<br/>commands from a control center, so their algorithms cannot be centralized. In this work, we created a<br/>distributed algorithm that each Syncell can execute so that the system of Syncells is able to find and<br/>converge to a specific target within the environment. The most direct applications of this problem are in<br/>medicine. Such a system could be used as a safer alternative to invasive surgery or could be used to treat<br/>internal bleeding or tumors. We tested and analyzed our algorithm through simulation and visualization<br/>in Python. Overall, our algorithm successfully caused the system of particles to converge on a specific<br/>target present within the environment.

Long distance travel around the globe can potentially be revolutionized with the use of an intercontinental rocket that uses low earth orbit as its medium. This transport system can increase growth in many new businesses like tourism travel between the continents. This research evaluates the technical and non-technical possibilities of using a double-stage reusable rocket, where the second stage is also a reusable, rocket-powered passenger vehicle using a low earth orbit space journey with a stabilized re-entry method that ensures passenger comfortability. A potential network of spaceports spanning the globe is postulated within a range of 4,000 km to 8,000 km(2,160 nm to 4,320 nm) of each other, and each located within an hour by any other means of ground transport to population hubs greater than four million. This will help further connect the world as the journey from one major city to another would take at most an hour, and no point on the habited continents would be more than 4,000 km(2,160 nm) from a spaceport. It is assumed that the costs of an international first class flight ticket are in the thousands of dollars range showing how there is a potential market for this type of travel network. The reasoning and analysis, through a literature review, for an intercontinental rocket vehicle is presented along with the various aspects of the possibility of this kind of travel network coming to fruition in the near future.

A novel concept for integration of flame-assisted fuel cells (FFC) with a gas turbine is analyzed in this paper. Six different fuels (CH4, C3H8, JP-4, JP-5, JP-10(L), and H2) are investigated for the analytical model of the FFC integrated gas turbine hybrid system. As equivalence ratio increases, the efficiency of the hybrid system increases initially then decreases because the decreasing flow rate of air begins to outweigh the increasing hydrogen concentration. This occurs at an equivalence ratio of 2 for CH4. The thermodynamic cycle is analyzed using a temperature entropy diagram and a pressure volume diagram. These thermodynamic diagrams show as equivalence ratio increases, the power generated by the turbine in the hybrid setup decreases. Thermodynamic analysis was performed to verify that energy is conserved and the total chemical energy going into the system was equal to the heat rejected by the system plus the power generated by the system. Of the six fuels, the hybrid system performs best with H2 as the fuel. The electrical efficiency with H2 is predicted to be 27%, CH4 is 24%, C3H8 is 22%, JP-4 is 21%, JP-5 is 20%, and JP-10(L) is 20%. When H2 fuel is used, the overall integrated system is predicted to be 24.5% more efficient than the standard gas turbine system. The integrated system is predicted to be 23.0% more efficient with CH4, 21.9% more efficient with C3H8, 22.7% more efficient with JP-4, 21.3% more efficient with JP-5, and 20.8% more efficient with JP-10(L). The sensitivity of the model is investigated using various fuel utilizations. When CH4 fuel is used, the integrated system is predicted to be 22.7% more efficient with a fuel utilization efficiency of 90% compared to that of 30%.