Solidification Behavior of Undercooled Liquid Aluminum Oxide

Solidification of aluminum oxide from undercooled melts was investigated in containerless experiments. Specimens were levitated in a gas jet, stabilized with an acoustic positioning device, and melted with cw CO₂ laser beams. Cooling curves were obtained by optical pyrometry when the laser intensity was reduced. The materials examined were high-purity Verneuil sapphire, 99.5% polycrystalline alumina, and oxide materials recovered from the effluent of an aluminum-fueled rocket motor. The degree of undercooling, the apparent temperature behavior during the thermal arrest on solidification, and the structure of the materials formed were different in argon and oxygen atmospheres. Undercooling of the sapphire and alumina materials was 360 ± 10 K in an oxygen atmosphere and approximately 450 K in argon. Melting and solidification of high-purity sapphire resulted in a dendritic and porous polycrystalline material in oxygen. Dense, larger crystals were obtained in argon. Products formed from 99.5% alumina were discolored and the cores were white, indicating impurity segregation effects. More reproducible behavior was observed for the sapphire and 99.5% alumina than for the tungstencontaminated rocket motor effluent materials.     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

The role of examples and rules in the acquisition of a cognitive skill

In 3 experiments, participants memorized 8 examples, each exemplifying a different rule. Participants were asked to extend these rules to new examples. They practiced applications of the rules to examples over a period of 4 days (Experiment 1) or 5 days (Experiments 2 and 3). Although these rules were bidirectional, an asymmetry gradually built up such that participants became more facile in using the rules in the practiced direction. Participants also showed an advantage when the initial study example was repeated or when test examples were repeated. It is argued that skill acquisition involves development of a complex set of strategies based on use of rules and retrieval of examples. Four overlapping stages of skill acquisition are described.     

Impact and penetration by L/D ≤ 1 projectiles

Calculations of steel target penetration by L/D ≤ 1 tungsten and tungsten alloy projectiles have been extended to L/D = 1/32 over the velocity range 1.5 to 5 km/s. The ratio of crater to projectile diameter tends to 1 as L/D decreases over this entire velocity range. For impact velocities of 1.5 and 3 km/s, penetration depth normalized by projectile length, P/L, increases with decreasing projectile L/D up to a maximum value and then decreases for still lower L/D. Experiments at impact velocities of 2 and 3 km/s confirm these results. For 5 km/s impact velocity, the calculations show P/L increasing with decreasing projectile L/D over the entire range 1/32 ≤ L/D ≤ 1. The projectile L/D for which the maximum P/L occurs appears to depend on the impact velocity. P/L generally scales with impact velocity as P/L v^f(L/D) where f(L/D) ranges from 0 for a long rod to, we believe, 2 in the limit as projectile L/D approaches zero. The calculations show for 1/8 ≤ L/D ≤ 1/2, P/L v^0.9; for L/D = 1/16, P/L v^1.5; and for L/D = 1/32, the new results give P/L v^1.9.     

Guest Editors' Introduction: Machine Ethics

Machine ethics is concerned with how machines behave toward human users and other machines. It aims to create a machine that's guided by an acceptable ethical principle or set of principles in the decisions it makes about possible courses of action it could take. As ethics experts continue to progress toward consensus concerning the right way to behave in ethical dilemmas, the task for those working in machine ethics is to codify these insights. Eight articles in this special issue address the issues.This article is part of a special issue on Machine Ethics.     

Application of mortar elements to diffuse-interface methods

An adaptive 2D mesh refinement technique based on mortar spectral elements applied to diffuse-interface methods is presented. The refinement algorithm tracks the movement of the 2D diffuse-interface and subsequently refines the mesh locally at that interface, while coarsening the mesh in the rest of the computational domain, based on error estimators. Convergence of the method is validated using a Gaussian distribution problem and results are presented for a Cahn–Hilliard diffuse-interface model applied to capture the transient dynamics of polymer blends.     

A space- and time-efficient local-spin spin lock

A simple code transformation is presented that reduces the space complexity of Yang and Anderson's local-spin mutual exclusion algorithm. In both the original and the transformed algorithm, only atomic read and write instructions are used; each process generates Θ(logN) remote memory references per lock request, where N is the number of processes. The transformed algorithm uses Θ(N) distinct variables, which is clearly optimal.     

Bilateral control of teleoperators with time delay

A control law for teleoperators is presented which overcomes the instability caused by time delay. By using passivity and scattering theory, a criterion is developed which shows why existing bilateral control systems are unstable for certain environments, and why the proposed bilateral control law is stable for any environment and any time delay. The control law has been implemented on a single-axis force-reflecting hand controller, and preliminary results are shown. To keep the presentation clear, a single-degree-of-freedom (DOF) linear time-invariant (LTI) teleoperator system is discussed. Nevertheless, results can be extended, without loss of generality, to an n-DOF nonlinear teleoperation system     

The aggression paradox: Understanding links among aggression, sensation seeking, and the consideration of future consequences.

Four studies involving 573 female and 272 male college students demonstrated that multiple forms and measures of aggression were associated with high levels of sensation seeking, impulsivity, and a focus on the immediate consequences of behavior. Multiple regression analyses and structural equation models supported a theoretical model based on the general aggression model (C. A. Anderson & B. J. Bushman, 2002), positing that hostile cognition and negative affect mediate the relationships between the aforementioned individual differences and aggression. Sensation seeking also predicted a desire to engage in physical and verbal aggression. The final study demonstrated that relative to those scoring low, individuals scoring high on the consideration of future consequences are only less aggressive when aggression is likely to carry future costs. (PsycINFO Database Record (c) 2010 APA, all rights reserved)