48 results about "Free model" patented technology

Systems, methods and apparatus are provided through which, in some embodiments, a formal specification is pattern-matched from scenarios, the formal specification is analyzed, and flaws in the formal specification are corrected. The systems, methods and apparatus may include pattern-matching an equivalent formal model from an informal specification. Such a model can be analyzed for contradictions, conflicts, use of resources before the resources are available, competition for resources, and so forth. From such a formal model, an implementation can be automatically generated in a variety of notations. The approach can improve the resulting implementation, which, in some embodiments, is provably equivalent to the procedures described at the outset, which in turn can improve confidence that the system reflects the requirements, and in turn reduces system development time and reduces the amount of testing required of a new system. Moreover, in some embodiments, two or more implementations can be “reversed” to appropriate formal models, the models can be combined, and the resulting combination checked for conflicts. Then, the combined, error-free model can be used to generate a new (single) implementation that combines the functionality of the original separate implementations, and may be more likely to be correct.

A method for uncertainty estimation for nonlinear inverse problems includes obtaining an inverse model of spatial distribution of a physical property of subsurface formations. A set of possible models of spatial distribution is obtained based on the measurements. A set of model parameters is obtained. The number of model parameters is reduced by covariance free compression transform. Upper and lower limits of a value of the physical property are mapped to orthogonal space. A model polytope including a geometric region of feasible models is defined. At least one of random and geometric sampling of the model polytope is performed in a reduced-dimensional space to generate an equi-feasible ensemble of models. The reduced-dimensional space includes an approximated hypercube. Probable model samples are evaluated based on data misfits from among an equi-feasible model ensemble determined by forward numerical simulation. Final uncertainties are determined from the equivalent model ensemble and the final uncertainties are displayed in at least one map.