容错的网络声明式程序

介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.     

Ergonomics for the workers in Sweden

This article is in three sections. The first describes a number of radical new Swedish laws dealing with the working environment and ergonomics. The second section gives a method of problem identification which has been developed within Ergolab. Finally, a discussion is given of how better working conditions can be developed in close co-operation with the workers.     

Prosocial Emotions and Helping: The Moderating Role of Group Membership.

In this article, the authors introduce and test a group-level perspective on the role of empathy and interpersonal attraction in helping. In line with our predictions, Study 1, a longitudinal field study of 166 AIDS volunteers, confirmed that empathy was a stronger predictor of helping when the recipient of assistance was an in-group member than when that person was an out-group member. Also as hypothesized, attraction was a stronger predictor of helping when the recipient was an out-group member than when that person was an in-group member. Study 2 replicated and further extended these results in a laboratory experiment on spontaneous helping of a person with hepatitis. Strengthening the validity of the findings, in both studies the effects of empathy and attraction held up even when the authors statistically controlled for potential alternative predictors of helping. The theoretical and practical implications of these findings for helping in intergroup contexts are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Evolution of internal stress and microstructure in Ti50Cu50 alloy films: influence of substrate temperature and composition

The growth stress of Ti₅₀Cu₅₀ alloy films on alumina substrates was measured in situ under ultrahigh vacuum conditions with a cantilever beam technique as a function of substrate temperature and variation of copper concentration. The growth stress of films deposited at low temperature is interpreted to indicate the growth of amorphous respectively nanocrystalline films. At substrate temperatures above 300 °C, a novel tensile stress contribution is interpreted to be due to the formation of a preferentially oriented film of metastable copper vacancy superstructured γ-TiCu. Finally, at substrate temperatures above 365 °C, a polycrystalline γ-TiCu film is formed.Annealing of low-temperature alloy films gives rise to irreversible tensile stress changes indicating restructuring of the films. The stress change measured when annealing a superstructured γ-TiCu film is compressive and is assigned to the transformation of the metastable superstructure to polycrystalline γ-TiCu. The magnitude of this compressive stress contribution is strongly dependent on the copper concentration, i.e., copper vacancy concentration.     

Grid-Controlled Lightpaths for High Performance Grid Applications

Grid applications call for high performance networking support. One attractive solution is to deploy Grids over optical networks. However, resource management in optical domains is traditionally very rigid and cannot successfully meet the requirements of Grid applications, such as flexible provisioning and configuration. In this paper, we present a customizable resource management solution for optical networks where users can create lightpaths on demand and manage their own network resources. Thanks to a Grid-centric system architecture, lightpath resources can be shared among users and easily integrated with data and computation Grids.     

A Neuro-fuzzy Coding for Processing Incomplete Data: Application to the Classification of Seismic Events

This letter presents a method for modelling and processing incomplete data in connectionist systems. The approach consists in applying a neuro-fuzzy coding to the input data of a neural network. After an introduction to the different kinds of imperfections, we propose a neuro-fuzzy coding in order to take incomplete data into account. We show the efficiency of this coding on the problem of the classification of seismic events. The results show that a neuro-fuzzy coding of the inputs of a neural network increases the performance and classifies incomplete data with little affect on the results.     

Navigation Aided Image Processing in UAV Surveillance: Preliminary Results and Design of an Airborne Experimental System

This paper describes an airborne reconfigurable measurement system being developed at Swedish Defence Research Agency (FOI), Sensor Technology, Sweden. An image processing oriented sensor management architecture for UAV (unmanned aerial vehicles) IR/EO-surveillance is presented. Some preliminary results of navigation aided image processing in UAV applications are demonstrated, such as SLAM (simultaneous localization and mapping), structure from motion and geolocation, target tracking, and detection of moving objects. The design goal of the measurement system is to emulate a UAV-mounted sensor gimbal using a stand-alone system. The minimal configuration of the system consists of a gyro-stabilized gimbal with IR and CCD sensors and an integrated high-performance navigation system. The navigation system combines dGPS real-time kinematics (RTK) data with data from an inertial measurement unit (IMU) mounted with reference to the optical sensors. The gimbal is to be used as an experimental georeferenced sensor platform, using a choice of carriers, to produce military relevant image sequences for studies of image processing and sensor control on moving surveillance and reconnaissance platforms. Furthermore, a high resolution synthetic environment, developed for sensor simulations in the visual and infrared wavelengths, is presented. © 2004 Wiley Periodicals, Inc.     

Mapping of polished coal surfaces by automated reflectance microscopy

The capabilities of Rapid Scan, a system of automated reflectance microscopy, has been extended to the actual mapping of petrographic variation across polished coal surfaces. This is accomplished through computer control of a microscope stepping stage and the storage of binary reflectance data on disc in a matrix form which permits the proper spatial arrangement of values to be re-created. The maps depict lithotype variation, and the distribution of mineral occurrences, cracks and cleat. An image processor can be employed in further map analysis such as the compilation of reflectance profiles from selected areas.     

Syllabic priming in lexical decision and naming tasks: The syllable congruency effect re-examined in French.

This study investigated the role of the syllable in visual recognition of French words. The syllable congruency procedure was combined with masked priming in the lexical-decision task (Experiments 1 and 3) and the naming task (Experiment 2). Target words were preceded by a nonword prime sharing the first three letters that either corresponded to the syllable (congruent condition), or not (incongruent condition). When primes were displayed for 67 ms, similar results were found in both the lexical decision and the naming tasks. Consonant-vowel targets such as BA.LANCE were recognised more rapidly in the congruent condition than in the incongruent and control conditions, while consonant-vowel-consonant targets such as BAL.CON were recognised more rapidly in the congruent and incongruent conditions than in the control condition. When a 43-ms SOA was used in the lexical-decision task, no significant priming effect was obtained. The results are discussed in an interactive-activation model incorporating syllable units. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Tailoring Materials for Mottronics: Excess Oxygen Doping of a Prototypical Mott Insulator

The Mott transistor is a paradigm for a new class of electronic devices—often referred to by the term Mottronics—which are based on charge correlations between the electrons. Since correlation‐induced insulating phases of most oxide compounds are usually very robust, new methods have to be developed to push such materials right to the boundary to the metallic phase in order to enable the metal–insulator transition to be switched by electric gating. Here, it is demonstrated that thin films of the prototypical Mott insulator LaTiO₃ grown by pulsed laser deposition under oxygen atmosphere are readily tuned by excess oxygen doping across the line of the band‐filling controlled Mott transition in the electronic phase diagram. The detected insulator to metal transition is characterized by a strong change in resistivity of several orders of magnitude. The use of suitable substrates and capping layers to inhibit oxygen diffusion facilitates full control of the oxygen content and renders the films stable against exposure to ambient conditions. These achievements represent a significant advancement in control and tuning of the electronic properties of LaTiO_3+x thin films making it a promising channel material in future Mottronic devices.