Study of the transient response of microcompensated amorphoussilicon detector in the near infrared range

A detailed investigation of the near infrared detection process of an hydrogenated amorphous silicon sensor is presented. Single junction devices with micro-compensated absorber layer show photocurrent response to radiation up to 2 μm at room temperature. This sensitivity is ascribed to both the high number of trap states existing in the absorber material and to the electric field distribution in the device. Results of transient and frequency responses under different bias voltage and illumination conditions confirm the existence of a conduction mechanism controlled by traps. In particular, the exponential increase of the signal current with forward applied voltage suggests the re-excitation of the injected carriers from shallow localized states into extended states. Finally, a preliminary optimization of the response of the device achieved by including it in a front-end circuit allows detection of modulated radiation up to 100 kHz     

Limit analysis of masonry arches with finite compressive strength and externally bonded reinforcement

The collapse load of masonry arches with limited compressive strength and externally bonded reinforcement, such as FRP, is evaluated by solving the minimization problem obtained by applying the upper bound theorem of limit analysis. The arch is composed of a finite number of blocks. The nonlinearity of the problem (no-tension material, frictional sliding and crushing) is concentrated in the interface between two adjacent blocks. The crushing in the collapse mechanism is schematised by the interpenetration of the blocks with the formation of hinges at internal or boundary points of the interface. The minimization problem is solved with linear optimization, taking advantages of the robust algorithms offered by linear programming (LP). The optimal solution of the linear programming problem approximates the exact solution to any degree of accuracy. The dual of the minimization problem is also formulated and is solved in order to present the statics (thrust curve, locus of feasible internal reactions, etc.) of the reinforced arch as a consequence of the kinematical assumptions used in the primal minimization problem. Numerical examples are presented in order to show the effectiveness of the proposed method. Finally, it is shown that the results provided by the proposed LP are in good agreement with an experiment on a FRP-strengthened arch characterized by crushing failure of the masonry.     

Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks

State space exploration is often used to prove properties about sequential behavior of Finite State Machines (FSMs). For example, equivalence of two machines is proved by analyzing the reachable state set of their product machine. Nevertheless, reachability analysis is infeasible on large practical examples. Combinational verification is far less expensive, but on the other hand its application is limited to combinational circuits, or particular design schemes. Finally, approximate techniques imply sufficient, not strictly necessary conditions.The purpose of this paper is to extend the applicability of purely combinational checks. This is generally achieved through state minimization, partitioning, and re-encoding the FSMs to factor out their differences. We focus on re-encoding. In particular, we present an incremental approach to re-encoding for verification that transforms the product machine traversal into a combinational verification in the best case, and into a computationally simpler product machine traversal in the general case.Experimental results demonstrate the effectiveness of this technique on medium-large circuits where other techniques may fail.     

Search based constrained test case selection using execution effort

Software testing is essential to guarantee high quality products. However, it is a very expensive activity, particularly when manually performed. One way to cut down costs is by reducing the input test suites, which are usually large in order to fully satisfy the test goals. Yet, since large test suites usually contain redundancies (i.e., two or more test cases (TC) covering the same requirement/piece of code), it is possible to reduce them in order to respect time/people constraints without severely compromising coverage. In this light, we formulated the TC selection problem as a constrained search based optimization task, using requirements coverage as the fitness function to be maximized (quality of the resultant suite), and the execution effort (time) of the selected TCs as a constraint in the search process. Our work is based on the Particle Swarm Optimization (PSO) algorithm, which is simple and efficient when compared to other widespread search techniques. Despite that, besides our previous works, we did not find any other proposals using PSO for TC selection, neither we found solutions treating this task as a constrained optimization problem. We implemented a Binary Constrained PSO (BCPSO) for functional TC selection, and two hybrid algorithms integrating BCPSO with local search mechanisms, in order to refine the solutions provided by BCPSO. These algorithms were evaluated using two different real-world test suites of functional TCs related to the mobile devices domain. In the performed experiments, the BCPSO obtained promising results for the optimization tasks considered. Also, the hybrid algorithms obtained statistically better results than the individual search techniques.     

3D reconstruction of cultural heritages: Challenges and advances on precise mesh integration

Several methods perform the integration of multiple range scans of an object aiming the generation of a reconstructed triangle mesh; however, achieving high fidelity digital reconstructions is still a challenge. That is mostly due to the existence of outliers in the acquired range data, and their harmful effects on the integration algorithms. In this work, we first discuss artifacts usually found on real range data captured with 3D scanners based on laser triangulation. Following that there is the assessment of two widely used volumetric integration techniques (VRIP and Consensus Surface) and our suggested improvements. We also present a novel, hybrid approach that combines strengths from both VRIP and Consensus Surface, named IMAGO Volumetric Integration Algorithm (IVIA). Our novel algorithm adds new ideas while improving the detection and elimination of artifacts. Further, IVIA works in close cooperation with the subsequent hole filling process, which greatly improves the overall quality of the generated 3D models. Our technique leads to better results when assessed in different situations, when compared to VRIP, Consensus Surface, and also to a well known state-of-the-art surface-based method, Poisson Surface Reconstruction.     

Environmental impact of castor oil catalytic transfer hydrogenation

In the vegetable oil chemical industry, hydrogenation is one of the most important processes. An alternative method for vegetable oil hydrogenation is the use of catalytic transfer hydrogenation (CTH), which can utilize organic molecules as hydrogen donors at ambient pressure. These alternative processes should be optimized in relation to the variables required for a good conversion and impacts should also be known to be minimized. An assessment of the environmental impact of laboratory scale chemical processes is an important tool to improve the technological aspects of a process (increased yields, reduced production times, lower costs) and it can also lead to the creation of a cleaner technology. Using the Leopold Matrix, we have succeeded in developing a more efficient and cleaner process for the CTH of castor oil using Raney Ni as a catalyst and cyclohexene or isopropanol as a hydrogen donor solvent. The results of the technical and environmental assessments showed that the extent of conversion for the unsaturation reaction was high (>99 %), and the environmental impact of the process could be significantly reduced to create a cleaner technology. It was found, after process optimization, that the remaining environmental impacts were negative (67.48 %), local (78.95 %), temporary (95.33 %), direct (80.12 %), and reversible (95.32 %).     

Biomimetic surfaces with controlled direction-dependent adhesion

We propose a novel design of a biomimetic micro-structured surface, which exhibits controlled strongly direction-dependent adhesion properties. The micro-system consists of parallel elastic wall-like structures covered by a thin layer. Numerical calculations have been carried out to study the adhesive properties of the proposed system and to provide design criteria with the aim of obtaining optimized geometries. A numerically equivalent version of the double cantilever beam fracture experiment is, then, simulated by means of finite element analysis to investigate the anisotropic adhesion of the structure. We find that, because of inherent crack trapping properties of these types of structures, the wall-like geometry allows us to strongly enhance adhesion when the detachment direction is perpendicular to the walls. On the other hand, when the detachment occurs parallel to the walls, the system shows low adhesion. This controlled direction-dependent adhesive property of the proposed structure solves one of the key problems of biomimetic adhesive surfaces, which usually show very strong adhesion, even larger than biological systems, but are not suitable for object manipulation and locomotion, as detachment always occurs at high loads and cannot be controlled.     

The impact of IXPs on the AS-level topology structure of the Internet

The AS-level topology of the Internet has been quite a hot research topic in the last few years. However, only a small number of studies have been developed that give a structural interpretation of this graph. Such an interpretation is crucially important in order to test protocols and optimal routing algorithms, to design efficient networks, and for failure detection purposes. Moreover, most research does not highlight the role that IXPs have on the AS-level structure of the Internet, although their role is recognized as fundamental.The initial contribution of this study is an analysis of the most important AS-level topologies that are publicly found on the web and an analysis of the topology obtained when they are merged. We compiled structural information from this topology making considerable use of the k-core decomposition technique to delineate various particular classes of nodes. Next, we associated node properties with a reasonable modus operandi of the ASs on the Internet. The second contribution is a study of the impact that ASs connected to IXPs and BGP connections crossing IXPs have on the AS-level topology. To achieve this, we developed a procedure to gather reliable information related to IXPs and their participants.     

Performance of exterior semitransparent PVDF–acrylic coatings

The purpose of this study was to investigate the performance of a semitransparent PVDF–acrylic coating on two wood species: Black spruce and White pine. An accelerated aging test was performed on the PVDF–acrylic coating and the results obtained were compared with those obtained for a water-based acrylic coating. Color changes were found to be more significant for the acrylic coating, especially after 1000 h of exposure, and for the White pine panels. Infrared spectroscopy revealed that the acrylic resin was more affected by the accelerated aging test than the PVDF resin, although X-ray photoelectron spectroscopy revealed that PVDF was slightly affected at the extreme surface (first 10 nm). Star-shaped defects were found at the surface of the White pine panels finished with the PVDF–acrylic coating. Experiments revealed that the PVDF–acrylic coating does not seem to be flexible enough to sustain resin exudation or other stresses.