Digital Commons Network^™

Chemnetworks: New Capabilities For High-Throughput, Real-Time Chemical Graph Construction And Analysis, Daniel J. Pope, Jackson Elowitt, Bo Zhang, Manish Parashar, Aurora E. Clark

Michigan Tech Publications

A major revision of the ChemNetworks software (originally published in the Journal of Computational Chemistry, 2014, 35, 495–505) is presented. While the original ChemNetworks provided foundational graph construction capabilities for chemical systems, it was limited to simple distance and 3-body angular edge criteria, was not designed for high-performance computing environments or real-time operation alongside running simulations. This release addresses these limitations through three core contributions. First, a recursive Z-matrix-based search algorithm is introduced that enables chemically intuitive, arbitrarily descriptive three-dimensional structure searches, supporting geometric, energetic, and logical criteria. Second, the DataSpaces data staging framework is incorporated as an optional I/O …

Don’T Sweat Interaction Trees Proof-Guided Local Variable Lifting For Interaction Trees, Yiming Lin, Ian Kariniemi, Yao Li

Computer Science Faculty Publications and Presentations

Verifying existing software is hard: Programs are developed in languages not amenable to verification, involve complicated optimizations that obscure the underlying logic, and are gigantic in size. In this paper, we propose a way to ease this pain via a simplification framework that employs interaction trees as a language-agnostic interface. We show that local variable lifting, the technique underlying AutoCorres for the Simpl language, can be generalized to interaction trees via an implementation in Rocq. A key challenge with simplifying interaction trees is that they are highly dynamic structures and we would like our approach to work with mostly uninterpreted …

Disturbance-Learning Inertia Estimation Using Artificial Neural Networks For Power System Stability, Sospeter Igaanja Gabriel, Francis Mwasilu, Peter Makolo Dr.

Tanzania Journal of Engineering and Technology (TJET)

ABSTRACT

Power systems are progressively shifting towards low inertia as a result of incorporating significant amounts of intermittent and converter-based renewable energy sources, such as wind and solar power, into the current power grid network. This integration poses considerable problems to inertia and frequency control within the network due to a reduction in the proportion of synchronous generators. Furthermore, rapid frequency deviations occur due to the disparity between supply and demand during contingencies, complicating the maintenance of frequency stability within the power system. The disturbance-learning inertia estimation method for power system stability is presented. The simulation analysis is performed using …

A Neutrosophic Memory-Integrity Calculus For Contradiction-Preserving Persistent Ai Agents, Rana Muhammad Zulqarnain, Saalam Ali

Neutrosophic Systems with Applications

Persistent AI agents increasingly convert interaction histories into long-lived memory, making memory transformation not retrieval alone—a central reliability problem. NMIC (Neutrosophic Memory-Integrity Calculus) formalizes the integrity of write, merge, consolidation, revision, and retrieval operations over persistent memory. Each proposition is represented through an evidence ledger carrying independent truth, indeterminacy, and falsity degrees together with reliability, provenance, temporal validity, contextual applicability, and inter-evidence dependence. A dependence-normalized hazard aggregation preserves simultaneous support and opposition while making the resulting state invariant to exact evidence duplication. Pure consolidation is governed by five integrity conditions: no support invention, no opposition invention, no manufactured certainty, contradiction …

Decision Support System For The Selection Of Thumbprint Recognition Algorithms In Biometric Security Systems, Toqeer Jameel, Muhammad Riaz

Neutrosophic Systems with Applications

This study investigates fingerprint recognition in immigration operations, emphasizing the role of biometric verification in enhancing security, fairness, and operational efficiency in international mobility. To address the uncertainty, vagueness, and imprecision inherent in fingerprint identification, a novel decision-making framework is proposed by integrating interval-valued picture fuzzy (IVPF) information. Fairly aggregation operators are introduced to combine decision makers' evaluations, while extracted fingerprint features are modeled using positive, neutral, and negative membership degrees within the IVPF environment. Objective criterion weights are determined using the criteria importance through intercriteria correlation (CRITIC) method, and individual ranking is performed via the alternative ranking order method …

A Data-Driven Neutrosophic Multi-Criteria Intelligent System For Functional Disability Severity Assessment, Ehab Abdel Aziz Al-Beblawi, Mirna Samy, Abduallah Gamal

Neutrosophic Systems with Applications

Functional disability assessment is a multidimensional problem because individuals may experience different levels of difficulty across daily activities such as walking, standing, dressing, eating, grasping objects, and social participation. This paper proposes NIFDA, a data-driven neutrosophic multi-criteria intelligent system for functional disability severity assessment. The proposed framework represents each functional response through three components: confirmed limitation, indeterminacy, and preserved functional ability. This allows the model to handle valid responses, uncertain information, and missing or non-informative data without forcing them into a single crisp score. To reduce dependence on subjective expert weighting, NIFDA derives criterion weights objectively using a hybrid CRITIC–MEREC …

Thermal Displacement Quantification And Dynamic Disparity Compensation For Automotive Stereo Cameras, Bisheng Wang, Xiyuan Hu, Ran Meng, An Jiang

Journal of System Simulation

Abstract: This paper presents a full-field thermal displacement inversion and dynamic disparity compensation method to address the disparity drift issue in mass-produced automotive-grade stereo cameras induced by thermal expansion and rigid-body displacement of image sensors under wide-temperature-range operating conditions. The proposed method leverages a high-precision static speckle pattern and digital image correlation (DIC) technique to achieve quantitative characterization of the nonuniform horizontal thermal deformation fields of the left and right image sensors. On this basis, a dynamic disparity compensation model is established, integrating a temperature-dependent quadratic polynomial translation term and a radial thermal expansion correction term. Experiments were conducted by …

Vehicle Cross-Modal Trajectory Prediction Model Based On Driving Style Hypergraphs, Guozhu Cheng, Changyuan Wang, Wenzhi Wang, Yifan Zhang, Tianjun Feng

Journal of System Simulation

Abstract: To address the shortcomings of existing motorway vehicle trajectory prediction methods which overlook differences in driving styles and the future interactions between trajectories of different modes. This paper proposes a cross-modal trajectory prediction model based on a dual-hypergraph Transformer for driving styles. The method first quantifies driving styles by extracting vehicle kinematic features and calculates a similarity matrix between vehicles; it then constructs a dual-hypergraph Transformer, using a homogeneous hypergraph to model the group interactions of vehicles with similar driving styles, and a heterogeneous hypergraph to capture the interaction relationships between spatially neighbouring but stylistically dissimilar vehicles; Finally, a …

Long-Tail Object Detection Method In Transportation Scene Images Based On Improved Rt-Detr, Mingjun Deng, Peihua Nie, Junhua Guo, Ningbo Gao

Journal of System Simulation

Abstract: Detecting rare objects in transportation environments is crucial for the safety and reliability of autonomous driving systems. To address the challenges of limited detection capability on rare objects that appear only a few times during training, we propose an improved long-tailed object detection method for traffic scene images named TF-DETR (tail free DETR) based on RT-DETR model. First, the lightweight CSP-EDA (CSP-efficient depthwise aggregation) was constructed to reconstruct the backbone network. Its core unit, the efficient depthwise aggregation, integrated the pooled-transpose attention and convolutional gated linear unit to enhance feature representations for tail-class samples. Second, the spatially-adaptive dynamic cognitive …

Vehicle Sar Image Simulation: Progress, Application And Challenge, Shengjie Luo, Zhigang Liu, Xihai Li, Yiting Wang, Xiaoniu Zeng, Xiaofeng Tan, Hongru Li, Tianyou Liu, Yun Zhang

Journal of System Simulation

Abstract: SAR image simulation technology can efficiently generate large-scale annotated data by flexibly configuring system parameters and scene conditions, breaking through the inherent limitations of high cost and long acquisition cycles associated with real SAR images, and effectively mitigating the problem of data scarcity. To elaborate on the overall research status of vehicle SAR image simulation, a classification framework for simulation methods is first established based on technical principles and methodological approaches. Subsequently, a comprehensive review of research progress is provided, offering an in-depth analysis of the theoretical foundations, practical applications, and suitable scenarios of various methods. Finally, based on …

Act Action Chunk Adaptive Optimization Method For Chemistry-Oriented Robots, Tan Li, Congying Wu, Shenghua Li, Nanjiang Chen, Weining Song, Fangfang Gao, Qi Wang, Yanwen Lin, Runmin Yin

Journal of System Simulation

Abstract: Chemical R&D laboratories face persistent challenges such as long R&D cycles and high experimental repetitiveness. With the growing demand for automation and intelligence in laboratory processes, embodied intelligent robots capable of learning expert operational experience and executing tasks stably in complex environments have become a key direction for improving chemical R&D efficiency and reducing human error. Although the hardware and software for embodied intelligence are advancing rapidly, current research focuses primarily on general-purpose operations, with limited attention to the specific constraints of chemistry laboratory settings. Traditional ACT algorithms, which use fixed action chunk sizes, fail to meet the requirements …

High-Dimensional Multi-Objective Optimization Algorithm Based On Large Language Model Assistance, Yichao Ma, Jingxuan Wei

Journal of System Simulation

Abstract: The increase in the dimension of objective functions in optimization problems makes it challenging to balance convergence and diversity in population-based algorithms, which is a key factor leading to performance degradation of multi-objective evolutionary algorithms. To address this issue, a dynamic switching mechanism assisted by a large language model is proposed. By continuously evaluating the changes in hypervolume and convergence metrics of the solution set, the search process is adaptively divided into three phases: convergence-oriented, diversity-oriented, and large language model-suggested phases, achieving precise allocation of computational resources. Furthermore, to mitigate the high computational cost of large language models in …

Modeling, Dynamical Analysis, And Lmplementation Of Switched Memristive Neural Networks, Zhuang Qu, Shaohua Zhang, Cong Wang, Hongli Zhang, Xinkai Li, Ping Ma

Journal of System Simulation

Abstract: To simulate the dynamic functional switching of brain networks, a time-switched memristive Hopfield neural network (TSM-HNN) model is proposed. The model utilizes external time-sequential signals to control memristive synapses, allowing it to dynamically generate multi-scroll chaotic attractors of varying numbers and morphologies without altering the system's structure. This overcomes the limitation of traditional chaotic systems, which can typically only produce a single type of attractor. The model exhibits complex chaotic behavior, high sensitivity to initial conditions, and coexisting attractors. Its physical feasibility has been verified through PSPice circuit simulations. This enhanced complexity and randomness give the model significant potential …

Design And Research Of A Microfocus X-Ray Tube, Haodong Zhao, Shizong Wei, Daolong Yu, Zhixia Liu, Yuezhong Chen, Ji Xu

Journal of System Simulation

Abstract: With the rapid advancement of high-resolution imaging and Micro-nano detection technology, microfocus X-ray sources show great potential for applications in industrial non-destructive testing, biomedical imaging, and material microstructure analysis. Achieving a focal spot size below 10 μm is essential for enhancing spatial resolution. However, traditional X-ray tubes are constrained by heat source dimensions, electron beam divergence, and limited focusing capabilities, which makes it challenging to simultaneously achieve focal spot miniaturization and adequate radiation intensity. In this study, a hot cathode electron gun is modeled using CST particle studio. Simulations are conducted to analyze the influence of the first anode …

Research On Characteristics Of Inclined Jet Flow For Aircraft De-Icing Based On Multiphysics Coupling, Zhiwei Xing, Hongbin Zhang, Ke Sun, Wenliang Miao

Journal of System Simulation

Abstract: To address the complex multiphysics coupling and lack of theoretical guidance for spray parameters in aircraft ground de-icing, a simulation model based on the Phase-Field method and Realizable k-ε turbulence model is proposed to investigate inclined jet flow over airfoil surfaces. The model enables the numerical reconstruction of jet impingement, liquid film flow, and unsteady heat transfer processes, providing a framework to elucidate the regulatory mechanisms of jet angles on momentum distribution and thermal characteristics. The simulation results reveal distinct variations in the flow and heat-transfer characteristics at different jet inclination angles. At a jet angle of 15°, the …

Physics-Driven Efficient Simulation Platform For Warhead-Target Engagement And Damage Assessment, Yidan Cui, Jingyao Ke, Yufeng Zheng, Kun Xue

Journal of System Simulation

Abstract: To address the limitations of incomplete physical modeling, low computational efficiency, fragmented simulation workflows, and insufficient visual immersion in existing damage simulations of fragment warheads, this paper proposes and develops a physics-driven, high-efficiency visualization platform for warhead-target engagement and damage assessment. The platform implements a full-chain, closed-loop simulation framework covering scenario configuration, force-field computation, fragment dispersion, warhead-target intersection, and damage evaluation. A finite element-discrete element (JK2024-06) coupled dynamics framework is established, integrating a detonation model, shell expansion correction, and fragment velocity inheritance to accurately reproduce the complete dynamic process from detonation to dispersion. A three-level acceleration algorithm based on …

Research On Simulation Technology Of Sea Yawing Test For Amphibious Vehicles, Yue Zhong, Wenlong Ji, Shiqi Feng, Feng Xu, Shuangping Ye

Journal of System Simulation

Abstract: Addressing the challenges of achieving extreme operating conditions and understanding the boundary conditions of yaw performance in offshore yaw tests for amphibious vehicles, a heading-flow direction angle mapping analysis method based on computational fluid dynamics (CFD) simulation and a three-dimensional hydrodynamic stratified model is proposed. Under environmental conditions of second-level (wave height of 0.5 m, wind speed of 3.3 m/s) and third-level (wave height of 1.0 m, wind speed of 5.1 m/s) sea states, a hundred-meter yaw test is simulated to reveal the nonlinear evolution law of yaw displacement and heading-flow direction angle. The research indicates that the extreme …

Vibration Characteristics Of Compact Hydraulic System Pipelines Based On Two-Way Fluid- Structure Interaction, Lichen Shi, Xujia Feng, Weitao Dou, Yanyan Li

Journal of System Simulation

Abstract: Amid growing demands for green manufacturing, equipment miniaturization, and high efficiency, compact hydraulic systems are critical in disassembly, assembly, and transport operations due to their high power density and flexibility. However, severe vibration in the pipeline systems significantly compromises equipment reliability. This study investigates the dynamic response mechanism of a compact on-board hydraulic pipeline system, using a specific piece of disassembly and assembly equipment with spatially constrained clamp placement as a case study, through a two-way fluid-structure interaction method, and optimizes the clamp layout. The results show that resonance occurs when the excitation frequency of the hydraulic oil pressure …

Research On Automated Generation Method Of Data-Based Architectural View Products, Kui Wang, Tianrong Gao, Cheng Chen, Mengyin Cui, Ping Wang, Xiaoping Wang, Huaijin Ge

Journal of System Simulation

Abstract: To address the issue of insufficient consistency among view products in the architectural design process, this paper proposes an automatic view product generation method based on the architecture metamodel. To enhance the consistency of view products, the method abandons the traditional post-design verification approach. Instead, it uses the information flow/data flow defined in the metamodel as the benchmark, and through explicit associations among architectural data as well as mapping relationships between view products and data, automatically derives and generates behavioral view products from structural and classificational view products. A prototype tool developed based on this method has been validated …

Research Of Data-Model Integrated Digital Twin-Based Health Intelligent Monitoring For Multi-Stage Centrifugal Compressors, Xiaomo Jiang, Jigang Meng, Huaiyu Hui, Wenqing Meng, Haibin Yang, Huize Chen

Journal of System Simulation

Abstract: To address the challenges of insufficient real-time monitoring capability and weak coupling between physical entities and virtual models in the long-term safe and reliable operation of multi-stage centrifugal compressors under complex operating conditions, this paper proposes a digital twin construction method based on data-model fusion for intelligent health monitoring. A unit-system-component hierarchical virtual twin model is established to achieve the coordinated mapping of geometric structure, operational behavior, and monitoring data of the compressor. By integrating a terminal-edge-cloud collaborative architecture, data-driven models are dynamically coupled with the virtual twin to construct a digital twin-based health monitoring platform, enabling operating state …

Design Of A Simulation Dataset For Fine-Grained Detection Of Space Target Sequence Images, Shiyan Wang, Danpu Zhao, Haikun Hong

Journal of System Simulation

Abstract:

With the increasing number of space objects such as satellites, there is a growing need for fine-grained detection and recognition of distant space targets. However, obtaining real observational data remains difficult due to high costs and insufficient annotation detail. To overcome these limitations, asynthetic dataset generation system based on multi-module collaboration is developed. Using joint simulation with STK and Blender, the proposed system simulates optical imaging conditions of space targets and automatically produces sequential images along with corresponding fine-grained labels. A large-scale simulation dataset is constructed for fine-grained detection in space target image sequences. It contains …

Robotic Digital Twin Modeling Method Integrating Mbse And Modelica, Zaiwu Mei, Jiangman Zhou, Cong Zhang, Yiping Gao, Zerun Zhu

Journal of System Simulation

Abstract: To address the issues of disconnection between system architecture design and dynamic simulation, as well as the limited reusability and scalability of models in robotic digital twin modeling, a modular modeling approach integrating MBSE (model-based systems engineering) and Modelica is proposed. The method employs MBSE for system architecture design and requirement traceability, and combines Modelica for multi-domain dynamic simulation, forming a full-chain digital twin model from system design to physical behavior simulation. Standardized interfaces and a generic component model library are developed to decouple and integrate mechanical, electrical, and control subsystems, enabling rapid model assembly and functional expansion. A …

Modeling And Simulation Of Multi-Hop Routing In 3d Tunnel Wireless Sensor Networks, Fang Cao, Jiguang Yang, Jiuyuan Huo

Journal of System Simulation

Abstract: To address the unbalanced energy consumption and short network lifetime caused by the complex topology and strong energy coupling of three-dimensional tunnel wireless sensor networks, this study constructs a system-level operating model integrating spatial topology, energy evolution, and routing decision-making, and proposes an energy management for balanced and efficient routing (EMBER) algorithm based on the competition of tribes and cooperation of members (CTCM) algorithm. The optimal number of cluster heads is derived through tunnel spatial modeling. Clustering is performed using a Gaussian mixture model optimized by CTCM, and efficient cluster-head selection is achieved by combining data envelopment analysis. An …

Rrt*-Based Robotic Manipulator Path Planning With Artificial Potential Field Guidance And Accumulator-Based Adaptive Adjustment, Fangzheng Gao, Xu Guo, Quan Sun, Jiacai Huang, Zhongcai Zhang

Journal of System Simulation

Abstract: To address the problems of blind sampling, slow convergence, and path redundancy in robotic manipulator path planning in cluttered and unstructured three-dimensional environments, An RRT* algorithm integrating artificial potential field guidance and accumulator-based adaptive adjustment, namely APGA-RRT* (artificial potential field guidance and accumulator adaptive adjustment-RRT*). The proposed algorithm improves the overall planning performance from three aspects: sampling, expansion, and path optimization. In the sampling stage, a potential-field-guided sampling strategy based on target-distance weighting and virtual-target switching is constructed, obstacle suppression and safe-distance gating mechanisms are incorporated to dynamically adjust the guidance intensity, thereby enhancing target directivity and local escape …

Online Fine-Tuning Of Binocular Camera Extrinsic Parameters Based On Position-Iteration Dual Perception, Qian Long, Tuerhong Dilixiati, Qi Zheng, Lijun Shen

Journal of System Simulation

Abstract: In long-term operation of binocular systems, small drifts in extrinsic parameters may occur due to temperature changes, vibration, and mechanical shocks. As these drifts accumulate, the ranging error increases with distance and seriously degrades long-range measurement performance. Because online compensation is difficult, such small drifts are often neglected. To address this problem, an online fine-tuning method based on position-iteration dual perception is proposed. A multiplicative coupling weighting model is established by integrating spatial reliability with an iteration-stage modulation function. A three-stage progressive optimization algorithm is designed to balance convergence speed and robustness. A simulation framework for offline calibration and …

Review Of Evaluation Metrics For The Credibility Of Autonomous Driving Test Scenarios, Jiwei Li, Runmin Wang, Yu Zhu, Jingjun Cheng, Xiangmo Zhao

Journal of System Simulation

Abstract: Currently, scenario-based simulation testing has become a core technical approach for verifying autonomous driving system functionality. However, due to the absence of unified evaluation standards for simulation scenarios, significant differences exist among the metrics constructed and adopted by different studies, each with its own limitations. This hinders mutual recognition of research outcomes and prevents scientific measurement of scenario quality. This study systematically reviews relevant research from the past five years, categorizing autonomous driving test scenarios into four types: parameter-descriptive, trajectory-driven, environment-simulation, and perception-data-driven. It clarifies the core characteristics, application objectives, and generation mechanisms of each scenario type. Subsequently, focusing …

Hybrid Attention For Low-Overlap Point Cloud Registration, Huaijun Wang, Zonghua Yu, Chenxin Xu, Junhuai Li, Chenzhi Li, Junjie Yin

Journal of System Simulation

Abstract: To address the significant registration errors caused by large initial pose deviations in low overlap ratio point cloud, this paper presents a two-stage optimization method that integrates selfattention and cross-attention mechanisms. Orientation feature representation is enhanced using equivariant self-attention, semantic alignment is achieved through invariant cross-attention, and rotational equivariance is modeled with an octahedral group for coarse registration. Various attention variants are employed to aggregate features along the anchor dimension, and a local-to-global module is utilized for fine registration. On the 3DLoMatch dataset, the proposed method achieves a registration recall of 77.0% and an inlier ratio of 44.3%. Even …

Numerical Simulation Study On Flow-Induced Vibration Energy Harvesting Characteristics Of Piezoelectric Energy Harvester With Elliptical Cylinder Bluff-Body, Jiechao Lei, Long Li, Ji Yao

Journal of System Simulation

Abstract: To improve the self-powering efficiency of miniature internet of things devices, this paper establishes a fluid-structure-electric multi-field coupled computational fluid dynamics (CFD) model based on the ANSYS Fluent platform. It conducts a numerical simulation study on the flow-induced vibration energy harvesting characteristics of a piezoelectric cantilever beam energy harvester with an elliptical cylinder bluff-body. A systematic analysis is performed on the influence mechanism of flow velocity within the range of 0.1~0.5 m/s on the output power. The results indicate that the output power of the harvester exhibits phased growth with increasing flow velocity. In the range below 0.15 m/s, …

Generative Artificial Intelligence, Academic Integrity And Authentic Assessment Within An Irish University, Louise Nagle, Brigid Crowley, Laura Rafferty, Susan Horgan, Colin O'Brien

Publications

Academics need both an overarching policy on Generative Artificial Intelligence (Gen AI) use in teaching and learning, yet agency in its application across various disciplines. Clarity on the use of the technology for both students and staff is therefore a challenge and characterised by uncertainty given how its application is still unfamiliar. This research examines the organisational context in which Gen AI is being embraced and was conducted by the digital teaching support functions within an Irish university. Students and staff were surveyed (n=1,746) on various aspects of digital use within their education and workplace, including Gen AI. …

Thermo-Entropic Analysis Of Unsteady Mhd Nanofluid Couette Flow: A Classical Spectral Approach With An Exploratory Quantum Linear-Solver Application, Serai Israel Mosala, Oluwole Daniel Makinde, Azwinndini Muronga

Mathematical Modelling and Numerical Simulation with Applications

This study presents a thermo-entropic analysis of unsteady MHD nanofluid Couette flow, combining a classical bivariate spectral quasilinearisation (BI-SQLM) and Crank--Nicolson solution with an exploratory application of quantum linear solvers. An incompressible, electrically conducting nanofluid flows between parallel plates under partial slip and convective heat exchange; the discretised linear systems are additionally solved via the Harrow--Hassidim--Lloyd (HHL) algorithm and the Variational Quantum Linear Solver (VQLS). Results are presented for Pure Water, Cu-Water, and Al₂O₃-Water across seven parameter variations. The Hartmann number dominates velocity suppression and entropy amplification, while velocity slip reduces upper-wall entropy generation more than …