Abstract: A thermal transient response simulation is performed to determine a total thermal resistance value for a structure having a plurality of thermal model elements. A plurality of thermal transient response simulations are also performed for the structure to determine changed total thermal resistance values by varying one of thermal resistance values of the thermal model elements. Thermal resistance values for the thermal model elements are then determined based on the total thermal resistance value and the changed total thermal resistance values. The structure function is divided into portions associated with the thermal model elements based on the thermal resistance values for the thermal model elements.

Abstract: A method and a device for verifying one or more safety volumes for a movable mechanical unit positioned in an environment, wherein a world-coordinate system is defined in relation to the mechanical unit and in relation to the environment of the mechanical unit. The method includes storing a description of one or more safety volumes defined in relation to the world-coordinate system, and repeatedly determining position and orientation of a portable display unit in relation to the world-coordinate system, determining a graphical representation of the safety volumes based on the description of the safety volumes and the position and orientation of the portable display unit, overlaying the graphical representation of the safety volumes on a view of the real mechanical unit and its environment to provide a composited augmented reality image, and displaying the augmented reality image on the portable display unit.

Abstract: An exploration system includes an artificial seismic source, sensor terminals, an environmental sensor, and a computer, wherein each of a plurality of sensor terminals is provided with a velocity or acceleration sensor which detects vibration generated by the artificial seismic source, and an identifier which is unique to the velocity or acceleration sensor; the environmental sensor detects an external environment which influences the velocity or acceleration sensor; and the computer stores a deterioration model which possibly indicates, as a degree of deterioration, performance deterioration of the velocity or acceleration sensor by providing information about the external environment as a variable, associates, with the identifier, the information about the external environment detected by the environmental sensor, stores the information about the external environment as a usage history, and determines a deterioration state of the velocity or acceleration sensor or the sensor terminal on the basis of the det

Abstract: A streakline visualization apparatus sets a partial region including a discrete point at a first position on a first streakline in an analysis space as an analysis target region of the discrete point. Based on a velocity of fluid in the analysis target region indicated by fluid information, the apparatus calculates a second position indicating a destination of a particle on the discrete point at a second analysis time point. Next, based on information about a structure in the analysis target region indicated by structure information, the apparatus determines a region occupied by the structure in the analysis target region at the second analysis time point. Next, based on the first and second positions, the apparatus determines whether a second streakline has entered the occupied region. If the second streakline has not entered the occupied region, the apparatus displays the second streakline passing through the second position.

Abstract: According to one embodiment, a model generation system includes a NCLM processor, a filter part, a model generator, a variable narrow-down part, a determiner, and a soundness calculator. The NCLM processor and the filter part narrows down a first input variable group to a third input variable group selected using NCLM. The model generator generates a model of a relationship between the third input variable group and an output variable. The variable narrow-down part narrows down the first input variable group to one or more of the input variables not used in the generation of the model. When the number of the models has not reached the specified number, the determiner outputting to the NCLM processor the first input variable group narrowed down by the variable narrow-down part. The soundness calculator calculates an overall soundness of the models and calculating a soundness of each of the models.

Abstract: Hardware for speeding up MCMC is realized. An information processing apparatus includes a plurality of Ising chips and a controller that controls the plurality of Ising chips. Each of the plurality of Ising chips includes a plurality of units, and each of the plurality of units retains a spin state. The controller instructs one set of Ising chips among the plurality of Ising chips to compare values of spin states of corresponding units and instructs the one set of Ising chip to invert values of a portion of spins among spins having different values of spin states of the corresponding units.

Abstract: Embodiments of systems and methods for predicting when a dry oil producing well is expected to transition to a wet oil producing well, the system configured to generate predictions from multiple databases of information. A first database is designed to store real time data about an active producing well and a second database can be a historical production information database, such as an Online Transactions Processing (OLTP) database. The data from both databases can be normalized, compared, and correlated to create a predictive model that accurately predicts when a particular well is expected to transition from a dry oil producing well to a wet oil producing well. The system and method can be configured to use many different techniques including an autoregressive integrated moving average equation to create a predictive model based off the normalized data from the multiple databases.

Abstract: A system receive as input a circuit design and a description of the behavior of the circuit design specified as assertions. The system generates a model used for verifying that the circuit design satisfies the specified behavior. The system generates an alternating automaton representing the assertions. The alternating automaton may be non-deterministic. The system translates the alternating automaton to a finite state machine (FSM) that may be represented using a representation such as a register transfer level (RTL) representation. The system models existential transitions in the state machine using variables. As a result, the system generates fewer states in the state machine, thereby requiring significantly less memory resources for processing the assertion. The system validates the circuit design using the state machine for further design and manufacture of the circuit.

Abstract: A streakline visualization apparatus sets a partial region including a discrete point at a first position on a first streakline in an analysis space as an analysis target region of the discrete point. Based on a velocity of fluid in the analysis target region indicated by fluid information, the apparatus calculates a second position indicating a destination of a particle on the discrete point at a second analysis time point. Next, based on information about a structure in the analysis target region indicated by structure information, the apparatus determines a region occupied by the structure in the analysis target region at the second analysis time point. Next, based on the first and second positions, the apparatus determines whether a second streakline has entered the occupied region. If the second streakline has not entered the occupied region, the apparatus displays the second streakline passing through the second position.

Abstract: A system and method of generating a two-dimensional (2D) image of an environment is provided. The system includes a housing having a body and a handle. A 2D scanner is disposed in the body and has a light source, an image sensor and a controller, the light source steers a beam of light within a first plane to illuminate object points in the environment. The image sensor is arranged to receive light reflected from the object points and the controller determines a distance value to at least one of the object points. An inertial measurement unit is provided having a 3D accelerometer and a 3D gyroscope. One or more processors are responsive to executable instructions for generating a 2D image of the environment in response to an activation signal from an operator and based at least in part on the distance values and the signal.

Abstract: It is advantageous to handle certain conditions when equipment (or equipment components) is taken out-of-service or shutdown for service or maintenance. Equipment service flags may be used to indicate that an individual variable will no longer be propagated as the associated equipment has been taken out of line for service. When multiple variables feed another system or component downstream, those variables may be placed in an equipment service set and that set may be associated with an indicator that indicates that the group of variables in the equipment service set is unavailable. A visual indicator as to which variables have been made unavailable for propagation may be displayed to a user. Once the equipment or system is brought back online or is taken out of equipment service mode, the appropriate flags and equipment service set are reset and associated variables are once again propagated downstream.

Abstract: Simulation of execution of a processing workload by a target hardware device is provided by providing workload data specifying the processing workload, passing the workload data to both a primary partial simulation and a complementary partial simulation that run in parallel and acquire input data from different levels of abstraction of the target hardware and then simulating execution of the processing workload using a primary partial simulation to generate primary partial result state data and using the complementary partial simulation to generate complementary partial result state data. The target hardware device may be a graphics processing unit and the workload data may specify the processing to be performed in a hardware independent form, such as, for example, OpenGL ES. The host system supporting the simulation may include a graphics processing unit serving to provide the complementary partial simulation due to its own execution of the workload data.

Abstract: A method of determining dimensional changes of features in a mask involves calculating a spacing to be used between adjacent unit cells, correcting a unit cell surrounded by replicas of the same unit cell at the calculated spacing for optical proximity effects, arraying the proximity corrected unit cell at the calculated spacing, and dividing the array of unit cells into templates. Each template frames a portion of the array of unit cells, and locations of the unit cells in each framed template are shifted relative to locations of the unit cells in other framed templates. Critical dimensions for features in the unit cell are determined within each template, and the critical dimensions determined across the template are used to obtain shift variances of each feature. A dimensional change is determined for a feature based on the shift variance for that feature.

Abstract: In a streakline visualization apparatus, a processing unit calculates, by using an expression including a correction value for correcting an error attributable to accelerated motion of a plurality of grid points represented by position information, time differential values of velocities of fluid on the plurality of grid points at each of the plurality of first time points. The processing unit calculates, based on the velocities and the time differential values of the velocities of the fluid on the plurality of grid points at each of the plurality of first time points, positions of a series of a plurality of particles sequentially outputted from a particle generation source as analysis time progresses at each of a plurality of second time points having a second time interval shorter than the first time interval. The processing unit generates display information about a streakline indicating the series of the plurality of particles.

Abstract: The invention is a method for exploiting a subterranean formation including hydrocarbons with at least one lithologic facies of the formation having undergone at least one diagenetic phase over geological times. From at least one sample of rock obtained from the formation, from measured production data relating to the formation and from a meshed representation representative of the formation, each mesh of the meshed representation is determined including at least one indicator relating to the distribution of the facies present in the mesh. The method comprises a step of history matching in which at least one of the adjustment parameters is the diagenetic state of the identified facies.

Abstract: An information processing apparatus includes: a detection unit that detects, from slice data of each page of slice data of plural pages obtained by slicing 3D data using plural respective planes, expected trouble that may occur when 3D modeling post-processing is performed on a recording medium on which a slice image has been formed based on the slice data of the page; and a warning unit that warns a user about the detection of the expected trouble.

Abstract: We disclose transconductor-capacitor classical dynamical systems that emulate quantum dynamical systems and quantum-inspired systems by composing them with 1) a real capacitor, whose value exactly emulates the value of the quantum constant ? termed a Planck capacitor; 2) a ‘quantum admittance’ element, which has no classical equivalent, but which can be emulated by approximately 18 transistors of a coupled transconductor system; 3) an emulated ‘quantum transadmittance element’ that can couple emulated quantum admittances to each other; and 4) an emulated ‘quantum transadmittance mixer element’ that can couple quantum admittances to each other under the control of an input. These four parts can be composed together to create arbitrary discrete-state, traveling-wave, spectral, or other quantum systems.

Abstract: A system for enabling an augmented reality application includes in a mobile device of a user, displaying a real-world object and allowing the user to interact with the real-world object by drawing a virtual outline of the object and build up the current configuration or its virtual twin. A computer processor retrieves a list of possible component objects of the real-world object. The user interacts with a visual depiction of the scene and move candidate component objects to the virtual outline of the real-world object. The configuration of the real-world object is saved allowing the AR application to retrieve the verified configuration and produce augmented overlays overtop the visual depiction of the real-world object. The configuration is verified by the user using spatial relationships of the component objects associated with the real-world object. The verified object configuration may be tracked in the AR application without needing a recognition procedure.

Abstract: The present disclosure relates to a computer-implemented method for converting between a SystemVerilog user-defined net (“UDN”) and an IEEE supply net is provided. The method may include providing a value conversion table (“VCT”) definition associated with an electronic circuit design. The method may also include mapping, using at least one processor during a simulation, between a SystemVerilog UDN field and a IEEE supply net field. The method may further include converting at least one value between the SystemVerilog UDN field and the IEEE supply net field based upon, at least in part, the VCT definition.

Abstract: A method can include receiving well plan information that includes a reservoir target associated with a reservoir of a subterranean environment; based at least in part on characteristics of the subterranean environment, determining well trajectory metrics that comprise a geometrical metric; determining a weighted metric based at least in part on weighting of the well trajectory metrics; and, based at least in part on an assessment of the weighted metric, outputting directional drilling information for a well trajectory to the reservoir target.