The invention relates generally to modulation techniques in GPS signal transmission and in particular to the optimization of higher order constant envelope and non-constant envelope modulations.
Many types of modulation generate constant envelope signals. For example, phase shift keyed/phase modulated (PSK/PM), interplex modulation, and majority-vote modulation, among others. The power efficiency of these techniques is dependent on the relative power of the component signals. Finding a signal constellation that satisfies a set of power level constraints, phase difference constraints, and desired signal amplitudes is inherently a multidimensional nonconvex optimization problem, requiring optimization techniques to select the best solution that maximizes the power efficiency of signal transmission.
The original Phase Optimized Constant Envelope Transmission (POCET) optimization methodology optimizes the combining of several signals by using the penalty method for constrained optimization to compute phase tables, using a brute force approach with multiple parameters that had to be set empirically. The POCET methodology is described in several patents to Cahn and Dafesh: U.S. Pat. No. 8,774,315, U.S. Pat. No. 9,197,282 and U.S. Pat. No. 9,413,419. These patents describe an apparatus and method for computing optimal phase rotations by solving an optimization problem subject to intra-signal desired power constraints. A penalty function is used to solve the optimization problem.
However, the results of a POCET optimization are not unique in that multiple solutions are often permitted. Among these permitted solutions, one may be better suited than others given additional constraints, such as requirement of efficient hardware implementation. In addition, the penalty method has a high error threshold and does not determine the optimal solution consistently.
Thus, a need exists for improvements to the POCET methodology that have a substantially smaller error threshold, that address potential ill-conditioning associated with nonconvex optimization, and are better suited for handling higher order modulation, such as that which occurs when multiplexing any number of codes, for example, three, four and five codes, in a Global Positioning System (GPS).
In this invention, two alternative approaches are proposed to solving the problem: the Barrier Approximation and the Augmented Lagrangian Method. While both techniques can solve the problem with a substantially smaller error threshold, the Augmented Lagrangian Method further addresses potential ill-conditioning associated with nonconvex optimization. A formula for the lower bound on the constellation's amplitude is devised for any given arbitrary power profile. Lastly, additional results for multiplexing three, four, and five codes in GPS are presented. This invention also explores advantages and disadvantages for different solving strategies used. A discussion on how to generalize these techniques to non-POCET signal constellations is also included.
In an embodiment, the invention encompasses an apparatus for generating a composite signal from a plurality of component signals including a synthesizer configured to generate a carrier signal; a plurality of code generators for generating the plurality of component signals; an optimized lookup table generated through an optimization process that maximizes the power efficiency, subject to a plurality of intra-signal constraints for the component signal; and a modulator configured to modulate the carrier signal utilizing a finite set of composite signal amplitudes and phases from the optimized lookup table to combine three or more component signals from the plurality of code generators to generate the composite signal wherein said optimization process includes optimization of an objective function of the average power of the composite signal.
In another embodiment, the invention encompassea a method for generating a composite signal from a set of component signals including the steps of amplitude modulating and phase modulating a carrier signal with a modulator that uses a finite set of composite signal amplitudes and phases to combine three or more component signals; and determining with computation circuitry, the finite set of composite signal amplitudes and phases through an optimization process that maximizes power efficiency of the composite signal, subject to a plurality of intra-signal constraints for the component signals, wherein said optimization process includes optimization of an objective function of the average power of the composite signal.
In any of the above embodiments, the optimization process is further subject to any combination of the following: power constraints between component signals, phase constraints between component signals, amplitude requirements for the complex signal constellation, and desired power efficiency.
In any of the above embodiments, the composite signal can either be constant envelope, rectangular, or non-constant envelope.
In any of the above embodiments, the composite signal is an optimal solution to a nonconvex optimization problem.
In any of the above embodiments, the composite signal can be arbitrarily rotated by constant phase angle and can be arbitrarily scaled by a constant scalar to comprise the entire set of all optimal solutions.
In any of the above embodiments, the optimization procedure takes on the formulation of the Barrier Approximation Method or the Augmented Lagrangian Method.
Features of example implementations of the invention will become apparent from the description, the claims, and the accompanying drawings in which:
The POCET Optimization Problem is to compute a set of complex constellation points for any given power profile and phase constraints on a set of GPS navigation codes. The phases must be chosen so that the entire amplitude of a transmitted signal remains constant, as in MPSK modulation. However, because of power requirements of each individual code, the phases of each code are not equally distant from each other as one would normally expect in MPSK. Instead they are skewed in accordance to the optimized phase table.
The POCET Optimization Problem is restated as follows:
Minimize A(θ) subject to the conditions:
Pd
n=|corrn(θ)|2
Im{e
jΔø
corrn(θ)corri*(θ)}=0,
Re{e
jΔø
corrn(θ)corri*(θ)}<0, (1)
Where A(θ) is the constant envelope of the phase-modulated carrier and correlation and power efficiency are defined as follows:
Here, corrn(θ) is the correlation function, or the average product of the complex constellation point and the corresponding chip, while η is the power efficiency, or the ratio between the total correlation power and the signal power.
In the above notation, N is the number of codes being combined (e.g. 3), θ is a vector containing all of the phase-optimized angles, Pdn is the desired power level for code n (e.g. −3 dB), bn(k) is the binary chip value (0 or 1) of code n at index k, and Δϕnl is the phase difference between codes n and l (e.g. 90°). Although the amplitude function to minimize A(θ) is not given, it can be implicitly derived from the definition of the correlation function.
The POCET Optimization Problem is a nonconvex optimization problem. It is originally presented as a constrained nonlinear optimization problem. But from a practical perspective, the distinction should designate whether the problem is convex or nonconvex. A convex optimization problem has a unique global minimum (and therefore no local minimum), whereas a nonconvex optimization problem is one which has multiple local minimum in addition to a global minimum. The main issue with nonconvex optimization problems is that after running an optimization routine, there is no way of knowing if the solution is indeed the global minimum being searched, or if it is just a local minimum in a particular region of the domain.
There are several techniques that can be used to solve problems that are constrained. One class of methods involves converting constrained problems into unconstrained problems. A variation of the penalty method is used to combine equality constraints and the original objective function to produce a new unconstrained objective function. The problem is still inherently nonconvex and a brute force approach is still needed to determine the two ideal penalty factors. This methodology is inefficient in a sense that running the search is exhaustive and requires throwing away any solution that violates the inequality constraints. It is also difficult to find a solution that is within a very small error threshold, for example, less than 10−5, depending on how the penalty factors are chosen. A smaller error threshold (such as 10−15) increases the likelihood that the solution found is indeed optimal according to the given constraints.
An apparatus 100 according to the present invention is shown in
A system that performs the optimization routine is shown in
The Barrier Approximation
The first alternative examined is the Barrier Method which works in a similar fashion to the penalty method by combining both equality and inequality constraints into a new objective function. A slight modification is made in temporarily ignoring the original objective function. This effectively reduces to solving the feasibility problem in search for the set of solutions that satisfy all constraints. This will require collecting a large number of feasible solutions, followed by selecting the best solution from the set. Solving the problem this way also allows one to observe some of the behavior that occurs when the algorithm runs into local minimums. The same situation arises if the original objective function is included requiring multiple searches in the absence of convexity. Here is the Barrier approximation:
In the above equation, corrdn is simply the square root of the desired power level of code n and ϵ is the Barrier parameter to be determined such that 0<ϵ<<1. Typically, ϵ is taken to be very small which gives a better approximation. However, making ϵ to be too small will make the problem ill-conditioned to solve. A fair choice is to set ϵ=10−4, but other values may be used.
In this optimization, the program is run repeatedly, for example, 100 times, until solutions are found. Then among those solutions that are feasible, the solution that gives the smallest value for A(θ) and the best power efficiency is picked. In the case of combining four codes, it is shown that A(θ)=1.8469 and η=0.8547, which is reasonably close to the original results in [1]. One difference is that this solution has a smaller error threshold around 10−10 compared to an error threshold of about 10−5 when using the penalty method. When running the search, there is only one fixed parameter to determine empirically.
The Augmented Lagrangian Method
The second alternative approach explored in the POCET Optimization Problem is a variation of Augmented Lagrangian Method introduced in [3]. Unlike the other two techniques, this method tries to make the new unconstrained problem look convex. It is shown in [2] that for any primal problem (even if it is nonconvex), the associated dual problem is always convex.
minimize f0(θ) subject to fi(θ)≤0, hi(θ)=0. (5)
The Lagrangian Function is defined as:
L(θ;λ;μ)=f0(θ)+Σi=1mλifi(θ)+Σi=1pμihi(θ) (6)
The convex objective function for the associated dual problem is obtained by taking the infimum of the Lagrangian function over θ. This is difficult to do analytically, so the Augmented Lagrangian Method sidesteps this by inserting slack variables and penalty terms to the equation.
Parameter ϵ is chosen in the same fashion as the Barrier Method. Here, λi and μi are the Lagrange Multipliers and si are the slack variables that are updated at each iteration as follows:
In this optimization, the algorithm iteratively updates the Lagrange Multipliers and the slack variables at each stage until a solution is found satisfying a given error threshold. If the program reaches 100 iterations, the algorithm is reset at a new initial starting point to prevent an endless search in the current direction. If the parameter ϵ and the error threshold are chosen appropriately, then the program effectively returns the same answer. In the case of four code combining, the solution computed by the Augmented Lagrangian Method is essentially the same as the solutions computed by the other two methods with A(θ)=1.8469 and η=0.8547. The only significant difference is that the solution of the Augmented Lagrangian Method is more accurate in a sense that the error threshold is substantially smaller compared to the best error thresholds of the other two.
The general POCET optimization described above admits multiple “optimal” answers, which means that multiple solutions exist to the same problem. For example, multiple solutions can arrive as follows: for any signal constellation formed from an optimized phase table, the constellation can be rotated by any phase φ and can also be scaled by any a. Rotating the constellation does not violate phase constraints from the optimization because the phase difference between navigation codes is relative. For example, the phase difference between C/A code and P(Y) code is 90°. Thus C/A code can be set at 0° and P(Y) at 90°. However, one could also set C/A at 45° and P(Y) at 135° and the optimization procedure will produce a phase table that has been rotated by 45°. Scaling the signal constellation also does not violate power constraints from the optimization because the power difference between navigation codes is relative. For example, the power difference between C/A code and P(Y) code is 3 dB. Normally, one would set C/A code at 0 dB and P(Y) code at −3 dB. However, one could also set C/A code at 3 dB and P(Y) code at 0 dB and the optimization procedure will produce a phase table that has been scaled by a factor of 2 (corresponding to a 3 dB gain). The solution originally presented in the prior art, was chosen such that the C/A code is forced to 0 dB and that the phases are symmetric in the complex plane.
Lower Bound Derivation
Since many optimization problems in engineering are inherently nonconvex, it is sometimes useful to have some benchmark to determine if the solution is indeed a global minimum as opposed to a local minimum. While this cannot be necessarily known, often times a lower bound can provide a qualitative comparison. Also such lower bounds are useful to examine how well the optimization routine performed. In the POCET Optimization Problem using the Augmented Lagrangian Method, a lower bound on A(θ) can be computed as follows: First, let η be the best power efficiency computed using Aideal and θideal returned from any optimization program.
Next, assume that power efficiency can be no better than 100% so that η≤1. Evaluating at the critical value of η=1,
Rearranging this equation yields
A
ideal=√{square root over (Σn=1N|corrn(θideal)|2)} (13)
However, at the point of optimization, the total correlation power is the same as the total desired power. Replacing this term eliminates θideal, so that a lower bound can be written as
A
LB=√{square root over (Σn=1NPdn)} (14)
As an example, in the case of four codes combining, the program returns Aopt=1.8469 and the corresponding lower bound is ALB=1.7074, which is reasonably close to the computer value. Of course, one would expect different numbers if different power profiles are used. A graph is provided comparing lower bounds to the optimal values returned by the program for three scenarios. Corresponding constellation amplitude for 3, 4, and 5 code POCET combinations, and a comparison to the predicted lower bound, is shown in
Non-POCET Solutions and Generalization
The optimization procedure can be generalized to obtain non-POCET solutions in which the amplitude is not constant. For example, one could drop the constant amplitude requirement and instead impose an arbitrary amplitude requirement or a desired power efficiency level to obtain a non-constant envelope signal constellation. Each symbol in the new signal constellation will have both unique amplitude and phase values.
Non-POCET Optimization can be generalized by redefining the correlation function and the power efficiency equation, and replacing A with the set {rk}.
The objective of maximizing power efficiency is the same and is again the equivalent of minimizing the denominator term:
subject to the following:
Pd
n=|corrn(r,θ)2| (18)
Im{e
jΔø
corrn(r,θ)corri*(r,θ)}=0,
Re{e
jΔø
corrn(r,θ)corri*(r,θ)}<0,
In a further embodiment, a simplified version of the penalty method of optimization using only one parameter is give by:
Similarly to
An intermediate problem can be achieved by enforcing an additional equality constraint such as:
max(rk)−min(rk)=Δr (20)
Omitting the Δr constraint leads to the Non-POCET solution and setting Δr=0 reverts back to the POCET solution. If A, is set to some arbitrarily small number, in principle this will result in better power efficiency (although not 100%) as compared to the POCET solution. For example,
In further embodiments, for any POCET, Non-POCET or mediating solution, the constellation may be arbitrarily scaled by a scaling factor a. In addition, the entire constellation may be rotated by some angle θa. In either of these cases, power profiles between codes and phase constraints are still maintained so effectively, each solution has an entire family of solutions.
The apparatus of
The steps or operations described herein are just for example. There may be many variations to these steps or operations without departing from the spirit of the invention. For instance, the steps may be performed in a differing order, or steps may be added, deleted, or modified.
Although example implementations of the invention have been depicted and described in detail herein, it will be apparent to those skilled in the relevant art that various modifications, additions, substitutions, and the like can be made without departing from the spirit of the invention and these are therefore considered to be within the scope of the invention as defined in the following claims.