Pumping with electroosmosis of the second kind in mesoporous skeletons

This paper presents the use of mesoporous silica skeletons as substrates for electroosmotic (EO) micropumps. Mesoporous silica skeletons have bimodal pore size distributions consisting of macropores and cation-permselective mesopores. These materials have the potential for high flow rate per power because the cation-permselective mesopores can generate an induced charge layer (ICL) and electroosmosis of the second kind (EO-2) under high applied electric fields. The diffuse charge layers induced by the electric field result in an EO-2 flow rate that increases quadratically with increasing electric field. In contrast, the flow rate of the more common electroosmosis of the first kind (EO-1) is linearly proportional to electric field. Here, we investigate the impact of finite pressure loads on the EO-2 flow rate with experiments and an engineering model to evaluate the potential of mesoporous skeletons for micropumping applications. Our results include analyses of maximum flow rate, maximum pressure, and flow rate with intermediate pressure loads. The results indicate the existence of a critical pressure load at which reverse pressure-driven flow significantly diminishes the EO-2 flow. We also investigate the scaling of flow rate per power with respect to substrate thickness and area, demonstrating significant increases in flow rate per power with thinner substrates and favorable scaling for miniaturization of EO-2 pumps.     

Optimizing decomposition of software architecture for local recovery

The increasing size and complexity of software systems has led to an amplified number of potential failures and as such makes it harder to ensure software reliability. Since it is usually hard to prevent all the failures, fault tolerance techniques have become more important. An essential element of fault tolerance is the recovery from failures. Local recovery is an effective approach whereby only the erroneous parts of the system are recovered while the other parts remain available. For achieving local recovery, the architecture needs to be decomposed into separate units that can be recovered in isolation. Usually, there are many different alternative ways to decompose the system into recoverable units. It appears that each of these decomposition alternatives performs differently with respect to availability and performance metrics. We propose a systematic approach dedicated to optimizing the decomposition of software architecture for local recovery. The approach provides systematic guidelines to depict the design space of the possible decomposition alternatives, to reduce the design space with respect to domain and stakeholder constraints and to balance the feasible alternatives with respect to availability and performance. The approach is supported by an integrated set of tools and illustrated for the open-source MPlayer software.     

Automatic detection of coastal plumes using Landsat TM/ETM+ images

Riverine fresh water outflows create coastal plumes that are distinguished from surrounding sea water by their specific spectral signature. Coastal waters are unique ecosystems, and they are very important in terms of living resources and oceanographic processes. River plumes and coastal turbid waters have important effects on coastal marine ecosystems, and they also influence marine life cycles, sediment distribution, and pollution. Remote sensing and digital image-processing techniques provide an effective tool to detect and monitor these plume zones over large areas. The primary goal of this study was automatic detection and monitoring of coastal plume zones using multispectral Landsat Thematic Mapper/Enhanced Thematic Mapper Plus (TM/ETM+) imagery. For that purpose, the proposed algorithm exploits spectral features of the multispectral images by using feature extraction and decision-making steps. The procedure has two main stages: (1) some pre-processing operations were applied to the images in order to extract the plume core reflectance values with maximum turbidity and offshore water mass reflectance values; (2) a k-means algorithm was applied with initial seed values of reflectance computed from the pre-processing stage to classify coastal plume zones. Spatial pattern and variability of optical characteristics of coastal plume zones were then defined following the results of the classification process. The algorithm was automatically applied in three different regions with three multispectral Landsat images acquired on different dates, and yielded a very high classification accuracy in detecting coastal plume zones.     

The role of growth parameters on structural,morphology and optical properties of sprayed ZnS thin films

ZnS thin films were prepared by spray pyrolysis technique using aqueous of zinc chloride and thiourea at molar ratio of 1:1, 1:2, and 2:1. The depositions were carried out on substrates heated from 400 to 520 °C The films were then annealed under sulphur atmosphere for 90 min at 450 and 550 °C. The crystallites exhibit preferential orientation along the [002]_α or [111]_β directions. The films were characterized by XRD and SEM. The structure and morphology of sprayed films are controlled by both, the substrate temperature and the precursors molar ratio in the solution. The values of optical bandgap have been determined from the absorption spectra.     

Fabrication of two-layered Al-B4C composites by conventional hot pressing uuder nitrogen atmosphere and their characterization

In this study, we describe the conventional hot pressing (CHP) of layered Al-B₄C composites and their characterization. The matrix alloy A1-5 wt.%Cu was prepared from elemental powder mixtures. The metal and B₄C powders were mixed to produce either Al-Cu-10vol.%B₄C or Al-Cu-30vol.%B₄C combinations. Then, these powder mixtures were stacked as layers in the hot pressing die to form a two-layered composite. Hot pressing was carried out under nitrogen atmosphere to produce 30×40×5 mm specimens. Microstructural features and age hardening characteristics of composites were determined by specimens cut longitudinally. The flexural strength of both layered composites and their monolithic counterparts were investigated via three point bending tests. In the case of layered specimens of both 10vol.%B₄C and 30vol.%B₄C containing layers were loaded for three-point test. The results show that a homogeneous distribution of B₄C particles in the matrix alloy which is free of pores, can be obtained by CHP method. The ageing behavior of the composites was found to be influenced by the reinforced materials, i.e. higher hardness values were reached in 8 hrs for the composites than that for the matrix alloy. Flexural strength test showed that two-layered composites exhibited improved damage tolerance depending on layer arrangement. Microstructural investigation of the fracture surfaces of the bending specimens was performed by means of scanning electron microscope (SEM). While layer with lower reinforcement content exhibited large plastic deformation under loading, the other with higher reinforcement content exhibited less plastic deformation.     

Automatic detection of building roofs from point clouds produced by the dense image matching technique

Three-dimensional (3D) spatial information of object points is a vital requirement for many disciplines. Laser scanning technology and techniques based on image matching have been used extensively to produce 3D dense point clouds. These data are used frequently in various applications, such as the generation of digital surface model (DSM)/digital terrain model (DTM), extracting objects (e.g., buildings, trees, and roads), 3D modelling, and detecting changes. The aim of this study was to extract the building roof points automatically from the 3D point cloud data created via the image matching techniques with optical aerial images (with red, green, and blue band (RGB) and infrared (IR)). In the first stage of the study, as an alternative to laser scanning technology, which is more expensive than optical imaging systems, the 3D point clouds were produced by matching high-resolution images using a Semi Global Matching algorithm. The normalized difference vegetation index (NDVI) values for each point were calculated using the spectral information (RGB + IR) in the 3D point cloud data, and the points that represented the vegetation cover were determined using these values. In the second stage, existing ground and non-ground points that were free of vegetation cover were determined within the point cloud. Subsequently, only the points on the roof of the building were detected automatically using the proposed algorithm. Thus, points of the roofs of buildings located in areas with different topographic characteristics were detected automatically detected using only images. It was determined that the average values of correctness (Corr), completeness (Comp), and quality (Q) of the pixel-based accuracy analysis metrics were 95%, 98%, and 93%, respectively, in the selected test areas. According to the results of the accuracy analysis, it is clear that the proposed algorithm is very successful in automatic extraction of building roof points.     

Model-based testing for software safety: a systematic mapping study

Testing safety-critical systems is crucial since a failure or malfunction may result in death or serious injuries to people, equipment, or environment. An important challenge in testing is the derivation of test cases that can identify the potential faults. Model-based testing adopts models of a system under test and/or its environment to derive test artifacts. This paper aims to provide a systematic mapping study to identify, analyze, and describe the state-of-the-art advances in model-based testing for software safety. The systematic mapping study is conducted as a multi-phase study selection process using the published literature in major software engineering journals and conference proceedings. We reviewed 751 papers and 36 of them have been selected as primary studies to answer our research questions. Based on the analysis of the data extraction process, we discuss the primary trends and approaches and present the identified obstacles. This study shows that model-based testing can provide important benefits for software safety testing. Several solution directions have been identified, but further research is critical for reliable model-based testing approach for safety.