The Emotional Dog Gets Mistaken for a Possum.

H. D. Saltzstein and T. Kasachkoff (2004) (see record 2004-21519-004) critique the social intuitionist model (J. Haidt, 2001) (see record 2001-18918-008), but the model they critique is a stripped-down version that should be called the "possum" model. They make 3 charges about the possum model that are not true about the social intuitionist model: that it includes no role for reasoning, that it reduces social influence to compliance, and that it does not take a developmental perspective. After a defense of the honor of the social intuitionist model, this article raises 2 areas of legitimate dispute: the scope and nature of moral reasoning and the usefulness of appealing to innate ideas, rather than to learning and reasoning, as the origin of moral knowledge. This article presents 3 clusters of innate moral intuitions, related to sympathy, hierarchy, and reciprocity. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Experimental evidence of a relationship between monomer plasma residence time and carboxyl group retention in acrylic acid plasma polymers

Decreasing carboxyl retention in deposits from the glow region of an acrylic acid plasma was measured by X-ray photoelectron spectroscopy and chemical derivatisation as the collection distance from the monomer vapour inlet was increased. Volatilisation of plasma polymerised acrylic acid was detected after trifluoroethanol derivatisation; this is correlated with evaporation of low molecular weight components observed previously.     

A One-Dimensional Nonlocal Damage-Plasticity Model for Ductile Materials

This paper presents a new 1-D non-local damage-plasticity deformation model for ductile materials. It uses the thermodynamic framework described in Houlsby and Puzrin (2000) and holds, nevertheless, some similarities with Lemaitre’s (1971) approach. A 1D finite element (FE) model of a bar fixed at one end and loaded in tension at the other end is introduced. This simple model demonstrates how the approach can be implemented within the finite element framework, and that it is capable of capturing both the pre-peak hardening and post-peak softening (generally responsible for models instability) due to damage-induced stiffness and strength reduction characteristic of ductile materials. It is also shown that the approach has further advantages of achieving some degree of mesh independence, and of being able to capture deformation size effects. Finally, it is illustrated how the model permits the calculation of essential work of rupture (EWR), i.e. the specific energy per unit cross-sectional area that is needed to cause tensile failure of a specimen.     

Hydrogen adsorption studies in micro-size cobalt dots

Hydrogen desorption curves were obtained from a sample composed of a square arrangement of Co dots with average diameter of 4.4 μm, separated by a distance of 11.6 μm. A macroscopic sample of Co dots grown on a 2.5 × 2.5 cm Si substrate was made by standard lithographic techniques and used in these experiments. Thermal programmed desorption (TPD) was performed under ultra-high vacuum conditions. Hydrogen TPD curves were obtained from a 1 × 1 cm Co dots samples displaying a maximum of intensity at 425 K. Hydrogen TPD curve was also obtained from 1 cm× 1 cm samples of Co films and Co foils for comparison. The hydrogen TPD curves have decreasing intensity from the Co foils to the Co dots and finally to the Co films. This indicates that there are more sites for hydrogen adsorption on the Co dots than in the Co films. This is a surprising result because there is approximately 8.7 times less Co atoms exposed in the Co dots that in the Co film sample. A desorption energy of 27 kcal/mol was obtained for the Co dots suggesting that hydrogen is adsorbed on an hcp hollow site of the Co dot crystalline structure.     

Characteristics of Milk Powders Produced by Spray Freeze Drying

Skim and whole milk powders were manufactured at lab scale by spray freeze drying (SFD), using liquid nitrogen as the cryogen. The polydispersity of droplet/particle sizes was limited using an encapsulator nozzle to atomize the feed. Particle morphology was examined using a scanning electron microscope. Samples were compared with equivalent spray-dried powders in tests of wettability and dissolution in water. The spray freeze-dried powders were found to be highly porous, with a uniform structure of pores throughout the entire particles. When tested in water, SFD skim milk powders wetted roughly three times as fast as industrially spray-dried agglomerated skim milk powders and were observed to dissolve rapidly by breaking down into smaller particles.     

针对医疗设备的精确电池备份

本文通过测试测量方案介绍了如何进行医疗设备的精确电池备份。     

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

P#: a concurrent Prolog for the .NET framework

We discuss P#, our implementation of a tool that allows interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code. We can thus create C# objects from Prolog and use C#'s graphical, networking and other libraries. We add language constructs on the Prolog side that allow concurrent Prolog code to be written. A primitive predicate is provided that evaluates a Prolog structure on a newly forked thread. Communication between threads is based on the unification of variables contained in such a structure. It is also possible for threads to communicate through a globally accessible table. All of the new features are available to the programmer through new built-in Prolog predicates. We discuss two software engineering tools implemented using P#. Copyright © 2004 John Wiley & Sons, Ltd.     

Modelling biological processes under anaerobic conditions through integrating titrimetric and off-gas measurements-applied to EBPR systems.

An innovative method for modelling biological processes under anaerobic conditions is presented and discussed. The method is based on titrimetric and off-gas measurements. Titrimetric data is recorded as the addition rate of hydroxyl ions or protons that is required to maintain pH in a bioreactor at a constant level. An off-gas analysis arrangement measures, among other things, the transfer rate of carbon dioxide. The integration of these signals results in a continuous signal which is solely related to the biological reactions. When coupled with a mathematical model of the biological reactions, the signal allows a detailed characterisation of these reactions, which would otherwise be difficult to achieve. Two applications of the method to the enhanced biological phosphorus removal processes are presented and discussed to demonstrate the principle and effectiveness of the method.     

Algorithms in the W-Hierarchy

We show new upper bounds for problems in the W-hierarchy of fixed-parameter complexity. A crucial ingredient of our proofs is an extension to the W-RAM model, which permits more-powerful operations but remains equivalent to the original. We use the extended model to give new upper bounds for Subsetsum, Maximum Irredundant Set, and various problems concerning intersection of finite-state machines.