Parameter reference immutability: formal definition, inference tool, and comparison

Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. A parameter reference is immutable if it cannot be used to modify the state of its referent object during the method’s execution. We formally define this notion, in a core object-oriented language. Having the formal definition enables determining correctness and accuracy of tools approximating this definition and unbiased comparison of analyses and tools that approximate similar definitions. We present Pidasa, a tool for classifying parameter reference immutability. Pidasa combines several lightweight, scalable analyses in stages, with each stage refining the overall result. The resulting analysis is scalable and combines the strengths of its component analyses. As one of the component analyses, we present a novel dynamic mutability analysis and show how its results can be improved by random input generation. Experimental results on programs of up to 185 kLOC show that, compared to previous approaches, Pidasa increases both run-time performance and overall accuracy of immutability inference.     

Finite element simulation to design constructive elements: An application to light gypsum plaster for partitions

In the past decade finite element simulation has become a very useful methodological tool in the different science fields. This article offers a specific application of this powerful mechanism used for analyzing the mechanical behaviour of constructive elements in the design phase, prior to the laboratory tests’ stage. The aim of applying this simulation is to minimize the high cost the real scale fabrication of these elements entails.This research focuses on the analysis by finite element simulations (FES) of several construction elements used as interior partitions and made of plaster lightened with cork. The results of the study will allow us to determine the most suitable thickness values and proportions to ensure that the requirements stated by the standards and norms for light partitions are fulfilled. These parameters will later be useful for the final laboratory tests.Two simulation groups have been developed using the ANSYS application: firstly, a partition leaf of 200 × 260 cm is studied exposing it to a superficial load and to an eccentric load following the EUAtc common directives for the technical appreciation of light panels, 1973). Second, the behaviour of a panel with a through opening is tested with the simulation regarding the different hypothesis of the structure deformation supporting and surrounding it.Finally, it is proved that the element of thickness 7 cm and proportions stated at the beginning ensure a good performance regarding strain without producing any visible fissures, and therefore are suitable for a further laboratory test on real models.     

3D sound interactive environments for blind children problem solving skills

Audio-based virtual environments have been increasingly used to foster cognitive and learning skills. A number of studies have also highlighted that the use of technology can help learners to develop effective skills such as motivation and self-esteem. This study presents the design and usability of 3D interactive environments for children with visual disabilities to help them solve problems in Chilean geography and culture. We introduce AudioChile, a virtual environment that can be navigated through 3D sound to enhance spatiality and immersion throughout the environment. 3D sound is used to orientate, avoid obstacles, and identify the positions of various characters and objects within the environment. We have found during the usability evaluation that sound can be fundamental for attention and motivation purposes during interaction. Learners identified and clearly discriminated environmental sounds to solve everyday problems, spatial orientation, and laterality.     

Two novel phospholipid fatty acids from the caribbean spongeGeodia gibberosa

The novel fatty acids (Z)-6-nonadecenoic acid (1) and (Z)-17-pentacosenoic acid (2) were characterized in the spongeGeodia gibberosa. These fatty acids were mainly found in phosphatidylethanolamine and phosphatidylcholine.     

Dynamic transitions from smooth to rough to twinning in dislocation motion

The motion of dislocations in response to stress dictates the mechanical behaviour of materials. However, it is not yet possible to directly observe dislocation motion experimentally at the atomic level. Here, we present the first observations of the long-hypothesized kink-pair mechanism in action using atomistic simulations of dislocation motion in iron. In a striking deviation from the classical picture, dislocation motion at high strain rates becomes rough, resulting in spontaneous self-pinning and production of large quantities of debris. Then, at still higher strain rates, the dislocation stops abruptly and emits a twin plate that immediately takes over as the dominant mode of plastic deformation. These observations challenge the applicability of the Peierls threshold concept to the three-dimensional motion of screw dislocations at high strain rates, and suggest a new interpretation of plastic strength and microstructure of shocked metals.     

Analog Adaptive Median Filters

The implementation of analog adaptive median filters for image processing is discussed. The adaptive median filter is based on transconductance comparators, whose saturation current is adapted to act as a local weight operator. Transistor level simulations have shown excellent results in removing incidence noise. A 249 × 209 pixel image, corrupted with 35% salt and pepper noise, is used to test the adaptive median filter. All the simulations were made using BSIM3's level 49 model and 1.2 m MOSIS technology parameters.     

Distillation column configurations in ammonia–water absorption refrigeration systems

In ammonia–water absorption refrigeration systems a purification process to reduce the water content in the vapour leaving the generator is required. During this process the water content in the vapour must be reduced to a minimum, otherwise it tends to accumulate in the evaporator and strongly deteriorates the efficiency of the system. The vapour purification can be carried out by partial condensation, by establishing a liquid–vapour counter flow or by combining both methods. In systems with partial condensation, the distillation column can be composed of one or more rectifiers using different cooling mediums, and the rectifying and stripping sections. In complete condensation systems only the rectifying and stripping sections can be used. Therefore different distillation column arrangements should be considered. This paper presents a study of several distillation column configurations for single stage ammonia–water absorption refrigeration systems with partial and complete condensation. In order to evaluate and compare the different configurations, a parameter that indicates the ratio of the ammonia vapour concentration increase in each part of the column to the total ammonia purification has been defined. The analysis has been based on the system COP. Finally the efficiency in each part of the column has been calculated to estimate its design requirements.     

Dynamical diseases of brain systems: different routes to epileptic seizures

In this overview, we consider epilepsies as dynamical diseases of brain systems since they are manifestations of the property of neuronal networks to display multistable dynamics. To illustrate this concept we may assume that at least two states of the epileptic brain are possible: the interictal state characterized by a normal, apparently random, steady-state electroencephalography (EEG) ongoing activity, and the ictal state, that is characterized by paroxysmal occurrence of synchronous oscillations and is generally called, in neurology, a seizure. The transition between these two states can either occur: 1) as a continuous sequence of phases, like in some cases of mesial temporal lobe epilepsy (MTLE); or 2) as a sudden leap, like in most cases of absence seizures. In the mathematical terminology of nonlinear systems, we can say that in the first case the system's attractor gradually deforms from an interictal to an ictal attractor. The causes for such a deformation can be either endogenous or external. In this type of ictal transition, the seizure possibly may be anticipated in its early, preclinical phases. In the second case, where a sharp critical transition takes place, we can assume that the system has at least two simultaneous interictal and ictal attractors all the time. To which attractor the trajectories converge, depends on the initial conditions and the system's parameters. An essential question in this scenario is how the transition between the normal ongoing and the seizure activity takes place. Such a transition can occur either due to the influence of external or endogenous factors or due to a random perturbation and, thus, it will be unpredictable. These dynamical changes may not be detectable from the analysis of the ongoing EEG, but they may be observable only by measuring the system's response to externally administered stimuli. In the special cases of reflex epilepsy, the leap between the normal ongoing attractor and the ictal attractor is caused by a well-defined external perturbation. Examples from these different scenarios are presented and discussed.     

Planar photonic crystal structure with inherently single-mode waveguides

A planar photonic crystal that allows inherently gap-guided single-mode waveguides is proposed and discussed. This novel structure consists of a two-dimensional lattice of silicon rods embedded on a thin silica slab sandwiched between two silica claddings whose refractive indices are slightly lower than the index of the silica core. The physical parameters of the structure, i.e., rod radius and core thickness, are optimized to maximize the bandgap width for odd modes. Lossless guided modes inside the bandgap and below the claddings' light cone are obtained by reducing the radius of a row of rods. The waveguide bandwidth can be increased by inserting a thin silicon dielectric waveguide instead of the row of rods. The proposed approach may overcome many of the common drawbacks in conventional holes-on-dielectric planar photonic crystal waveguides.     

Body and sexual esteem as mediators of the physical disability-interpersonal competencies relation.

Objectives: To examine whether body and sexual esteem mediated the associations between sexual satisfaction, perceived disability severity, and social perceptions of the disability and interpersonal competencies. Research Method/Design: Web-based survey with 326 adults with a range of physical disabilities. Main Outcome Measures: Perceived interpersonal competence in initiating relationships and being assertive in negative situations. Results: For men, sexual satisfaction, social perceptions of the disability, and perceived severity of the disability significantly predicted competence with relationship initiation. Sexual satisfaction and social perceptions of the disability predicted competence with negative assertion. For women, social perceptions of the disability predicted both interpersonal competencies, and sexual satisfaction predicted competence with negative assertion. Aspects of body esteem mediated the relations between the predictor variables and the interpersonal competencies. Conclusions: Findings indicate the importance of perceived attractiveness to others in mediating the negative relations between impact of the disability and interpersonal competencies. Findings also suggest important gender differences in variables predictive of interpersonal competencies. (PsycINFO Database Record (c) 2010 APA, all rights reserved)