Computer Engineering Commons^™

State Monitoring Of Nuclear Power Connection Sleeve Quality Inspection Equipment Driven By Digital Twin, Yandong Nan, Jinda Zhu, Xinbin Lu, Zhiying Qin, Dandan Qi, Zhiheng Ding

Journal of System Simulation

Abstract: To address the problems of delayed state perception, single monitoring dimension, and insufficient visualization in the quality inspection equipment for nuclear power connection sleeves, a state monitoring method driven by digital twin was proposed. A digital twin-based collaborative state monitoring framework for the inspection equipment was constructed. Based on the OPC UA technology, a multi-source information interconnection model was established. A finite state machine model was employed to discretize and logically drive the inspection process, and a hierarchical verification strategy was proposed to establish a multi-dimensional motion state monitoring mechanism. A surrogate model coupling the radial basis interpolation function …

Modeling And Simulation Of Target Characteristic Architecture Of Target Missile Based On Dodaf, Tuo Zhao, Yuqiao Liu, Yuan Ma, Yun Cheng, Shen Li

Journal of System Simulation

Abstract: In view of the problems of incomplete elements and missing architecture in the research of target characteristics of target missiles, this paper introduced the panoramic view, operational view, and capability view models in the DoDAF from the perspective of system engineering. According to the view development sequence of "panoramic description, operational decomposition, and capability matching", a target characteristic architecture of the target missile was constructed, which included target elements such as maneuvering characteristics and infrared radiation characteristics. The mapping relationship among "operational layer, capability layer, and target characteristic layer" of the target missile was obtained, and the architecture was …

Dynamic Model-Driven Verification Framework For Modular Aerial Bomb Systems, Wenlong Li, Shuhan Sang, Yusheng Liu, Haiyan He, Zan Liang, Wenqiang Yuan, Biao Niu, Weifeng Luo

Journal of System Simulation

Abstract: To address the problems of high verification costs, difficulty in covering dynamic behaviors, and lack of quantitative closed loops in the design stage of modular complex equipment, a dynamic model-driven modular system verification framework was proposed. Based on model-based systems engineering (MBSE) modeling, a structural coupling quantification model was constructed using the number of interfaces, signal interaction frequency, and dependency intensity. Dynamic tests were conducted in high-fidelity virtual simulation to collect data; performance rating for indicators such as accuracy, response, and stability, as well as system's comprehensive rating, were obtained, and the rating feedback was used for iterative optimization. …

Edgecube -- An Iot Edge-Sensor Node For Tiny Machine Learning Applications, Nathan Gerard Timmins

Master's Theses (2009 -)

This thesis presents a novel internet-of-things (IoT) edge device, EdgeCube, a compact embedded system that combines a microcontroller unit (MCU) and a field-programmable gate array (FPGA). The proposed platform explores a trade-off between the performance gains achievable through FPGA-based acceleration and the associated increases in cost and power consumption. The primary contributions of this thesis include (1) the design of a compact hybrid MCU–FPGA edge architecture intended for vision workloads, (2) a streaming MCU-to-FPGA data path using SPI for frame transfer, and (3) an end-to-end hardware prototype and evaluation on an embedded inference task. Designed for IoT vision applications, EdgeCube …

Model-Based System Verification: Theoretical Framework, Key Technologies, And Future Prospects, Bo Sun, Yi Ren, Silin Wang, Qi Liu, Zhidong Li

Journal of System Simulation

Abstract: Traditional system verification methods face significant challenges in terms of efficiency, coverage, and traceability. To address these issues, this paper introduced model-based system verification (MBSV), which deeply integrated verification activities within the model-based systems engineering model system and evolution process. It presented the foundational logic of MBSV and proposed a multiview unified verification modeling strategy based on system modeling language (SysML), integrating requirements, structure, behavior, and constraints. The paper discussed the algorithms for selecting representative paths and reducing equivalent classes to enhance verification efficiency, the principles of test path search, as well as the intelligent path search mechanism based …

Space-Ground Integrated Collaborative Positioning Algorithm And Simulation For Trajectory Enhancement, Juhui Wei, Xinyong Zhang, Jiongqi Wang, Xuanying Zhou, Zhangming He

Journal of System Simulation

Abstract: To address the challenges of low credibility, weak consistency, and poor accuracy in the information of trajectory results from space-based and ground-based passive time difference positioning simulation systems, a space-ground integrated collaborative positioning method was proposed for trajectory enhancement. By analyzing the operating principle of the time difference positioning system, the influencing factors that measure positioning accuracy in different feature dimensions were obtained; spline smoothing was employed for data alignment between space-based and ground-based systems; a spline-constrained parametric trajectory model was proposed to further enhance the stability; an error-sensitive feature selection framework for improving simulation consistency was constructed to …

Review On Optimization Of Simulation Modeling Strategies For Spacecraft Orbit Avoidance, Guozheng Li, Rui Wang, Shichao Fan, Xintong Cai, Xinyue Zhai

Journal of System Simulation

Abstract: The number of on-orbit spacecraft increases exponentially; the space environment becomes more complex, and the collision risk of on-orbit spacecraft increases significantly. On-orbit safety is thus severely threatened, posing higher requirements for orbit avoidance methods. The costs and risks of space activities are extremely high, making simulation an effective method to solve complex problems of orbit avoidance. The modeling, solution, and simulation methods for the two core issues of spacecraft orbit avoidance, "collision avoidance" and "pursuit-evasion games", were systematically reviewed, and the existing shortcomings were analyzed. The applications of technologies such as deep reinforcement learning in promoting orbit avoidance …

A Bilstm+Attention Method For Predicting The Intentions Of Air Combat Targets Based On Multi-Feature Continuous Time Series, Qiuni Li, Dong Wang, Chaozhe Wang, Zongcheng Liu

Journal of System Simulation

Abstract: To achieve advance prediction of enemy target intention, a three-layer air combat intention prediction method based on multi-feature continuous time series and BiLSTM+Attention, including trajectory prediction, threat assessment, and intention prediction was proposed. To prevent the onesidedness of intention prediction results caused by state information at a single moment, prediction was carried out from multiple state features and trajectory information in a continuous time series. An LSTM neural network was used to predict the trajectory of the target aircraft, and the threat assessment of the target aircraft before and after the prediction was conducted. The BiLSTM + Attention model …

Optimization Of Air Defense And Antimissile Firepower Resource Allocation Based On Adaptive Hybrid Evolution, Wei Liu, Delong Chen, Ze Liu, Rui Wang, Kaiwen Li, Tao Zhang

Journal of System Simulation

Abstract: Air defense and antimissile firepower resource allocation is a core optimization problem in modern defense systems. Under complex conditions such as spatiotemporal constraints and firepower resource limitations, this problem involves the optimal configuration of limited interceptors and belongs to the class of NP-hard multi-constrained combinatorial optimization problems. This paper established a comprehensive mathematical model encompassing range constraints, time window constraints, feasibility matrices, and interception probability models. To address the high-dimensional nonlinearity of the problem, an adaptive hybrid evolutionary algorithm (AHEA) was proposed. The algorithm integrated problem-aware initialization, adaptive parameter control, seven specialized neighborhood search operators, and an adaptive strategy …

Mechanism Analysis Of Parasitic Torque In Electric Loading Systems, Xiaozhe Sun, Zhenyu Fu, Zhaoke Xu, Jianxin Li

Journal of System Simulation

Abstract: To address the issues of sources and mechanisms of parasitic torque in electric loading systems for aircraft actuator loads, a functional model of the electric loading system was established. Numerical simulations and Monte Carlo methods were employed to analyze the sources of parasitic torque and its primary influencing factors. The influence mechanisms and degrees of the system's external inputs and internal disturbances on parasitic torque were analyzed and validated through single-parameter and multi-parameter analyses. The results indicate that parasitic torque is predominantly influenced by factors such as loading command frequency, sensor signal bias, and loading motor parameters. In particular, …

Simulation On Water Hammer Characteristics Of Bipropellant Attitude And Orbit Control Propulsion System, Xianwei Lang, Yantao Wang, Fang Zhang, Yizhen Zu, Xinyu Zhang, Weibin Xiang

Journal of System Simulation

Abstract: To address the water hammer problem in bipropellant attitude and orbit control propulsion systems during start-up, shutdown, and periodic operation, the water hammer characteristics under different operating conditions are investigated using simulation methods. The water hammer characteristics of annular and branched propellant delivery lines are compared, and the effects of multiengine interactions under various operating conditions, as well as the influence of water hammer on engine performance, are analyzed. The results show that the attenuation rate of pressure fluctuation in the annular pipeline system is significantly higher than that in the branch pipeline system. Under the condition of multi-cycle …

Design And Application Of Collaborative Simulation System For Satellite Constellation Flight Missions, Dong Yan, Hanzhe Yang, Fangfang Jiang, Chengbao Liu, Peng Zhang

Journal of System Simulation

Abstract: To meet the requirements of the collaborative drill for the ground operation and control system of the satellite constellation, as well as the verification and evaluation of in-orbit complex missions, the design ideas and implementation methods of the collaborative simulation system for satellite constellation flight missions were proposed. By adopting the time correction mechanism of the time-scale distributor, the time synchronization problem among the simulation nodes and the operation and control simulation system was solved. By adopting the communication technology based on improved PDXP + UDP, the problem of cross-node data interface and inter-satellite communication simulation was resolved. A …

Overall Design Method Of Low Earth Orbit Communication Satellite Based On Mbse, Jiace Shang, Rui Zhang, Ya Dai, Hua Zhu, Siqi Hu, Linqiang Ge, Chenguang Shi

Journal of System Simulation

Abstract: Drawing on the model-centric design philosophy of model-based systems engineering (MBSE), this study constructs a model architecture suitable for the design and analysis of low Earth orbit communication satellites. This architecture adopts a multi-dimensional matrix approach. Vertically, it traverses the mission layer, system layer, satellite general design layer, and subsystem layer, achieving top-down hierarchical decoupling. Horizontally, it establishes a comprehensive view mapping mechanism covering the domains of requirements, functions, structure, and performance. Integrating the characteristics of product development, a modeling process covering the entire lifecycle—from mission demonstration and overall design to subsystem design and integration verification—has been established. The …

Data Centers In Mountain West Markets, 2026, Maisoon Faris, Cason Noll

Undergraduate Research Symposium Podium Presentations

Our presentation, based on research conducted with Brookings Mountain West at UNLV, will focus on the distribution and geographic concentration of data centers across Mountain West markets. We will present data from our recently published fact sheet, """"Data Centers in Mountain West Markets, 2026,"""" which derives data from DataCenterMap, a platform that tracks global data centers in real time. Our presentation will include state and market level data on data center counts and geographic concentration as of March 6th, 2026. We will present two data figures highlighting data on each Mountain West state and market: Table 1 provides the national …

Developing Text-To-Video Ai Workflows Through Creative Practice, Nathan S. Jensen

Staff Scholarship - Australia & Dubai

This creative practice project investigates the extent to which Gen-AI text-to-video tools can maintain coherence across a short multi-shot sequence rather than a single generated clip. This includes continuity in recurring characters, visual style, and simple narrative flow. Using a Creative Practice Scholarship framework and practice-based methodology, I developed Bush Friends, a proof-of-concept children’s television intro, as the artefact of experimentation. This  project combined concept development, storyboard planning, iterative prompting, AI video generation, and editorial assembly using ChatGPT (OpenAI, n.d.) for ideation and prompt development, Kling 3.0 Omni (KlingAI, n.d.) for video generation, and DaVinci Resolve 20 (Blackmagic Design, n.d.) …

Sbw 3.0: A Blockchain-Enabled Framework For Secure And Efficient Information Management In Web 3.0, Md Arif Hassan, Bui Duc Manh, Cong T. Nguyen, Chi-Hieu Nguyen, Dinh Thai Hoang, Diep N. Nguyen, Nguyen Van Huynh, Dusit Niyato

Staff Scholarship - Australia & Dubai

In this paper, we propose an effective blockchain-enabled information management framework, named Smart Blockchain-based Web 3.0 (SBW 3.0). Our framework aims to handle information within Web 3.0 efficiently, enhance data security and privacy, create new revenue streams, and encourage users to contribute valuable information to websites. To this end, SBW 3.0 employs blockchain technology and smart contracts to manage the decentralized data collection in Web 3.0. Moreover, we introduce a robust consensus mechanism grounded in Delegated Proof-of-Stake (DPoS) to reward user contributions. Furthermore, we develop a non-cooperative game model to examine user behavior in this context and conduct thorough analysis …

Landscaping Of Mcp: An Overview Of Mcp Mitigations And Tools, Arden Michel

Cybersecurity Undergraduate Research Showcase

The Model Context Protocol (MCP) has quickly become the standard for enabling agentic AI systems to interact with external tools, data sources, and services. Since its debut in 2024, MCP has been adopted by companies such as Google, Apple, Meta, and IBM. While this integration greatly improves the capabilities of large language models (LLMs), it also creates a new attack surface that the security community is only beginning to understand systematically.

A key architectural challenge is MCP's fundamental reliance on implicit trust: servers often run locally with high privileges, tool descriptions are accepted without question, and external servers are presumed …

Limitations Of Signature-Based Network Intrusion Detection Under Modern Traffic Conditions, Henry Guidry

Cybersecurity Undergraduate Research Showcase

Network Intrusion Detection Systems are tools used to monitor network traffic and alert to suspicious or harmful activity before it can cause harm. Signature-based versions of these systems are a foundation for intrusion detection, operating by finding common patterns and forming malicious signatures. However, three developments in modern network environments have greatly impacted the significance of Network Intrusion Detection Systems. These three developments are the near-complete adoption of end-to-end encryption, the use of sophisticated packet fragmentation techniques, and the processing demands of high-throughput networks. Encryption makes deep packet inspection practically infeasible by transforming inspectable payloads into ciphertext, forcing NIDS to …

Analysis Of Automatic Regulation Based On The Dynamic Indicators Of The Working Body For Cleaning Channels And Ditches, Nasiba Siraj Amirbayova

Technical science and innovation

Today, the comprehensive development of road infrastructure and agriculture directly requires the reconstruction and effective use of systems intended for irrigation and protection of road surfaces. The goal of agricultural development has made it necessary to increase attention to this area. This also reveals the correct use and operation of existing melioration irrigation systems as an important problem. This is mainly one of the issues of correct operation of road infrastructure. It is known that the majority of agricultural products are produced in areas where irrigation systems are widely developed. On the other hand, the use of collector-drainage networks, cleaning …

Escaping Isolation: An Analysis Of Virtual Machine And Container Breakout Vulnerabilities, Felix Iov

Cybersecurity Undergraduate Research Showcase

Cloud computing providers rely on multi-tenant architectures to maximize resource efficiency. This infrastructure depends on virtualization, which provides isolation between clients. This comes primarily in the form of Virtual Machines (VMs) and Containers. However, “breakout attacks” or “escapes” are a critical threat where attackers bypass these isolation layers to gain unauthorized access to the host system and neighboring environments. This paper surveys virtualization escape threats and analyzes three case studies: a runc container escape (Leaky Vessels), a VMware ESXi VM escape (VSOCKPuppet), and an NVIDIA GPU container escape (NVIDIAScape). Each demonstrates different attack surfaces, including file descriptor misuse, kernel driver …