A unified signal transition graph model for asynchronous control circuit synthesis

Characterization of the behavior of an asynchronous system depending on the delay of components and wires is a major task facing designers. Some of these delays are outside the designer's control, and in practice may have to be assumed unbounded. The existing literature offers a number of analysis and specification models, but lacks a unified framework to verify directly if the circuit specification admits a correct implementation under these hypotheses.Our aim is to fill exactly this gap, offering both low-level (analysis-oriented) and high-level (specification-oriented) models for asynchronous circuits and the environment where they operate, together with strong equivalence results between the properties at the two levels. One interesting side result is the precise characterization of classical static and dynamic hazards in terms of our model. Consequently the designer can check the specification and directly decide if the behavior of any implementation will depend, e.g., on the delays of the signals described by such specification.We also outline a design methodology based on our models, pointing out how they can be used to select appropriate high and low-level models depending on the desired characteristics of the system.     

Supply Estimation Using Coevolutionary Genetic Algorithms in the Spanish Electrical Market

The price of electrical energy in Spain has not been regulated by the government since 1998, but determined by the supply from the generators in a competitive market, the so-called electrical pool. A genetic method for analyzing data from this new market is presented in this paper. The eventual objective is to determine the individual supply curves of the competitive agents. Adopting the point of view of the game theory, different genetic algorithm configurations using coevolutionary and non-coevolutionary strategies combined with scalar and multi-objective fitness are compared. The results obtained are the first step toward solving the induction of the optimal individual strategies into the Spanish electrical market from data in terms of perfect oligopolistic behavior.     

The “presence of others” in a virtual environment: different collaborative modalities with hybrid resources

The purpose of this study is to see in which forms and under which conditions social presence turns into collaboration. Eight couples were asked to find some objects in a virtual environment in which collaboration was allowed but not mandatory. The qualitative analysis of the video recordings shows that all participants resorted to collaboration in forms that were justified by the requirements of the task, the environmental affordances and the different expertise.

Synthesis and characterization of poly(L-lactic acid) membranes: Studies in vivo and in vitro

The use of biodegradable polyesters as temporary structural supports in the recuperation of damaged live tissue is a promising area of research. Poly(L-lactic acid) (PLLA) membranes can act as a support for cell fixation and growth or as a barrier against soft tissues invasion in recuperating bone tissues. In this work, five different types of PLLA membranes, which varied in their polymer–solvent ratio and their content of plasticizer were studied. For the study in vivo, 6 mm diameter disks were inserted subcutaneously in the dorsal region of 15 Wistar rats, and the reactions on rats were studied 15 days later. In another series of experiments the samples were immersed in phosphate buffer, pH 7.4 at 37 °C, for 30 days. Membranes without plasticizer were morphologically dense and did not allow cell invasion nor tissue adherence, in contrast to membranes with plasticizer. While porosity enhanced cell fixation and growth, it made the membrane more fragile mechanically when compared to membranes without pores.     

Use of triethylcitrate plasticizer in the production of poly-L-lactic acid implants with different degradation times

Bioabsorbable materials have been widely used in the repair of damaged tissue as well as in the controlled release of drugs and as a supports for cultured cells. The degradation time of poly-L-(lactic acid) (PLLA) may be controlled by altering the polymer porosity through the addition of the plasticizer triethylcitrate. This in turn influences the extent cellular infiltration. In this study, we examined the degradation of PLLA membranes containing different concentrations of plasticizer. PLLA discs were implanted subcutaneouly in rats and withdrawn 2, 14 and 60 days after implantation. The samples were processed for light microscopy and scanning electron microscopy (SEM). Polymer degradation was proportional to the concentration of plasticizer, indicating that triethylcitrate could affect the degradation time of the implants, without damaging the polymer biocompatibility.     

Phase-object detection by use of double-exposure fringe-modulated speckle patterns

We study the properties of a double-exposure image specklegram of a diffuse object obtained by use of a double-aperture pupil. A phase object is placed in front of one aperture during the first or the second exposure. Also, it is assumed that a uniform displacement of the diffuser between exposures is produced. The recorded specklegram is coherently illuminated and analyzed by Fourier transform operations. The average intensity distribution and the interference fringe visibility in the Fourier plane are investigated. On this basis, an alternative interference technique to detect phase objects is proposed.     

Multiplierless and fully pipelined JPEG compression soft IP targeting FPGAs

This paper presents the design of a soft IP for JPEG compression targeted for high performance in a FPGA device. The JPEG compressor architecture achieves high throughput with a deep and optimized pipeline and with a multiplierless datapath architecture. The JPEG compressor architecture was designed in a hierarchical and modular fashion and the details of the global architecture and of its modules are presented in this paper. A modular and strictly structural VHDL design is followed to develop the JPEG compressor soft IP. The VHDL codes were synthesized to Altera and Xilinx FPGAs. Synthesis results and relevant performance comparisons with related works are presented. Our high throughput compressor is able to compress 39.8 millions of pixels per second when mapped onto an Altera FLEX 10KE FPGA. Our JPEG soft IP mapped to FLEX 10KE low cost FPGA is able to compress 115 images per second in SDTV resolution (720 × 480 pixels). Considering this SDTV resolution our design is worthy as a core of an M-JPEG video compressor, reaching a real time processing rate of 30 fps, once mapped to the FLEX 10KE FPGA device.     

Thermal–hydraulic passive system reliability-based design approach

In order to enhance the safety of new advanced reactors, optimization of the design of the implemented passive systems is required. Therefore, a reliability-based approach to the design of a thermal–hydraulic passive system is being considered, and a limit state function (LSF)-based approach elicited from mechanical reliability is developed. The concept of functional failure, i.e., the possibility that the load will exceed the capacity in a reliability physics framework, in terms of performance parameter is introduced here for the reliability evaluation of a natural circulation passive system, designed for decay heat removal of innovative light water reactors. Water flow rate circulating through the system is selected as passive system performance characteristic parameter and the related limit state or performance function is defined. The probability of failure of the system is assessed in terms of safety margin, corresponding to the LSF. Results help the designer to determine the allowable limits or set the safety margin for the system operation parameters, to meet the safety and reliability requirements.     

Fast detection of exact clones in business process model repositories

As organizations reach higher levels of business process management maturity, they often find themselves maintaining very large process model repositories, representing valuable knowledge about their operations. A common practice within these repositories is to create new process models, or extend existing ones, by copying and merging fragments from other models. We contend that if these duplicate fragments, a.k.a. exact clones, can be identified and factored out as shared subprocesses, the repository's maintainability can be greatly improved. With this purpose in mind, we propose an indexing structure to support fast detection of clones in process model repositories. Moreover, we show how this index can be used to efficiently query a process model repository for fragments. This index, called RPSDAG, is based on a novel combination of a method for process model decomposition (namely the Refined Process Structure Tree), with established graph canonization and string matching techniques. We evaluated the RPSDAG with large process model repositories from industrial practice. The experiments show that a significant number of non-trivial clones can be efficiently found in such repositories, and that fragment queries can be handled efficiently.     

The roles of textural images in improving land-cover classification in the Brazilian Amazon

Texture has long been recognized as valuable in improving land-cover classification, but how data from different sensors with varying spatial resolutions affect the selection of textural images is poorly understood. This research examines textural images from the Landsat Thematic Mapper (TM), ALOS (Advanced Land Observing Satellite) PALSAR (Phased Array type L-band Synthetic Aperture Radar), the SPOT (Satellite Pour l’Observation de la Terre) high-resolution geometric (HRG) instrument, and the QuickBird satellite, which have pixel sizes of 30, 12.5, 10/5, and 0.6 m, respectively, for land-cover classification in the Brazilian Amazon. GLCM (grey-level co-occurrence matrix)-based texture measures with various sizes of moving windows are used to extract textural images from the aforementioned sensor data. An index based on standard deviations and correlation coefficients is used to identify the best texture combination following separability analysis of land-cover types based on training sample plots. A maximum likelihood classifier is used to conduct the land-cover classification, and the results are evaluated using field survey data. This research shows the importance of textural images in improving land-cover classification, and the importance becomes more significant as the pixel size improved. It is also shown that texture is especially important in the case of the ALOS PALSAR and QuickBird data. Overall, textural images have less capability in distinguishing land-cover types than spectral signatures, especially for Landsat TM imagery, but incorporation of textures into radiometric data is valuable for improving land-cover classification. The classification accuracy can be improved by 5.2–13.4% as the pixel size changes from 30 to 0.6 m.