Verification and validation of numerical models of natural systems is impossible. This is because natural systems are never closed and because model results are always nonunique. Models can be confirmed by the demonstration of agreement between observation and prediction, but confirmation is inherently partial. Complete confirmation is logically precluded by the fallacy of affirming the consequent and by incomplete access to natural phenomena. Models can only be evaluated in relative terms, and their predictive value is always open to question. (...) The primary value of models is heuristic. (shrink)

It has been known for long time that most of the existing cosmology models have singularity problem. Cosmological singularity has been a consequence of excessive symmetry of flow, such as “Hubble’s law”. More realistic one is suggested, based on Newtonian cosmology model but here we include the vertical-rotational effect of the whole Universe. We review a Riccati-type equation obtained by Nurgaliev, and solve the equation numerically with Mathematica. It is our hope that the new proposed method can be verified with (...) observation data. (shrink)

In this article, we investigated a deterministic model of pneumonia-meningitis coinfection. Employing the Atangana–Baleanu fractional derivative operator in the Caputo framework, we analyze a seven-component approach based on ordinary differential equations. Furthermore, the invariant domain, disease-free as well as endemic equilibria, and the validity of the model’s potential results are all investigated. According to controller design evaluation and modelling, the modulation technique devised is effective in diminishing the proportion of incidences in various compartments. A fundamental reproducing value is generated (...) by exploiting the next generation matrix to assess the properties of the equilibrium. The system’s reliability is further evaluated. Sensitivity analysis is used to classify the impact of each component on the spread or prevention of illness. Using simulation studies, the impacts of providing therapy have been determined. Additionally, modelling the appropriate configuration demonstrated that lowering the fractional order from 1 necessitates a rapid initiation of the specified control technique at the largest intensity achievable and retaining it for the bulk of the pandemic’s duration. (shrink)

Much research effort has been directed in different physiological contexts towards describing realistic behaviors with differential equations. One observes obviously that more state-variables give the model more accuracy. Unfortunately, the computational cost involved is higher. A new algorithm is presented for simulating a model described by a system of differential equations in which efficiency may not be altered by its size. In order to do this, the method is based on a polynomial description of the state-variables' evolution and on a (...) computation distributed control. Evaluations and results performed with classical models like Fitzhugh Nagumo or Hodgkin Huxley, allow validation of the method and exhibits its potential to decrease the computational costs. (shrink)

Numerical studies of the Hubbard model and its strong-coupling form, the t-J model, show evidence for antiferromagnetic, $d_{x^{\text{2}} - y^2 } $ -pairing and stripe correlations which remind one of phenomena seen in the layered cuprate materials. Here, we ask what these numerical results imply about various scenarios for the pairing mechanism.

In this paper, DSEK model with fractional derivatives of the Atangana-Baleanu Caputo is proposed. This paper gives a brief overview of the ABC fractional derivative and its attributes. Fixed point theory has been used to establish the uniqueness and existence of solutions for the fractional DSEK model. According to this theory, we will define two operators based on Lipschitzian and prove that they are contraction mapping and relatively compact. Ulam-Hyers stability theorem is implemented to prove the fractional DSEK model’s stability (...) in Banach space. Also, fractional Euler’s numerical method is derived for initial value problems with ABC fractional derivative and implemented on fractional DSEK model. The symmetric properties contribute to determining the appropriate method for finding the correct solution to fractional differential equations. The numerical solutions generated using fractional Euler’s method have been plotted for different values of α where α ∈ 0,1 and different step sizes h. Result discussion will be given, describing the changes that occur due to the step size h. (shrink)

The so-called Ricardian trade model of contemporary economic textbooks is not a rational reconstruction of Ricardo's famous numerical example in chapter seven of the Principles. It differs from the latter in terms of the definition of the four numbers, relevant cost comparison, rule for specialisation, assumptions and theoretical implications. Thus, the widespread critique regarding the unrealistic assumptions of the textbook trade model does not apply to Ricardo's original proof of comparative advantage.

The geosciences include a wide spectrum of disciplines ranging from paleontology to climate science, and involve studies of a vast range of spatial and temporal scales, from the deep-time history of microbial life to the future of a system no less immense and complex than the entire Earth. Modeling is thus a central and indispensable tool across the geosciences. Here, we review both the history and current state of model-based inquiry in the geosciences. Research in these fields makes use of (...) a wide variety of models, such as conceptual, physical, and numerical models, and more specifically cellular automata, artificial neural networks, agent-based models, coupled models, and hierarchical models. We note the increasing demands to incorporate biological and social systems into geoscience modeling, challenging the traditional boundaries of these fields. Understanding and articulating the many different sources of scientific uncertainty – and finding tools and methods to address them – has been at the forefront of most research in geoscience modeling. We discuss not only structuralmodel uncertainties, parameter uncertainties, and solution uncertainties, but also the diverse sources of uncertainty arising from the complex nature of geoscience systems themselves. Without an examination of the geosciences, our philosophies of science and our understanding of the nature of model-based science are incomplete. (shrink)

Pantographs are important devices on high-speed trains. When a train runs at a high speed, concave and convex parts of the train cause serious airflow disturbances and result in flow separation, eddy shedding, and breakdown. A strong fluctuation pressure field will be caused and transformed into aerodynamic noises. When high-speed trains reach 300 km/h, aerodynamic noises become the main noise source. Aerodynamic noises of pantographs occupy a large proportion in far-field aerodynamic noises of the whole train. Therefore, the problem of (...) aerodynamic noises for pantographs is outstanding among many aerodynamics problems. This paper applies Detached Eddy Simulation to conducting numerical simulations of flow fields around pantographs of high-speed trains which run in the open air. Time-domain characteristics, frequency-domain characteristics, and unsteady flow fields of aerodynamic noises for pantographs are obtained. The acoustic boundary element method is used to study noise radiation characteristics of pantographs. Results indicate that eddies with different rotation directions and different scales are in regions such as pantograph heads, hinge joints, bottom frames, and insulators, while larger eddies are on pantograph heads and bottom frames. These eddies affect fluctuation pressures of pantographs to form aerodynamic noise sources. Slide plates, pantograph heads, balance rods, insulators, bottom frames, and push rods are the main aerodynamic noise source of pantographs. Radiated energies of pantographs are mainly in mid-frequency and high-frequency bands. In high-frequency bands, the far-field aerodynamic noise of pantographs is mainly contributed by the pantograph head. Single-frequency noises are in the far-field aerodynamic noise of pantographs, where main frequencies are 293 Hz, 586 Hz, 880 Hz, and 1173 Hz. The farther the observed point is from the noise source, the faster the sound pressure attenuation will be. When the distance of two adjacent observed points is increased by double, the attenuation amplitude of sound pressure levels for pantographs is around 6.6 dB. (shrink)

Tuberculosis is caused by bacillus Mycobacterium tuberculosis. In this study, a mathematical model of tuberculosis is analyzed. The numerical behaviour of the considered model is analyzed including basic reproduction number and stability. We applied three numerical techniques to this model, i.e., nonstandard finite difference scheme, Runge–Kutta method of order 4, and forward Euler scheme. NSFD scheme preserves all the essential properties of the model. Acquired results corroborate that NSFD scheme converges for each step size. While the other two (...) schemes failed to preserve some properties of the model such as positivity and convergence. A graphical comparison presented in this study confirms the numerical stability of the NSFD technique shown here is maintained over a large area. (shrink)

In this paper, we present an intensive investigation of the finite volume method compared to the finite difference methods. In order to show the main difference in the way of approaching the solution, we take the Burgers equation and the Buckley–Leverett equation as examples to simulate the previously mentioned methods. On the one hand, we simulate the results of the finite difference methods using the schemes of Lax–Friedrichs and Lax–Wendroff. On the other hand, we apply Godunov’s scheme to simulate the (...) results of the finite volume method. Moreover, we show how starting with a variational formulation of the problem, the finite element technique provides piecewise formulations of functions defined by a collection of grid data points, while the finite difference technique begins with a differential formulation of the problem and continues to discretize the derivatives. Finally, some graphical and numerical comparisons are provided to illustrate and corroborate the differences between these two main methods. (shrink)

David Lewis (1969) introduced sender-receiver games as a way of investigating how meaningful language might evolve from initially random signals. In this report I investigate the conditions under which Lewis signaling games evolve to perfect signaling systems under various learning dynamics. While the 2-state/2- term Lewis signaling game with basic urn learning always approaches a signaling system, I will show that with more than two states suboptimal pooling equilibria can evolve. Inhomogeneous state distributions increase the likelihood of pooling equilibria, but (...) learning strategies with negative reinforcement or certain sorts of mutation can decrease the likelihood of, and even eliminate, pooling equilibria. Both Moran and APR learning strategies (Bereby-Meyer and Erev 1998) are shown to promote successful convergence to signaling systems. A model is presented that illustrates how a language that codes state-act pairs in an order-based grammar might evolve in the context of a Lewis signaling game. The terms, grammar, and the corresponding partitions of the state space co-evolve to generate a language whose structure appears to reflect canonical natural kinds. The evolution of these apparent natural kinds, however, is entirely in service of the rewards that accompany successful distinctions between the sender and receiver. Any metaphysics grounded on the structure of a natural language that evolved in this way would track arbitrary, but pragmatically useful distinctions. (shrink)

Four perspectives on numerical origins are examined. The nativist model sees numbers as an aspect of numerosity, the biologically endowed ability to appreciate quantity that humans share with other species. The linguistic model sees numbers as a function of language. The embodied model sees numbers as conceptual metaphors informed by physical experience and expressed in language. Finally, the extended model sees numbers as conceptual outcomes of a cognitive system that includes material forms as constitutive components. If numerical origins (...) are to be found, each perspective must address one or more critical questions that will require working across discipline boundaries. (shrink)

This paper conducts a numerical simulation of the antiseismic performance for single-layer masonry structures, completes a study on crack distributions and detailed characteristics of masonry structures, and finally verifies the correctness of the numerical model by experimental tests. This paper also provides a reinforced proposal to improve the antiseismic performance of single-layer masonry structures. Results prove that the original model suffers more serious damage than the reinforced model; in particular, longitudinal cracks appear on bottoms of two longitudinal walls (...) in the original model, while these cracks appear later in the reinforced model; a lot of cracks appear on the door hole of the original model, and no crack appears in the reinforced model till the end of seismic waves; seismic damage of walls in the reinforced model is obviously lighter than that in the original model; dynamic responses at all observed points of the reinforced masonry are obviously less than those of the original model. Strains at all positions of the reinforced model are obviously smaller than those of the original model. From macroscopic and microscopic perspectives, the computational results prove that the reinforced proposal proposed in this paper can effectively improve the antiseismic performance of the masonry structure. (shrink)

Many experiments with infants suggest that they possess quantitative abilities, and many experimentalists believe that these abilities set the stage for later mathematics: natural numbers and arithmetic. However, the connection between these early and later skills is far from obvious. We evaluate two possible routes to mathematics and argue that neither is sufficient: (1) We first sketch what we think is the most likely model for infant abilities in this domain, and we examine proposals for extrapolating the natural number concept (...) from these beginnings. Proposals for arriving at natural number by (empirical) induction presuppose the mathematical concepts they seek to explain. Moreover, standard experimental tests for children's understanding of number terms do not necessarily tap these concepts. (2) True concepts of number do appear, however, when children are able to understand generalizations over all numbers; for example, the principle of additive commutativity (a+b=b+a). Theories of how children learn such principles usually rely on a process of mapping from physical object groupings. But both experimental results and theoretical considerations imply that direct mapping is insufficient for acquiring these principles. We suggest instead that children may arrive at natural numbers and arithmetic in a more top-down way, by constructing mathematical schemas. (shrink)

In philosophical studies regarding mathematical models of dynamical systems, instability due to sensitive dependence on initial conditions, on the one side, and instability due to sensitive dependence on model structure, on the other, have by now been extensively discussed. Yet there is a third kind of instability, which by contrast has thus far been rather overlooked, that is also a challenge for model predictions about dynamical systems. This is the numerical instability due to the employment of numerical methods (...) involving a discretization process, where discretization is required to solve the differential equations of dynamical systems on a computer. We argue that the criteria for numerical stability, as usually provided by numerical analysis textbooks, are insufficient, and, after mentioning the promising development of backward analysis, we discuss to what extent, in practice, numerical instability can be controlled or avoided. (shrink)

An interpretive system for the IBM 704 computer permitting interpretation of the genetic pattern of a numeric symbioorganism as a game strategy has been developed. Selection for best performance in a simple game has been applied in a preliminary experiment. An objective method to measure the quality of a game played is described. The results presented in the article show a small but significant improvement of game quality during a period of 2300 generations.The general characteristics of the phenomena observed are (...) similar to those of preceding evolution experiments . However, a startling infection process caused by a parasite whose behaviour was influenced by the game competition is described. The parasite never developed an independent game strategy to any degree of efficiency and was entirely dependent on its host organism for game competitions with, and transmission of the infection to, uninfected hosts.The consequences of substituting the reproduction and mutation rules used in the preceding evolution experiments are discussed. Particularly, the use of rules applying the reproduction pattern ofDNA-molecules is considered, and the theoretic aspects of symbiogenetic evolution experiments based onDNA-norm are discussed. A few inferences concerning the origin and history of terrestrial life suggested by the results of the symbiogenesis experiments are presented.Ein interpretierendes System für die IBM 704 Rechenmaschine, dass Interpretation des genetischen Modells von einem numerischen Symbio-organismus wie eine Spiel Strategie, erlaubt, wurde entwickelt. Eine Forführung für Fähigkeit in einem einfachen Spiel wurde angewandt in einem preliminarisches Experiment. Eine objektive Methode zur Messung der Qualität des betreffenden Spiels wurde beschrieben. Die in dem Artikel angegebenen Resultate zeigen eine kleine, aber bedeutende Verbesserung der Spiel-Qualität während einr Periode von 2300 Generationen.Die allgemeinen Kennziechen von den beobachteten Phänomenen sind denen von vorhergehenden Evolutions-Experimenten ähnlich . Jedoch, ein überraschender Infektions-Prozess, verursacht durch einen Parasit, wessen Verhalten beinflusst wurde durch die Spiel-Konkurrenz, wurde beschrieben. Der Parasit entwickelte niemals eine unabhängige Spiel-Strategie zu irgendeinem Masze von Fähigkeit und war ganz abhängig von seinem Gastherr-Organismus für Spiel-Konkurrenz mit, und Überbringung von der Infektion auf, uninfektierte Gäste.Die Folgerungen von dem Ersetzen der Fortpflanzung und Mutations-Regeln , angewandt in vorhergehenden Evolutions-Experimente wurden besprochen. Besonders der Gebrauch von Regeln welche das FortpflanzungsModell von DNA-Molekülen anwenden wurde betrachtet, und die theorethischen Aspekte von Symbiogenetischen Evolutions-Experimenten basiert auf DNA-Norm wurden besprochen. Einige Schlussfolgerungen in Bezug auf die Entstehung und Geschichte von dem Erdenleben suggeriert durch die Resultate von den Symbiogenese-Experimenten wurden gezeigt. (shrink)

Four perspectives on numerical origins are examined. The nativist model sees numbers as an aspect of numerosity, the biologically endowed ability to appreciate quantity that humans share with other species. The linguistic model sees numbers as a function of language. The embodied model sees numbers as conceptual metaphors informed by physical experience and expressed in language. Finally, the extended model sees numbers as conceptual outcomes of a cognitive system that includes material forms as constitutive components. If numerical origins (...) are to be found, each perspective must address one or more critical questions that will require working across discipline boundaries. (shrink)

In a recent paper, Kaplan (Synthese 183:339–373, 2011) takes up the task of extending Craver’s (Explaining the brain, 2007) mechanistic account of explanation in neuroscience to the new territory of computational neuroscience. He presents the model to mechanism mapping (3M) criterion as a condition for a model’s explanatory adequacy. This mechanistic approach is intended to replace earlier accounts which posited a level of computational analysis conceived as distinct and autonomous from underlying mechanistic details. In this paper I discuss work in (...) computational neuroscience that creates difficulties for the mechanist project. Carandini and Heeger (Nat Rev Neurosci 13:51–62, 2012) propose that many neural response properties can be understood in terms of canonical neural computations. These are “standard computational modules that apply the same fundamental operations in a variety of contexts.” Importantly, these computations can have numerous biophysical realisations, and so straightforward examination of the mechanisms underlying these computations carries little explanatory weight. Through a comparison between this modelling approach and minimal models in other branches of science, I argue that computational neuroscience frequently employs a distinct explanatory style, namely, efficient coding explanation. Such explanations cannot be assimilated into the mechanistic framework but do bear interesting similarities with evolutionary and optimality explanations elsewhere in biology. (shrink)

Anatomical studies propose that the primate auditory cortex contains more fields than have actually been functionally confirmed or described. Spatially resolved functional magnetic resonance imaging (fMRI) with carefully designed acoustical stimulation could be ideally suited to extend our understanding of the processing within these fields. However, after numerous experiments in humans, many auditory fields remain poorly characterized. Imaging the macaque monkey is of particular interest as these species have a richer set of anatomical and neurophysiological data to clarify the source (...) of the imaged activity. We functionally mapped the auditory cortex of behaving and of anesthetized macaque monkeys with high resolution fMRI. By optimizing our imaging and stimulation procedures, we obtained robust activity throughout auditory cortex using tonal and band-passed noise sounds. Then, by varying the frequency content of the sounds, spatially specific activity patterns were observed over this region. As a result, the activity patterns could be assigned to many auditory cortical fields, including those whose functional properties were previously undescribed. The results provide an extensive functional tessellation of the macaque auditory cortex and suggest that 11 fields contain neurons tuned for the frequency of sounds. This study provides functional support for a model where three fields in primary auditory cortex are surrounded by eight neighboring ‘‘belt’’ fields in non-primary auditory cortex. The findings can now guide neurophysiological recordings in the monkey to expand our understanding of the processing within these fields. Additionally, this work will improve fMRI investigations of the human auditory cortex. (shrink)

A theory of vagueness gives a model of vague language and of reasoning within the language. Among the models that have been offered are Degree Theorists’ numerical models that assign values between 0 and 1 to sentences, rather than simply modelling sentences as true or false. In this paper, I ask whether we can benefit from employing a rich, well-understood numerical framework, while ignoring those aspects of it that impute a level of mathematical precision that is not (...) present in the modelled phenomenon of vagueness. Can we ignore apparent implications for the phenomena by pointing out that it is just a model and that the unwanted features are mere artefacts? I explore the distinction between representors and artefacts and criticise the strategy of appealing to features as mere artefacts in defence of a theory. I focus largely on theories using numerical resources, but also consider other, related theories and strategies, including theories appealing to non-linear structures. (shrink)

This study tested a structural model of cognitive-emotional explanatory variables to explain performance in mathematics. The predictor variables assessed were related to students’ level of development of early mathematical competencies (EMCs), specifically, relational and numerical competencies, predisposition toward mathematics, and the level of logical intelligence in a population of primary school Chilean students (n = 634). This longitudinal study also included the academic performance of the students during a period of four years as a variable. The sampled students were (...) initially assessed by means of an Early Numeracy Test (ENT), and, subsequently, they were administered a Likert-type scale to measure their predisposition toward mathematics (EPMAT) and a basic test of logical intelligence (TILE). The results of these tests were used to analyse the interaction of all the aforementioned variables by means of a structural equations model. This combined interaction model was able to predict 64.3% of the variability of observed performance. Preschool students' performance in EMCs was a strong predictor for achievement in mathematics for students between 8 to 11 years of age. Therefore, this paper highlights the importance of EMCs and the modulating role of predisposition toward mathematics. Also, this paper discusses the educational role of these findings, as well as possible ways to improve negative predispositions toward mathematical tasks in the school domain. (shrink)

We show how the Full Bayesian Significance Test (FBST) can be used as a model selection criterion. The FBST was presented by Pereira and Stern as a coherent Bayesian significance test. Key Words: Bayesian test; Evidence; Global optimization; Information; Model selection; Numerical integration; Posterior density; Precise hypothesis; Regularization. AMS: 62A15; 62F15; 62H15.

We present a new modeling framework for recognition memory and repetition priming based on signal detection theory. We use this framework to specify and test the predictions of 4 models: (a) a single-system (SS) model, in which one continuous memory signal drives recognition and priming; (b) a multiple-systems-1 (MS1) model, in which completely independent memory signals (such as explicit and implicit memory) drive recognition and priming; (c) a multiple-systems-2 (MS2) model, in which there are also 2 memory signals, but some (...) degree of dependence is allowed between these 2 signals (and this model subsumes the SS and MS1 models as special cases); and (d) a dual-process signal detection (DPSD1) model, 1 possible extension of a dual-process theory of recognition (Yonelinas, 1994) to priming, in which a signal detection model is augmented by an independent recollection process. The predictions of the models are tested in a continuous-identification-with-recognition paradigm in both normal adults (Experiments 1–3) and amnesic individuals (using data from Conroy, Hopkins, & Squire,2005). The SS model predicted numerous results in advance. These were not predicted by the MS1 model, though could be accommodated by the more flexible MS2 model. Importantly, measures of overall model fit favored the SS model over the others. These results illustrate a new, formal approach to testing theories of explicit and implicit memory. (shrink)

To analyze the task of mental arithmetic with external representations in different number systems we model algorithms for addition and multiplication with Arabic and Roman numerals. This demonstrates that Roman numerals are not only informationally equivalent to Arabic ones but also computationally similar—a claim that is widely disputed. An analysis of our models' elementary processing steps reveals intricate tradeoffs between problem representation, algorithm, and interactive resources. Our simulations allow for a more nuanced view of the received wisdom on Roman numerals. (...) While symbolic computation with Roman numerals requires fewer internal resources than with Arabic ones, the large number of needed symbols inflates the number of external processing steps. (shrink)

The philosophy of mathematics has been accused of paying insufficient attention to mathematical practice: one way to cope with the problem, the one we will follow in this paper on extensive magnitudes, is to combine the `history of ideas' and the `philosophy of models' in a logical and epistemological perspective. The history of ideas allows the reconstruction of the theory of extensive magnitudes as a theory of ordered algebraic structures; the philosophy of models allows an investigation into the way epistemology (...) might affect relevant mathematical notions. The article takes two historical examples as a starting point for the investigation of the role of numerical models in the construction of a system of non-Archimedean magnitudes. A brief exposition of the theories developed by Giuseppe Veronese and by Rodolfo Bettazzi at the end of the 19th century will throw new light on the role played by magnitudes and numbers in the development of the concept of a non-Archimedean order. Different ways of introducing non-Archimedean models will be compared and the influence of epistemological models will be evaluated. Particular attention will be devoted to the comparison between the models that oriented Veronese's and Bettazzi's works and the mathematical theories they developed, but also to the analysis of the way epistemological beliefs affected the concepts of continuity and measurement. (shrink)