Title: Application of Formal Optimization Techniques in Thermal/Structural Design of a Heat-Pipe-Cooled Panel for a Hypersonic Vehicle