半无限规划和半无限互补问题的基本理论研究