Structural optimization of Z-axis tuning-fork MEMS gyroscopes for enhancing reliability and resolution

Inertial sensors such as gyroscopes and accelerometers are normally considered as the most important sensors in a navigation system. Especially in the underwater or under-ice applications, the accuracy of the entire navigation system has to mainly rely on the precision of the inertial sensors due to inapplicability of global positioning systems. For MEMS-based inertial sensors, fabrication variation and environmental disturbance are among the major error sources. To address these challenges, in this paper we propose an optimization methodology by using parametric analysis on a reference design for improving sensor reliability and resolution. Apart from studying the resolution improvement by deploying an alternative sensing scheme, the effects of changing location, shape, and size of critical cantilevers have been thoroughly explored. By using this method, we have derived an improved mechanical structure for tuning-fork gyroscopes. Our numerical analyses show that the bandwidth of the proposed structure, which is the most important stability measure in the vibratory gyroscopes with slightly mismatched resonant frequencies, is over 1.7 times more immune to fabrication imperfection than the other structural alternatives. The drive and sense resonant amplitude robustness against fabrication imperfection is also improved in the proposed structure. In addition, this structure is able to provide at least 2.3 times larger sense-mode capacitance response to external rotation compared to the previously published designs. More important, it is observed that there is always non-negligible room for improving performance of gyroscopes if our proposed structural optimization methodology is integrated into the conventional MEMS-based inertial sensor design flow.     

Use of a dark object concept and support vector machines to automate forest cover change analysis

An automated method was developed for mapping forest cover change using satellite remote sensing data sets. This multi-temporal classification method consists of a training data automation (TDA) procedure and uses the advanced support vector machines (SVM) algorithm. The TDA procedure automatically generates training data using input satellite images and existing land cover products. The derived high quality training data allow the SVM to produce reliable forest cover change products. This approach was tested in 19 study areas selected from major forest biomes across the globe. In each area a forest cover change map was produced using a pair of Landsat images acquired around 1990 and 2000. High resolution IKONOS images and independently developed reference data sets were available for evaluating the derived change products in 7 of those areas. The overall accuracy values were over 90% for 5 areas, and were 89.4% and 89.6% for the remaining two areas. The user's and producer's accuracies of the forest loss class were over 80% for all 7 study areas, demonstrating that this method is especially effective for mapping major disturbances with low commission errors. IKONOS images were also available in the remaining 12 study areas but they were either located in non-forest areas or in forest areas that did not experience forest cover change between 1990 and 2000. For those areas the IKONOS images were used to assist visual interpretation of the Landsat images in assessing the derived change products. This visual assessment revealed that for most of those areas the derived change products likely were as reliable as those in the 7 areas where accuracy assessment was conducted. The results also suggest that images acquired during leaf-off seasons should not be used in forest cover change analysis in areas where deciduous forests exist. Being highly automatic and with demonstrated capability to produce reliable change products, the TDA-SVM method should be especially useful for quantifying forest cover change over large areas.     

Optimal randomized RANSAC

A randomized model verification strategy for RANSAC is presented. The proposed method finds, like RANSAC, a solution that is optimal with user-specified probability. The solution is found in time that is (i) close to the shortest possible and (ii) superior to any deterministic verification strategy. A provably fastest model verification strategy is designed for the (theoretical) situation when the contamination of data by outliers is known. In this case, the algorithm is the fastest possible (on average) of all randomized \\RANSAC algorithms guaranteeing a confidence in the solution. The derivation of the optimality property is based on Wald's theory of sequential decision making, in particular a modified sequential probability ratio test (SPRT). Next, the R-RANSAC with SPRT algorithm is introduced. The algorithm removes the requirement for a priori knowledge of the fraction of outliers and estimates the quantity online. We show experimentally that on standard test data the method has performance close to the theoretically optimal and is 2 to 10 times faster than standard RANSAC and is up to 4 times faster than previously published methods.     

A formal model of composing components: the TLA+ approach

In this paper, a method for writing composable TLA⁺ specifications that conform to the formal model called Masaccio is introduced. Specifications are organized in TLA⁺ modules that correspond to Masaccio components by means of a trace-based semantics. Hierarchical TLA⁺ specifications are built from atomic component specifications by parallel and serial composition that can be arbitrary nested. While the rule of parallel composition is a variation of the classical joint-action composition, the authors do not know about a reuse method for the TLA⁺ that systematically employs the presented kind of a serial composition. By combining these two composition rules and assuming only the noninterleaving synchronous mode of an execution, the concurrent, sequential, and timed compositionality is achieved.     

Low-contrast lesion segmentation in advanced MRI experiments by time-domain Ricker-type wavelets and fuzzy 2-means

Automated suspicious region segmentation has become a crucial need for the experts dealing with numerous images containing contrast-based lesions in MRI. Not all solutions, however, are based on mathematical infrastructure or providing adequate flexibility. On the other hand, segmentation of low-contrast lesions is very challenging for researchers; therefore, advanced magnetic resonance imaging (MRI) experiments are not commonly used in researches. Given the need of repeatability and adaptability, we present an automated framework for intelligent segmentation of brain lesions by wavelet imaging and fuzzy 2-means. Besides the general use of the wavelets in image processing, which is edge detection; we employed the second-order Ricker-type wavelets as the core of our novel imaging framework for low-contrast lesion segmentation. We firstly introduced the mathematical basis of several Ricker wavelet functions, which are in symmetrical form satisfying finite-energy and admissibility conditions of mother wavelets. Afterwards, we investigated three types of Ricker wavelets to apply on our clinical dataset containing susceptibility-weighted (SW) and minimum intensity projection SW (mIP-SW) images with barely-visible lesions. Finally, we adjusted the system parameters of the wavelets for optimization and post-segmentation by fuzzy 2-means. According to the preliminary results of the clinical experiments we conducted, our framework provided 93.53% average dice score (DSC) for SWI by Ricker-3 and 92.56% for mIP-SWI by Ricker-2 wavelet, as the main performance criteria of segmentation. Despite the lack of SWI or mIP-SWI experiments in the public datasets, we tested our framework with BraTS 2012 training sets containing real images with visible lesions and achieved an average of 88.13% DSC with 11.66% standard deviation by re-optimized framework for whole lesion segmentation, which is one of the highest among other relevant researches. In detail, 87.52% DSC for LG datasets with 11.32% standard deviation; while 88.34% DSC for HG datasets with 11.77% standard deviation are calculated.

     

A new data fusion model for high spatial- and temporal-resolution mapping of forest disturbance based on Landsat and MODIS

Investigating the temporal and spatial pattern of landscape disturbances is an important requirement for modeling ecosystem characteristics, including understanding changes in the terrestrial carbon cycle or mapping the quality and abundance of wildlife habitats. Data from the Landsat series of satellites have been successfully applied to map a range of biophysical vegetation parameters at a 30 m spatial resolution; the Landsat 16 day revisit cycle, however, which is often extended due to cloud cover, can be a major obstacle for monitoring short term disturbances and changes in vegetation characteristics through time.The development of data fusion techniques has helped to improve the temporal resolution of fine spatial resolution data by blending observations from sensors with differing spatial and temporal characteristics. This study introduces a new data fusion model for producing synthetic imagery and the detection of changes termed Spatial Temporal Adaptive Algorithm for mapping Reflectance Change (STAARCH). The algorithm is designed to detect changes in reflectance, denoting disturbance, using Tasseled Cap transformations of both Landsat TM/ETM and MODIS reflectance data. The algorithm has been tested over a 185 × 185 km study area in west-central Alberta, Canada. Results show that STAARCH was able to identify spatial and temporal changes in the landscape with a high level of detail. The spatial accuracy of the disturbed area was 93% when compared to the validation data set, while temporal changes in the landscape were correctly estimated for 87% to 89% of instances for the total disturbed area. The change sequence derived from STAARCH was also used to produce synthetic Landsat images for the study period for each available date of MODIS imagery. Comparison to existing Landsat observations showed that the change sequence derived from STAARCH helped to improve the prediction results when compared to previously published data fusion techniques.     

Using ICESat's Geoscience Laser Altimeter System (GLAS) to assess large-scale forest disturbance caused by hurricane Katrina

In 2005, hurricane Katrina resulted in a large disturbance to U.S. forests. Recent estimates of damage from hurricane Katrina have relied primarily on optical remote sensing and field data. This paper is the first large-scale study to use satellite-based lidar data to quantify changes in forest structure from that event. GLAS data for the years prior to and following hurricane Katrina were compared to wind speed, forest cover, and damage data to assess the adequacy of sensor sampling, and to estimate changes in Mean Canopy Height (MCH) over all areas that experienced tropical force winds and greater. Statistically significant decreases in MCH post-Katrina were found to increase with wind intensity: Tropical Storm ?MCH = − 0.5 m, Category 1 ?MCH = − 2 m, and Category 2 ?MCH = − 4 m. A strong relationship was also found between changes in non-photosynthetic vegetation (?NPV), a metric previously shown to be related to storm damage, and post-storm MCH. The season of data acquisition was shown to influence calculations of MCH and MCH loss, but did not preclude the detection of major large-scale patterns of damage. Results from this study show promise for using space-borne lidar for large-scale assessments of forest disturbance, and highlight the need for future data on vegetation structure from space.