A method for operating a control unit, the control unit including a software-controlled main processing unit, a strictly hardware-based model calculation unit for calculating an algorithm, for carrying out a Bayesian regression method, based on configuration data, and a memory unit, a model memory area being defined in the memory unit to which a configuration register block for providing the configuration data in the model calculation unit is assigned, a calculation start-configuration register being assigned the highest address in the configuration register block into which configuration data are written, the writing into of which starts the calculation in the model calculation unit, the configuration data being written in a memory area of the memory unit from the model memory area into the configuration register block with an incremental copying process, the addresses being copied in the incremental copying process in ascending order.

A method for operating a control unit, the control unit including a software-controlled main processing unit, a strictly hardware-based model calculation unit for calculating an algorithm, for carrying out a Bayesian regression method, based on configuration data, and a memory unit, a model memory area being defined in the memory unit to which a configuration register block for providing the configuration data in the model calculation unit is assigned, a calculation start-configuration register being assigned the highest address in the configuration register block into which configuration data are written, the writing into of which starts the calculation in the model calculation unit, the configuration data being written in a memory area of the memory unit from the model memory area into the configuration register block with an incremental copying process, the addresses being copied in the incremental copying process in ascending order.

Method for estimating uncertainty in a physical property model generated by inverting measured geophysical data, for example, a resistivity model inferred from electromagnetic field data. The method involves as few as one data inversion coupled with a number of forward simulation. Alternative solutions (models) are generated by probing a perturbation space defined from a reduced model space, resulting from a principal component decomposition of the inverted model, and selecting some of the larger components. Statistical analysis techniques may be applied (to those alternative solutions remaining after thresholding) to generate quantitative uncertainty estimates applicable to the inverted model.

Systems and methods for data-driven recommendations during infrastructure project design. Input data, which may comprise technical data and stakeholder data, is passed to a design module. Based on that data, the design module recommends a design for the infrastructure project and recommends components to be used in the design. The design is then passed to a fleet selection module for identifying logistical needs of the design; to a cost estimation module for predicting the cost of the design; to a deterioration-forecaster module for predicting the rate of deterioration of the design components; and a scheduling module for scheduling construction tasks while accounting for logistical needs. The user is then presented with a project design and that design's logistical requirements, projected costs, likely maintenance requirements, and scheduling needs. The user may modify the design and the system may recommend additional modifications.

A search device updates positions and momentums of a plurality of virtual particles, for each unit time from an initial time to an end time. The search device, for each unit time, calculates, for each of the particles, a position at a target time of a corresponding particle, calculates, for each of a plurality of nodes, a first accumulative value by cumulatively adding positions at the target time of two or more particles corresponding to outgoing two or more directed edges, calculates, for each of the nodes, a second accumulative value by cumulatively adding positions at the target time of two or more particles corresponding to incoming two or more directed edges, and calculates, for each of the particles, a momentum at the target time of a corresponding particle based on the first accumulative value and the second accumulative value.

In some aspects, a flow model represents a flow path for well system fluid in a subterranean region. A first system of equations from a finite element (FE) discretization of a flow model is accessed by a computer system. A second system of equations that imposes a constraint on errors between an exact solution and an FE solution to the flow model is accessed by the computer system. The FE solution includes nodes representing locations along the flow path for well system fluid in the subterranean region. Locations of the nodes can be computed by operations of the computer system in an iterative manner by computing locations of new nodes based on locations of existing nodes and refining the locations of the new nodes and the locations of the existing nodes based on the first and second systems of equations.

Model metadata for each of a plurality of mathematical models is stored. Data describing two sets of models is received. Each of the sets identifies one or more models of the plurality of mathematical models. One of the sets comprises a transition-from set and one of the sets comprises a transition-to set. Data describing a launch date for commencing a transition from executing the model(s) in the transition-from set to executing the model(s) in the transition-to set is received. Data describing a transition period of time for the transition is received. The models in the transition-from set and in the transition-to set are executed during the transition period of time. An output of the execution of the model(s) in the transition-from set is combined with an output of the execution of the model(s) in the transition-to set. The output is stored in a database.

A system and method is provided for verifying an access-control policy against a particular constraint for a multi-step operation. In disclosed embodiments, the method includes expressing the access-control policy as a first quantifier-free form (QFF) constraint and identifying the particular constraint as a second QFF constraint. The method also includes identifying an operation vector and providing copies of the operation vector associated with steps in the multi-step operation. The method also includes determining a third QFF constraint using the first QFF constraint, the second QFF constraint, and the copies of the operation vector. The method also includes solving the third QFF constraint to determine a solution and outputting a result of the solving.

A system and method is provided for verifying an access-control policy against a particular constraint for a multi-step operation. In disclosed embodiments, the method includes expressing the access-control policy as a first quantifier-free form (QFF) constraint and identifying the particular constraint as a second QFF constraint. The method also includes identifying an operation vector and providing copies of the operation vector associated with steps in the multi-step operation. The method also includes determining a third QFF constraint using the first QFF constraint, the second QFF constraint, and the copies of the operation vector. The method also includes solving the third QFF constraint to determine a solution and outputting a result of the solving.

A set of geological exploration methods of using the non-section methods and rotary networks formed by triangulated irregulars. It aims to directly construct high-precision three-dimensional models, plans and sections for solving the drawbacks of existing geological exploration methods, such as the dispersion of drill holes, the faults tracking, the controlling of structures, minelayers/stratum/ore bodies, the bending correction of drill holes, and the geological map-making methods.