bluuebunny/crossref_metadata_2025 huggingface dataset:
Stability Analysis of a Leslie–Gower Model with Strong Allee Effect on Prey and Fear Effect on Predator
Authors: Liu Tingting , Chen Lijuan , Chen Fengde , Li Zhong
Published: May 2022

In this paper, we propose a Leslie–Gower predator–prey model with strong Allee effect on prey and fear effect on predator. We discuss the existence and local stability of equilibria by making full use of qualitative analytical theory. It is shown that the above system exhibits at most two positive equilibria and it can undergo a series of bifurcation phenomena. We indicate that the dynamical behavior of the model is closely related to the fear effect on predator. In detail, when the fear effect parameter [Formula: see text], the system will undergo degenerate Hopf bifurcation. There exist two limit cycles (the inner is stable and the outer is unstable). However, when [Formula: see text], the system will undergo degenerate Bogdanov–Takens bifurcation. Also, by numerical simulation, we conclude that the stronger the fear effect, the bigger the density of prey species. The above shows that fear effect on predator is beneficial to the persistence of the prey species. Our results can be seen as a complement to previous works [González-Olivares et al., 2011; Pal & Mandal, 2014].
AN ANALYSIS OF THE PREDICTABILITY OF BRAZILIAN INFLATION INDEXES BY INFORMATION THEORY QUANTIFIERS
Authors: FERNANDES LEONARDO H. S. , DE ARAUJO FERNANDO H. A. , SILVA JOSÉ W. L.
Published: May 2022

This research explores the predictability of the Brazilian inflation monthly price indexes time series by information theory quantifiers. Given this, we apply the Bandt and Pompe method to estimate the information theory quantifiers, specifically the Permutation entropy ([Formula: see text]) and the Fisher information measure ([Formula: see text]). Based on the values of both complexity measures, we construct the 2D plane called the Shannon-Fisher causality plane, which allows us to explore the disorder and quantify the randomness inherent to the temporal evolution of the significant Brazilian inflation indexes. Also, we apply [Formula: see text] and [Formula: see text] to rank the Brazilian inflation indexes based on the complexity hierarchy. An overview shows that the Brazilian inflation indexes display lower entropy which implies in higher predictability. The sliding window approach reveals that Brazilian inflation indexes (IPA, IPCA, IGP, IPC, and INPC) present decrease related to efficiency. The only exception is the INCC, which shows an increase in efficiency.
Evaluation Model of College English Education Effect Based on Big Data Analysis
Authors: Jing Yan , Mingfang Zhou , Yafang Chen
Published: May 2022

The evaluation system of education effect is an important part of the whole teaching process, and the establishment of the evaluation system of college English teaching effect is an important work to test the effect of college English teaching. The traditional evaluation model is widely used and cannot be applied to a variety of teaching situations. Therefore, this paper proposes an evaluation model of college English education effect based on big data analysis. This paper determines the selection principle of the evaluation index of college English education effect, and on this basis, selects the evaluation index factors of college English education effect (experts, students and teachers), calculates the weight and membership matrix of the evaluation index, and outputs the comprehensive evaluation results of college English education effect, which realizes the construction of the evaluation model of college English education effect. The results show that: under the background of the experimental subjects (senior one and senior two), the evaluation errors of English education effect meet the needs of colleges and universities, which proves that the construction model is effective and feasible, and provides the basis and support for the reform of college English education. The range of assessment errors is between 0.78% and 1.44%, all consistent with the demands of the evaluation of the English education effect which demonstrates that the model is successful.
Effect of nonlocal transformations on the linearizability and exact solvability of the nonlinear generalized modified Emden-type equations
Authors: Mustafa Omar
Published: May 2022

The nonlinear generalized modified Emden-type equations (GMEE) are known to be linearizable into simple harmonic oscillator (HO) or damped harmonic oscillators (DHO) via some nonlocal transformations. Hereby, we show that the structure of the nonlocal transformation and the linearizability into HO or DHO determines the nature/structure of the dynamical forces involved (hence, determine the structure of the dynamical equation). Yet, a reverse engineering strategy is used so that the exact solutions of the emerging GMEE are nonlocally transformed to find the exact solutions of the HO and DHO dynamical equations. Consequently, whilst the exact solution for the HO remains a textbook one, the exact solution for the DHO (never reported elsewhere, to the best of our knowledge) turns out to be manifestly the most explicit and general solution that offers consistency and comprehensive coverage for the associated under-damping, critical-damping, and over-damping cases (i.e. no complex settings for the coordinates and/or the velocities are eminent/feasible). Moreover, for all emerging dynamical system, we report illustrative figures for each solution as well as the corresponding phase-space trajectories as they evolve in time.
Verification Witnesses
Authors: Beyer Dirk , Dangl Matthias , Dietsch Daniel , Heizmann Matthias , Lemberger Thomas , Tautschnig Michael
Published: May 2022

Over the last years, witness-based validation of verification results has become an established practice in software verification: An independent validator re-establishes verification results of a software verifier using verification witnesses, which are stored in a standardized exchange format. In addition to validation, such exchangable information about proofs and alarms found by a verifier can be shared across verification tools, and users can apply independent third-party tools to visualize and explore witnesses to help them comprehend the causes of bugs or the reasons why a given program is correct. To achieve the goal of making verification results more accessible to engineers, it is necessary to consider witnesses as first-class exchangeable objects, stored independently from the source code and checked independently from the verifier that produced them, respecting the important principle of separation of concerns. We present the conceptual principles of verification witnesses, give a description of how to use them, provide a technical specification of the exchange format for witnesses, and perform an extensive experimental study on the application of witness-based result validation, using the validators
CPAchecker
,
UAutomizer
,
CPA-witness2test
, and
FShell-witness2test
.
Algorithm 1028: VTMOP: Solver for Blackbox Multiobjective Optimization Problems
Authors: Chang Tyler H. , Watson Layne T. , Larson Jeffrey , Neveu Nicole , Thacker William I. , Deshpande Shubhangi , Lux Thomas C. H.
Published: May 2022

VTMOP is a Fortran 2008 software package containing two Fortran modules for solving computationally expensive bound-constrained blackbox multiobjective optimization problems. VTMOP implements the algorithm of [
32
], which handles two or more objectives, does not require any derivatives, and produces well-distributed points over the Pareto front. The first module contains a general framework for solving multiobjective optimization problems by combining response surface methodology, trust region methodology, and an adaptive weighting scheme. The second module features a driver subroutine that implements this framework when the objective functions can be wrapped as a Fortran subroutine. Support is provided for both serial and parallel execution paradigms, and VTMOP is demonstrated on several test problems as well as one real-world problem in the area of particle accelerator optimization.