We propose and analyze a distribution learning algorithm for variable memory length Markov processes. These processes can be described by a subclass of probabilistic finite automata which we name Probabilistic Suffix Automata (PSA). Though hardness results are known for learning distributions generated by general probabilistic automata, we prove that the algorithm we present can efficiently learn distributions generated by PSAs. In particular, we show that for any target PSA, the KL-divergence between the distribution generated by the target and the distribution generated by the hypothesis the learning algorithm outputs, can be made small with high confidence in polynomial time and sample complexity. The learning algorithm is motivated by applications in human-machine interaction. Here we present two applications of the algorithm. In the first one we apply the algorithm in order to construct a model of the English language, and use this model to correct corrupted text. In the second application we construct a simple stochastic model for E.coli DNA. 相似文献
In the market-place of the 21st century, there is no place for traditional over-the-wall communications between design and manufacturing. In order to design it right the very first time, designers must ensure that their products are both functional and easy to manufacture. Software tools have had some successes in reducing the barriers between design and manufacturing. Manufacturability analysis systems are emerging as one such tool — enabling identification of potential manufacturing problems during the design phase and providing suggestions to designers on how to eliminate them.In this paper, we provide a survey of current state-of-the-art automated manufacturability analysis. We present the historical context in which this area has emerged and outline characteristics to compare and classify various systems. We describe the two dominant approaches to automated manufacturability analysis and overview representative systems based on their application domain. We describe support tools that enhance the effectiveness of manufacturability analysis systems. Finally, we attempt to expose some of the existing research challenges and future directions. 相似文献
The interrogation of metabolic parameters like pH in live-cell experiments using optical super-resolution microscopy (SRM) remains challenging. This is due to a paucity of appropriate metabolic probes enabling live-cell SRM-based sensing. Here, ultrasmall fluorescent core–shell aluminosilicate nanoparticle sensors (FAM–ATTO647N aC′ dots) that covalently encapsulate a reference dye (ATTO647N) in the core and a pH-sensing moiety (FAM) in the shell are introduced. Only the reference dye exhibits optical blinking enabling live-cell stochastic optical reconstruction microscopy (STORM). Using data from cells incubated for 60 min with FAM–ATTO647N aC′ dots, pixelated information from total internal reflection fluorescence (TIRF) microscopy-based ratiometric sensing can be combined with that from STORM-based localizations via the blinking reference dye in order to enhance the resolution of ratiometric pH sensor maps beyond the optical diffraction limit. A nearest-neighbor interpolation methodology is developed to quantitatively address particle compositional heterogeneity as determined by separate single-particle fluorescence imaging methods. When combined with STORM-based estimates of the number of particles per vesicle, vesicle size, and vesicular motion as a whole, this analysis provides detailed live-cell spatial and functional information, paving the way to a comprehensive mapping and understanding of the spatiotemporal evolution of nanoparticle processing by cells important, e.g., for applications in nanomedicine. 相似文献
We demonstrate refinement-based formal development of the hybrid, ‘fixed virtual block’ approach to train movement control for the emerging European Rail Traffic Management System (ERTMS) level 3. Our approach uses iUML-B diagrams as a front end to the Event-B modelling language. We use abstraction to verify the principle of movement authority before gradually developing the details of the Virtual Block Detector component in subsequent refinements, thus verifying that it preserves the safety properties. We animate the refined models to demonstrate their validity using the scenarios from the Hybrid ERTMS Level 3 (HLIII) specification. We reflect on our team-based approach to finding useful modelling abstractions and demonstrate a systematic modelling method based on the state and class diagrams of iUML-B. The component and control flow architectures of the application, its environment and interacting systems emerge through the layered refinement process. The runtime semantics of the specification’s state-machine behaviour are modelled in the final refinements. We discuss how the model could be used to generate an implementation using code generation tools and techniques.
The increasing amount of data produced in many scientific and engineering domains creates as many new challenges for an efficient data analysis, as possibilities for its application. In this paper, we present one of the use cases of the project VAVID, namely the condition monitoring of sensor information from wind turbines, and how a data gateway can help to increase the usability and security of the proposed system. Starting by briefly introducing the project, the paper presents the problem of handling and processing large amount of sensor data using existing tools in the context of wind turbines. It goes on to describe the innovative approach used in VAVID to meet this challenge, covering the main goals, numerical methods used for analysis, the storage concept, and the architectural design. It concludes by offering a rational for the use of a data gateway as the main entry point to the system and how this is being implemented in VAVID. 相似文献
Bimetallic Pd–Sn catalysts were synthesized by incipient-wetness impregnation of the metals on alumina and employed for the
reduction of nitrates from aqueous solutions. The catalysts were characterized by FTIR spectroscopy of adsorbed CO, X-ray
diffraction (XRD), transmission electron microscopy (TEM), and H2 chemisorption. The influence of the metal ratio was evaluated in reaction measurements. The bimetallic Pd–Sn catalysts exhibited
high selectivity for nitrate removal forming less NO2− and NH4+ than the Pd–Cu catalysts. 相似文献