Application of Deadlock Risk Evaluation of Architectural Models

Software architectural evaluation is a key discipline used to identify, at early stages of a real-time system (RTS) development, the problems that may arise during its operation. Typical mechanisms supporting concurrency, such as semaphores, mutexes or monitors, usually lead to concurrency problems in execution time that are difficult to be identified, reproduced and solved. For this reason, it is crucial to understand the root causes of these problems and to provide support to identify and mitigate them at early stages of the system lifecycle. This paper aims to present the results of a research work oriented to the development of the tool called ‘Deadlock Risk Evaluation of Architectural Models’ (DREAM) to assess deadlock risk in architectural models of an RTS. A particular architectural style, Pipelines of Processes in Object-Oriented Architectures–UML (PPOOA) was used to represent platform-independent models of an RTS architecture supported by the PPOOA –Visio tool. We validated the technique presented here by using several case studies related to RTS development and comparing our results with those from other deadlock detection approaches, supported by different tools. Here we present two of these case studies, one related to avionics and the other to planetary exploration robotics. Copyright © 2011 John Wiley & Sons, Ltd.

Technoblast Australia Pty.Ltd: Iniciativa Emprendedora

El proyecto desarrolla el modelo de negocio para la creación de una empresa de voladuras asentada en Australia. Se han analizado todos los puntos considerados estratégicos para poder llevar a cabo esta labor, esto es un estudio tecnológico, comercial y financiero que constituyen este plan de negocios. ABSTRACT The main object of this project is to develop a document which contemplates a model for the establishment of a blasting company in Australia. To do so in this text we have analyzed the considered strategic points that will help us in this hard effort. All this is included in a technological, commercial and financial study that makes up a business plan

Experimental and modeling analysis of internal luminescence in III-V solar cells

In high quality solar cells, the internal luminescence can be harnessed to enhance the overall performance. Internal confinement of the photons can lead to an increased open-circuit voltage and short-circuit current. Alternatively, in multijunction solar cells the photons can be coupled from a higher bandgap junction to a lower bandgap junction for enhanced performance. We model the solar cell as an optical cavity and compare calculated performance characteristics with measurements. We also describe how very high luminescent coupling alleviates the need for top-cell thinning to achieve current-matching.

Photovoltaic application of the V, Cr and Mn-doped cadmium thioindate

The CdIn2S4 spinel semiconductor is a potential photovoltaic material due to its energy band gap and absorption properties. These optoelectronic properties can be potentiality improved by the insertion of intermediate states into the energy bandgap. We explore this possibility using M = Cr, V and Mn as an impurity. We analyze with first-principles almost all substitutions of the host atoms by M at the octahedral and tetrahedral sites in the normal and inverse spinel structures. In almost all cases, the impurities introduce deeper bands into the host energy bandgap. Depending on the site substitution, these bands are full, empty or partially-full. It increases the number of possible inter-band transitions and the possible applications in optoelectronic devices. The contribution of the impurity states to these bands and the substitutional energies indicate that these impurities are energetically favorable for some sites in the host spinel. The absorption coefficients in the independent-particle approximation show that these deeper bands open additional photon absorption channels. It could therefore increase the solar-light absorption with respect to the host.

A practical application of sharing and freeness inference

Abstract is not available.

Application of photoreflectance to advanced multilayer structures for photovoltaics

Photoreflectance (PR) is a convenient characterization tool able to reveal optoelectronic properties of semiconductor materials and structures. It is a simple non-destructive and contactless technique which can be used in air at room temperature. We will present experimental results of the characterization carried out by means of PR on different types of advanced photovoltaic (PV) structures, including quantum-dot-based prototypes of intermediate band solar cells, quantum-well structures, highly mismatched alloys, and III?V-based multi-junction devices, thereby demonstrating the suitability of PR as a powerful diagnostic tool. Examples will be given to illustrate the value of this spectroscopic technique for PV including (i) the analysis of the PR spectra in search of critical points associated to absorption onsets; (ii) distinguishing signatures related to quantum confinement from those originating from delocalized band states; (iii) determining the intensity of the electric field related to built-in potentials at interfaces according to the Franz?Keldysh (FK) theory; and (v) determining the nature of different oscillatory PR signals among those ascribed to FK-oscillations, interferometric and photorefractive effects. The aim is to attract the interest of researchers in the field of PV to modulation spectroscopies, as they can be helpful in the analysis of their devices.

Application of a SPH depth-integrated model to landslide run-out analysis

Hazard and risk assessment of landslides with potentially long run-out is becoming more and more important. Numerical tools exploiting different constitutive models, initial data and numerical solution techniques are important for making the expert’s assessment more objective, even though they cannot substitute for the expert’s understanding of the site-specific conditions and the involved processes. This paper presents a depth-integrated model accounting for pore water pressure dissipation and applications both to real events and problems for which analytical solutions exist. The main ingredients are: (i) The mathematical model, which includes pore pressure dissipation as an additional equation. This makes possible to model flowslide problems with a high mobility at the beginning, the landslide mass coming to rest once pore water pressures dissipate. (ii) The rheological models describing basal friction: Bingham, frictional, Voellmy and cohesive-frictional viscous models. (iii) We have implemented simple erosion laws, providing a comparison between the approaches of Egashira, Hungr and Blanc. (iv) We propose a Lagrangian SPH model to discretize the equations, including pore water pressure information associated to the moving SPH nodes