Opportunities for learning: the use of variation to analyse examples of a paradigm shift in teaching primary mathematics in England

We demonstrate the power of Variation Theory as an analytical tool used to understand the underlying conceptual structure of mathematics lessons taught by English primary school teachers. We study excerpts of three lessons that are posted on a professional website. We show how lesson analysis using variation allows us to focus on what is made available to be learnt in the lesson excerpts. We identify some differences in their use of dimensions of variation and the associated ranges of change and discuss how suitable patterns of variation and invariance might differ according to the nature of the learning focus. We reflect on the value of our analytical approach.     

Specifying Rewrite Strategies for Interactive Exercises

Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with fractions. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback, for example when a user makes an erroneous step in a calculation. We can automatically generate worked-out examples, track the progress of a student by inspecting submitted intermediate answers, and report back suggestions in case the student deviates from the strategy. Thus it becomes less labor-intensive and less ad-hoc to specify new exercise domains and exercises within that domain. A strategy describes valid sequences of rewrite rules, which turns tracking intermediate steps into a parsing problem. This is a promising view at interactive exercises because it allows us to take advantage of many years of experience in parsing sentences of context-free languages, and transfer this knowledge and technology to the domain of stepwise solving exercises. In this paper we work out the similarities between parsing and solving exercises incrementally, we discuss generating feedback on strategies, and the implementation of a strategy recognizer.     

Use of modelling to inform public health policy: a case study on the blood-borne transmission of variant-CJD

Since the identification of variant Creutzfeldt–Jacob Disease in the late 1980s, the possibility that this disease might be passed on via blood transfusion has presented challenging policy questions for Government and blood services in the UK. This paper discusses the use of mathematical modelling to inform policy in this area of health protection. We focus on the use of a relatively simple analytical model to explore how many such infections might eventually be expected to result in clinical cases under a range of alternative scenarios of interest to policy, and on the potential impact of possible additional counter measures. We comment on the value of triangulating between findings generated using distinct modelling approaches and observational data.     

浅谈正定二次型的习题课设计

在高等代数的实二次型内容中,正定二次型占有特殊的地位.本文从概念的回顾、正定二次型与正定矩阵的判断、二次型正定及矩阵正定的性质、其它类型二次型四个方面来设计正定二次型的习题课,并通过具体例子说明例题、习题精选的原则.     

Mathematical reasoning in calculus textbook exercises

The aim of this paper is to study some of the strategies that are possible to use in order to solve the exercises in undergraduate calculus textbooks. It is described in detail how most exercises may be solved by mathematically superficial strategies, often without actually considering the core mathematics of the book section in question.     

Number Worlds: Visual and Experimental Access to Elementary Number Theory Concepts

Recent research demonstrates that many issues related to the structure of natural numbers and the relationship among numbers are not well grasped by students. In this article, we describe a computer-based learning environment called Number Worlds that was designed to support the exploration of elementary number theory concepts by making the essential relationships and patterns more accessible to learners. Based on our research with pre-service elementary school teachers, we show how both the visual representations embedded in the microworld, and the possibilities afforded for experimentation affect learners' understanding and appreciation of basic concepts in elementary number theory. We also discuss the aesthetic and affective dimensions of the research participants' engagement with the learning environment. This revised version was published online in July 2006 with corrections to the Cover Date.     

Building coherence in research on mathematics teacher characteristics by developing practice-based approaches

Scholars have debated which teacher characteristics are primary in determining teachers’ practice. Some claim that identity is at the core of teachers’ ways of being and acting; others argue that teachers’ actions depend principally on their knowledge or beliefs. We argue that, whichever is examined, it is important to study how teachers use specific characteristics in their work, and how the work of teaching is shaped by that use. We claim that this can be done by addressing research questions about teacher characteristics in ways that provide insight into how they contribute to shaping interactions in classrooms—what we call a practice-based approach. To develop and illustrate our argument, we discuss studies that exemplify what we mean by a practice-based approach to the study of a teacher characteristic and we unpack ways in which these studies distinctively contribute to understanding and improving practice. Further, we explore ways in which the development of practice-based approaches might support coherence across efforts to study different characteristics and innovation in studies that consider the interplay of different teacher characteristics in teaching.     

Facilitated modelling with discrete-event simulation: Reality or myth?

Is it possible for discrete-event simulation to be used in a facilitated workshop environment? Over the last decade there have been various attempts to use simulation in this way, but we argue here that none have been successful in achieving a fully facilitated mode where the model is both developed and used in the workshop. We attempt to use a discrete-event simulation in a facilitated mode as part of a lean improvement workshop in a hospital setting. The model was successfully developed and used within the 3 day period of the workshop. Although the intervention was successful, we still had to build the model in the ‘back-office’, meaning that a fully facilitated mode was not achieved. The paper concludes by discussing how fully facilitated modelling with discrete-event simulation might be made possible; the answer is more about changing mind-sets than about technological challenge.     

Aligning simulation models: A case study and results

This paper develops the concepts and methods of a process we will call “alignment of computational models” or “docking” for short. Alignment is needed to determine whether two models can produce the same results, which in turn is the basis for critical experiments and for tests of whether one model can subsume another. We illustrate our concepts and methods using as a target a model of cultural transmission built by Axelrod. For comparison we use the Sugarscape model developed by Epstein and Axtell. The two models differ in many ways and, to date, have been employed with quite different aims. The Axelrod model has been used principally for intensive experimentation with parameter variation, and includes only one mechanism. In contrast, the Sugarscape model has been used primarily to generate rich “artificial histories”, scenarios that display stylized facts of interest, such as cultural differentiation driven by many different mechansims including resource availability, migration, trade, and combat. The Sugarscape model was modified so as to reproduce the results of the Axelrod cultural model. Among the questions we address are: what does it mean for two models to be equivalent, how can different standards of equivalence be statistically evaluated, and how do subtle differences in model design affect the results? After attaining a “docking” of the two models, the richer set of mechanisms of the Sugarscape model is used to provide two experiments in sensitivity analysis for the cultural rule of Axelrod's model. Our generally positive experience in this enterprise has suggested that it could be beneficial if alignment and equivalence testing were more widely practiced among computational modelers.     

Average homogeneity and dimensions of measures

We introduce the concept of average homogeneity of a measure by comparing the measure to the uniform distribution in a relatively simple way. This leads to a very general notion which may be regarded as an inverse of porosity. In this paper the emphasis is given to relations between homogeneity and dimensions of measures. First we consider the effect of homogeneity on dimensions by proving an upper bound to the Hausdorff dimension as a function of homogeneity and its order. The opposite question of how dimensions effect homogeneity is solved by giving an upper bound to homogeneity in terms of upper packing dimension. We also illustrate by examples that all our results are the best possible ones.Mathematics Subject Classification (2000): 28A75, 28A80MJ acknowledges the support of the Academy of Finland, project #48557.     

FIRE DISTURBANCE PATTERNS AND FOREST AGE STRUCTURE

ABSTRACT. This paper investigates how the stability of forest age-distribution is related to the fire regimes. We start with the derivation of theoreticalnegative exponentialforest age-distribution, and use three models to explore the condition with which a stable age-distribution could be expected. The results suggested that a stable age-distribution could always be achieved as long as the forest age-specific mortality is constant over time, and the shape of a stable age-distribution is mainly determined by the forest age-specific mortality. However, the stability of forest age-distribution will be reduced when a small variation in the age-specific mortality is introduced. The simulation results of the possible patterns of the age-distribution under various fire regimes indicated that a variety of age-distribution curves could appear, including negative exponential and one or multiple peaks in the curves. The results suggested that a stable forest age-distribution might never be achieved if the forest landscape is subjected to large and irregular fire disturbances.     

Inclusion of flexibility benefits in discounted cash flow analyses for investment evaluation: A simulation/optimization model

It has been argued that conventional discounted cash flow (DCF) techniques, which are commonly used for investment justification, are inadequate and may even be inappropriate for the justification of advanced manufacturing systems whose strategic value comes from such attributes as flexibility. The problem lies in the proper estimation of the value of flexibility in financial or cash flow terms, so that the DCF techniques, which are otherwise conceptually sound, become relevant. This involves an assessment of the value of the flexibility of the manufacturing system in dealing with the uncertainties in its operating environment. We propose a simulation-optimization methodology for this assessment in cash flow terms and use it in a DCF framework. We use simulation to generate the environmental parameters in each period of an appropriate evaluation horizon. We develop a mathematical programming model to determine the distribution of the possible net revenues of the system in each period by capturing the combined effect of the different types of flexibilities that the manufacturing system may possess. We illustrate the application of our methodology using numerical examples and discuss how it can be used to assess the value of flexibility in cash flow terms. We show that our approach facilitates the justification of capital investment in advanced manufacturing systems which tend to get undervalued under the traditional DCF approaches. It would also help managers address such important questions as “how much incremental investment should we be willing to make now for the additional flexibility features?” and “does the expected present value of the future benefits of added flexibility justify the incremental capital investment now?” In essence, our paper addresses the question as to appropriate techniques or approaches for justifying proposed strategic investment decisions.     

The State of Proof in Finnish and Swedish Mathematics Textbooks—Capturing Differences in Approaches to Upper-Secondary Integral Calculus

Students’ difficulties with proof, scholars’ calls for proof to be a consistent part of K-12 mathematics, and the extensive use of textbooks in mathematics classrooms motivate investigations on how proof-related items are addressed in mathematics textbooks. We contribute to textbook research by focusing on opportunities to learn proof-related reasoning in integral calculus, a key subject in transitioning from secondary to tertiary education. We analyze expository sections and nearly 2000 students’ exercises in the four most frequently used Finnish and Swedish textbook series. Results indicate that Finnish textbooks offer more opportunities for learning proof than do Swedish textbooks. Proofs are also more visible in Finnish textbooks than in Swedish materials, but the tasks in the latter reflect a higher variation in nature of proof-related reasoning. Our results are compared with methodologically similar U.S. studies. Consequences for learning and transition to university mathematics, as well as directions for future research, are discussed.     

On a new method for constructing good point sets on spheres

We use quadrature formulas with equal weights in order to constructN point sets on spheres ind-space (d 3) which are almost optimal with respect to a discrepancy concept, based on distance functions (potentials) and distance functionals (energies). By combining this approach with the probabilistic method, we obtain almost best possible approximations of balls by zonotopes, generated byN segments of equal length.Editors' note: We learned with sadness of Gerold Wagner's untimely death as a result of an avalanche in the Alps shortly after the submission of this paper. When one of the referees, Joram Lindenstrauss, suggested that Wagner's results might be extended to dimensions >6, we invited Professor Lindenstrauss to submit a paper containing that extension which we would publish alongside the Wagner paper. The result is the paper by Bourgain and Lindenstrauss that follows the present one.     

Exponential instability in the inverse scattering problem on the energy interval

We consider the inverse scattering problem on the energy interval in three dimensions. We focus on stability and instability questions for this problem. In particular, we prove an exponential instability estimate which shows the optimality, up to the value of the exponent, of the logarithmic stability result obtained by P. Stefanov in 1990 with the use of some special norm for the scattering amplitude at fixed energy.     

Designing tree-structured organizations for computational agents

We describe a framework for defining the space of organization designs for computational agents, use our framework for analyzing the expected performance of a class of organizations, and describe how our analyses can be applied to predict performance for a distributed information gathering task. Our analysis specifically addresses the impact of the span of control (branching factor) in tree-structured hierarchical organizations on the response time of such organizations. We show quantitatively how the overall task size and granularity influence the design of the span of control for the organization, and that within the class of organizations considered the apropriate span of control is confined to a relatively narrow range. The performance predicted by our overall model correlates with the actual performance of a distributed organization for computer network monitoring. Consequently, we argue that our framework can support aspects of organizational self-design for computational agents, and might supply insights into the design of human organizations as well.     

Lamé hypersurfaces and Lagrange multipliers

Starting with a standard calculus problem of finding the rectangle of maximum area, which can be inscribed in an ellipse, we generalizethe result to Lamé curves and hypersurfaces, before investigating the volume enclosed by a generalized Lamé hypersurface. Suggestions of classroom use and a selection of possible classroom exercises are also given.     

Orbits and Lattices for Linear Random Number Generators with Composite Moduli

In order to analyze certain types of combinations of multiple recursive linear congruential generators (MRGs), we introduce a generalized spectral test. We show how to apply the test in large dimensions by a recursive procedure based on the fact that such combinations are subgenerators of other MRGs with composite moduli. We illustrate this with the well-known RANMAR generator. We also design an algorithm generalizing the procedure to arbitrary random number generators.

     

Logarithmic reduction of the level of randomness in some probabilistic geometric constructions

Many of the surprising phenomena occurring in high dimensions are proved by use of probabilistic arguments, which show the existence of organized and regular structures but do not hint as to where exactly do these structures lie. It is an intriguing question whether some of them could be realized explicitly. In this paper we show that the amount of randomness used can be reduced significantly in many of these questions from asymptotic convex geometry, and most of the random steps can be substituted by completely explicit algorithmic steps. The main tool we use is random walks on expander graphs.