Engineering Commons^™

A Scalable Iteration Of The Horizon Simulation Framework Using Multithreading Techniques, Jason E. Beals

Master's Theses

The Horizon Simulation Framework (HSF) occupies a unique space in the modern aerospace modeling landscape, enabling flexible, modular modeling of mission-level agent behavior through an object-oriented, hierarchical design. HSF's hallmark breadth-first search scheduling algorithm explores a "multiverse" of possible mission execution pathways, enabling exhaustive evaluation of schedule combinations against user-defined heuristics.

As aerospace systems become increasingly complex, HSF faces critical challenges in establishing verifiable, deterministic behavior. The framework's core scheduling algorithm had not undergone systematic validation, leaving questions about temporal consistency, state management correctness, and reproducibility across different program executions. Furthermore, the exponential growth of schedule combinations creates computational bottlenecks …

A Knowledge Transfer-Based Membrane Evolutionary Algorithm For Solving Large-Scale Sorted Waste Collection Problem With Timeliness, Wenxue Zhang, Boquan Gao, Aldy Gunawan, Yunyun Niu, Jianhua Xiao

Research Collection School Of Computing and Information Systems

The sorted collection of municipal solid waste has emerged as an effective waste management strategy due to varying timeliness requirements across different waste types, giving rise to the critical research challenge of timeliness-based waste collection. While existing algorithms primarily focus on small-scale versions of this problem, solving large-scale timeliness-based waste collection problems remains particularly challenging. To tackle this issue, this paper proposes a knowledge transfer-based membrane evolutionary algorithm. Specifically, the original problem and simplified problem are constructed in different membranes respectively, and the knowledge transfer learning mechanism is incorporated into the membrane evolutionary algorithm, enabling effective information exchange between the …

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

N-Dqn: Neutrosophic Deep Q-Network For Uncertainty-Aware Forecasting And Decision Optimization, Rania Lutfi

Neutrosophic Systems with Applications

Uncertainty remains a critical challenge in dynamic spatiotemporal forecasting. This study proposes the Neutrosophic Deep Q-Network (N-DQN), a framework that integrates neutrosophic logic with deep reinforcement learning to enhance decision optimization under uncertainty. Features are modeled through truth, indeterminacy, and falsity membership functions, enabling robust handling of ambiguous data. The framework incorporates attention-guided preprocessing and horizon-aware optimization to adapt predictions across short- and long-term intervals. Experiments on benchmark traffic datasets (METR-LA and PEMS-BAY) demonstrate improved forecasting accuracy and reduced error rates compared with established baselines. The results highlight the scalability and resilience of N-DQN, positioning it as a promising approach …

Single-Valued, Double-Valued, Triple-Valued, Quadruple-Valued, And Quintuple-Valued Neutrosophic Graph, Takaaki Fujita, Arif Mehmood, Arkan A. Ghaib

Neutrosophic Systems with Applications

Concepts such as fuzzy sets, neutrosophic sets, rough sets, and plithogenic sets have been extensively studied as formal tools for modeling uncertainty, and they have found broad applications across many disciplines. A Double-Valued Neutrosophic Set (DVNS) extends the classical neutrosophic framework by splitting indeterminacy into two distinct components: one leaning toward truth and the other leaning toward falsity. In recent years, further refinements—namely Triple-Valued, Quadruple-Valued, and Quintuple-Valued Neutrosophic Sets—have also been introduced and investigated. These uncertainty models have naturally been lifted to graph-theoretic settings, where vertices and edges represent entities and relationships under ambiguity. Although fuzzy graphs and neutrosophic graphs …

Evaluating Domains' Trustworthiness Based On Uncertainty-Driven Methodologies In The Era Of Sixth Generation, Zekra Sakr, Mona Mohamed

Neutrosophic Systems with Applications

The onset of today's innovations pledges to have a beneficial influence on contemporary civilization in an era of intelligent revolutions, setting a precedent for unrivaled efficiency, creativity, and connectedness. The integration between these technologies contributes to the mutual benefit of each one, wherein this relation is a so-called ``reciprocal partnership''. For instance, the sixth generation (6G) wireless networks permit blockchain nodes to coordinate huge volumes of transaction data in real-time. On the other hand, blockchain is considered a secure valve because spectrum sharing can be automated with blockchain and smart contracts. Accordingly, analyzing and evaluating the contribution of these technologies …

Neutrosophic Finsler–Cohomological Framework For Engineering Systems Under Uncertainty, Mona Gharib, Ghulam Muhammad, Muhammad Idrees, Zeeshan Gul

Neutrosophic Systems with Applications

This paper introduces a novel mathematical framework that combines Neutrosophic Finsler Geometry with Neutrosophic Cohomology for evaluating the performance of Brushless Direct Current (BLDC) motors under uncertain and indeterminate operating conditions. Classical motor performance models typically assume precise measurements of torque, current, and efficiency; however, in real-world settings, these parameters are often affected by noise, incomplete information, and conflicting observations. By embedding motor operating states into a neutrosophic Finsler space, the proposed approach captures variations not only in magnitude but also in direction, uncertainty, and conflict of performance metrics. In addition, neutrosophic Cohomology is employed to characterize global invariants of …

An Uncertainty-Aware Entropy-Oreste Framework For Big Data Platform Selection In Complex Multi-Sector Environments, Ahmed M. Ali, Ibrahim Alrashdi, Karam M. Sallam

Neutrosophic Systems with Applications

The increasing reliance on Big Data platforms across various industries has necessitated the development of systematic decision-support frameworks to guide their evaluation and selection. Given the diversity of available platforms, each offering different capabilities, scalability, and computational efficiency, choosing the optimal solution remains a complex challenge. This research proposes a novel analytical framework that integrates Spherical Fuzzy Sets (SFS) with the Entropy and ORESTE methods to address uncertainty and enhance the accuracy and robustness of Big Data platform evaluation. This hybrid integration, not previously applied to Big Data platform selection, enables objective criteria weighting through the Entropy method and comprehensive …

Current Research Progress On Electrode Materials For All-Vanadium Redox Flow Batteries, Wen-Qi Wang, Jie Jin, Li-Min Wang, Xin-Yue Liu, Tao Cheng, Yong Hou, Han Xue, Zhi-Yu Wang, Bo Liu, Jia-Bao Liu, Xu-Bin Lu

Journal of Electrochemistry

The redox active species in all-vanadium redox flow batteries (VRFBs) reside in the electrolyte, while the heterogeneous reactions occur on the electrode surface; the electrode is therefore the decisive platform for dynamic adsorption, electron transfer, and ion conversion, especially for the VO²⁺/VO₂⁺ and V²⁺/V³⁺ couples. One of the major challenges for VRFBs is the slow charge transfer in VO²⁺/VO₂⁺ and V²⁺/V³⁺ reactions, mainly caused by poor catalytic performance of electrodes and weak adhesion of catalysts to electrodes. This review focuses on the key challenges and recent …

Triphenylmethane-Derived Levelers For High-Speed Redistribution Layer Copper Electroplating Of Tailored Surface Morphologies, Zi-Hao Song, Wei-Bin Wang, Xiao-Hui Liu, Xiao-Min Han, Yi Zhou, Rui Huang, Yan-Xia Jiang, Zhe Li, Xiao-Wei Liu, Mei-Ling Xiao, Hong-Gang Liao, Wei-Lin Xu, Rong Sun

Journal of Electrochemistry

Redistribution Layer (RDL), composed of layered dielectrics and electroplated copper materials, is a basic structure to rearrange numerous I/O pads on the chip surface in wafer-level advanced packaging. As the key chemicals in electrolyte baths, electroplating additives have undergone continuous development to meet the industrial needs for high-speed and fine-line/fine-pitch applications. Meanwhile, the intricate relationships between additive chemical structures and electroplated copper properties are yet to be well understood. In this work, a pair of triphenylmethane-based dye molecules, i.e., gentian violet (GV) and methyl green (MG), was comparatively investigated as levelers for high-speed RDL copper electroplating. Compared to GV, significantly …

An Electrochemiluminescence-Based Arsenic (Iii) Sensor Using Luminol On Screen-Printed Gold Electrodes, Harmesa Harmesa, Isnaini Rahmawati, Andrea Fiorani, Yasuaki Einaga, Eny Kusrini, A’An Johan Wahyudi, Asep Saefumillah, Tribidasari A Ivandini

Journal of Electrochemistry

Electrochemiluminescence (ECL) of luminol has been studied on a screen-printed gold electrode for a simple and sensitive detection of arsenic ions (As(III)). Cyclic voltammetry (CV) was applied as the proposed technique to study luminol’s electrochemical behavior and to evaluate the arsenic’s effect in the ECL system, while hydrogen peroxide (H₂O₂) served as a co-reactant to enhance luminol’s light emission under alkaline conditions. To achieve optimal electrode performance, key parameters including pH, scan rate, and the concentrations of H₂O₂ and luminol were carefully optimized. The presence of As(III) induced a quenching effect on the …

Control Of Pore Nucleation And Rearrangement Kinetics During Aluminium Anodizing In Phosphoric Acid Electrolyte, Ilya V. Roslyakov, Nikita A. Shirin, Dmitry M. Tsymbarenko, Sergei N. Pavlov, Sergey E. Kushnir, Nikolay V. Lyskov, Kirill S. Napolskii

Journal of Electrochemistry

Anodic aluminium oxide (AAO) porous films with an interpore distance of several hundred nanometers are of great interest due to their unique interaction with visible and near-infrared light, and high thermal stability up to 1500 °C. These porous films are prepared by aluminium anodizing at high voltages in weak acids, leading to a slow kinetics of initial stages of porous structure formation. Here, we propose an approach to accelerate AAO formation in electrolytes based on weak acids such as phosphoric acid. Aluminium foils, pre-patterned using first anodizing under different conditions and subsequent selective dissolution of a sacrificial AAO layer, were …

Evaluating Regularized Logistic Regression And K-Nn On Mnist Under Increasing Random Missingness, Daniel Markwei

Data Science and Data Mining

This paper investigates the effect of random missingness on the performance of regularized multinomial logistic regression and the k-nearest neighbors (k-NN) classifier for handwritten digit recognition on the MNIST dataset. In particular, we study L1-regularized (LASSO) logistic regression and L2-regularized (Ridge) logistic regression alongside k-NN. Varying percentages of random missingness were introduced into the original dataset, and each model was evaluated in terms of its classification performance. The results show that random missingness degrades the performance of all three classifiers. Overall, k-NN consistently achieves higher accuracy than both L1- and L2-regularized logistic regression across all missingness levels; however, its performance …

Rapid Single-Cell Measurement Of Transient Transmembrane Water Flow Under Osmotic Gradient, Hong Jiang, Jinnawat Jongkhumkrong, Y. J. Chao, Qian Wang, Guiren Wang

Faculty Publications

Aquaporins (AQPs) are critical for transmembrane water transport in response to osmotic gradients, but their gating and regulatory mechanisms remain poorly understood. A central challenge is the lack of methods to measure water flow across AQPs from individual cells with the spatiotemporal resolution and sensitivity equivalent to patch-clamp recordings of ion fluxes—a limitation stemming from the electrically silent nature of water flow. Here, we present a novel optical technique—Flow-Induced Fluorescence Increase Velocimetry (FIFIV) based on Laser-Induced Fluorescence Photobleaching Anemometry (LIFPA)—that enables direct, real-time monitoring of cytoplasmic flow induced by transmembrane water transport under osmotic pressure gradients. Using small molecular fluorescent …

Discovery Of Dynamical Structures Mapping Chaotic Transport Pathways In The Earth–Moon Cr3bp, Tyler J. Kapolka, Christina E. Paljug, Robert A. Bettinger, Rachel Oliver, Bruce A. Cox, Jeremiah A. Specht

Faculty Publications

Chaos; Deterministic chaos; Earth–Moon system; Poincaré map; Quasi-chaotic; Surface of section /// For the Circular Restricted 3-Body Problem (CR3BP), the topologies present within a Poincaré map enable the extraction of useful information regarding periodic, quasi-periodic, and chaotic trajectory behavior. Aside from the prominent topologies that follow distinct concentric patterns around fixed points, indicative of the periodic and quasi-periodic motion that is often the central focus of CR3BP research, there are also many “dusty” regions on the Poincaré map that appear random without an apparent structure and are indicative of chaotic motion. This paper, for the first time in literature, identifies …

A Gaussian Process Regression-Based Denoising Method For Transient Electromagnetic Signals, Wang Peng, Shi Jiaxing, Lu Kai, Hu Jinru, Wen Guangyuan, Zhai Haojie

Coal Geology & Exploration

Objective The transient electromagnetic (TEM) method serves as a primary geophysical technique for groundwater detection in coalfields at present, with the detection results directly influencing the implementation of water hazard prevention and control in coal mines. Since it is difficult to avoid electromagnetic interference sources such as power lines during data acquisition, TEM signals are prone to be contaminated by electromagnetic noise. Given that primary denoising techniques such as wavelet transform and empirical mode decomposition (EMD) are yet to be further improved, this study developed a novel Gaussian process regression (GPR)-based denoising method for TEM signals. Methods First, time alignment …

Synergistic Breaking Of Composite Key Strata And Energy Evolution Of The Overburden Under Mining Disturbances, Wu Boqiang, Wang Xiaodong, Zhu Shibin, Xu Ganggang, Zhang Yuehong

Coal Geology & Exploration

Objective This study aims to explore the synergistic breaking responses and energy evolution mechanisms of composite key strata under mining disturbances. These efforts will provide robust theoretical support for the prevention and control of disaster-causing accidents in the surrounding rocks of coal seams and hold great significance for ensuring safe mining operations underground. Methods The breaking and instability characteristics of composite key strata under mining disturbances were analyzed by integrating physical simulation using similar materials, numerical calculation, and theoretical analysis. Accordingly, the accumulation and release patterns of strain energy and gravitational potential energy in the overburden were investigated. Finally, the …

Mechanism And Prevention Of Rockburst In Deep Asymmetric Goaf Areas Coal Seam Main Roadway, Lu Xihui, Zhao Weiwei, Hao Yinghao, Cao Anye, Su Shijie, Lyu Guowei, Bai Gang

Coal Geology & Exploration

Objective With an increase in the utilization of main roadways in coal seams, rockburst have occurred increasingly more frequently in these main roadways. Investigating the mechanisms behind these rockburst under specific conditions, as well as differentiated prevention and control measures, holds great significance for the safe extraction of deep coal resources.Methods This study investigated the main roadways at risk of strong rockburst within a coal mine in Inner Mongolia. By integrating a range of methods, including field measurement, theoretical analysis, and FLAC3D-based numerical simulation, this study examined the evolutionary patterns of both the surrounding rock stress and the overburden …

Sedimentary Evidence For The Connection Between The Southern Margin Of The Ordos Basin And The Paleotethys Ocean During The Permian To Early Triassic, Li Zonglin, Shi Yongsheng, Li Wenhou, Chen Long, Sun Jiaopeng

Coal Geology & Exploration

Objective Understanding the Permian-Early Triassic sedimentary environments along the southern margin of the Ordos Basin (also referred to as the SMOB) and their tectono-sedimentary responses to the Paleotethys Ocean plays a key role in determining the paleogeographic evolution and energy resource potential of the southern margin of the North China Craton. Methods This study investigated the Qinling Orogenic Belt (QOB) and the SMOB. Through systematic sedimentological examination based on drilling data and outcrop sections, along with a systematic review of existing paleontological findings, this study re-determined the Permian-Early Triassic tectono-paleogeographic frameworks along the SMOB. Furthermore, this study explored the paleogeography …

Characteristics And Mechanisms Of Guar Gum Degradation By Indigenous Bacteria In Coal Seams, Li Bing, Guo Hongyu, Zhou Xiao, Wang Haichao, Jian Kuo, Chen Zhaoying, Zhang Bin

Coal Geology & Exploration

Background Hydraulic fracturing serves as a stimulation technique extensively used in the commercial development of coalbed methane (CBM), in which guar gum is commonly used as a fracturing fluid thickener. However, under the low-temperature conditions of coal reservoirs, conventional chemical gel-breaking methods often suffer from incomplete gel breaking and high residue content, resulting in formation damage and a decrease in the production efficiency of CBM wells. Methods Using indigenous bacteria in coal seams as functional strains, this study conducted microbial gel-breaking experiments. It systematically investigated the characteristics of guar gum biodegradation by these bacteria and determined the dominant microbial taxa …

A Method For Diffracted Wave Separation And Imaging Based On The Gwa-Vmd, Lin Peng, Liu Yulin, Peng Suping, Cui Xiaoqin, Guo Changbo, Yang Jie

Coal Geology & Exploration

Background Small-scale discontinuous geobodies such as faults, collapse columns, and pinch-out points are widely present in underground spaces. They are closely associated with the safe production and development of underground resources such as coals, oil, and gas. As the wave field responses of small-scale discontinuous geobodies, diffracted waves can overcome the shortcomings of traditional reflected wave imaging, being capable of accurately identifying and localizing small-scale geobodies. Objective and Method This study aims to achieve diffracted wave imaging of discontinuous geobodies. Based on the differences in kinematic and dynamic characteristics between reflected and diffracted waves, this study leveraged the precise self-adaptive …

A Reflected Radio Wave-Based Exploration Method For Goaves In Closed/Abandoned Mines And Its Application, Pang Yao, Wu Rongxin, Wang Jinguo, Hu Ze'an

Coal Geology & Exploration

Objective and Method The redevelopment and reutilization of closed/abandoned mines hold great research significance and practical production value due to their substantial number. In China, the secondary development and utilization of energy and spatial resources in such mines started late, rendering foundational theories and key technologies relatively underdeveloped. To investigate the developmental characteristics of underground spaces within goaves in closed/abandoned mines, this study proposed a reflected radio wave-based exploration method. Specifically, an observation system with a fixed transmitter-receiver (TR) spacing was deployed in rock roadways above/below or on both sides of the mining face in a closed/abandoned mine. Then, a …

Cross-Modal Lidar-Camera Joint Calibration For Heading And Mining Face In Coal Mines, Yang Wenjuan, Ren Zhiteng, Zhang Xuhui, Du Yuyang, Li Changpeng, Zhang Chao, Xu Jie, Wan Jicheng, Lei Mengyu

Coal Geology & Exploration

Objective In underground coal mines, it is challenging to extract the features of the heading and mining face stably under insufficient illumination, significant dust interference, and sparse point clouds. This severely undermines the accuracy and robustness of camera-LiDAR joint calibration based on underground unstructured scene characteristics.Methods Targeting complex operating conditions, including fully mechanized mining face and tunneling roadways, this study developed a LiDAR-camera joint calibration method based on cross-depth feature coupling. In this method, an improved random sample consensus (RANSAC) algorithm for multi-plane fitting was designed for feature extraction. By integrating normal vector-based pre-clustering and an adaptive iteration mechanism, …

Table Of Contents, The Editors

Coal Geology & Exploration

No abstract provided.

Transformer-Driven Intelligent Prediction For The Time-Series Features Of Mine Pressure In Fully Mechanized Mining Face, Du Feng, Chen Bo, Wang Wenqiang, Pu Hai, Du Xueming, Li Guodong, Qiao Rui, Li Xinlei, Xu Jie, Cao Yu

Coal Geology & Exploration

Objective Mine pressure prediction represents an important means for early warning and management of disasters in coal seam roofs, serving as the prerequisite and foundation for safe production in intelligent mines. However, the complex and variable conditions of fully mechanized mining face lead to significant variations in the distribution of support pressure data acquired using electro-hydraulic control systems, complicating mine pressure prediction. Methods This study developed a Transformer-based mine pressure prediction model. Specifically, missing mine pressure data were filled using linear interpolation, and the data structure of mine pressure was adjusted using a sliding window algorithm. Based on the time-series …

Mechanisms Behind Permeability Enhancement Of Coal Reservoirs Induced By Electro-Chemical Composite Energy Pulse Fracturing, Meng Bingbing, Cao Yunxing, Duan Hongfei, Zhang Xinsheng, Zhao Lijuan, Shi Bin, Yu Guofeng

Coal Geology & Exploration

Background Electro-chemical composite energy pulse fracturing (ECCE-PF) technology (i.e., the electrical explosion of metal wires igniting energetic materials) can effectively change the pore structure of coal reservoirs and enhance coal seam permeability. Elucidating the mechanisms behind the influence of this technology on both the scales of modified coal pores/fractures and methane desorption pattern can provide a theoretical basis for the wide application of this technology to coal seam permeability enhancement. Methods This study investigated coal samples from the Zhangcun Coal Mine in the Lu’an coal mining area, Shanxi Province. Using a self-developed ECCE-PF experimental platform, an experimental study was conducted …

Development Potential Of The Ucg-Eg Industry In Guizhou Province, China, Wang Lingxia, Zhou Ze, Yi Tongsheng, Qin Yong, Yang Lei, Kong Weimin

Coal Geology & Exploration

Objective and Methods This study aims to promote the sustainable development of the underground coal gasification (UCG) industry and to extend the industrial chain of syngas development and utilization. To this end, this study analyzed the UCG-electricity generation (UCG-EG) potential of Guizhou Province based on the evaluation results of resources allowing UCG and the current status of energy and electric power structures of this province. A 3D analytical principle model for UCG-EG industry scenarios in Guizhou was constructed through scenario modelling. Using this model, the prospects of the UCG industry under low, medium, high, and ultra-high scenarios were quantitatively depicted. …

Advances In Research On Enrichment Of Major Metallic Elements Within Coals In Coal-Accumulating Basins Across Xinjiang, China, Ning Shuzheng, Wang Xiaoxia, Huang Shaoqing, Yan Xiaoyun, Xu Xiaotao, Zhang Jianqiang, Zhang Li, Hou Yuehua

Coal Geology & Exploration

Background Xinjiang serves as an important coal production base in northwestern China. This region holds approximately 40% of China’s predicted coal reserves, with its coal resources primarily distributed in coal-accumulating basins such as Junggar, Yili, Tuha, and Santanghu.Methods Focusing on strategic metals (e.g., lithium, rare earth elements, zirconium, hafnium, niobium, and tantalum), hazardous metals (e.g., arsenic, mercury, and sodium), radioactive metals (e.g., uranium and thorium), and other heavy metals (e.g., iron and manganese), this study explored the enrichment mechanisms and metallogenic potential of these metallic elements in coals across representative coal-accumulating basins in Xinjiang.Advances The metallic element enrichment …

Factors Influencing Productivity And Production System Optimization For Deep Coalbed Methane In The Daning-Jixian Block, Ordos Basin, Zhao Haifeng, Jia Zhaojie, Chen Mengqi, Yang Ziyi, Wang Bin, Lin Hongliang, Yang Yanfeng

Coal Geology & Exploration

Objective Deep coalbed methane (CBM) reservoirs are characterized by ultra-low porosity, ultra-low permeability, and super saturation, rendering it impractical to copy the productivity models of shallow coalbed methane and shale gas. Furthermore, the production performance of deep CBM varies significantly across different well sections. However, the impacts of different factors on the productivity of deep CBM remain poorly understood. This study conducted a numerical simulation analysis of the productivity of deep CBM in the Daning-Jixian block along the eastern margin of the Ordos Basin based on the geological characteristics of the block, aiming to explore the impacts of various key …

Research Progress And Prospects Of High-Salinity Mine Water Storage In Deep Strata, Xue Jiankun, Wang Shuangming, Zhang Pingsong, Wang Xiaodong, Zhou Zhenfang, Wang Tiantian, Zhang Quan, Xu Shi'ang, Wang Zhizhou

Coal Geology & Exploration

Background High-salinity mine water (HSMW) is widely distributed in mining areas in western China, while its discharge and treatment pose severe challenges to both the ecosystem and resource utilization. In recent years, HSMW storage in deep strata has gained widespread attention as an environmentally friendly and resource-saving approach for mine water treatment.Advances Focusing on the general characteristics of HSMW, this study systematically reviewed the key scientific issues and technical bottlenecks associated with HSMW storage in deep strata, highlighting its principles, technical classification, and engineering application. It comprehensively elucidated the applicability boundaries of this technology, involving the core links such …