Transactions on Computer Science and Intelligent Systems Research Transactions on Computer Science and Intelligent Systems Research
Vol. 13 (AMMSAC 2026)
5th International Conference on Applied Mathematics, Modeling, Simulation and Automatic Control
AMMSAC 2026
Conference Dates: July 11-12, 2026
Conference Venue: San Diego, USA
Conference Editors: Emmanuel Haggai, Yingke Han
Conference Website: http://www.ammsac.org
ISSN: 2960-1800
eISSN: 2960-2238
ISBN: 978-1-961651-63-0
Published: August 26, 2026
Preface: 5th International Conference on Applied Mathematics, Modeling, Simulation and Automatic Control (AMMSAC 2026)

Articles

Research on the Design of Paper-based Seamless Packaging Structures Based on Origami

Abstract: This paper addresses the design requirements for deformable packaging structures by proposing a thin-walled structure based on Origami principles. Using triangles as the fundamental unit, this structure achieves morphological transformation from two-dimensional to three-dimensional through the folding and unfolding of a planar grid, possessing the capability to flexibly wrap irregular objects. The research employs Rhino and Grasshopper for geometric modeling and parametric design, utilizes … Read More

A conjecture on the absolute separability of eight by eight positive semi-definite matrices

Abstract: The separability problem, a long-standing open challenge in mathematics and quantum information theory. In this work, we propose and investigate a conjecture as a sub-question of the separability problem. Specifically, we investigate whether the form I8-xx*  is separable for any eight-dimensional unit vector x  . This is actually the so-called absolute separability problem. For studying the conjecture, we classify the vectors in a finitely-dimensional bipartite Hilbert space, and construct their … Read More

Forecasting Sustainable Mega-Event Host Cities Using a Random-Forest Composite Index

Abstract: Large-scale sporting events such as the Super Bowl and the NBA All-Star Weekend generate substantial social and economic value, but they also impose significant environmental pressures through energy consumption, transportation emissions, and urban infrastructure demands. As sustainability becomes an increasingly important criterion in event planning, host-city evaluation requires data-driven, multi-factor analysis rather than reliance on economic indicators alone. This study develops a … Read More

Contextual Impact Adjustment and Entropy-TOPSIS Framework for Environmental Sustainability Assessment of Sport Mega-Events

Abstract: This study develops a three-component sustainability assessment framework for sport mega-event host selection: Baseline Analysis, Contextual Impact Adjustment Model (CIAM), and Entropy-TOPSIS ranking. Using Super Bowl LIX as reference, thirteen environmental indicators quantify venue energy, transportation, waste, and climate re- silience. CIAM transforms raw metrics through: (I) grid carbon intensity adjustment; (II) localized infrastructure reuse benefits; (III) non-linear climate risk … Read More

Assessing Environmental Sustainability of Sport Mega-Events: A State-Pressure-Impact-Response Framework with Application to Super Bowl and Olympics

Abstract: Sport mega-events generate substantial economic benefits but impose significant environ- mental pressures on host cities. This study develops a comprehensive State-Pressure-Impact- Response (SPIR) framework to quantitatively assess environmental sustainability across carbon, water, waste, and energy dimensions. The model integrates a city’s baseline environmental ca- pacity (State) with event-driven pressures (on-site  and of-site) through a nonlinear logistic response function, yielding a … Read More

Optimization-Based Planning of Emergency Building Sweeps Using a Multi-Agent Vehicle Routing Model

Abstract: In emergencies, every second matters. First responders must ensure that no occupant is left behind while operating under conditions of limited visibility, increasing danger, and incomplete information. Well-designed evacuation plans reduce the risk to responders and improve the effectiveness of their efforts. In particular, efficient sweeping routes and techniques can be the difference between a safe evacuation and a preventable tragedy. To support emergency planning, we develop a rigorous model … Read More

Emergency Responder Route Optimization System: A Mathematical Framework for Building Safety Sweeps

Abstract: In emergency scenarios such as fires, earthquakes, or active shooter incidents, the rapid and safe searching of multi-story buildings is critical for saving lives. This paper presents a mathematical framework for optimizing emergency responder routes during building safety sweeps. The proposed system transforms floor plans into weighted graph representations, where nodes denote rooms, hallways, stairwells, and exits, and edges represent traversable paths with associated travel and service times. … Read More

How Sport Mega-Events Aligns with The Sustainability Goals

Abstract: In recent years, environmental sustainability has become an increasingly important topic when talking about mega events as host cities face growing pressure to address excessive resource consumption, denser pollution, and greater ecological damage. In this paper, our objective was to construct a model to assess the full environmental footprint of large-scale sporting competitions in multiple dimensions. Firstly, we developed a series of specialized models to determine the magnitude of seven key … Read More

A Multi-Process Production Quality Decision Optimization Model Based on Sampling Estimation and Exhaustive Search

Abstract: This paper proposes a decision-making model that integrates sampling estimation and combinatorial optimization to address quality control and cost optimization in multi-process production systems. First, a sampling estimation method is developed based on hypothesis testing to perform statistical inference on component defect rates, thereby reliably obtaining quality parameters. Building on this foundation, a multi-stage production decision-making model is established, which unifies the … Read More

Research on Structural Probabilistic Inference Model and Algorithm Integrating Bayesian Theorem, MCMC and Systematic Spanning Tree

Abstract: In the field of complex system modeling, tree-structured data widely exists in bioinformatics, social network analysis, spatial statistics, and machine learning. Such data faces several core challenges: high-dimensional discrete topological space leads to exponential combinatorial complexity, traditional point estimation methods cannot effectively quantify structural uncertainty, and unconstrained sampling algo- rithms generate massive invalid structures, resulting in low efficiency and unstable … Read More

Analysis of SLAM-Based Path Planning Strategies for Mobile Robots

Abstract: Simultaneous localization and mapping, (SLAM), is universally utilized in mobile robot systems to enable mobile robots to achieve accurate perception and decision-making. Aiming at reviewing the development and research progress of SLAM technology, this review introduces academic research findings on the front-end, back-end, and path planning strategies of SLAM systems focusing on fundamental principles of SLAM systems. Followed by discussion focusing on technology such as semantic maps, deep … Read More

A Transformer-Based Framework for Precious Metal Price Prediction With Explicit Cross-Metal Dependency Modeling

Abstract: Precious metals serve as critical investment assets and industrial commodities in global financial markets. Accurate price forecasting is challenged by their strong nonlinearity, long-range temporal dependencies, and complex inter-metal linkages. Traditional econometric models and existing deep learning approaches often overlook explicit cross-metal interactions, leading to suboptimal multi-metal prediction performance. This paper proposes an improved Transformer architecture for multi-precious … Read More

Multi-Objective Optimization Framework for Emergency Building Sweep Operations: A Mixed-Integer Programming Approach with Uncertainty

Abstract: Emergency evacuation efficiency directly impacts survival rates during fire incidents. Statistics indicate that survival probability decreases by 7–10% per minute after eight min- utes without rescue. We develop a multi-objective route optimization framework balancing sweep completion time and occupant waiting duration. The baseline Mixed Integer Lin- ear Programming (MILP) model minimizes weighted makespan and waiting costs across homogeneous settings. For complex scenarios involving … Read More

Rolling Bearing Fault Diagnosis Based on Multi-Domain Feature Fusion and CBAM-Enhanced Residual Dense Network

Abstract: Based on rolling bearing vibration signals, this paper proposes an intelligent fault diagnosis model that integrates multi-domain features with attention mechanisms. First, by developing a multi-domain feature fusion strategy, time-domain signals, envelope spectra, and Discrete Cosine S-Transform (DCST) features are combined to form multi-channel inputs, effectively enhancing the information-carrying capacity of the original signals. Second, a deep one-dimensional network architecture combining … Read More

Latent Variable Modeling and Dynamic Weight Optimization System: A Unified Framework for Multi-Source Evaluation

Abstract: This paper proposes an inverse inference framework for audience voting based on latent variable modeling and maximum likelihood estimation. By introducing latent performance variables, it integrates judge scores and audience preferences into a constrained probabilistic measurement system to indirectly reconstruct incomplete voting data. Dynamic structural equations are adopted to account for temporal dependence and historical voting inertia, while elimination constraints are converted into … Read More

Hierarchical Multi-Agent Deep Reinforcement Learning with Guided Search for U-Shaped Seru Production Scheduling

Abstract: This paper investigates an integrated scheduling problem in U-shaped seru production systems under a static and deterministic order environment. The problem jointly determines order-to-seru assignment, intra-seru order sequencing, and multi-skilled worker allocation, with the objective of minimizing the makespan. Compared with conventional parallel-machine scheduling, U-shaped seru scheduling involves stronger decision coupling because workload distribution, learning effects, sequence-dependent … Read More

A Fair Ranking Mechanism for Multi-Source Evaluation Based on Random Forest and RMF-Ranking

Abstract: This paper investigates the fairness and stability of competition rankings in multi-source evaluation scenarios. We construct a comprehensive framework that combines audience voting reconstruction, counterfactual simulation, and analysis using random forests and SHAP explanations, and propose the RMF-Ranking fairness mechanism. This method restores unobservable voting distributions through macro- and micro-level constraints, compares the impact of different scoring mechanisms on ranking results, … Read More

A Mathematical Framework for Drone-Based Wildfire Search and Rescue Using Grid-Based Coverage Path Planning and Vision-Guided Adaptive Control

Abstract: Wildfires in drought-prone forest regions create urgent search-and-rescue challenges, including limited ground access, low coverage efficiency, and high risk to both victims and rescuers. This study proposes and tests an intelligent quadcopter rescue system, Fire Eagle Rescuer, that integrates victim localization, emergency supply delivery, and localized fire-suppression support. The system first discretizes the search environment into a two-dimensional grid and uses an S-shaped coverage … Read More

Comparing Surface and Canopy Urban Heat Islands in Hong Kong with Population Heat Exposure: Integrating Satellite LST and Ground Weather Observations

Abstract: Satellite land surface temperature (LST) is widely used to map urban heat, yet it characterizes the radiative state of surfaces rather than the near-surface air that people experience. This study quantitatively compares the surface urban heat island (SUHI) and the canopy-layer (air-temperature) urban heat island (CUHI) over Hong Kong, a high-density coastal subtropical city, and evaluates their implications for population heat exposure. SUHI is derived from Moderate Resolution Imaging … Read More

A Multi-source Evaluation Fusion Model Based on MCMC Reverse Inference and DVSE Dynamic Variance Standardization

Abstract: To address the issues of inconsistency between public scores and implicit voting scales, as well as significant fluctuations in the generation of competition results, this paper investigates stable ranking methods based on the fusion of multi-source evaluation data. First, historical competition rules are transformed into computable constraints, and the distribution of undisclosed votes is estimated using a Bayesian framework and MCMC sampling. Subsequently, consistency tests and mechanism … Read More

Research on Multi-voice Discourse Structure Analysis and Information Purification Based on Neural Network Technology

Abstract: The overlapping and aliasing of multi-voice signals in complex scenes can easily lead to the blurring of discourse boundaries, the disorder of hierarchical structure and the distortion of key semantic information, which is a key and difficult problem in the field of speech analysis and information processing. Based on the neural network model, this paper constructs a time series feature modeling mechanism for the mixed speech characteristics of multi-person voice, excavates the deep correlation … Read More

A Dynamical Interpretation of K Theory for Graph C Star Algebras

Abstract: This paper develops a dynamical interpretation of the K theory of graph C star algebras through a systematic analysis of five canonical graph families, selected to isolate distinct dynamical phenomena: transient flow, periodic recurrence, mixing, and component interaction. For each family, the groups K0  and K1  are computed and the resulting invariants are correlated with explicit features of the associated graph groupoid and shift dynamics. The free part of K0  is shown to count irreducible … Read More

Big Data-driven Financial Risk Prevention and Control Model for Commercial Banks

Abstract: With the rapid digitalisation of financial markets, many new kinds of complex and interconnected risks for commercial banks have emerged that cannot be controlled by the old ways of risk management. Big data technology can help to better solve the problem of risk prevention and control in finance by collecting a large amount of data, analysing it, and issuing timely early warnings. A complete big data-driven financial risk prevention and control model for commercial banks has been put forward in … Read More

A Robust Control Scheme for Autonomous Vehicles under Sensor Perception Bias

Abstract: The challenge of ensuring robust autonomous driving control under sensor perception bias arises from the coupling among uncertainties in perception, hydraulics, computation, and actuation. A single deterministic controller or classifier cannot guarantee safety in such conditions. This paper proposes a diagnostic and control framework that integrates bias-aware residual construction, model-predictive reasoning, and conservative fallback rules using multi-sensor inputs. Parametrisation will be … Read More

A Risk-Aware Digital Twin Framework for Release-Readiness Validation of Multi-Tenant Zero Trust SASE Systems

Abstract: Release decisions for multi-tenant Zero Trust Secure Access Service Edge (SASE) platforms are difficult because a change that is acceptable in aggregate can violate a critical tenant's security objective under workload shift, missing telemetry, or configuration faults. This paper presents RA-DT, a risk-aware digital-twin framework that validates release readiness by replaying versioned release candidates against tenant-aware stress scenarios and issuing a joint risk certificate. The certificate … Read More

A Verification-Guided Multi-Agent Framework for Reliable RTL Generation and Optimization

Abstract: Large language models (LLMs) already emit syntactically plausible Verilog, yet a large share of generated designs fails functional verification, and the designs that do pass are not necessarily good implementations. We present VGMA, a verification-guided multi-agent framework that closes the loop between an RTL generator and open-source EDA tooling. VGMA synthesises a differential testbench directly from the reference port interface, compresses every failing simulation into a counterexample … Read More

ArchMigrate-Swift: A Compiler-in-the-Loop Retrieval-Augmented Multi-Agent Framework for Objective-C-to-Swift Migration

Abstract: Migrating Objective-C systems to Swift is not a token-level translation problem: API-name import rules, Foundation bridging, value semantics, optionality, collection behavior, and project-specific contracts interact with compiler constraints. This paper presents ArchMigrate-Swift, a compiler-in-the-loop, retrieval-augmented multi-agent framework that decomposes migration into schema retrieval, structural intent analysis, candidate generation, diagnostic repair, executable criticism, and … Read More

PIPE-RAG: An Execution-Guided Retrieval and Reuse Framework for Reliable Machine Learning Pipeline Code Generation

Abstract: Retrieval-augmented code generation can reduce hallucinated application programming interfaces and encourage reuse, but machine-learning (ML) pipelines impose constraints that ordinary semantic retrieval does not capture: the estimator, task type, data schema, preprocessing order, scoring metric, library version, and executable outputs must agree simultaneously. This paper presents PIPE-RAG, an execution-guided, language-model-compatible framework that treats reusable pipeline code as structured … Read More
← Back to All Volumes