Mexitl: Multimedia in Executable Interval Temporal Logic

This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements that arise from the multimedia documents application area, and we illustrate these requirements using several examples. Then we present the temporal logic formalism that we use. This logic extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called filter and a new handling of interval length. The notation is applied to the specification of the examples, and in particular a set of logical manipulations, providing feedback to an author, is presented. A model theory, logic and satisfaction relation are defined for the notation.     

Mapping Conjugate Gradient Algorithms for Neutron Diffusion Applications onto SIMD, MIMD, and Mixed-Mode Machines

The performance of conjugate gradient (CG) algorithms for the solution of the system of linear equations that results from the finite-differencing of the neutron diffusion equation was analyzed on SIMD, MIMD, and mixed-mode parallel machines. A block preconditioner based on the incomplete Cholesky factorization was used to accelerate the conjugate gradient search. The issues involved in mapping both the unpreconditioned and preconditioned conjugate gradient algorithms onto the mixed-mode PASM prototype, the SIMD MasPar MP-1, and the MIMD Intel Paragon XP/S are discussed. On PASM , the mixed-mode implementation outperformed either SIMD or MIMD alone. Theoretical performance predictions were analyzed and compared with the experimental results on the MasPar MP-1 and the Paragon XP/S. Other issues addressed include the impact on execution time of the number of processors used, the effect of the interprocessor communication network on performance, and the relationship of the number of processors to the quality of the preconditioning. Applications studies such as this are necessary in the development of software tools for mapping algorithms onto either a single parallel machine or a heterogeneous suite of parallel machines.     

The cut-groove technique to infer interfacial effects during hot rolling

This article presents a novel experimental technique to infer the coupled effects of friction and heat transfer during the hot rolling of steels. The technique, termed the “cut-groove” method, relates the behavior of the deforming grooves cut on the strip surface to the local effects of friction and heat transfer. Validation of the experimentally observed groove shapes involved developing two-dimensional (2-D) and three-dimensional (3-D) finite-element (FE) models that employed a probabilistic distribution diagram (PDD). The PDD framework modeled the roll-strip interface and accounted for the variations in the oxide scale as distinct states that affect both friction and heat transfer. The numerically predicted groove openings are in good agreement with the experimentally observed groove shapes, particularly for the 2-D case. For the 3-D model, deviations are observed at regions close to the strip edges that are affected by nonplanar strain arising from spread during laboratory rolling. S. DAS, formerly Student, Department of Engineering Materials, and later Research Associate, Institute of Microstructural and Mechanical Process Engineering, The University of Sheffield (IMMPETUS), Sheffield, SI 3JD, United Kingdom     

Reward,persuasion, and the Sokal Hoax: A study in citation identities

A citation identity is a list of an author's citees ranked by how frequently that author has cited them in publications covered by the Institute for Scientific Information. The same Dialog software that creates identities can simultaneously show the overall citation counts of citees, which indicate their reputations. Using identities for 28 authors in several disciplines of science and scholarship, I show that the reputational counts of their citees always have an approximately log-normal distribution: citations to very famous names are roughly balanced by citations to obscure ones, and most citations go to authors of middling reputation. These results undercut claims by constructivists that the main function of citation is to marshal “big-name” support for arguments at the expense of crediting lesser-known figures. The results are better explained by Robert K. Merton's norm of universalism, which holds that citers are rewarding use of relevant intellectual property, than by the constructivists' particularism, which holds that citers are trying to persuade through manipulative rhetoric. A universalistic citation pattern appears even in Alan Sokal's famous hoax article, where some of his citing was deliberately particularistic. In fact, Sokal's basic adherence to universalism probably helped his hoax succeed, which suggests the strength of the Mertonian norm. In specimen cases, the constructivists themselves are shown as conforming to it. This revised version was published online in June 2006 with corrections to the Cover Date.     

Complementary Tasks to Measure Working Memory in Distinct Prefrontal Cortex Subregions in Rats.

Acquisition of odor-guided or visually-guided delayed win-shift behavior was evaluated in rats after lidocaine-induced inactivation within the agranular insular area of the prefrontal cortex (PFC) or the prelimbic area of the PFC. Additional sites and tasks were used to control for neuroanatomical and behavioral specificity of lidocaine inactivation of the agranular insular and prelimbic areas. Results showed that acquisition of the odor-guided delayed win-shift task was dependent on the agranular insular area, whereas acquisition of the visually-guided version was dependent on the prelimbic area. This dissociation suggests that the stimulus modality used is critical for revealing working memory functions of different PFC subregions. The described methods provide a complementary means to study working memory in PFC subregions using a radial-arm maze. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Salmonella Enteritidis in shell eggs: Current issues and prospects for control

Foodborne illness caused by Salmonella spp. is a worldwide problem. In the United States Salmonella Enteritidis is the second most commonly isolated serotype from human illness, and is known to be strongly associated with shell eggs and egg containing products. Eggs can become contaminated internally either by penetration through the shell or directly during formation in the reproductive tract. This review begins with a brief account of the physiology of egg production and the various physical and chemical barriers the egg possesses to prevent bacterial contamination. Factors involved in vertical and horizontal transmission of S. Enteritidis are examined, as well as the role of forced molt in colonization of the hen. Pre- and post-harvest mitigation strategies are also discussed.     

Avalanches on a conical bead pile: scaling with tuning parameters

Uniform spherical beads were used to explore the scaling behavior of a granular system near its critical angle of repose on a conical 3D bead pile. We found two tuning parameters that could take the system to a critical point. The existence of those tuning parameters violates the fundamental assumption of self-organized criticality, which proposed that complex dynamical systems self-organize to a critical point without need for tuning. Our avalanche size distributions were well described by a simple power-law, as is characteristic of a critical point, with the power τ = 1.5 when dropping beads slowly onto the apex of a bead pile from a small height. However, we could also move the system from the critical point using either of two tuning parameters: the height from which the beads fell onto the top of the pile or the region over which the beads struck the pile. As the drop height increased, the system did not reach the critical point yet the resulting distributions were independent of the bead mass, coefficient of friction, or coefficient of restitution. All our apex-dropping distributions for any type of bead (glass, stainless steel, zirconium) showed universality by scaling onto a common curve with τ = 1.5 and σ =?1.0, where 1/σ is the power of the tuning parameter. From independent calculations using the moments of the distribution, we find values for τ = 1.6 ± 0.1 and σ =?0.91 ± 0.15. When beads were dropped across the surface of the pile instead of solely on the apex, then the system also moved from the critical point and again the avalanche size distributions fell on a common curve when scaled similarly using the same values of τ and σ. We also observed that an hcp structure on the base of the pile caused an emergent structure in the pile that had six faces with some fcc or hcp structure; this structure did not affect the distribution of avalanche sizes.     

用于汽车自动变速器的温压涡轮毂

温压是一种可将增高密度与选择高使用性能材料相结合的技术。增高密度有助于提高零件的力学性能,以及整体使用性能。将密度增高与高使用性能相结合,可使制造的零件的使用性能超过相应的铸锻材料产品,同时可制成具有最终形的零件,从而显著减低生产成本。因此,自动变速器的涡轮毂就成为了温压的一个理想对象。这篇论文将评述,将用于高扭矩自动变速器的常规锻件切削加工的涡轮毂转换为用一次压制/一次烧结制造的粉末冶金涡轮毂。粉末冶金涡轮毂使用的材料是FD-0405。在试验室对这种扩散合金化材料进行了评价,和报告了几个密度水平的力学性能。温压可使高应力的内花键区全面达到高密度。为了证明粉末冶金零件的适用性,进行了广泛的力学与零件的特定试验。     

Membrane treatment of side-stream cooling tower water for reduction of water usage

A pilot study was conducted to determine whether membrane treatment on a side stream of recirculating cooling-tower water could reduce overall water usage and discharge. The treated permeate was returned to the cooling tower while the concentrate was discharged to the sanitary sewer. Flow rates, pressures and water chemistry were monitored. The pilot demonstrated potential substantial water savings. Maximum make-up water and discharge reduction were 16% and 49%, respectively. As high as possible permeate recovery is needed to maximize water conservation. Silica scaling on the membranes limited water savings in this pilot. Development of membranes with a solute-rejection capacity less than the 92% average of the membranes used in the pilot would assist in optimizing water savings. Decreased water outlays compensated for the additional energy used by membrane treatment. Scaling control is critical for economic operation.