void WriteSatPosFile(FILE *SatPosFile,int prn,XYZCoor *SVPos);
void GetSVPos(SVText *Text,double t,double *X,double *Y,double *Z); //應(yīng)用衛(wèi)星導(dǎo)航數(shù)據(jù)計算衛(wèi)星地心坐標(biāo)；

double Get_atan(double z,,double y);
int read_RinexEPP(FILE *RinexEPP_file,SVText *snv,int *year,int *month,int *day,int *hour,int *miniute,double *second,double *gpstime,int *wn);
//讀Rinex星歷文件；
void main()
{
  char RinexEPPName[20];
  FILE *RinexEPP_file,*SatPosFile;
  double SVPosX,SVPosY,svPosZ,second.gpstime;
  SVText snv;
  char temp[200];
  int prn,i,wn,year,month,day,hour,minute;
  printf("Please Input Rinex Nav File Name:");
  scanf("%s",RinexEPPName);
  if(RinexEPP_file=fopen(RinexEPPName,"rt")==NULL)
  {
    fprintf(stderr,"Cannot open input file.\n");
    exit(1);
   }
   if((SatPosFile=fopen("satpos.out","w"))==NULL)
    {
     fprintf(stderr,"Cannot open output file.\n"); 
     exit(1);
    }
  rewind(RinexEPP_file);
  for(i=0;i<3;i++)
   fgets(temp,200,RinexEPP_file);
do
  if(read RinexEPP(RinexEPP_file,&snv,&year,&month,&day,&hour,&iniute,&econd,&gpstime,&wn)) break;
  GetSvPos(&snv,gpstime,&SVPosX,&SVPosY,&SVPosZ);
  fprintf(SatPosFile,"%3i%[9.1]c%[9.1]e%[9.1]c\n",snv,prn,SVPosX,SVPosY,SVPosZ); 
while(1);
 fclose(RinexEPP_file);
 fclose(SatPosFile);

int read_RinexEPP(FILE *RinexEPP_file,SVText *snv,int *year,int *month,int *day,int *hour,int *miniute,double *second,double *gpstime,int *wn)
{
int