Abstract: A method, computer program product, and a computer system are disclosed for providing a trace abstraction framework to compute trace-based functional coverage models that in one or more embodiments receive a set of traces; rewrite a trace of the set of traces into a second trace; abstract the second trace; rewrite the abstracted second trace; and generate an abstract trace representative the trace of the set of traces.

Abstract: It is provided an encryption hybrid model SI simulation method based on an ADS and an HSPICE. The method includes: extracting step response data of a TX end chip encryption model by using HSPICE transient simulation; externally generating a random code signal; and taking the extracted step response data and the random code signal as input sources of ADS channel simulation, to realize active simulation to the encryption hybrid model.

Abstract: A contact problem for characterizing physical contact between two or more bodies is solved by receiving a level-set description of a geometry in a Cartesian grid comprising a plurality of cells. The geometry includes a boundary. Thereafter, the boundary is triangularized for each cell intersecting the boundary to result in a plurality of triangles. A surfacic Gauss integration rule is generated on each triangle using an interpolation of volumetric coordinates. Subsequently, a target point is computed for each Gauss point that corresponds to a projection of such Gauss point on a target surface. The computed target points are then used to integrate contact on the triangles. The problem can then be solved to compute a displacement field respecting contact conditions. Related apparatus, systems, techniques and articles are also described.

Abstract: A circuit hardware emulation module is configured to identify oscillating subgraphs of an emulated graph, or to identify state-holding subgraphs of an emulated graph. The emulation module identifies one or more loops within an emulated circuit; generates an acyclic emulation of at least a portion of the emulated circuit, wherein the acyclic emulation is characterized by one or more loop breakers; generates a loop detector emulation of a hardware-based loop detector circuit based at least in part on a quantity of loop breakers n characterizing the acyclic emulation, wherein the loop detector emulation comprises at least one of an oscillation detector or a state-holding detector; and executes the loop detector emulation for a plurality of input values for the emulated circuit to generate an output indicating at least one of an oscillation status or a state-holding status of the emulated circuit.

Abstract: Provided are systems, methods, and media for handling simulation of logic under test. An example method includes receiving a simulation model for the logic under test. Generating second logic that is configured to create a set of output logic signals based on an existing set of input logic signals of the logic under test. Rebuilding the simulation model based, at least in part, on the second logic. Examining a netlist of the rebuilt simulation model to identify the set of output logic signals created by the second logic. Generating during the execution of the simulation, a bus trace that is configured to capture at least the identified set of output logic signals.

Abstract: A system is controlled using particle filter executed to estimate weights of a set of particles based on fitting of the particles into a measurement model, wherein a particle includes a motion model of the system having an uncertainty modeled as a Gaussian process over possible motion models of the system and a state of the system determined with the uncertainty of the motion model of the particle, wherein a distribution of the Gaussian process of the motion model of one particle is different from a distribution of the Gaussian process of the motion model of another particle. Each execution of the particle filter updates the state of the particle according to a control input to the system and the motion model of the particle with the uncertainty and determines particle weights by fitting the state of the particle in the measurement model subject to measurement noise.

Abstract: An example operation may include one or more of acquiring real-time parameter data from a pipeline, selecting relevant real-time parameters from the real-time parameter data, executing a plurality of equations using the selected real-time parameters as an in input, generating a model configured to simulate the pipeline in real-time based on an output of the plurality of the equations, and predicting at least one location of a column separation in the pipeline based on the model.

Abstract: A method for performing a formation-related operation based on corrected vertical seismic profile (VSP) data of an earth formation includes performing a VSP survey and applying a normal moveout (NMO) correction equation to the survey data that is a function of source offset to wellhead. The method also includes solving the NMO correction equation using a simulated annealing algorithm having an object function that is a coherence coefficient of semblance analysis of an NMO corrected reflection event within a time window to provide NMO corrected data. The method further includes performing the formation-related operation at at least one of a location, a depth and a depth interval based on the VSP NMO corrected data.

Abstract: A transformer emulator includes a DC bus, a first power electronics converter circuit having a DC port coupled to the DC bus, a second power electronics converter circuit having a DC port coupled to the DC bus, and a third power electronics converter circuit having DC port coupled to the DC bus. The transformer emulator further includes a control circuit configured to control the first, second and third power electronics converter circuits to emulate a transformer having a first port corresponding to an AC port of the first power electronics converter circuit and a second port corresponding to an AC port of the second power electronics converter circuit. The control circuit is configured to control the first and second power electronics converter circuits to emulate a voltage transformation of the transformer and to control the third power electronics converter circuit to emulate a loss of the transformer.

Abstract: A system and method for risk prediction and corrective action for a contact type activity is provided. The method includes generating a personalized full body musculoskeletal model to depict the knee and ankle joint behavior of a subject during the contact type activity. Various contact type activities are simulated using the personalized full body musculoskeletal model. Injury biomarkers and their parameters based on the contact type activities are identified, parameters are indicative of risk of injury to participating muscle groups said activity. Based on the injury biomarkers, optimal muscle co-activation parameters are analyzed by a neuro-muscular controller, to adapt the participating muscle groups for providing the correction action against the predicted risk of injury. Said optimal muscle co-activation parameters are indicative of muscle synergy during the contact type activity.

Abstract: The present invention provides a method for determining consumption of appliances within a surveyed household in which there are no sensors for measuring consumption of specific appliances.

Abstract: Systems, methods and computer-readable media are provided for determining the modality for transferring, lifting, or repositioning (TLR) a human patient in a health care setting contexts. In some cases, a model-based recursive partitioning and Bradley-Terry regression is applied, which may be optionally parallelized so as to determine statistical associations with various factors, such as caregiver attributes, care venue, and patient attributes. One embodiment determines a Bradley-Terry regression model from the recursive partitioning which may be incorporated into a TLR selection decision-support tool or otherwise utilized to identify the optimal modality.

Abstract: Methods, systems, and apparatus, including medium-encoded computer program products, for computer aided design of physical structures using data format conversion (e.g., of output(s) from generative design processes) and user interface techniques that facilitate the production of 3D models of physical structures that are readily usable with 2.5-axis subtractive manufacturing, include: modifying smooth curves, which have been fit to contours representing discrete height layers of an object, to facilitate the 2.5-axis subtractive manufacturing; preparing an editable model of the object using a parametric feature history, which includes a sketch feature, to combine extruded versions of the smooth curves to form a 3D model of the object in a boundary representation format; reshaping a subset of the smooth curves responsive to user input with respect to the sketch feature; and replaying the parametric feature history to reconstruct the 3D model of the object, as changed by the user input.

Abstract: A method of simulating a quadcopter includes testing a plurality of quadcopter components at a plurality of operating conditions to generate one or more lookup tables for characteristics of the quadcopter components. The lookup tables are stored for quadcopter component simulation in a quadcopter simulator. When a simulated input value for a simulated quadcopter component is received in the simulator lookup table, entries corresponding to the simulated input value are read from the lookup table and simulated quadcopter component output is generated. Simulated quadcopter output to a flight controller is generated according to the simulated quadcopter component output from one or more entries of one or more lookup tables.

Abstract: A virtualization system implemented within a cloud server enables the simulation of robot structure and behavior in a virtual environment. The simulated robots are controlled by clients remote from the cloud server, enabling human operators or autonomous robot control programs running on the clients to control the movement and behavior of the simulated robots within the virtual environment. Data describing interactions between robots, the virtual environment, and objects can be recorded for use in future robot design. The virtualization system can include robot templates, enabling users to quickly select and customize a robot to be simulated, and further enabling users to update and re-customize the robot in real-time during the simulation. The virtualization system can re-simulate a portion of the robot simulation when an intervention by a human operator is detected, positioning robots, people, and objects within the virtual environment based on the detected intervention.

Abstract: The present invention discloses a method for designing a refiner plate with three-stage radial curved bars, comprising following steps of: designing a circle arc for 1st stage radial curved bars; designing a circle arc for the 2nd stage radial curved bars; designing a circle arc for 3rd stage radial curved bars; and designing a center angle for the refiner plate according to the size of the refiner plate and the manufacture requirements, to complete the design of the refiner plate. In the present invention, by the establishment of equations for the circle arcs and angles of inclination of the curved bars, it is ensured that the width of the bars will not change in the radial direction, and both the flexibility in designing a curved refiner plate and the uniformity of crushing are improved. This design method provides a theory basis and also instructions for designing multi-stage radial curved bars.

Abstract: Systems and methods include a method providing automated production optimization for smart well completions using real-time nodal analysis including real-time modeling. Real-time well rates and flowing bottom-hole pressure data are collected by a multilateral well optimizing system at various choke settings for multiple flow conditions for each lateral of a multilateral well during regular field optimization procedures. Surface and downhole pressures and production metrics for each of the laterals are recorded for one lateral at a time. A multilateral well production model is calibrated using the surface and downhole pressures and the production metrics for each of the laterals. Flowing parameters of individual laterals are estimated using the multilateral well production model. An optimum pressure drop across each downhole valve is determined using the multilateral well production model.

Abstract: A method of planning fiber paths for a composite ply of a composite layup includes determining a first unit vector field. The first unit vector field represents a first approximation of target directions to be followed by tow centerlines of the composite ply. The first unit vector field is determined based on a specified rosette direction, a surface approximation of a nonplanar contoured surface of an object to be formed, and a fiber angle distribution. The method also includes determining, based on specified angle deviation bounds and the first unit vector field, a second unit vector field. The second unit vector field represents a second approximation of the target directions. The second approximation has reduced in-plane curvature relative to the first approximation. The method further includes planning a fiber placement head path for forming the composite ply of the composite layup based on the second unit vector field.

Abstract: A software emulation system for a gas delivery system of a substrate processing system includes an input/output bus and an emulator bus. An input/output bus adapter includes a switch configured to route data packets from a system controller for the substrate processing system to one of the input/output bus and the emulator bus. A gas delivery system emulator in communication with the emulator bus is configured to receive the data packets from the input/output bus adapter via the emulator bus and perform software-based emulation of a plurality of hardware components of the gas delivery system that are interconnected. The plurality of hardware components are modelled using one or more software models and include a gas source and at least one of a valve and a mass flow controller.

Abstract: A system for performing an interventional procedure comprises an interventional instrument and a control system.