An experiment in the design of distributed programs

This paper describes an experiment in the design of distributed programs. It is based on the theory of Owicki and Gries extended with rules for reasoning about message passing. The experiment is designed to test the effectiveness of the extended theory for designing distributed programs.

Explaining the effects of class size on faculty and students

This study explored the effects of class size on faculty and students. Specifically, it examined the relationship of class size and students' participation in class, faculty interactive styles, and academic environment and how these behaviors affected student achievement (percentage of students passing). The sample was composed of 629 students in 30 sections of Algebra I at a large, urban community college. A survey was administered to the students to solicit their perceptions on their participation in class, their faculty interaction style, and the academic environment in their classes. Selected classes were observed to triangulate the findings. The relationship of class size to student participation, faculty interactive styles, and academic environment was determined by using hierarchical linear modeling (HLM). A significant difference was found on the participation of students related to class size. Students in smaller classes participated more and were more engaged than students in larger classes. Regression analysis using the same variables in small and large classes showed that faculty interactive styles significantly predicted student achievement. Stepwise regression analyses of student and faculty background variables showed that (a) students' estimate of GPA was significantly related to their achievement (r = .63); (b) older students reported more participation than did younger ones, (c) students in classes taught by female, Hispanic faculty earned higher passing grades, and (d) students' participation was greater with adjunct professors. Class observations corroborated these findings. The analysis and observational data provided sufficient evidence to warrant the conclusion that small classes were not always most effective in promoting achievement. It was found that small classes may be an artifact of ineffectual teaching, actual or by reputation. While students in small classes participate and are more engaged than students in larger classes, the class-size effect is essentially due to what happens in instruction to promote learning. The interaction of the faculty with students significantly predicted students' achievement regardless of class size. Since college students select their own classes, students do not register for classes taught by faculty with poor teaching reputation, thereby leading to small classes. Further studies are suggested to determine reasons why classes differ in size.

Physicochemical characterization of particulate emissions from a compression ignition engine employing two injection technologies and three fuels

Alternative fuels and injection technologies are a necessary component of particulate emission reduction strategies for compression ignition engines. Consequently, this study undertakes a physicochemical characterization of diesel particulate matter (DPM) for engines equipped with alternative injection technologies (direct injection and common rail) and alternative fuels (ultra low sulfur diesel, a 20% biodiesel blend, and a synthetic diesel). Particle physical properties were addressed by measuring particle number size distributions, and particle chemical properties were addressed by measuring polycyclic aromatic hydrocarbons (PAHs) and reactive oxygen species (ROS). Particle volatility was determined by passing the polydisperse size distribution through a thermodenuder set to 300 °C. The results from this study, conducted over a four point test cycle, showed that both fuel type and injection technology have an impact on particle emissions, but injection technology was the more important factor. Significant particle number emission (54%–84%) reductions were achieved at half load operation (1% increase–43% decrease at full load) with the common rail injection system; however, the particles had a significantly higher PAH fraction (by a factor of 2 to 4) and ROS concentrations (by a factor of 6 to 16) both expressed on a test-cycle averaged basis. The results of this study have significant implications for the health effects of DPM emissions from both direct injection and common rail engines utilizing various alternative fuels.

Does experience with one type of two-wheeler affect behaviours and attitudes to other types?

Failure to give way by motor vehicles is a factor in many collisions with both powered and unpowered two wheelers (TWs). Motor vehicle drivers often report that they did not see the TW, but research has shown that motor vehicle drivers who have experience riding a motorcycle are less likely to fail to detect motorcycles. The research reported here examines whether this phenomenon extends to detection of bicycles and whether car drivers who have experience with one mode of TW show improved detection of the other mode. A driving simulator study was conducted in an Australian urban setting which incorporated some of the most common car-TW crash scenarios. Participants with car-only, car plus motorcycle, car plus bicycle, and car plus bicycle plus motorcycle experience operated a car simulator. Their interactions with both types of TWs were measured in terms of visual detection, lateral distance and speed when approaching and passing. The effects of different levels of colour and lighting of the TWs on driver responses were also examined. The attitudes of participants towards TWs were measured in a questionnaire.

A Satellite Selection Algorithm for Achieving High Reliability of Ambiguity Resolution with GPS and Beidou Constellations

Reliability of carrier phase ambiguity resolution (AR) of an integer least-squares (ILS) problem depends on ambiguity success rate (ASR), which in practice can be well approximated by the success probability of integer bootstrapping solutions. With the current GPS constellation, sufficiently high ASR of geometry-based model can only be achievable at certain percentage of time. As a result, high reliability of AR cannot be assured by the single constellation. In the event of dual constellations system (DCS), for example, GPS and Beidou, which provide more satellites in view, users can expect significant performance benefits such as AR reliability and high precision positioning solutions. Simply using all the satellites in view for AR and positioning is a straightforward solution, but does not necessarily lead to high reliability as it is hoped. The paper presents an alternative approach that selects a subset of the visible satellites to achieve a higher reliability performance of the AR solutions in a multi-GNSS environment, instead of using all the satellites. Traditionally, satellite selection algorithms are mostly based on the position dilution of precision (PDOP) in order to meet accuracy requirements. In this contribution, some reliability criteria are introduced for GNSS satellite selection, and a novel satellite selection algorithm for reliable ambiguity resolution (SARA) is developed. The SARA algorithm allows receivers to select a subset of satellites for achieving high ASR such as above 0.99. Numerical results from a simulated dual constellation cases show that with the SARA procedure, the percentages of ASR values in excess of 0.99 and the percentages of ratio-test values passing the threshold 3 are both higher than those directly using all satellites in view, particularly in the case of dual-constellation, the percentages of ASRs (>0.99) and ratio-test values (>3) could be as high as 98.0 and 98.5 % respectively, compared to 18.1 and 25.0 % without satellite selection process. It is also worth noting that the implementation of SARA is simple and the computation time is low, which can be applied in most real-time data processing applications.

Magnetic control of breakdown : toward energy-efficient hollow-cathode magnetron discharges

Characteristics of electrical breakdown of a planar magnetron enhanced with an electromagnet and a hollow-cathode structure, are studied experimentally and numerically. At lower pressures the breakdown voltage shows a dependence on the applied magnetic field, and the voltage necessary to achieve the self-sustained discharge regime can be significantly reduced. At higher pressures, the dependence is less sensitive to the magnetic field magnitude and shows a tendency of increased breakdown voltage at the stronger magnetic fields. A model of the magnetron discharge breakdown is developed with the background gas pressure and the magnetic field used as parameters. The model describes the motion of electrons, which gain energy by passing the electric field across the magnetic field and undergo collisions with neutrals, thus generating new bulk electrons. The electrons are in turn accelerated in the electric field and effectively ionize a sufficient amount of neutrals to enable the discharge self-sustainment regime. The model is based on the assumption about the combined classical and near-wall mechanisms of electron conductivity across the magnetic field, and is consistent with the experimental results. The obtained results represent a significant advance toward energy-efficient multipurpose magnetron discharges.

Low-pressure planar magnetron discharge for surface deposition and nanofabrication

Current-voltage characteristics of the planar magnetron are studied experimentally and by numerical simulation. Based on the measured current-voltage characteristics, a model of the planar magnetron discharge is developed with the background gas pressure and magnetic field used as parameters. The discharge pressure was varied in a range of 0.7-1.7 Pa, the magnetic field of the magnetron was of 0.033-0.12 T near the cathode surface, the discharge current was from 1 to 25 A, and the magnetic field lines were tangential to the substrate surface in the region of the magnetron discharge ignition. The discharge model describes the motion of energetic secondary electrons that gain energy by passing the cathode sheath across the magnetic field, and the power required to sustain the plasma generation in the bulk. The plasma electrons, in turn, are accelerated in the electric field and ionize effectively the background gas species. The model is based on the assumption about the prevailing Bohm mechanism of electron conductivity across the magnetic field. A criterion of the self-sustained discharge ignition is used to establish the dependence of the discharge voltage on the discharge current. The dependence of the background gas density on the current is also observed from the experiment. The model is consistent with the experimental results. © 2010 American Institute of Physics.

Robot control of a 3,500 tonne mining machine

The mining industry is highly suitable for the application of robotics and automation technology since the work is arduous, dangerous and often repetitive. This paper describes the development of an automation system for a physically large and complex field robotic system - a 3,500 tonne mining machine (a dragline). The major components of the system are discussed with a particular emphasis on the machine/operator interface. A very important aspect of this system is that it must work cooperatively with a human operator, seamlessly passing the control back and forth in order to achieve the main aim - increased productivity.

Adsopption isotherms-A critique

The possibility or the impossibility of separating the particle and the electrode interactions is discussed in a wider context of the effects due to any two interaction potentials on the equation of state. The involved nature of the pressure dependence on two individually definable forces is illustrated through the Percus Yevick results for the adhesive hard spheres. An alternative form of the adsorption isotherm is given to bring home the intimate relationship between the actual equation of state and the free energy of adsorption. Thermodynamic consequences of congruence with respect to E (or q) as reflected through the linear plots of q (or E) vs. θ are well known. Mathematical consequences of simultaneous congruence have been pointed out recently. In this paper, the physical nature of congruence hypothesis is revealed. In passing "the pseudo-congruence" is also discussed. It is emphasised that the problem is no less ambiguous with regard to modelling the particle/particle interaction. The ad hoc nature of our dependence of the available equations of state is emphasised through a discussion on the HFL theory. Finally, a heuristic method for modelling ΔG mathematically-incorporating its behaviour at saturation coverages-is advanced. The more interesting aspects of this approach, which generalises almost all isotherms hitherto known, are sketched.

Studies on neurotransmitter-stimulated phospholipid metabolism with cerebral tissue suspensions: A possible biochemical correlate of synaptogenesis in normal and undernourished rats

The phenomenon of neurotransmitter-stimulated incorporation of32Pi into phosphatidic acid and inositol phosphatides (neurotransmitter effect) in developing brain was studied in vitro as a possible measure of synaptogenesis. While the neurotransmitter effect was not observed with brain homogenates, highly consistent and significant effects were noted with brain tissue suspensions obtained by passing the tissue through nylon bolting cloth. The magnitude of the effect decreased with the increase in mesh number. Maximum stimulations obtained with the 33 mesh adult brain cortex preparations (mean±S.E.M. of6experiments) were203 ± 8%, 316 ± 11 % and150 ± 8% with 10−3 M acetylcholine (ACh) + 10−3 M eserine; 10−2 M norepinephrine (NE) and 10−2 M serotonin (5-HT), respectively. Experiments with developing rat brain at 7, 14 and 21 days of age showed that the neurotransmitter effects due to ACh, NE and 5-HT increase progressively in different regions of the brain but that there are marked regional differences. It is suggested that the neurotransmitter effect is a valid biochemical correlate of synaptogenesis. In rats undernourished from birth t0 21 days of age, by increasing the litter size, the neurotransmitter effect with ACh, NE or 5-HT was not altered in the cortex but was significantly reduced in the brain stem. In cerebellum the effects due to ACh and NE were significantly altered, while that with 5-HT was unaffected. It is concluded that cholinergic, adrenergic and serotonergic synapses are relatively unaffected in the cortex but are significantly affected in the brain stem by undernutrition. In the cerebellum of undernourished rats the adrenergic and cholinergic, but not serotonergic systems, are altered.

Damped Belief Propagation Based Near-Optimal Equalization of Severely Delay-Spread UWB MIMO-ISI Channels

In this paper, we present a belief propagation (BP) based equalizer for ultrawideband (UWB) multiple-input multiple-output (MIMO) inter-symbol interference (ISI) channels characterized by severe delay spreads. We employ a Markov random field (MRF) graphical model of the system on which we carry out message passing. The proposed BP equalizer is shown to perform increasingly closer to optimal performance for increasing number of multipath components (MPC) at a much lesser complexity than that of the optimum equalizer. The proposed equalizer performs close to within 0.25 dB of SISO AWGN performance at 10-3 bit error rate on a severely delay-spread MIMO-ISI channel with 20 equal-energy MPCs. We point out that, although MIMO/UWB systems are characterized by fully/densely connected graphical models, the following two proposed features are instrumental in achieving near-optimal performance for large number of MPCs at low complexities: i) use of pairwise compatibility functions in densely connected MRFs, and ii) use of damping of messages.

Generalized Spatial Modulation in Large-Scale Multiuser MIMO Systems

Generalized spatial modulation (GSM) uses n(t) transmit antenna elements but fewer transmit radio frequency (RF) chains, n(rf). Spatial modulation (SM) and spatial multiplexing are special cases of GSM with n(rf) = 1 and n(rf) = n(t), respectively. In GSM, in addition to conveying information bits through n(rf) conventional modulation symbols (for example, QAM), the indices of the n(rf) active transmit antennas also convey information bits. In this paper, we investigate GSM for large-scale multiuser MIMO communications on the uplink. Our contributions in this paper include: 1) an average bit error probability (ABEP) analysis for maximum-likelihood detection in multiuser GSM-MIMO on the uplink, where we derive an upper bound on the ABEP, and 2) low-complexity algorithms for GSM-MIMO signal detection and channel estimation at the base station receiver based on message passing. The analytical upper bounds on the ABEP are found to be tight at moderate to high signal-to-noise ratios (SNR). The proposed receiver algorithms are found to scale very well in complexity while achieving near-optimal performance in large dimensions. Simulation results show that, for the same spectral efficiency, multiuser GSM-MIMO can outperform multiuser SM-MIMO as well as conventional multiuser MIMO, by about 2 to 9 dB at a bit error rate of 10(-3). Such SNR gains in GSM-MIMO compared to SM-MIMO and conventional MIMO can be attributed to the fact that, because of a larger number of spatial index bits, GSM-MIMO can use a lower-order QAM alphabet which is more power efficient.

光弹调制器在偏振方向调制中的应用

提出了一种将光弹调制器应用于偏振方向调制的方法．介绍了它的两种基本使用模式，利用琼斯矩阵对其偏振方向调制原理及其两种基本使用模式进行了分析。光弹调制器和1／4波片形成偏振方向调制器件时，光弹调制器处于两块透光轴相互垂直的1／4波片之间．且光弹调制器的振动轴分别和两块1／4波片的透光轴成±45°角，线偏振光通过此器件其偏振方向被调制。实验验证了光弹调制器组合1／4波片调制偏振方向的原理。将光弹调制器应用在偏振方向的调制中．使现有偏振方向调制技术的光谱范围扩展到了紫外波段。

Microstructural optimization of cellular acoustic materials

A microstructure based acoustic model is introduced, which can be used to optimize the microstructure of cellular materials and thus to obtain their optimal acoustic property. This acoustic model is an unsteady one which is appropriate in the limit of low Reynolds numbers. The model involves three elements. This first involves the propagation of acoustic waves passing the cylinders whose axes are aligned parallel to the direction of propagation. The second model relates to the propagation of acoustic waves passing the cylinders whose axes are aligned perpendicular to the direction of propagation. In both cases the interaction between adjacent cylinders is taken into account by considering the effect of polygonal periodic boundary conditions. As these two models are linear they are combined to give the characteristics of propagation at arbitrary incidence. The third model involves propagation passing spheres in order to represent the joints. Heat transfer is also included. These three models are then used to expand the design space and calculate the optimum cell structure for desired acoustic performance in a number of different applications. Moreover, the application fields are also analyzed.

Absorption of sound in cellular foams

To further enhance the sound absorption of metal foams via combining the high sound absorption and good heat conductivity of the cellular foam metals, the use and acoustic modeling of these materials are reviewed. The predictions made by three viscous models developed by the authors for the propagation of sound through open-cell metal foams are compared with an experiment both for the metal foams and for the polymer substrates used to manufacture the foam. All models are valid in the limit of low Reynold's number which is valid for the typical cell dimensions found in metal foams provided the amplitude of the waves is below 160 dB. The first model considers the drag experienced by acoustic waves as they propagate passing rigid cylinders parallel to their axes, the second considers the propagation normal to their axes, and the third considers the propagation passing the spherical joints. All three are combined together to give a general model of the acoustic behavior of the foams. In particular, the sound absorption is found to be significant and well predicted by the combined model. In addition, a post-processing technique is described for the experiment used to extract the fundamental wave propagation characteristics of the material.