4,326 research outputs found
Influence of convection on free growth of dendrite crystals from solution
The free growth of dendrites in a uniformly supercooled solution was examined using cine photography with a Schlieren optical system. Crystals were grown in the bulk of the solution from a centrally located capillary tube, nucleated at the interface with a liquid nitrogen cooled wire. Crystals propagated along the tube, the slower growing orientations eliminated, and emerged at the tip, usually growing parallel to the tube direction. For both sodium sulfate decahydrate from its solution and ice from sodium chloride solution, growth rate and fineness of dendrites increased with supercooling. In sodium sulfate, upward convection of the less dense depleted solution occurs; downward convection was observed for the rejected, more concentrated sodium chloride solution. In both cases, there was a spatial and temporal delay in the release of the convective plume from the moving dendrite tip. The role of this convection on the growth characteristics and the production of secondary crystals is examined. A proposed low-g experiment to examine differences in growth rate, crystal texture, and secondary nucleation in a reduced convective regime where molecular diffusion is the dominant transfer process is discussed
An extended classical solution of the droplet growth problem
Problems of applying the classical kinetic theory to the growth of small droplets from vapor are examined. A solution for the droplet growth equation is derived which is based on the assumption of a diffusive field extending to the drop surface. The method accounts for partial thermal and mass accommodation at the interface and the kinetic limit to the mass and heat fluxes, and it avoids introducing the artifact of a discontinuity in the thermal and vapor field near the droplet. Consideration of the environmental fields in spherical geometry utilizing directional fluxes yields boundary values in terms of known parameters and a new Laplace transform integral
Advantages of ice crystal growth experiments in a low gravity environment
The effects of convective fluid motions and mechanical supports on ice crystal growth in experiments conducted on earth can be inferred from studies conducted in their absence in a low-gravity environment. Current experimental results indicate the effects may be significant
Thematic Issue on the Hydrological Effects of the Vegetation-Soil Complex
Peer reviewedPublisher PD
Hidden Type Variables and Conditional Extension for More Expressive Generic Programs
Generic object-oriented programming languages combine parametric polymorphism and nominal subtype polymorphism, thereby providing better data abstraction, greater code reuse, and fewer run-time errors. However, most generic object-oriented languages provide a straightforward combination of the two kinds of polymorphism, which prevents the expression of advanced type relationships. Furthermore, most generic object-oriented languages have a type-erasure semantics: instantiations of type parameters are not available at run time, and thus may not be used by type-dependent operations.
This dissertation shows that two features, which allow the expression of many advanced type relationships, can be added to a generic object-oriented programming language without type erasure:
1. type variables that are not parameters of the class that declares them, and
2. extension that is dependent on the satisfiability of one or more constraints.
We refer to the first feature as hidden type variables and the second feature as conditional extension. Hidden type variables allow: covariance and contravariance without variance annotations or special type arguments such as wildcards; a single type to extend, and inherit methods from, infinitely many instantiations of another type; a limited capacity to augment the set of superclasses after that class is defined; and the omission of redundant type arguments. Conditional extension allows the properties of a collection type to be dependent on the properties of its element type.
This dissertation describes the semantics and implementation of hidden type variables and conditional extension. A sound type system is presented. In addition, a sound and terminating type checking algorithm is presented.
Although designed for the Fortress programming language, hidden type variables and conditional extension can be incorporated into other generic object-oriented languages. Many of the same problems would arise, and solutions analogous to those we present would apply
Citizen Perceptions of Minor Changes to the Police Patrol Uniform
Trust and respect between law enforcement and the public has become a topic of increased controversy in the past few years. The rise of instantly available news, along with audio and video from a variety of modern sources, has brought new attention to every aspect of policing. This project was undertaken to study a ubiquitous portion of daily police life: the patrol uniform
- …