Exploring the Link Between Preservice Teachers' Conception of Proof and the Use of Dynamic Geometry Software

This case study investigated how secondary preservice mathematics teachers perceive the need for and the benefits of formal proof when given geometric tasks in the context of dynamic geometry software. Results indicate that preservice teachers are concerned that after using dynamic software high school students will not see the need for proofs. The participants stated that multiple examples are not equivalent to a proof but, nonetheless, questioned the value of formal proof for high school students. Finally, preservice teachers found the greatest value of geometric software to be in helping students understand key relationships within a problem or theorem. Participants also tended to study a problem more deeply with the software than without it.     

Limits of parallelism in explicit ODE methods

Numerical methods for ordinary initial value problems that do not depend on special properties of the system are usually found in the class of linear multistage multivalue methods, first formulated by J.C. Butcher. Among these the explicit methods are easiest to implement. For these reasons there has been considerable research activity devoted to generating methods of this class which utilize independent function evaluations that can be performed in parallel. Each such group of concurrent function evaluations can be regarded as a stage of the method. However, it turns out that parallelism affords only limited opportunity for reducing the computing time with such methods. This is most evident for the simple linear homogeneous constant-coefficient test problem, whose solution is essentially a matter of approximating the exponential by an algebraic function. For a given number of stages and a given number of saved values, parallelism offers a somewhat enlarged set of algebraic functions from which to choose. However, there is absolutely no benefit in having the degree of parallelism (number of processors) exceed the number of saved values of the method. Thus, in particular, parallel one-step methods offer no speedup over serial one-step methods for the standard linear test problem. Although the implication of this result for general nonlinear problems is unclear, there are indications that dramatic speedups are not possible in general. Also given are some results relevant to the construction of methods.Work supported in part by National Science Foundation grants DMS 89 11410 and DMS 90 15533 and by US Department of Energy grant DOE DEFG02-87ER25026. Work of the second author was completed while at the University of Illinois.     

Scheduling real-time and non-real-time traffic under nonstationary conditions

In this paper a statistical multiplexer that processes a mixture of real-time and non-real-time traffic is studied under bursts of traffic. Different scheduling algorithms are compared under conditions when one of the classes of traffic has a sudden increase in its arrival rate during a short period of time. The results show a difference in the way the scheduling disciplines studied behave under short overloads of traffic even though the scheduling algorithms had been set up to give similar performance under steady-state arrivals. The lifetime of real-time packets is shown to have a great effect on the way in which the performance of the scheduling algorithms compare.Robert Lackman is an IBM employee in the IBM Resident Study Program.     

Sewings of crumpled cubes revisited

This paper sets forth three mismatch properties, strictly ordered in strength, about sewings of crumpled n-cubes. The strongest is a sufficient but not a necessary condition for a sewing to yield Sn, and the weakest, a necessary but not sufficient one. We show that when both crumpled cubes satisfies the Disjoint Disks Property, then the weakest property implies the sewing yields Sn, and we also show that the intermediate property leads to the same conclusion when just one of the crumpled cubes possesses the Disjoint Disks Property. In addition, we develop examples that confirm sharpness of the relevant Disjoint Disks conditions.     

Physical Analysis of a Possibility to Reach the 1.30-μm Emission from the GaAs-Based VCSELs with the InGaAs/GaAs Quantum-Well Active Regions and the Intentionally Detuned Optical Cavities

Physical aspects of an operation of the GaAs-based InGaAs/GaAs quantum-well (QW) VCSELs with the intentionally detuned optical cavities have been considered in the present paper using the comprehensive three-dimensional self-consistent optical–electrical–thermal-gain simulation. In GaAs-based structures, very good DBR resonator mirrors and a very efficient methods to confine radially both the current spreading and the electromagnetic field with the aid of oxide apertures may be applied. It has been found using the above simulation that even currently available immature technology enables manufacturing the above devices emitting radiation of wavelengths over 1.20 μm. In particular, while the room-temperature 1.30-μm lasing emission is still beyond possibilities of the InGaAs/GaAs QW VCSELs, these structures may offer analogous 1.25-μm emission, especially for the high-power and/or high-temperature operation.     

On Two Measures of Problem Instance Complexity and their Correlation with the Performance of SeDuMi on Second-Order Cone Problems

We evaluate the practical relevance of two measures of conic convex problem complexity as applied to second-order cone problems solved using the homogeneous self-dual (HSD) embedding model in the software SeDuMi. The first measure we evaluate is Renegar's data-based condition measure C(d), and the second measure is a combined measure of the optimal solution size and the initial infeasibility/optimality residuals denoted by S (where the solution size is measured in a norm that is naturally associated with the HSD model). We constructed a set of 144 second-order cone test problems with widely distributed values of C(d) and S and solved these problems using SeDuMi. For each problem instance in the test set, we also computed estimates of C(d) (using Peña’s method) and computed S directly. Our computational experience indicates that SeDuMi iteration counts and log (C(d)) are fairly highly correlated (sample correlation R = 0.675), whereas SeDuMi iteration counts are not quite as highly correlated with S (R = 0.600). Furthermore, the experimental evidence indicates that the average rate of convergence of SeDuMi iterations is affected by the condition number C(d) of the problem instance, a phenomenon that makes some intuitive sense yet is not directly implied by existing theory.     

ECONOMIC REGULATION OF TARGETING BEHAVIOR IN MULTISPECIES FISHERY

Fishing vessels, harvesting geographically dispersed and heterogeneous multispecies aggregates, are presumed to target on the most profitable pools. But, this behavior may lead to depletion of biologically valuable species, and consequent early closure by the management agency of the entire fishery. In this article, a simple model is analyzed in order to understand the dynamics of such targeting behavior. Further analysis explores the theoretical extent to which targeting might be altered through economic rationalization measures, landings taxes or quota markets, to achieve a more nearly optimal pattern of exploitation.     

Gas-phase thermal decomposition of peroxy-N-butyryl nitrate

The gas-phase thermal decomposition rate of peroxy-n-butyryl nitrate (n-C₃H₇C(O)OONO₂, PnBN) has been measured at ambient temperature (296 K) and 1 atm of air relative to that of peroxyacetyl nitrate (CH₃C(O)OONO₂, PAN) using mixtures of PAN (14–19 ppb), PnBN (22–46 ppb), and nitric oxide (1.35–1.90 ppm). The PnBN/PAN decomposition rate ratio was 0.773 ± 0.030. This ratio, together with a literature value of 3.0 × 10^?4 s^?1 for the thermal decomposition rate of PAN at 296 K, yields a PnBN thermal decomposition rate of (2.32 ± 0.09) × 10^?4 s^?1. The results are briefly discussed by comparison with data for other peroxyacyl nitrates and with respect to the atmospheric persistence of PnBN. © 1994 John Wiley & Sons, Inc.