656,199 research outputs found

    Refining Nodes and Edges of State Machines

    No full text
    State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement. We compare the two notions by means of examples and argue that, by adopting simple conventions, they can be combined into one method of refinement. In the combined method, node refinement can be used to develop architectural aspects of a model and edge refinement to develop algorithmic aspects. The two notions of refinement are grounded in previous work. Event-B is used as the foundation for our refinement theory and UML-B state machine refinement influences the style of node refinement. Hence we propose a method with direct proof of state machine refinement avoiding the detour via Event-B that is needed by UML-B

    High-Resolution Shape Completion Using Deep Neural Networks for Global Structure and Local Geometry Inference

    Get PDF
    We propose a data-driven method for recovering miss-ing parts of 3D shapes. Our method is based on a new deep learning architecture consisting of two sub-networks: a global structure inference network and a local geometry refinement network. The global structure inference network incorporates a long short-term memorized context fusion module (LSTM-CF) that infers the global structure of the shape based on multi-view depth information provided as part of the input. It also includes a 3D fully convolutional (3DFCN) module that further enriches the global structure representation according to volumetric information in the input. Under the guidance of the global structure network, the local geometry refinement network takes as input lo-cal 3D patches around missing regions, and progressively produces a high-resolution, complete surface through a volumetric encoder-decoder architecture. Our method jointly trains the global structure inference and local geometry refinement networks in an end-to-end manner. We perform qualitative and quantitative evaluations on six object categories, demonstrating that our method outperforms existing state-of-the-art work on shape completion.Comment: 8 pages paper, 11 pages supplementary material, ICCV spotlight pape

    Refinement trajectory and determination of eigenstates by a wavelet based adaptive method

    Get PDF
    The detail structure of the wave function is analyzed at various refinement levels using the methods of wavelet analysis. The eigenvalue problem of a model system is solved in granular Hilbert spaces, and the trajectory of the eigenstates is traced in terms of the resolution. An adaptive method is developed for identifying the fine structure localization regions, where further refinement of the wave function is necessary.Comment: 9 pages, 4 figures, 3 table

    Structure Refinement for Vulnerability Estimation Models using Genetic Algorithm Based Model Generators

    Get PDF
    In this paper, a method for model structure refinement is proposed and applied in estimation of cumulative number of vulnerabilities according to time. Security as a quality characteristic is presented and defined. Vulnerabilities are defined and their importance is assessed. Existing models used for number of vulnerabilities estimation are enumerated, inspecting their structure. The principles of genetic model generators are inspected. Model structure refinement is defined in comparison with model refinement and a method for model structure refinement is proposed. A case study shows how the method is applied and the obtained results.model structure refinement, model generators, gene expression programming, software vulnerabilities, performance criteria, software metrics

    Structure determination from powder data : Mogul and CASTEP

    Get PDF
    When solving the crystal structure of complex molecules from powder data, accurately locating the global minimum can be challenging, particularly where the number of internal degrees of freedom is large. The program Mogul provides a convenient means to access typical torsion angle ranges for fragments related to the molecule of interest. The impact that the application of modal torsion angle constraints has on the structure determination process of two structure solution attempts using DASH is presented. Once solved, accurate refinement of a molecular structure against powder data can also present challenges. Geometry optimisation using density functional theory in CASTEP is shown to be an effective means to locate hydrogen atom positions reliably and return a more accurate description of molecular conformation and intermolecular interactions than global optimisation and Rietveld refinement alone

    3D Common-Refinement Method for Non-Matching Meshes in Partitioned Variational Fluid-Structure Analysis

    Full text link
    We present a three-dimensional (3D) common-refinement method for non-matching meshes between discrete non-overlapping subdomains of incompressible fluid and nonlinear hyperelastic structure. To begin, we first investigate the accuracy of common-refinement method (CRM) to satisfy traction equilibrium condition along the fluid-elastic interface with non-matching meshes. We systematically assess the accuracy of CRM against the matching grid solution by varying grid mismatch between the fluid and solid meshes over a cylindrical tubular elastic body. We demonstrate second-order accuracy of CRM through uniform refinements of fluid and solid meshes along the interface. We then extend the error analysis to transient data transfer across non-matching meshes between fluid and solid solvers. We show that the common-refinement discretization across non-matching fluid-structure grids yields accurate transfer of the physical quantities across the fluid-solid interface. We next solve a 3D benchmark problem of a cantilevered hyperelastic plate behind a circular bluff body and verify the accuracy of coupled solutions with respect to the available solution in the literature. By varying the solid interface resolution, we generate various non-matching grid ratios and quantify the accuracy of CRM for the nonlinear structure interacting with a laminar flow. We illustrate that the CRM with the partitioned NIFC treatment is stable for low solid-to-fluid density ratio and non-matching meshes. Finally, we demonstrate the 3D parallel implementation of common-refinement with NIFC scheme for a realistic engineering problem of drilling riser undergoing complex vortex-induced vibration with strong added mass effects.Comment: 38 pages, 16 figure

    Structure Refinement of Five Layers Aurivillius Compound: Ba4Bi2Nb2Ti3O18

    Full text link
    The room temperature structures of the five layers Aurivillius phase Ba4Bi2Nb2Ti3O18 has been refined from X-ray powder diffraction data using the Rietveld method. The structures consist of [Bi2O2]2+ layers interleaved with perovskite-like [Ba4Nb2Ti3O16]2- blocks. The oxides was found to be orthorhombic (SG B2cb); a = 5.5017(8), b = 5.5031(8), c = 50.363(3) Å, Rp = 25.53 Rwp = 35.54 Rexp = 29.30 RBragg = 9.92. The structural features of the compound is found similar to that of other layered Aurivillius compounds. Using the available structural data the ferroelectric properties could be explained and strategies to find good ferroelectric materials could be inferred

    Refining structures against reflection rank: an alternative metric for electron crystallography.

    Get PDF
    A new metric is proposed to improve the fidelity of structures refined against precession electron diffraction data. The inherent dynamical nature of electron diffraction ensures that direct refinement of recorded intensities against structure-factor amplitudes can be prone to systematic errors. Here it is shown that the relative intensity of precessed reflections, their rank, can be used as an alternative metric for refinement. Experimental data from erbium pyrogermanate show that applying precession reduces the dynamical transfer of intensity between reflections and hence stabilizes their rank, enabling accurate and reliable structural refinements. This approach is then applied successfully to an unknown structure of an oxygen-deficient bismuth manganite resulting in a refined structural model that is similar to a calcium analogue.The authors thank the EPSRC for financial support through grant number HO1771
    corecore