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. 相似文献
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. 相似文献
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.
The irreversible capacity of negative electrode in a lithium-ion cell is a widely described the phenomenon. Irreversible capacity losses are connected with formation of a solid electrolyte interface layer. This layer is growing on the electrode-electrolyte interface during first several charging cycles. The layer is indispensable for proper functioning of a lithium-ion cell. However, during this layer formation, the atoms of lithium are consumed in a range from 18 to 45% of the total amount of lithium atoms presented in cell. Demonstration of possibilities to suppress this phenomenon that occurs on a negative electrode interface is the main aim of this paper. 相似文献
Doxorubicin is a commonly used antineoplastic agent in the treatment of many types of cancer. Little is known about the interactions of doxorubicin with cardiac biomolecules. Serious cardiotoxicity including dilated cardiomyopathy often resulting in a fatal congestive heart failure may occur as a consequence of chemotherapy with doxorubicin. The purpose of this study was to determine the effect of exposure to doxorubicin on the changes in major amino acids in tissue of cardiac muscle (proline, taurine, glutamic acid, arginine, aspartic acid, leucine, glycine, valine, alanine, isoleucine, threonine, lysine and serine). An in vitro interaction study was performed as a comparison of amino acid profiles in heart tissue before and after application of doxorubicin. We found that doxorubicin directly influences myocardial amino acid representation even at low concentrations. In addition, we performed an interaction study that resulted in the determination of breaking points for each of analyzed amino acids. Lysine, arginine, β-alanine, valine and serine were determined as the most sensitive amino acids. Additionally we compared amino acid profiles of myocardium before and after exposure to doxorubicin. The amount of amino acids after interaction with doxorubicin was significantly reduced (p = 0.05). This fact points at an ability of doxorubicin to induce changes in quantitative composition of amino acids in myocardium. Moreover, this confirms that the interactions between doxorubicin and amino acids may act as another factor most likely responsible for adverse effects of doxorubicin on myocardium. 相似文献