Computer Science, Software Engineering

Article Computer Science, Interdisciplinary Applications

Stencil and kernel optimisation for mesh-free very high-order generalised finite difference method

S. Clain, J. Figueiredo

Summary: This study proposes a detailed construction of a very high-order polynomial representation and introduces a functional to assess the quality of the reconstruction. Several optimization techniques are implemented and their advantages in terms of accuracy and stability are demonstrated.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

A class of unconditionally energy stable relaxation schemes for gradient flows

Gengen Zhang, Jingyu Li, Qiong-Ao Huang

Summary: In this paper, a novel class of unconditionally energy stable schemes are constructed for solving gradient flow models by combining the relaxed scalar auxiliary variable (SAV) approach with the linear multistep technique. The proposed schemes achieve second-order temporal accuracy and strictly unconditional energy stability.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

Complex dynamics of a fishery model: Impact of the triple effects of fear, cooperative hunting and intermittent harvesting

Yuan Tian, Huanmeng Li, Kaibiao Sun

Summary: This study proposes a fishery model with dual effects of fear and cooperative hunting based on the cooperative hunting behaviors of predators and the fear response of prey in natural ecosystems. The impact of fear level and cooperative hunting intensity on the dynamics of the model is investigated. Additionally, a state-feedback intermittent fishing strategy is adopted for rational exploitation of fishery resources.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

Quadrature-free forms of discontinuous Galerkin methods in solving compressible flows on triangular and tetrahedral grids

Wanai Li

Summary: This paper proposes a new framework that combines quadrature-based and quadrature-free discontinuous Galerkin methods and applies them to triangular and tetrahedral grids. Four different DG schemes are derived by choosing specific test functions and collocation points, improving computational efficiency and ease of code implementation.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

A novel dimensionality reduction approach by integrating dynamics theory and machine learning

Xiyuan Chen, Qiubao Wang

Summary: This paper introduces a technique that combines dynamical mechanisms and machine learning to reduce dimensionality in high-dimensional complex systems. The method utilizes Hopf bifurcation theory to establish a model paradigm and utilizes machine learning to train location parameters. The effectiveness and robustness of the proposed method are tested and validated through experiments and simulations.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

Local stability conditions for a n-dimensional periodic mapping

Rafael Luis, Sandra Mendonca

Summary: This paper determines the necessary and sufficient conditions for the asymptotic stability of periodic cycles for periodic difference equations using Jury's conditions. The conditions are obtained using the Jacobian matrices of the individual maps, avoiding the computation of the Jacobian matrix of the composition operator, which can be a challenging task in higher dimensions. The ideas are illustrated using models in population dynamics and economics game theory.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

Analysis and controllability of diabetes model for experimental data by using fractional operator

Muhammad Farman, Aqeel Ahmad, Anum Zehra, Kottakkaran Sooppy Nisar, Evren Hincal, Ali Akgul

Summary: Diabetes is a significant public health issue that affects millions of people worldwide. This study proposes a mathematical model to understand the mechanisms of glucose homeostasis, providing valuable insights for diabetes management. The model incorporates fractional operators and analyzes the impact of a new wave of dynamical transmission on equilibrium points, offering a comprehensive understanding of glucose homeostasis.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

Monte Carlo simulation for Barndorff-Nielsen and Shephard model under change of measure

Takuji Arai, Yuto Imai

Summary: The Barndorff-Nielsen and Shephard model is a jump-type stochastic volatility model, and this paper proposes two simulation methods for computing option prices under a representative martingale measure. The performance of these methods is evaluated through numerical experiments.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

Nonfragile state estimation for semi-Markovian switching CVNs with general uncertain transition rates: An event-triggered scheme

Qiang Li, Jinling Liang, Weiqiang Gong, Kai Wang, Jinling Wang

Summary: This paper addresses the problem of nonfragile state estimation for semi-Markovian switching complex-valued networks with time-varying delay. By constructing an event-triggered generator and solving matrix inequalities, less conservative criteria are obtained, and the gains of the nonfragile estimator are explicitly designed. A numerical example is provided to demonstrate the effectiveness of the proposed estimation scheme.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

Improved MPS models for simulating free surface flows

Gholamreza Shobeyri

Summary: This study introduces two improved Laplacian models for more accurate simulation of free surface flows in the context of the MPS method. The higher accuracy of these models compared to the traditional methods is verified through solving 2D Poisson equations and solving three benchmark free surface flow problems. These models can also resolve the issue of wave damping in the original MPS computations.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

The numerical solution of the free-boundary cell motility problem

Vitaly Chernik, Pavel Buklemishev

Summary: The paper introduces a simple 2D model for describing the cell motility on a homogeneous isotropic surface. The model incorporates the dynamics of complex actomyosin liquid, which affects the boundary dynamics and cell motility. It consists of a system of equations with a free boundary domain and includes a non-local term. The numerical solution of this model is presented in this work.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Hardware & Architecture

Enhancing cyber security in WSN using optimized self-attention-based provisional variational auto-encoder generative adversarial network

B. Meenakshi, D. Karunkuzhali

Summary: Wireless Sensor Network (WSN) is a crucial component of the cyber physical system, consisting of fixed or moving sensors that collectively sense, gather, analyze, and transfer data of detected objects. Intrusion detection schemes in WSNs often suffer from poor identification rate, high computation overhead, and higher false alarm rate. This study proposes an innovative approach that combines advanced techniques such as self-attention, provisional learning, and generative adversarial networks to improve security and adaptability in WSNs.

COMPUTER STANDARDS & INTERFACES (2024)

Article Computer Science, Hardware & Architecture

Sahand 1.0: A new model for extracting information from source code in object-oriented projects

Gholamali Nejad Hajali Irani, Habib Izadkhah

Summary: Providing models for intelligent decision-making is crucial in software projects. This paper proposes a new model called Sahand, which utilizes a Relational Database Repository (RDP) to store source code and extract necessary information. This model extends open-source tools and provides an infrastructure for developers to extract information using SQL language or its extensions.

COMPUTER STANDARDS & INTERFACES (2024)

Article Computer Science, Hardware & Architecture

Efficient dynamic multi-client searchable encryption supporting fuzzy search

Shuqin Liu, Xialin Liu, Wanxuan Huang, Kai Du

Summary: This article introduces a searchable symmetric encryption (SSE) scheme using fuzzy keyword search. A dynamic multi-client scheme is proposed in a single-client setting, achieving forward privacy with multiple trapdoors communication using Intel SGX. Additionally, an enhanced multi-client scheme is presented that achieves forward privacy even with a corrupted user. Security and efficiency evaluations show that these schemes meet the desired security level and are well-suited for real-world applications.

COMPUTER STANDARDS & INTERFACES (2024)

Article Computer Science, Interdisciplinary Applications

Chebyshev-Picard iteration methods for solving delay differential equations

Quan Zhou, Yinkun Wang, Yicheng Liu

Summary: In this paper, an effective Chebyshev-Picard iteration (CPI) method is proposed for solving delay differential equations with a constant delay. The accuracy of the solution is improved by successive Picard iterations, and the CPI method is implemented efficiently in a matrix-vector form.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Hardware & Architecture

New tag-based signatures and their applications on linearly homomorphic signatures

Chengjun Lin, Rui Xue, Xinyi Huang, Shaojun Yang

Summary: This paper discusses the conversion of tag-based signature schemes into digital signature schemes and addresses the issue of allowing k > 1 fold tag-collisions in the lattice environment. It proposes a stateful tag-based signature (STS) scheme based on homomorphic hash functions and hash functions of tags, which allows for k > 1 fold tag-collisions. Two STS schemes based on the CDH and RSA assumptions, respectively, are also introduced using the same technique. The paper further explores the application of the STS schemes and demonstrates the conversion of schemes with field or quasi-field as message space into linearly homomorphic signature (LHS) schemes.

COMPUTER STANDARDS & INTERFACES (2024)

Article Computer Science, Software Engineering

Translation certification for smart contracts

Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra

Summary: Compiler correctness is a long-standing problem, and it becomes more significant with the rise of smart contracts on blockchains. A translation certification framework can address the trust issue for low-level code on the blockchain, allowing users to have confidence in the compilation process of smart contracts.

SCIENCE OF COMPUTER PROGRAMMING (2024)

Article Computer Science, Cybernetics

Modeling the user experience in virtual and real world transition by understanding the user goal value

Zhuoyue Diao, Pu Meng, Xin Meng, Liqun Zhang

Summary: This study explores the virtual world within digital games and analyzes the design attributes, consequences, and values sought by users. Virtual worlds can have positive effects on users' real lives, but also introduce negative consequences. To address this issue, initial steps are proposed to create a structural framework for enhancing the player experience.

ENTERTAINMENT COMPUTING (2024)

Article Computer Science, Interdisciplinary Applications

A Darwinian Beverton-Holt model with immigration effect

Karima Mokni, Mohamed Ch-Chaoui

Summary: In this study, the dynamics of a discrete-time evolutionary Beverton-Holt model under the immigration effect are investigated. It is established that the system undergoes bifurcations when the immigration effect exceeds certain critical values. Numerical simulations, such as bifurcation diagrams and time series, are used to illustrate the theoretical analysis and demonstrate the complex dynamical behaviors of the model.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)

Article Computer Science, Interdisciplinary Applications

An optimal combination of antiretroviral treatment and immunotherapy for controlling HIV infection

Bhagya Jyoti Nath, Khadijeh Sadri, Hemanta Kumar Sarmah, Kamyar Hosseini

Summary: This paper proposes a mathematical model to describe the dynamics of HIV under combination of antiretroviral treatment and immunotherapy. The study finds that combining immunotherapy with antiretroviral drugs can minimize the side effects and cost of the drugs, and this finding is supported by clinical trial results.

MATHEMATICS AND COMPUTERS IN SIMULATION (2024)