Exporting Sysml Designs To Simulink,
2024
Air Force Institute of Technology
Exporting Sysml Designs To Simulink, Drew Q. Broadbent
Theses and Dissertations
Various software systems have been developed to aid a systems engineer in evaluating system requirements, such as Dassault’s Magic System of Systems Architect (MSOSA) and MathWorks’ Simulink. Both software packages have different strengths; therefore, it is beneficial to export models from one software package to another. MSOSA provides a built-in tool that facilitates this transfer, built upon the Extension for Physical Interaction and Signal Flow Simulation (SysPhS) standard. However, the process is often unreliable and error prone and online documentation is largely lacking. This research used extensive trial and error to fill in the documentation gaps and create a method …
Crime Prediction Using Agent-Based Modeling,
2024
CUNY Graduate Center
Crime Prediction Using Agent-Based Modeling, Yifei Gong
Dissertations, Theses, and Capstone Projects
Crime risk evaluation and crime prediction using agent-based modeling (ABM) have gained popularity in the field of computational criminology in recent years. Traditionally, researchers rely on statistical methods and machine learning models to predict crimes using historical data. ABM generates macro-level crime patterns in a bottom-up fashion by simulating the daily behaviors of autonomous entities, such as citizens and offenders. ABM takes into consideration the non-linear interactions between agents under complex social contexts. Currently, the comprehensive usage of ABM for criminological theory testing and urban policy evaluations calls for a unified software framework. In this research, we introduce CARESim, an …
Criticality Aware Canvas-Based Visual Perception At The Edge,
2024
Singapore Management University
Criticality Aware Canvas-Based Visual Perception At The Edge, Ila Gokarn
Research Collection School Of Computing and Information Systems
Efficient and effective machine perception remains a formidable challenge in sustaining high fidelity and high throughput of perception tasks on affordable edge devices. This is especially due to the continuing increase in resolution of sensor streams (e.g., video input streams generated by 4K/8K cameras and neuromorphic event cameras that produce ≥ 10 MEvents/second) and computational complexity of Deep Neural Network (DNN) models, which overwhelms edge platforms, adversely impacting machine perception efficiency. Given the insufficiency of the available computation resources, a question then arises on whether selected regions/components of the perception task can be prioritized (and executed preferentially) to achieve highest …
Communication Challenges In Underwater Wireless Networks: Mac Protocols And Software Solutions,
2024
CUNY Graduate Center
Communication Challenges In Underwater Wireless Networks: Mac Protocols And Software Solutions, Dmitrii Dugaev
Dissertations, Theses, and Capstone Projects
Underwater wireless networks (UWNs) represent a diverse and intriguing research domain, encompassing a wide array of scientific and industrial applications. This dissertation delves into the communication challenges at the Medium Access Control (MAC) layer within UWNs, stemming from the distinctive signal propagation conditions and the harshness of the deployment environment. The manuscript provides comprehensive coverage of key aspects of UWNs, including potential applications, communication protocols, methodologies employed in such networks, and existing software solutions that facilitate simulation, emulation, and real testbed scenarios for underwater research endeavors. Furthermore, this research introduces innovative software and communication solutions designed to facilitate the seamless …
Ethical Considerations Toward Protestware,
2024
Singapore Management University
Ethical Considerations Toward Protestware, Marc Cheong, Raula Kula, Christoph Treude
Research Collection School Of Computing and Information Systems
This article looks into possible scenarios where developers might consider turning their free and open source software into protestware. Using different frameworks commonly used in artificial intelligence (AI) ethics, we extend the applications of AI ethics to the study of protestware.
Smart Hpa: A Resource-Efficient Horizontal Pod Auto-Scaler For Microservice Architectures,
2024
Singapore Management University
Smart Hpa: A Resource-Efficient Horizontal Pod Auto-Scaler For Microservice Architectures, Hussain Ahmad, Christoph Treude, Markus Wagner, Claudia Szabo
Research Collection School Of Computing and Information Systems
Microservice architectures have gained prominence in both academia and industry, offering enhanced agility, reusability, and scalability. To simplify scaling operations in microservice architectures, container orchestration platforms such as Kubernetes feature Horizontal Pod Auto-scalers (HPAs) designed to adjust the resources of microservices to accommodate fluctuating workloads. However, existing HPAs are not suitable for resourceconstrained environments, as they make scaling decisions based on the individual resource capacities of microservices, leading to service unavailability and performance degradation. Furthermore, HPA architectures exhibit several issues, including inefficient data processing and a lack of coordinated scaling operations. To address these concerns, we propose Smart HPA, a …
Dappscan: Building Large-Scale Datasets For Smart Contract Weaknesses In Dapp Projects,
2024
Singapore Management University
Dappscan: Building Large-Scale Datasets For Smart Contract Weaknesses In Dapp Projects, Zibin Zheng, Jianzhong Su, Jiachi Chen, David Lo, Zhijie Zhong, Mingxi Ye
Research Collection School Of Computing and Information Systems
The Smart Contract Weakness Classification Registry (SWC Registry) is a widely recognized list of smart contract weaknesses specific to the Ethereum platform. Despite the SWC Registry not being updated with new entries since 2020, the sustained development of smart contract analysis tools for detecting SWC-listed weaknesses highlights their ongoing significance in the field. However, evaluating these tools has proven challenging due to the absence of a large, unbiased, real-world dataset. To address this problem, we aim to build a large-scale SWC weakness dataset from real-world DApp projects. We recruited 22 participants and spent 44 person-months analyzing 1,199 open-source audit reports …
Applicability And Challenges Of Indoor Localization Using One-Sided Round Trip Time Measurements,
2024
Singapore Management University
Applicability And Challenges Of Indoor Localization Using One-Sided Round Trip Time Measurements, Quang Hai Truong, Xi Kai Justin Lam, Guru Anand Anish, Rajesh Krishna Balan
Research Collection School Of Computing and Information Systems
Radio Frequency fingerprinting, based on WiFi or cellular signals, has been a popular approach for localization. However, adoptions in real-world applications have confronted with challenges due to low accuracy, especially in crowded environments. The received signal strength (RSS) could be easily interfered by a large number of other devices or strictly depends on physical surrounding environments, which may cause localization errors of a few meters. On the other hand, the fine time measurement (FTM) round-trip time (RTT) has shown compelling improvement in indoor localization with ~1-2 meter accuracy in both 2D and 3D environments [13]. This method relies on the …
Detecting Foot Strikes During Running With Earbuds,
2024
Singapore Management University
Detecting Foot Strikes During Running With Earbuds, Changshuo Hu, Thivya Kandappu, Jake Stuchbury-Wass, Yang Liu, Anthony Tang, Cecelia Mascolo, Dong Ma
Research Collection School Of Computing and Information Systems
Running is a widely embraced form of aerobic exercise, offering various physical and mental benefits. However, improper running gaits (i.e., the way of foot landing) can pose safety risks and impact running efficiency. As many runners lack the knowledge or continuous attention to manage their foot strikes during running, in this work, we present a portable and non-invasive running gait monitoring system. Specifically, we leverage the in-ear microphone on wireless earbuds to capture the vibrations generated by foot strikes. Landing with different parts of the foot (e.g., forefoot and heel) generates distinct vibration patterns, and thus we utilize machine learning …
Fish-Eye Camera-Based Real-Time Pedestrian Crossing Predicting System,
2024
United Arab Emirates University
Fish-Eye Camera-Based Real-Time Pedestrian Crossing Predicting System, Mohammed Abdulla Almesafri
Theses
Fisheye cameras are widely used in traffic monitoring for their broad view, yet their distortion challenges deep-learning models in pedestrian detection and tracking. Despite available datasets like FishEye8K, collected in Hsinchu, Taiwan, and the availability of several studies that have delved into pedestrian prediction systems, a notable gap remains: the absence of datasets specifically designed for the cultural context of the UAE. This study aims to address this gap by introducing an in-house fisheye dataset tailored to enhance the prediction and tracking of pedestrians in fisheye footage within the UAE's environment. The present study addresses the development of a Graphical …
Empirical Exploration Of Software Testing,
2024
New Jersey Institute of Technology
Empirical Exploration Of Software Testing, Samia Alblwi
Dissertations
Despite several advances in software engineering research and development, the quality of software products remains a considerable challenge. For all its theoretical limitations, software testing remains the main method used in practice to control, enhance, and certify software quality. This doctoral work comprises several empirical studies aimed at analyzing and assessing common software testing approaches, methods, and assumptions. In particular, the concept of mutant subsumption is generalized by taking into account the possibility for a base program and its mutants to diverge for some inputs, demonstrating the impact of this generalization on how subsumption is defined. The problem of mutant …
A Survey Of Practical Haskell: Parsing, Interpreting, And Testing,
2024
Seattle Pacific University
A Survey Of Practical Haskell: Parsing, Interpreting, And Testing, Parker Landon
Honors Projects
Strongly typed pure functional programming languages like Haskell have historically been confined to academia as vehicles for programming language research. While features of functional programming have greatly influenced mainstream programming languages, the imperative programming style remains pervasive in practical software development. This paper illustrates the practical utility of Haskell and pure functional programming by exploring “hson,” a scripting language for processing JSON developed in Haskell. After introducing the relevant features of Haskell to the unfamiliar reader, this paper reveals how hson leverages functional programming to implement parsing, interpreting, and testing. By showcasing how Haskell’s language features enable the creation of …
Analysis Of Green Data Center Efforts And Energy Usage,
2024
Seattle Pacific University
Analysis Of Green Data Center Efforts And Energy Usage, Dillon J. Goicoechea
Honors Projects
This paper is an undergraduate level literature review and analysis of research surrounding the Green Data Center phenomenon. Review of work covering energy usage, data usage, usage predictions, and strategies for decreasing energy requirements is the main analysis of this work. The analysis shows that while data centers are becoming greener, the increase in usage of their capacities is negating those efficiency increases. The increase in the energy efficiency of data centers is crucial, however, there must be made efforts to lower computational and data usage to help achieve lower energy usage of data centers.
Program Analysis Of C For Conversion To Memory-Safe Rust,
2024
University of Connecticut
Program Analysis Of C For Conversion To Memory-Safe Rust, Dylan Cassidy
Honors Scholar Theses
C is a memory-unsafe language, which can cause software security issues. Rust is a more recent high-performance language that has memory-safe features, which motivates developers to move software to Rust. However, given the large existing C codebase, this is a tedious task, and current approaches result in memory-unsafe blocks of code remaining unsafe after conversion. We seek to use program analysis techniques to create software that identifies blocks of C code that could be safely converted to memory-safe Rust, despite using seemingly memory- unsafe access patterns. We performed manual translation of functions within the libGeoIP C library to Rust, ensuring …
A Nlp Approach To Automating The Generation Of Surveys For Market Research,
2024
Georgia Southern University
A Nlp Approach To Automating The Generation Of Surveys For Market Research, Anav Chug
Honors College Theses
Market Research is vital but includes activities that are often laborious and time consuming. Survey questionnaires are one possible output of the process and market researchers spend a lot of time manually developing questions for focus groups. The proposed research aims to develop a software prototype that utilizes Natural Language Processing (NLP) to automate the process of generating survey questions for market research. The software uses a pre-trained Open AI language model to generate multiple choice survey questions based on a given product prompt, send it to a targeted email list, and also provides a real-time analysis of the responses …
Software Development And Market Research Process Of Plasma Software Distribution,
2024
Murray State University
Software Development And Market Research Process Of Plasma Software Distribution, Connor Moore
Honors College Theses
When trying to find the right software for scientific research, one may have to comb through the internet to acquire a suitable tool. Much of the scientific software online is in mostly unknown web pages where the only way to find the software is to already know about it, be told about it, or find the software by pure chance. Even worse, with few verification systems in place they may try a new program only for it to turn out to be malware. The search for the right software takes time away from the scientists, slowing the overall pace of …
Machine Learning: Face Recognition,
2024
CUNY New York City College of Technology
Machine Learning: Face Recognition, Mohammed E. Amin
Publications and Research
This project explores the cutting-edge intersection of machine learning (ML) and face recognition (FR) technology, utilizing the OpenCV library to pioneer innovative applications in real-time security and user interface enhancement. By processing live video feeds, our system encodes visual inputs and employs advanced face recognition algorithms to accurately identify individuals from a database of photos. This integration of machine learning with OpenCV not only showcases the potential for bolstering security systems but also enriches user experiences across various technological platforms. Through a meticulous examination of unique facial features and the application of sophisticated ML algorithms and neural networks, our project …
Surmounting Challenges In Aggregating Results From Static Analysis Tools,
2024
Montana State University
Surmounting Challenges In Aggregating Results From Static Analysis Tools, Dr. Ann Marie Reinhold, Brittany Boles, A. Redempta Manzi Muneza, Thomas Mcelroy, Dr. Clemente Izurieta
Military Cyber Affairs
Aggregation poses a significant challenge for software practitioners because it requires a comprehensive and nuanced understanding of raw data from diverse sources. Suites of static-analysis tools (SATs) are commonly used to assess organizational security but simultaneously introduce significant challenges. Challenges include unique results, scales, configuration environments for each SAT execution, and incompatible formats between SAT outputs. Here, we document our experiences addressing these issues. We highlight the problem of relying on a single vendor's SAT version and offer a solution for aggregating findings across multiple SATs, aiming to enhance software security practices and deter threats early with robust defensive operations.
Generative Machine Learning For Cyber Security,
2024
Washington State University
Generative Machine Learning For Cyber Security, James Halvorsen, Dr. Assefaw Gebremedhin
Military Cyber Affairs
Automated approaches to cyber security based on machine learning will be necessary to combat the next generation of cyber-attacks. Current machine learning tools, however, are difficult to develop and deploy due to issues such as data availability and high false positive rates. Generative models can help solve data-related issues by creating high quality synthetic data for training and testing. Furthermore, some generative architectures are multipurpose, and when used for tasks such as intrusion detection, can outperform existing classifier models. This paper demonstrates how the future of cyber security stands to benefit from continued research on generative models.
Factors Influencing Performance Of Students In Software Automated Test Tools Course,
2024
Western University
Factors Influencing Performance Of Students In Software Automated Test Tools Course, Susmita Haldar, Mary Pierce, Luiz Fernando Capretz
Electrical and Computer Engineering Publications
Formal software testing education is important for building efficient QA professionals. Various aspects of quality assurance approaches are usually covered in courses for training software testing students. Automated Test Tools is one of the core courses in the software testing post-graduate curriculum due to the high demand for automated testers in the workforce. It is important to understand which factors are affecting student performance in the automated testing course to be able to assist the students early on based on their needs. Various metrics that are considered for predicting student performance in this testing course are student engagement, grades on …
