Abstract: A computer executable system that runs symbolic simulation with formal X-analysis along with logic simulation to determine if Xs produced in logic simulation are real or not. Simulated values in logic simulation shown to be incorrect are rectified using formal analysis results to produce X-accurate simulation results that match real hardware.

Abstract: Tooth attachments are provided comprising one or more convex surfaces for engagement by a surface of an orthodontic appliance. Polymeric shell appliances are provided in which the polymeric shell appliances are configured to provide one or more activation forces to facilitate tooth movement. The polymeric shell appliances may comprise one or more tooth receiving cavities. The polymeric shell appliances may further comprise an engagement portion with a surface configured to engage a convex attachment surface in order to apply a tooth moving force.

Abstract: Techniques and systems for computer aided design of physical structures using an object splitting design process that optimize manufacturing efficiency are described. A described techniques includes obtaining an input model of an initial object to be manufactured, the input model providing a 3D topology and shape for the object; determining, based on the 3D topology and shape, a 3D parting surface to split the initial object into separate objects, the parting surface intersects an inflection zone that is situated between up and down skin regions of the 3D topology and shape; and providing first and second 3D models of the separate objects in accordance with the 3D topology and shape and the parting surface, for use in manufacturing separate physical structures corresponding to the separate objects using one or more computer-controlled manufacturing systems, where after respective manufacturing, the physical structures are configured to be assembled to form a combined structure.

Abstract: The disclosure notably relates to a computer-implemented method for designing, with a CAD system, a 3D modeled object representing a mechanical part. The method includes providing a B-rep representing the mechanical part. The B-rep has faces, edges and vertices. The method includes providing a sharp edge. The method further includes, automatically by the CAD system, identifying a set of edges. The set of edges includes the provided sharp edge. Each first edge of the set of edges is directed similarly to at least one second edge of the set of edges, the first edge and the second edge sharing a face. The method further includes, automatically by the CAD system, selecting sharp edges within the set of edges. Such a method constitutes an improved method for designing a mechanical part.

Abstract: According to an embodiment, a design support system supports determination of a first design specification of a plant, the system including a memory and a hardware processor. The memory stores therein second design specifications of existing plants in association with first information related to a document(s) concerned with an existing plant. The hardware processor acquires a required specification which includes a part of elements of the first design specification and which indicates value of each element to be satisfied; identifies, based on second information in which an element(s) is/are associated with each condition, an element associated with a condition that matches the required specification; identifies a second design specification corresponding to the required specification based on the element identified; selects an element(s); and extracts, from the first information associated with the second design specification identified, a description related to the element selected.

Abstract: A method and an apparatus for generating a road network are disclosed. The method for generating a road network comprises: aggregating a plurality of grid cells partitioned in advance on a trajectory map based on trajectories in each grid cell of the plurality of grid cells to form level-1 regions; and generating a link of the road network by merging a level-1 region having two valid neighbors with its neighbor level-1 regions having two valid neighbors.

Abstract: To enable to display one or more drawing content, which have been created during defining one or more engineering drawings from a model which comprises one or more parts to model one or more structures, digital twins of the one or more drawing content with associated information are created and published. The associated information of the digital twin comprises three-dimensional coordinates for the drawing content in question, determined based on one or more parts, to which the drawing content relates, and identifying information of said one or more parts.

Abstract: A method for designing a well, including: determining a first well construction discipline for a first participant and an authority level for the first participant within the first well construction discipline; obtaining a plurality of rules corresponding to the first well construction discipline and the authority level for the first participant within the first well construction discipline; operating, based on the plurality of rules, an interface that restricts decision options for the first participant; receiving a decision associated with the well and based on the interface from the first participant; and updating a design of the well based on the decision.

Abstract: A process characteristic parameter determination system uses a process model and a tuning module to accurately determine a value for a process characteristic parameter within a plant without measuring the process characteristic parameter directly, and may operate on-line or while the process is running to automatically determine a correct value of the process characteristic parameter at any time during on-going operation of the process. The process characteristic parameter value, which may be a heat transfer coefficient value for a heat exchanger, can then be used to enable the determination of a more accurate simulation result and/or to make other on-line process decisions, such as process control decisions, process operational mode decisions, process maintenance decisions such as implementing a soot blowing operation, etc.

Abstract: In the field of power system stability there is provided a method of predicting the presence of an out-of-step condition in a power system that includes a plurality of generators, the method including the steps of: (a) obtaining a differential value ({tilde over (?)}COIk) between a rotor angle (?k) of an individual one of the plurality of generators and an equivalent rotor angle (?COIk) of the centre of inertia of the remainder of the plurality of generators; (b) processing the differential value ({tilde over (?)}COIk) to determine whether the differential value ({tilde over (?)}COIk) is predicted to reach a predefined reference threshold (?threshold); and (c) predicting the presence of the out-of-step condition in the power system if the differential value ({tilde over (?)}COIk) is predicted to reach the predefined reference threshold (?threshold).

Abstract: A method for generating a model ensemble that estimates at least one output variable of a physical process as a function of at least one input variable, the model ensemble being formed from a sum of model outputs from a plurality of models that have been weighted with a weighting factor.

Abstract: Systems, computer-implemented methods and/or computer program products that facilitate selecting components for aviation engines. In one embodiment, a computer-implemented method comprises: calculating, by a system operatively coupled to a processor, standard deviation between components for aviation engines based on a statistical distribution of measured manufacturing characteristics; selecting, by the system, a subset of components based on the calculated standard deviation; and analyzing, by the system, the subset of components at respective standard deviation to determine a standard deviation and period of time for trading that maximizes durability performance.

Abstract: A method for structural analysis of an object includes generating scanned surface data of an object using a three-dimensional sensor and aligning a physical object model corresponding to the scanned surface data with a predetermined three-dimensional model of the object. The method also includes identifying an interference between a location of the aligned physical object model, optionally including any elastic deformation with an internal component within the three-dimensional model and generating an indicator of expected damage to the internal component.

Abstract: A method and system for structural analysis of an object detects deviations between a physical object model and a predetermined three-dimensional model of the object. The physical object model is generated from scanned surface data of an object produced by a three-dimensional sensor. The physical object model is aligned with the predetermined three-dimensional model of the object to identify an interference between a location of the aligned physical object model and the predetermined three-dimensional model of the object that corresponds with any elastic deformation of an internal component within the predetermined three-dimensional model. An indicator of expected damage to the internal component arising from the elastic deformation is generated.

Abstract: Automated fixture layout is approached in two distinct stages. First, the spatial locations of clamping points on the work piece are determined to ensure immobility of the fixtured part under any infinitesimal perturbation. Second, spatial locations are matched against a user-specified library of reconfigurable clamps to synthesize a valid fixture layout or configuration that includes clamps that are accessible and collision free. The spatial locations matching during the second stage can be the same spatial locations chosen in the first stage to ensure immobility, or a different set of spatial locations.

Abstract: According to one embodiment, a sensor design support apparatus includes: an inter-data feature calculator and a model constructor. The inter-data feature calculator combines any two pieces of data based on first to k-th data acquired from each of a plurality of sensors in response to first to k-th conditions being satisfied to generate a plurality of data pairs for each of sensors, the sensors monitoring a target; and calculates a plurality of inter-data features based on the plurality of data pairs. The model constructor calculates a plurality of coefficients corresponding to the plurality of inter-data features in a classification model based on state data indicating states of the monitoring target at times which the first to k-th conditions are satisfied, wherein the classification model associates the plurality of coefficients and the plurality of inter-data features with a value identifying a state of the monitoring target.

Abstract: A system and method is provided for restoring a 3D tomographic model of the Earth's subsurface geology from the present-day to a past restoration time. Whereas at the present time all faults represent active discontinuities, at a past restoration time some faults have not yet formed. Accordingly, the restored model divides the fault network into ?-active faults (discontinuous surfaces for faults that intersect the layer deposited at the past restoration time) and ?-inactive faults (continuous surfaces for faults that do not intersect the layer deposited at the past restoration time). A new 3D restoration transformation is also provided that uses linear geological constraints to process the restoration model in less time and generate more accurate geological images.

Abstract: Provided are a multi-functional stratigraphic structure model testing system and testing method. The system includes a test piece testing device platform that includes a watertight fan-shaped closed cavity, a fluid-solid coupling loading system, and an anti-arc reaction frame system. A coupling loading system region consist of hydraulic (liquid) loading and multi-directional solid-skeleton loading onto a pore or crack test piece, which can be independently operated or combined with each other's. The fan-shaped closed cavity is fixed through the anti-arc reaction frame system, and a fan-shaped center region is provided with an application region of underground working face. The other two flat fan sides are provided with application regions of physical and chemical improvement for surrounding rock.

Abstract: Examples described herein include examples of method for predicting battery performance of a battery comprising collecting battery data corresponding to a plurality of batteries with characteristics similar to the battery during a first time period, storing the collected battery data in a staging memory, generating a logarithmic regression based on the collected battery data, and predicting battery performance for the battery based on the logarithmic regression.

Abstract: Disclosed herein are example embodiments of methods, apparatus, and systems for transactors configured for use in a hardware emulation environment and designed to adapt to speed changes dynamically at runtime in addition to providing dynamic port mapping. Among the embodiments disclosed herein is an emulation system comprising one or more configurable hardware components (e.g., configurable logic blocks) configured to implement a mutable port group transactor in communication with a design under test being emulated by the emulation system. The emulation system can further comprise a host computer in communication with the emulator and configured to provide configuration commands to the emulator that alter the mutable port group transactor from a first configuration to a second configuration.