Abstract: Computer-implemented techniques are disclosed for verifying circuit designs using subgraph caching. A device under test (DUT) is modeled as a graph. The graph is partitioned into one or more subgraphs and problems are generated for each subgraph. Graph and subgraph problem generation is repeated numerous times throughout the verification process. Problems and sub-problems are generated and solved. When a subgraph problem is solved, the problem's variables, values, and information can be stored in a cache. The storage can be based on entropy of variables used in the graph and subgraph problems. The subgraph problem storage cache can be searched for previously stored problems which match another problem in need of a solution. By retrieving subproblem variables, values, and information from the cache, the computational overhead of circuit design verification is reduced as problems are reused. Caching can be accomplished using an information theoretic approach.

Abstract: Systems and methods are provided herein for estimating an output current of an input/output (I/O) driver given a set of voltages present at pins of the I/O driver. A set of voltages are received comprising voltages present at a power pin, a ground pin, at least three input pins, and at least three output pins of an I/O driver. Neural network models are applied to one or more voltages of the set of voltages to determine currents associated the I/O driver. A state space model is applied to one or more voltages of the set of voltages to determine another current of the I/O driver. An output current of the I/O driver is estimated based on the currents and the one or more values.

Abstract: A method for designing a hybrid surface optical system comprises establishing a first initial system; keeping the first initial system unchanged and calculating a plurality of first feature data points, and fitting the first feature data points to obtain a spherical surface; repeating such steps until all spherical surfaces are obtained; calculating a plurality of second feature data points, and fitting the plurality of second feature data points to obtain an aspheric surface; repeating such steps until all aspheric surfaces are obtained; calculating a plurality of third feature data points, and fitting the plurality of third feature data points to obtain a freeform surface; repeating such steps until all freeform surfaces are obtained.

Abstract: Systems, apparatus and methods described herein are configured to receive a user command line instruction, of a first type, for transmission to a device and convert the user command line instruction to a device specific command line instruction. In some embodiments, the systems, apparatus and methods described herein are further configured to transmit the device specific command line instruction to the device, and convert a device specific response received from the device to a response of the first type.

Abstract: The invention notably relates to a computer-implemented method for designing a 3D modeled object. The 3D modeled object is stored in a database. The method provides the 3D modeled object having a plurality of features; selects, upon user action, a first geometry of a first feature; queries and retrieves from the database at least one specification according to the selected first geometry. The method selects at least one second feature; and applies, on the selected at least one second feature, the specification retrieved from the database.

Abstract: A computer-readable medium stores instructions including storing a model of a physical structure and defining a mesh for the model. The mesh includes finite elements, each defined by a respective set of edges. The instructions include, for each finite element, identifying a governing differential equation and a set of complementary functions that exactly satisfy the governing differential equation. The instructions include determining an applied physical stimulus for the physical structure. The instructions include generating an energy optimization model that minimizes a difference between internal energy and external energy of the finite elements in response to the applied physical stimulus. The model includes a matrix of respective scalar multipliers for the complementary functions for each finite element. The instructions include transforming the matrix and calculating a physical parameter of interest.

Abstract: A method of modeling a prospective database migration between database systems may include collecting performance data associated with a plurality databases in a first database system. The method may also include receiving a selection of a set of databases in the plurality of databases to migrate to a second database system. The method may additionally include computing, using at least some of the performance data, combined performance data that estimates how the set of databases will perform on the second database system. The method may further include providing one or more indications as to whether the set of databases should be migrated to the second database system. In some embodiments, the one or more indications may be based on the combined performance data.

Abstract: The invention relates to manufacturing a surgical guide to be placed in a patient's mouth. The patient's mouth is scanned to obtain surgical-region scan data at a region where an implant is to be located. The patient's mouth is also scanned in the opened position to acquire dental conditions opposite from the surgical region so as to obtain opposing-condition scan data. A virtual model is developed using the surgical-region scan data and the opposing-condition scan data. Using the virtual model, a surgical plan is developed that includes the location of the implant to be installed in the patient. A virtual surgical guide is also developed based on the surgical plan. The dimensions of instrumentation to be used with the surgical guide are checked to ensure they will fit within the mouth by use of the opposing-condition scan data. After checking, final surgical-guide manufacturing information is obtained for manufacturing the surgical guide.

Abstract: A testing system comprises an emulator having a simulated radio channel for communicating therethrough with the electronic device. The testing system comprises a plurality of antenna elements coupled to an emulator which forms a beam of a signal of a path of a simulated radio channel with at least two antenna elements of the plurality of antenna elements in an anechoic chamber.

Abstract: A seismic modeling system is provided which may include a seismic model data storage device, and a processor cooperating with the seismic model data storage device to identify an obstruction within a seismic model spatial domain data set having a lateral boundary, and define a suspect area including spatial domain data within the lateral boundary and directly below the obstruction. The processor may further inpaint the suspect area in the seismic model spatial domain data set based upon an exemplar inpainting algorithm.

Abstract: A simulation device for simulating the operations of a robot that follows a workpiece when the workpiece is conveyed by a conveyer that conveys workpieces along an arc-shaped track. The simulation device includes a robot model arranging section that arranges a robot model in virtual space; a conveyer model arranging section that arranges a conveyer model in the virtual space, the conveyer model being capable of conveying a workpiece model along an arc-shaped virtual track; a workpiece model arranging section that arranges a workpiece model on the conveyer model in the virtual space; a detection device model arranging section that arranges a detection device model in the virtual space capable of detecting the workpiece model; an operation range setting section that sets a following operation range of the robot model in the virtual space; and a simulation execution section that executes simulations.

Abstract: A method of performing a flight simulation is provided. The method includes retrieving a flight action; mapping the flight action to an instruction, the instruction being configured to bring about a desired state of a flight simulator; identifying a command based on the desired state of the flight simulator and a first state of the flight simulator; and determining if a second state of the flight simulator after executing the command matches the desired state of the flight simulator.

Abstract: Well core data descriptions are received as input digital data for computer lithofacies modeling. Digital templates are established for carbonate and clastic core description based on reservoir rock formation analysis. Description criteria of the template for carbonate rock can include texture, mineral composition, grain size, and pore type. For clastic rock, the criteria in the template can include grain size, sedimentary structure, lithology, and visual porosity. The data and observations regarding these criteria are entered into a computer 3D geological modeling system directly. Wireline log data are integrated to calibrate with well core description to derive lithofacies. The lithofacies are exported in digital format to be entered into the 3D geological modeling system. A geologically realistic model of the reservoir can be established.

Abstract: The invention relates to a method for determining a configuration for a loudspeaker arrangement for radiating sound into a space, wherein the method comprises the following steps: providing an initial configuration having initial configuration parameters for a loudspeaker arrangement for radiating sound into a space in the computer, determining configurations having respectively associated configuration parameters by means of a target function-based optimisation method, wherein, proceeding from the initial configuration, in the computer a sound field for the space and/or parts thereof into which sound is to be radiated is determined iteratively to a candidate configuration by means of simulation, a value of a target function associated with the candidate configuration and the simulated sound field is determined and a new candidate configuration for the loudspeaker arrangement is selected, and selecting a configuration having configuration parameters from the iteratively determined candidate configurations in

Abstract: A computer executable algorithm adapted to propagate a boundary surface of a seed that is placed within a region of interest of a visual representation of a 3D seismic data so as to follow a natural contour of said region of interest, wherein said algorithm is executable to: (i) generate at least one attribute volume comprising at least on attribute derivable from said 3D seismic data set; (ii) generate at least one characteristic parameter for a plurality of candidate events of said 3D seismic data within a predefined gate region located forward of said propagating boundary surface; (iii) generate and assign a probability characteristic for said plurality of candidate events based on said at least one attribute volume and said at least one characteristic parameter; and propagate said boundary surface towards and incorporating any one of said plurality of candidate events that fulfils an acceptance criteria of said probability characteristic so as to generate a surface along the natural contour of said region

Abstract: An embodiment of the invention includes applying a first partition to a plurality of LPs, wherein a particular LP is assigned to a first set of LPs. A second partition is applied to the LPs, wherein the particular LP is assigned to an LP set different from the first set. For both the first and second partitions, lookahead values and transit times are determined for each of the LPs and related links. For the first partition, a first system progression rate is computed using a specified function with the lookahead values and transit times determined for the first partition. For the second partition, a second system progression rate is computed using the specified function with the lookahead values and transit times determined for the second partition. The first and second system progression rates are compared to determine which is the lowest.

Abstract: In one aspect, a computer-assisted method for the optimization of the design of physical bodies, such as land, air and sea vehicles and robots and/or parts thereof, is provided comprising the steps of: representing the design to be optimized as a mesh, generating update signals to optimize the mesh representation, applying an optimization algorithm until a stop criterion has been reached, and outputting a signal representing the optimized design.

Abstract: Methods and systems for predicting lithium battery properties are presented. In one embodiment, a method includes an operation for creating an equivalent circuit of a battery cell, where the equivalent circuit includes a cathode equivalent circuit and a remainder equivalent circuit. Further, parameters for the cathode equivalent circuit are calculated using Quantum Mechanical (QM) simulation. Also included in the method are operations for obtaining parameters for the remainder equivalent circuit via experimentation, and for calculating the lithium battery properties using the equivalent circuit.

Abstract: A method for identifying a resource in a field using historic well data including vertical well logs for the resource and historic horizontal well production data for the resource, the method including extracting a plurality of features from the vertical well logs, performing a spatial interpolation of the plurality of features extracted from the vertical well logs onto coordinates of the horizontal well production data to determine a plurality of interpolated features, and building a model predicting production of the resource in the field by regressing the horizontal well production data onto the interpolated features, wherein the model is displayed as a visualization of the resource production predicted in the field.

Abstract: A method for identifying a resource in a field using historic well data including vertical well logs for the resource and historic horizontal well production data for the resource, the method including extracting a plurality of features from the vertical well logs, performing a spatial interpolation of the plurality of features extracted from the vertical well logs onto coordinates of the horizontal well production data to determine a plurality of interpolated features, and building a model predicting production of the resource in the field by regressing the horizontal well production data onto the interpolated features, wherein the model is displayed as a visualization of the resource production predicted in the field.