Digital Commons Network^™

Student Attitudes And Perceptions Of Proof In Mathematics, Emelin G. Sibrian Marquez

Electronic Theses, Projects, and Dissertations

Traditionally, mathematical proof is viewed primarily as a tool for validation or verification. However, proof holds many other important roles such as discovery, reasoning, explanation, and justification. For many students, these other roles are not always obvious. Those encountering rigorous proof for the first time often find the process abstract, intimidating or disconnected from their previous learning. This disconnect can lead to negative attitudes as students transition from computational mathematics to advanced proof-based mathematics. Utilizing a mixed-methods approach, this study examined undergraduate and graduate mathematics students at a Hispanic-Serving Institution (HSI) in Southern California. We investigated what students perceive the …

Leading The Change: Staff-Driven Ai Transformation In Smu Libraries’ Collection Team, Siew Khim Lim, Fion Goh

Research Collection Library

No abstract provided.

Emergency Risk Dispatch For Integrated Electricity-Heat Systems Under Typhoon Disasters, Tongchui Liu, Lian Tan, Dongxuan Bao, Lanting Zeng, Pengfei Hou, Ronghua Ling

Journal of System Simulation

Abstract: The spatiotemporal randomness of typhoon movement paths leads to uncertain operational risks for integrated electricity-heat systems (IEHS), making it difficult to balance system risk controllability and dispatch economy. To tackle this problem, an emergency risk dispatch (ERD) method for IEHS under typhoon disasters is proposed. An ERD model for IEHS under typhoon disasters is established within the model predictive control framework. Based on the uncertainty of typhoon wind speed prediction, a moment-based ambiguity set for uncertain equipment component failures is constructed, and a distributionally robust chance-constrained ERD model is formulated. An approximation method based on worst-case conditional value-at-risk (WC-CVaR) …

Bi-Level Coordinated Scheduling And Optimization Of Power Systems Based On Stackelberg-Gmo, Yuanxing Zhang, Jianfeng Li, Taoyong Li, Linjuan Zhang, Jincheng Liu, Bin Li

Journal of System Simulation

Abstract: , To balance the interests of the power grid and the demand side, and achieve coordinated improvements in system economic efficiency, environmental friendliness, and renewable energy accommodation capacity, this paper proposes a bi-level coordinated scheduling model based on the Stackelberg game and the GMO. A leader-follower game model incorporating carbon emission constraints and multi-scenario stochastic constraints for photovoltaic generation is constructed, with the grid operator as the leader and EVs/V2G and energy storage as the followers, resolving the core contradiction between global optimization and individual rationality. The spatio-temporal stochastic characteristics of EV travel, the cycle life of energy storage …

Energy Management Method For Integrated Energy Driven By Users’ Social Attributes, Yankai Zhu, Yujing Huang, Qinghua Wang, Xiaoning Zhang, Fang Fang, Yuguang Niu

Journal of System Simulation

Abstract: To explore a new interaction mechanism between an energy service provider (ESP) and multiple users, this paper proposes a complex modeling and energy management method for integrated energy systems driven by users' social attributes. A multi-agent interaction framework comprising an ESP and user clusters is established. To maximize the ESP's operational benefit and minimize users' energy costs, a leader-follower game-based energy management model is established within a reinforcement learning framework, and a distributed collaborative solution algorithm combining Q-learning and quadratic programming is proposed. Simulation results show that, compared with the traditional integrated demand response method, consideration of users' social …

Missing-Data-Tolerant Diffusion-Based Wind Power Scenario Forecasting Method, Yingying Shi, Xiaochong Dong, Guobin Fu, Miaomiao Ma, Yanhe Li, Xuebin Wang

Journal of System Simulation

Abstract: To address the issue of error accumulation in traditional "imputation-then-forecasting" approaches, a missing data tolerant diffusion framework (MDTDF) is proposed. An XGBoost regression model is employed to map numerical weather prediction data into deterministic power forecasts. The encoder in the denoising network extracts temporal features, which are fused with the deterministic forecasts and fed into the decoder through a cross-attention mechanism to guide the denoising process. A historical constraint mechanism is introduced to directly utilize incomplete historical data and dynamically correct the denoising result at each step through sample gradient updates and noise injection guided by historical information. The …

Time-Step Relaxation Method For Simulation With Time-Sensitive Interactions, Zhaopeng Liu, Kaidi Jin, Xunyun Liu, Dongao Zhou, Xinhai Xu

Journal of System Simulation

Abstract: In time-driven military simulation, time-step setting is a key technology for balancing operational efficiency and simulation accuracy. Based on the current research on time-step setting in military simulation, a trajectory spatiotemporal intersection calculation model is designed to address the performance bottleneck caused by the minimum time step, thus removing the constraints imposed on the minimum time step by interactions such as high-speed target detection and jamming. Experiments involving detection interaction scenarios are designed to verify the effectiveness of the model in preventing missed interactions and improving simulation efficiency.

A Review Of Spatial Indexing Technologies For Large-Scale Combat Simulation, Kaidi Jin, Xunyun Liu, Dongao Zhou, Yang Wang, Zhaopeng Liu

Journal of System Simulation

Abstract: The real-time performance and scalability of large-scale combat simulations are constrained by performance bottlenecks in spatial queries caused by massive numbers of dynamic entities. Spatial indexing technology becomes the key to solving this problem by establishing an efficient mapping between locations and entities. This paper reviews spatial indexing technologies in large-scale combat simulations. Based on an analysis of the core requirements for index structures in combat simulations, various indexing technologies along three main lines are examined: static indexing, dynamic optimization, and distributed parallelism. The principles, evolution, and applicability boundaries of these technologies are also examined, and their query and …

Learning Evolution Modeling Of Multi-Cycle Nested Cloud Manufacturing Service Ecosystem, Fang Li, Deyu Zhou, Gang Wang, Guangjun Liu, Qi Hu

Journal of System Simulation

Abstract: In view of the lack of comprehensive consideration of the individual adaptability changes of enterprises caused by the collaborative governance mechanism among multiple manufacturing units and the overall evolution trend of the system in existing learning evolution models, this proposed a learning evolution model of multi-cycle nested cloud manufacturing service ecosystem. At the micro level, the adaptive linkage decision-making among multiple manufacturing units within the enterprise was achieved in the individual layer through the nesting of planning-readiness-execution-assessment (PREA) loops and OODA loops; at the macro level, the closed-loop simulation of the individual layer, organizational layer, and social layer was …

Study On Transient Electric Field Of Insulated Rail Joints In High-Speed Railway Stations Based On Dissado-Hill Model, Junli Li, Youpeng Zhang

Journal of System Simulation

Abstract: The transient electric field distribution of insulated rail joints in high-speed railway stations under lightning impulse voltages is critical to their normal operation. Under lightning impulse voltages, considering the relaxation polarization of the insulated rail joint material, a frequency-domain mathematical model of its transient electric field was established. Based on Dissado-Hill model, the measured frequency-domain dielectric spectra were fitted and analyzed to reveal the microstructural characteristics of insulated rail joints and the interaction characteristics between microscopic particles during the polarization process. The results indicate that the relative permittivity of insulated rail joints decreases with the increasing harmonic frequency of …

Intelligent Evaluation Method For Regional Air Superiority Based On Graph Convolutional Neural Network, Peng He, Yubo Tang, Jingde Liu, Yujia Tian

Journal of System Simulation

Abstract: To address the dual challenges of the lack of quantification standards and sparse air combat samples in the superiority evaluation of modern air combat, an intelligent evaluation method for regional air superiority based on a graph convolutional neural network was proposed. The spatial grid method was employed to encode the air situation of the entire battlefield airspace into a new data representation, namely the air superiority matrix. A novel air superiority quantification model was applied to quantify the air superiority label values of spatial grids, and four key operational capabilities closely related to air superiority contention were selected as …

Sensorless Control Of Pmsm Based On An Improved Super-Twisting Sliding-Mode Observer, Shiyu Chen, Xinmin Chen, Xionglong Hu, Heng Wang, Yepeng Han, Jiajie Chen

Journal of System Simulation

Abstract: To address the chattering in back electromotive force estimation and the gain mismatch across a wide speed range when using a conventional super-twisting sliding-mode observer in the sensorless control system of a permanent-magnet synchronous motor, this paper proposed an improved adaptive-gain super-twisting sliding-mode observer. A linear correction term was introduced into the super-twisting algorithm and integrated with a gain adaptation law based on speed feedback, enabling the system to achieve finite-time convergence and high-precision back electromotive force estimation over a wide speed range. A variable-gain adaptive complex-coefficient filter was constructed to effectively suppress the harmonic components in the observed …

Line Spectrum Enhancement Technology Based On Second-Order Vector Hydrophone, Zhengkai Wang, Yirong Yu, Qing Hu

Journal of System Simulation

Abstract: In view of the problem of limited detection of line spectrum signals in low signal-to-noise ratio underwater environments, a spatial-temporal cooperative line spectrum enhancement technology based on a two-dimensional second-order vector hydrophone was proposed. A receiving signal model of the two-dimensional second-order vector hydrophone was established to clarify the spatial characteristics of its output signals. For spatial signal processing, the signals from each channel of the vector hydrophone were fused to suppress noise, and a channel combination method with high spatial directivity gain was proposed to achieve spatial processing gain. For temporal signal processing, an adaptive line spectrum enhancer …

Dodaf-Opm-Sd Cross-Layer Automated Mapping Method Based On A Unified Semantic Bridge, Lei Cheng, Gang Xiao, Binbin Wang, Siming Peng, Haozhe Liang, Xiangwu Gong

Journal of System Simulation

Abstract: To address the problems of the inability of DoDAF views to directly drive simulations and the insufficient cross-layer semantic alignment and consistency verification, a DoDAF-OPM-SD cross-layer semantic automated/semi-automated mapping and verification method was proposed in this paper. Targeting tactical/operational-level problems dominated by "conservation+feedback+time delay", the proposed method reduced manual mapping under expert adjudication based on a "minimal executable view set". The object-process methodology served as a semantic bridge to map architectural elements into the stock-flow-feedback structures of system dynamics; semantic embedding disambiguation, integer programming harmonization, and K-nearest neighbor parameter completion were integrated; end-to-end traceability was connected through traceability identifiers, …

Design And Implementation Of Hdrt Real-Time Simulation System, Huiji Zheng, Guangsen Wang, Qing Liu, Kang Wang, Zhiwei Wang, Zhenyu Zhang, Shuo Wang, Zhu Liu

Journal of System Simulation

Abstract: In view of the real-time simulation requirements of large-scale complex systems such as power electronics, a hidden dragon real-time(HDRT) simulation system was developed. The strict time constraints of simulation tasks were guaranteed based on a resource-dedicated real-time scheme, supporting fixed-step and multi-rate simulations from the second level to the hundred-nanosecond level. A hybrid CPU-field programmable gate array(FPGA) architecture was adopted to accelerate computation. The system could utilize multiple simulators for parallel simulation and realized microsecond-level real-time data interaction between simulators through a dedicated PCIe switch. A single simulator could be expanded through I/O interface equipment, supporting a maximum input …

Numerical Simulation Of Water Tank Solidification In A Firefighting Aircraft Under High-Altitude Cold-Soak Conditions, Guanmian Liu, Zhihang Cheng, Hejun Qin, Kangzhi Yang, Qing Wen, Kun Gao

Journal of System Simulation

Abstract: A systematic numerical simulation study was conducted to address the issue of internal water tank solidification in firefighting aircraft under high-altitude low-temperature conditions. Based on computational fluid dynamics methods, a solidification-melting model considering fluid-structure interaction heat transfer and phase change processes was adopted. Through reasonable simplification of the complex geometric model, a quasi-three-dimensional computational model suitable for engineering analysis was developed. The influence laws of key parameters, including high-altitude cold-soak temperature, ground initial water temperature, and cold-soak time, on the freezing characteristics of the water tank were investigated. Combining with the parameter influence laws, a safety criterion using the …

Combat Effectiveness Evaluation Of Anti-Ship Missiles For Intelligent Autonomous Recognition, Long Zhang, Xuanming Feng, Zhen Lei, Bo Yang, Ying Wang

Journal of System Simulation

Abstract: To address the core issues of poor adaptability of static fusion strategies in existing recognition models, as well as the simplistic evaluation system and its disconnection from dynamic confrontation requirements, a practical four-dimensional evaluation system encompassing "recognition accuracy, antijamming stability, decision timeliness, and modal complementarity" was constructed, and an operational effectiveness composite index (OECI) capable of dynamically adapting to tactical scenarios was proposed. A multimodal dynamic attention fusion network (MDA-Net) for anti-ship missiles in complex confrontation environments was designed. Through heterogeneous feature decoupling, dynamic weighting of cross-modal attention, and a hierarchical gating decision mechanism, the autonomous evaluation and adaptive …

Infrared Image Generation Method Based On Improved Cyclegan, Qiqi Jin, Xiang Zhang, Li Gao, Lin Zhang, Junliang Yan, Peiyao Li

Journal of System Simulation

Abstract: To address the problems in current infrared image generation such as insufficient contrast between target and scene, excessively large discrepancies from real scenes, indistinct thermal source features, and great difficulty in constructing measured infrared image datasets, an improved CycleGAN-based infrared image generation method was proposed. By optimizing the network structure of the generator and adding a non-local module and a CBAM convolutional attention mechanism into the generator, the extraction capability of CycleGAN for infrared features was enhanced, enabling the network to capture the subtle features of targets more accurately; a perceptual loss function was introduced to improve the detail …

Cost-Effectiveness Evaluation Of Artificial Intelligence-Assisted Chest Radiograph Interpretation For Tuberculosis Screening In Rural Health Units In The Philippines, Harold Henrison C. Chiu, Bryan Christopher C. Lao, Gloanne C. Adolor

Graduate School of Business Publications

Background: Tuberculosis remains a major public health burden in the Philippines, where diagnostic delays are amplified by limited radiology capacity in rural health units (RHUs) and geographically isolated and disadvantaged areas (GIDAs). Computer-aided diagnosis (CAD) using artificial intelligence (AI)-assisted chest radiograph interpretation may shorten the screening pathway and reduce reliance on scarce specialist readers. However, its economic value for RHUbased tuberculosis screening has not been fully evaluated.
Methods: We developed a decision-tree cost-effectiveness model in Microsoft Excel 365 to compare AI-assisted chest radiograph interpretation with conventional manual radiologist or teleradiology interpretation among a theoretical annual cohort of 1,000 presumptive tuberculosis …

Final Report, Luke Murphy

Goal 8: Decent Work and Economic Growth

No abstract provided.

Advancing Sdg 9 Through Ai-Powered Waste Diversion, Ally Murphy

Goal 9: Industry, Innovation and Infrastructure

No abstract provided.

Effects Of Bidisperse Gold Nanoparticles On Near-Infrared Surface-Enhanced Raman Spectroscopy (Sers) In Quick-Freezing-Induced Gold Nanoparticle Aggregates (Qfiaas), Elissa M. Dojka

Forensic Science Master's Projects

Gold nanoparticle (AuNP) aggregates formed via rapid freezing in liquid nitrogen exhibit strong near-infrared (NIR) plasmonic coupling. These quick-freezing-induced AuNP aggregates (QFIAAs) form moderately sized, colloidally stable structures that remain suspended for over three months, supporting a variety of analytical applications. Mechanistically, QFIAA formation arises from the confinement of nanoparticles and ions within advancing ice grain boundaries during freeze-concentration. This mechanical crowding promotes extreme physical proximity while simultaneously elevating local ionic strength, which screens electrostatic barriers to drive the assembly of dense, tightly coupled plasmonic networks.

This study investigates the plasmonic and surface-enhanced Raman scattering (SERS) behavior of bidisperse QFIAA …

Analysis Of Terpenes In Cannabis Flowers Using Gas Chromatography Via Headspace-Solid Phase Microextraction (Hs-Spme), Hannah I. Bergner

Forensic Science Master's Projects

As cannabis commercialization grows, rigorous profiling of cannabinoids, terpenes, and chemical contaminants is legally required for industry standardization and consumer safety. Terpenes are highly volatile components that dictate the unique aromatic profiles and therapeutic properties of cannabis via receptor pathways. This project focused on a gas chromatography-flame ionization detector/mass selective detector (GC-FID/MSD) combined with headspace-solid phase microextraction (HS-SPME) sampling to analyze terpenes present in four cannabis samples. Cannabis samples were tightly sealed in vials (10 mL) and heated to vaporize terpenes in the headspace above the samples, followed by the extraction of the vaporized terpenes using a polydimethylsiloxane (PDMS)-coated SPME …

Paleolimnology And Diatom Taxonomy From Lake Tanganyika, Sristika Adhikari

All-Inclusive List of Electronic Theses and Dissertations

Lake Tanganyika is one of the world's largest freshwater ecosystems, supporting rich aquatic biodiversity and providing several ecosystem services to surrounding communities. Environmental changes such as rising lake surface temperatures, pollution, and land-use alterations threaten the lake’s sustainability. This research examines spatial and temporal variations in nutrient dynamics and primary productivity of Lake Tanganyika using diatom assemblages from multiple locations. Our findings indicate reduced nutrient levels and longer stratification periods in the lake’s central basin during most of the Common Era, as indicated by a remarkable increase in the relative abundance of long, needle-shaped planktonic Nitzschia species. In the southern …

Lessons From The Club Homeschool Capstone: Testing, Data Discipline, And The Computer Science Curriculum, Shane Brown

University Honors Theses

This thesis looks at the CLUB Homeschool Capstone project to argue that Portland State University's Computer Science curriculum should introduce testing and data quality discipline earlier and more intentionally than it does now. As team lead of a seven-person team, I coordinated sprint planning, communicated with the sponsor, and developed custom Discourse plugins that enhanced an existing forum platform instead of creating a separate application database, as requested by the sponsor. The project's requirements document called for a formal testing plan, but our team lacked the practical experience to implement one. This gap became evident through my internships as a …

Visualizing The Phase Space Of Two Interacting Spherical Magnets Via Lagrangian Descriptors, Matthew Pontius

All Graduate Theses and Dissertations, Fall 2023 to Present

This thesis studies the motion of one spherical magnet sliding on another fixed spherical magnet. Although the setup is simple, the resulting motion can range from regular and predictable to chaotic as the energy increases. To understand this behavior, mathematical tools are used to visualize how all possible motions are organized in phase space. These methods reveal patterns such as stable regions, repeating motions, and chaotic trajectories. The results show how order and chaos coexist in this system and provide insight into how small changes in the initial conditions can lead to very different outcomes.

Drought And Diet Breadth: Does Insect Specialization Influence Herbivory When Plants Are Under Stress?, Jakob Palmer

All Graduate Theses and Dissertations, Fall 2023 to Present

Climate change will alter precipitation worldwide, causing more frequent and severe drought events worldwide. Drought affects many ecological processes, including plant-herbivore interactions, which are critical to biodiversity and ecosystem health. A variety of plant characteristics can influence herbivory – such as how hairy, nutritious, or toxic a leaf is – and drought has been shown to alter many of these traits. Unique characteristics of herbivore species are also important: herbivores can either feed on a variety of plants (generalists) or a group of closely related plants (specialists). Specialists can cope with traits of the plants they eat, while generalists are …

A Social-Ecological Systems Approach To Integrating Outdoor Recreation And Black Bear Management: A Michigan Case Study, Megan Dorothy Stone

All Graduate Theses and Dissertations, Fall 2023 to Present

Outdoor recreation sits at the intersection of social and ecological systems, representing one of the primary ways in which humans directly interact with their natural environment. As a result, outdoor recreation management must balance providing high-quality outdoor recreation opportunities while simultaneously protecting natural resources in protected areas. Balancing these concurrent management goals has become more challenging in recent years as participation in outdoor recreation increases. This can lead to numerous negative impacts on the environment, such as wildlife disturbance. In this study, I explore the challenges and opportunities for collaboration between managers of outdoor recreation and black bears in the …

Fostering Safe Space For Children In Online Navigation And Parent-Child Interactions, Rizu Paudel

All Graduate Theses and Dissertations, Fall 2023 to Present

As children and teenagers spend increasingly more time online, digital devices have become a major source of family friction. Disagreements frequently arise over privacy boundaries, and online activities. When these conflicts are unresolved, they often lead to broken trust and secretive behavior, leaving children vulnerable to digital harms like cyberbullying, toxic content, or account hacking. Therefore, it is important to create a safe and open environment for children where in order for them to share their feelings with parents. This dissertation investigates the human and technological dynamics of parent-child interactions, developing new ways to support collaborative conflict resolution and online …

Human-Centered Electric Vehicle Adoption Framework For Smart Mobility: Modeling Perceived Range And Charging Anxiety As A Psychological Barrier, Fatemeh Nazari, Abolfazl (Kouros) Mohammadian, Thomas Stephens

Civil Engineering Faculty Publications

Electric vehicles (EVs) offer a transformative pathway toward reducing the environmental, economic, and health-related externalities of internal combustion engine vehicles in urban settings. Despite substantial advances in battery technology, charging infrastructure expansion, and supportive policy incentives, EV penetration remains limited which poses challenges for smart and sustainable mobility planning. A critical yet insufficiently modeled barrier to adoption lies in the psychological perceptions surrounding electric driving range and charging reliability, which is commonly framed as “range anxiety,” but more broadly reflecting perceived range and charging anxiety. To address this gap, this study introduces a latent psychological construct capturing individuals’ perceived range …