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.
Collective human attitudes influenced by macro-forces that impact environmental issues are partially correlated to our behaviors for the good and the harm of the planet. In this thesis, I will explore how collective human attitudes contribute to pro-environmental behaviors, common and pre-existing frames of mind on major conservation dilemmas, and finally suggest future directions on how humans could be inclined to take on more environmental responsibility through an increase in human-environmental connectivity. It is found that humans are largely driven by institution structures, education, and social influence. In conclusion, more efforts should be placed to further analyze these structural incentives for pro-environmental behaviors and use them to make environmental stewardship more accessible for all people and diverse circumstances. This can be done by evaluating the human dimensions of what influences human attitudes and behaviors, how to use these forces to systematically influence pro-environmental choices, applying these structural forces to main conservation issues, and further incorporating moral discourse into the environmental research in order to appeal correctly to all aspects and perspectives. Only when human connectivity is understood in relation to the natural sciences will we be able to make positive change in the direction of a healthier Earth.
This qualitative project was done as a way to learn more about the personal experiences of Asian American participants surrounding education and how it has impacted their identities, and questions how and if the model minority stereotype has impacted the Asian American student particiapnts. 14 participants were interviewed one-on-one to see if there were any patterns in values that their parents had pushed, and revealed that cultural expectations influence the participants’s educational choices, leading to self-regulation in regards to education. Because the shared trait of these participants are being current Asian American students in university at the time of their interviews, experiences range with how acculturated their parents are, the ethnic background of their families, and prior expectations with education.