Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

2 results about "Real variable" patented technology

Definition of real variable. 1 : a mathematical variable whose values are real. 2 : free variable.

Calculation program, calculation method, and information processing device

The present invention provides a computation program, a computation method, and an information processing device that can improve the accuracy of solving combinatorial optimization problems. [Solution] The computer is instructed to perform a process in which, in a mixed integer programming problem in which real and binary variables are to be optimized, the real variables are not continuously relaxed while the binary variables are continuously relaxed, and a loss term is added to the cost function obtained by continuously relaxing the binary variables, according to the degree of continuity and discreteness of the decision variables obtained by continuously relaxing the binary variables, and the loss term is changed as the search process progresses in which a solution is searched using the cost function.
Owner:FUJITSU LTD

A method for fixing integer ambiguity based on complete integer least square estimation

The present application belongs to the technical field of carrier phase measurement based on global navigation satellite system, and particularly relates to a method for fixing integer ambiguity based on complete integer least square estimation. The method comprises the following steps: a transformation matrix is constructed according to the nature of real parameters, and the real parameters are transformed into parameters with integer part and decimal part; complete integer least square estimation is performed on all the integer part parameters obtained by transformation; and the real estimation parameters and the integer estimation parameters are restored according to the estimation results. The present application unifies the two types of real variable and integer variable through a transformation matrix, and simultaneously estimates the real parameters and the integer parameters in the mixed integer least square model. Compared with the LAMBDA algorithm, the present application has smaller inversion error, and further improves the convergence time and positioning accuracy of satellite navigation and positioning. The idea of transforming real parameters into integer parameters and solving in the integer domain can also be used in other numerical calculation algorithms and related applications.
Owner:FUDAN UNIVERSITY