using DevExpress.XtraMap; using DevExpress.XtraTreeList.Data; using DxHelper; using ExtensionsDev; using System; using System.CodeDom; using System.Collections.Generic; using System.ComponentModel; using System.Data; using System.Data.Entity; using System.Data.Entity.Migrations; using System.Drawing; using System.Linq; using System.Text; using System.Threading.Tasks; using System.Windows.Documents; using System.Windows.Forms; using XdCxRhDW.Api; using XdCxRhDW.Entity; using XdCxRhDW.Repostory; namespace XdCxRhDW.App.EditForms { public partial class X3DfoParamEditor : DevExpress.XtraEditors.XtraUserControl { private PosRes info; private CgRes cg; private MapControl mapControl1; private List listSat; StationRes station; public X3DfoParamEditor(PosRes info, MapControl mapControl) { InitializeComponent(); this.info = info; this.mapControl1 = mapControl; itemSigTime.Text = $"{itemSigTime.Text}({SysConfig.Config.TimeZoneUTC})"; this.layoutControl1.UseDefault(); sigTime.UseDefault(); this.simpleLabelItem1.Text = $" "; txtsatStation.EditValueChanged += TxtsatStation_EditValueChanged; txtRefLocation.EditValueChanged += TxtRefLocation_EditValueChanged; } private void TxtRefLocation_EditValueChanged(object sender, EventArgs e) { txtRefLocation.CheckLonLat(dxErrorProvider, "参考站"); } private void TxtsatStation_EditValueChanged(object sender, EventArgs e) { txtsatStation.CheckLonLat(dxErrorProvider, "接收站"); } private async void X3DTOParamEditor_Load(object sender, EventArgs e) { using (RHDWContext db = new RHDWContext()) { listSat = await db.SatInfos.ToListAsync(); } using (RHDWPartContext db = RHDWPartContext.GetContext(info.SigTime)) { cg = await db?.CgRes.Where(m => m.ID == info.CgResID).FirstOrDefaultAsync(); station = await db?.StationRes.Where(m => m.ID == info.StationResID).FirstOrDefaultAsync(); } if (cg != null) { this.txtDfo1.Text = $"{cg.Dfo1.Value}"; this.txtDfo2.Text = $"{cg.Dfo2.Value}"; this.txtYbDfo1.Text = $"{cg.YbMainDfo.Value}"; this.txtYbDfo2.Text = $"{cg.YbAdja1Dfo.Value}"; this.txtYbDfo3.Text = $"{cg.YbAdja2Dfo.Value}"; this.sigTime.EditValue = info.SigTime; var mainEph = (cg.MainX, cg.MainY, cg.MainZ, cg.MainVx, cg.MainVy, cg.MainVz); ucEphXYZMain.SetParam($"主星", cg.MainCode, mainEph, Color.Black); var adja1Eph = (cg.Adja1X, cg.Adja1Y, cg.Adja1Z, cg.Adja1Vx, cg.Adja1Vy, cg.Adja1Vz); ucEphXYZAdja1.SetParam($"邻星1", cg.Adja1Code, adja1Eph, Color.Black); var adja2Eph = (cg.Adja2X, cg.Adja2Y, cg.Adja2Z, cg.Adja2Vx, cg.Adja2Vy, cg.Adja2Vz); ucEphXYZAdja2.SetParam($"邻星2", cg.Adja2Code, adja2Eph, Color.Black); this.txtTargetFreq.EditValue = cg.TarFreqUp.HasValue ? cg.TarFreqUp.Value * 1e-6 : 0; this.txtTargetDFreq.EditValue = cg.TarFreqDown.HasValue ? cg.TarFreqDown.Value * 1e-6 : 0; this.txtRefFreq.EditValue = cg.RefFreqUp.HasValue ? cg.RefFreqUp.Value * 1e-6 : 0; this.txtRefDFreq.EditValue = cg.RefFreqDown.HasValue ? cg.RefFreqDown.Value * 1e-6 : 0; this.txtDto1.Text = cg.Dto1?.ToString(); this.txtDto2.Text = cg.Dto2?.ToString(); this.txtYbDto1.Text = cg.YbMainDto?.ToString(); this.txtYbDto2.Text = cg.YbAdja1Dto?.ToString(); this.txtYbDto3.Text = cg.YbAdja2Dto?.ToString(); } if (station != null) { this.txtsatStation.Text = $"{station.SatTxLon},{station.SatTxLat}"; this.txtRefLocation.Text = $"{station.RefLon},{station.RefLat}"; } if (info.PosResType == EnumPosResType.X3NoRef) { txtYbDfo1.Properties.ReadOnly = true; txtYbDfo2.Properties.ReadOnly = true; txtYbDfo3.Properties.ReadOnly = true; txtRefLocation.Properties.ReadOnly = true; this.txtRefLocation.Text = $"{0},{0}"; } } public bool CheckDtoLineParam() { dxErrorProvider.ClearErrors(); if (!txtsatStation.CheckLonLat(dxErrorProvider, "接收站")) { return false; } if (!txtRefLocation.CheckLonLat(dxErrorProvider, "参考站")) { return false; } if (!double.TryParse(txtDto1.Text, out double _)) { dxErrorProvider.SetError(txtDto1, "主邻1时差不能为空"); return false; } if (!double.TryParse(txtDto2.Text, out double _)) { dxErrorProvider.SetError(txtDto2, "主邻2时差不能为空"); return false; } if (!double.TryParse(txtYbDto1.Text, out double _)) { dxErrorProvider.SetError(txtYbDto1, "样本主星时差不能为空"); return false; } if (!double.TryParse(txtYbDto2.Text, out double _)) { dxErrorProvider.SetError(txtYbDto2, "样本邻1星时差不能为空"); return false; } if (!double.TryParse(txtYbDto3.Text, out double _)) { dxErrorProvider.SetError(txtYbDto3, "样本邻2星时差不能为空"); return false; } return true; } public bool CheckDfoParam() { dxErrorProvider.ClearErrors(); return true; } public bool CheckPosParam() { dxErrorProvider.ClearErrors(); return true; } private void btnOk_Click(object sender, EventArgs e) { if (!CheckPosParam()) { return; } try { var MsAnt = txtsatStation.GetLonLat(); var RefGeod = txtRefLocation.GetLonLat(); var sigTime = this.sigTime.DateTime; var DfoSx = Convert.ToDouble(this.txtDfo1.Text); var DfoSx1 = Convert.ToDouble(this.txtDfo2.Text); var YbMainDfo = Convert.ToDouble(this.txtYbDfo1.Text); var YbAdja1Dfo = Convert.ToDouble(this.txtYbDfo2.Text); var YbAdja2Dfo = Convert.ToDouble(this.txtYbDfo3.Text); var tFreq = Convert.ToDouble(this.txtTargetFreq.Text) * 1e6; var tdFreq = Convert.ToDouble(this.txtTargetDFreq.Text) * 1e6; var rFreq = Convert.ToDouble(this.txtRefFreq.Text) * 1e6; var rdFreq = Convert.ToDouble(this.txtRefDFreq.Text) * 1e6; var msEph = ucEphXYZMain.EphParam(); var ns1Eph = ucEphXYZAdja1.EphParam(); var ns2Eph = ucEphXYZAdja2.EphParam(); var StationRes = new StationRes() { SatTxLon = MsAnt[0], SatTxLat = MsAnt[1], RefLon = RefGeod[0], RefLat = RefGeod[1], }; var cgRes = new CgRes() { SigTime = sigTime, Dfo1 = DfoSx, Dfo2 = DfoSx1, YbMainDfo = YbMainDfo, YbAdja1Dfo = YbAdja1Dfo, YbAdja2Dfo = YbAdja2Dfo, TarFreqUp = tFreq, TarFreqDown = tdFreq, RefFreqUp = rFreq, RefFreqDown = rdFreq, MainX = msEph[0], MainY = msEph[1], MainZ = msEph[2], MainVx = msEph[3], MainVy = msEph[4], MainVz = msEph[5], Adja1X = ns1Eph[0], Adja1Y = ns1Eph[1], Adja1Z = ns1Eph[2], Adja1Vx = ns1Eph[3], Adja1Vy = ns1Eph[4], Adja1Vz = ns1Eph[5], Adja2X = ns2Eph[0], Adja2Y = ns2Eph[1], Adja2Z = ns2Eph[2], Adja2Vx = ns2Eph[3], Adja2Vy = ns2Eph[4], Adja2Vz = ns2Eph[5], }; var res = PosApi.X3_PosTwoDfo(cgRes, StationRes); this.simpleLabelItem1.Text = $"{info.PosResType.GetEnumDisplayName()}定位点:[{res[0]:f4},{res[1]:f4}] 镜像点:[{res[3]:f4},{res[4]:f4}]"; } catch (Exception ex) { Serilog.Log.Error(ex, $"{info.PosResType.GetEnumDisplayName()}手动定位失败.PosID={info.ID},SigTime={info.SigTime}"); DxHelper.MsgBoxHelper.ShowWarning($"{info.PosResType.GetEnumDisplayName()}手动定位失败"); } } private async void btnXl_Click(object sender, EventArgs e) { if (this.sigTime.DateTime == DateTime.MinValue) { DxHelper.MsgBoxHelper.ShowWarning("信号时间不能为空!"); return; } var sigTime = this.sigTime.DateTime; try { var xlInfo = await XlRepository.GetLatestAsync(cg.MainCode.Value, sigTime); if (xlInfo == null) { DxHelper.MsgBoxHelper.ShowWarning($"卫星:{cg.MainCode.Value}未找到对应的星历信息,请导入星历"); return; } var xlInfo1 = await XlRepository.GetLatestAsync(cg.Adja1Code.Value, sigTime); if (xlInfo1 == null) { DxHelper.MsgBoxHelper.ShowWarning($"卫星:{cg.Adja1Code.Value}未找到对应的星历信息,请导入星历"); return; } var xlInfo2 = await XlRepository.GetLatestAsync(cg.Adja2Code.Value, sigTime); if (xlInfo2 == null) { DxHelper.MsgBoxHelper.ShowWarning($"卫星:{cg.Adja2Code.Value}未找到对应的星历信息,请导入星历"); return; } var mEph = EphHelper.Calc(xlInfo.TwoLine, sigTime.ToUtc()); var nEph1 = EphHelper.Calc(xlInfo1.TwoLine, sigTime.ToUtc()); var nEph2 = EphHelper.Calc(xlInfo2.TwoLine, sigTime.ToUtc()); var mainEph = (mEph.X, mEph.Y, mEph.Z, mEph.VX, mEph.VY, mEph.VZ); ucEphXYZMain.SetParam($"主星", cg.MainCode, mainEph, Color.Red); var adja1Eph = (nEph1.X, nEph1.Y, nEph1.Z, nEph1.VX, nEph1.VY, nEph1.VZ); ucEphXYZAdja1.SetParam($"邻星1", cg.Adja1Code, adja1Eph, Color.Red); var adja2Eph = (nEph2.X, nEph2.Y, nEph2.Z, nEph2.VX, nEph2.VY, nEph2.VZ); ucEphXYZAdja2.SetParam($"邻星2", cg.Adja2Code, adja2Eph, Color.Red); } catch (Exception ex) { Serilog.Log.Error(ex, $"手动{info.PosResType.GetEnumDisplayName()}推算星历失败.PosID={info.ID},SigTime={info.SigTime}"); DxHelper.MsgBoxHelper.ShowWarning($"手动{info.PosResType.GetEnumDisplayName()}推算星历失败"); } } private void btnDtoCalc_Click(object sender, EventArgs e) { if (!CheckDtoLineParam()) { return; } try { var MsAnt = txtsatStation.GetLonLat(); var RefGeod = info.PosResType == EnumPosResType.X3 ? txtRefLocation.GetLonLat() : new double[3] { 0, 0, 0 }; var DtoSx = Convert.ToDouble(this.txtDto1.Text); var DtoSx1 = Convert.ToDouble(this.txtDto2.Text); var YbMainDto = Convert.ToDouble(this.txtYbDto1.Text); var YbAdja1Dto = Convert.ToDouble(this.txtYbDto2.Text); var YbAdja2Dto = Convert.ToDouble(this.txtYbDto3.Text); double[] msEph = ucEphXYZMain.EphParam().Take(3).ToArray(); double[] Ns1Eph = ucEphXYZAdja1.EphParam().Take(3).ToArray(); double[] Ns2Eph = ucEphXYZAdja2.EphParam().Take(3).ToArray(); DtoLineTwoStartOption twoStartOption = new DtoLineTwoStartOption(); twoStartOption.MsEph = msEph; twoStartOption.NsEph = Ns1Eph; twoStartOption.MsAnt = MsAnt; twoStartOption.NsAnt = MsAnt; twoStartOption.RefGeod = RefGeod; twoStartOption.TargetDto = DtoSx; twoStartOption.RefDto = YbMainDto - YbAdja1Dto; twoStartOption.PosLon = info.PosLon; twoStartOption.PosLat = info.PosLat; var msat = listSat.FirstOrDefault(m => m.SatCode == cg.MainCode.Value)?.Sat; if (string.IsNullOrWhiteSpace(msat)) msat = cg.MainCode.Value.ToString(); var nsat = listSat.FirstOrDefault(m => m.SatCode == cg.Adja1Code.Value)?.Sat; if (string.IsNullOrWhiteSpace(nsat)) nsat = cg.Adja1Code.Value.ToString(); var ad2sat = listSat.FirstOrDefault(m => m.SatCode == cg.Adja2Code.Value)?.Sat; if (string.IsNullOrWhiteSpace(ad2sat)) ad2sat = cg.Adja2Code.Value.ToString(); var tsDtoLine = DrawDtoLineHelper.DtoLine2XStart(twoStartOption); mapControl1.DrawDtoLine($"[{msat},{nsat}]带参时差线", tsDtoLine); twoStartOption.NsEph = Ns2Eph; twoStartOption.RefDto = YbMainDto - YbAdja2Dto; twoStartOption.TargetDto = DtoSx1; var tsDtoLine1 = DrawDtoLineHelper.DtoLine2XStart(twoStartOption); mapControl1.DrawDtoLine($"[{msat},{ad2sat}]带参时差线", tsDtoLine1); } catch (Exception ex) { Serilog.Log.Error(ex, $"绘制{info.PosResType.GetEnumDisplayName()}时差线失败.PosID={info.ID},SigTime={info.SigTime}"); DxHelper.MsgBoxHelper.ShowWarning($"绘制{info.PosResType.GetEnumDisplayName()}时差线失败"); } } private void btnDfoCalc_Click(object sender, EventArgs e) { if (!CheckDtoLineParam()) { return; } try { DfoLineTwoStartOption twoStartOption = new DfoLineTwoStartOption(); twoStartOption.Freq = cg.TarFreqUp.HasValue ? cg.TarFreqUp.Value : 0; twoStartOption.RefFreq = cg.RefFreqUp.HasValue ? cg.RefFreqUp.Value : 0; twoStartOption.MsEph = new double[] { cg.MainX.Value, cg.MainY.Value, cg.MainZ.Value, cg.MainVx.Value, cg.MainVy.Value, cg.MainVz.Value }; twoStartOption.NsEph = new double[] { cg.Adja1X.Value, cg.Adja1Y.Value, cg.Adja1Z.Value, cg.Adja1Vx.Value, cg.Adja1Vy.Value, cg.Adja1Vz.Value }; twoStartOption.MsAnt = new double[] { station.SatTxLon, station.SatTxLat, 0 }; twoStartOption.NsAnt = new double[] { station.SatTxLon, station.SatTxLat, 0 }; twoStartOption.RefGeod = new double[] { station.RefLon.Value, station.RefLat.Value, 0 }; twoStartOption.TargetDfo = cg.Dfo1.Value; twoStartOption.Turn1 = Math.Abs(twoStartOption.Freq - (cg.TarFreqDown.HasValue ? cg.TarFreqDown.Value : 0)); twoStartOption.Turn2 = Math.Abs(twoStartOption.RefFreq - (cg.RefFreqDown.HasValue ? cg.RefFreqDown.Value : 0)); twoStartOption.RefDfo = cg.YbMainDfo.Value - cg.YbAdja1Dfo.Value; var tsDtoLine = DrawDfoLineHelper.DfoLineTwoStart(twoStartOption); var msat = listSat?.FirstOrDefault(m => m.SatCode == cg.MainCode.Value)?.Sat; ; var ad1sat = listSat?.FirstOrDefault(m => m.SatCode == cg.Adja1Code.Value)?.Sat; if (msat == null) msat = cg.MainCode.ToString(); if (ad1sat == null) ad1sat = cg.Adja1Code.ToString(); mapControl1.DrawDtoLine($"{info.PosResType.GetEnumDisplayName()}[{msat},{ad1sat}]频差线", tsDtoLine); twoStartOption.NsEph = new double[] { cg.Adja2X.Value, cg.Adja2Y.Value, cg.Adja2Z.Value, cg.Adja2Vx.Value, cg.Adja2Vy.Value, cg.Adja2Vz.Value }; twoStartOption.TargetDfo = cg.Dfo2.Value; twoStartOption.RefDfo = cg.YbMainDfo.Value - cg.YbAdja2Dfo.Value; var tsDtoLine1 = DrawDfoLineHelper.DfoLineTwoStart(twoStartOption); string ad2sat = string.Empty; if (cg.Adja2Code.HasValue) { ad2sat = listSat.FirstOrDefault(m => m.SatCode == cg.Adja2Code.Value)?.Sat; } mapControl1.DrawDtoLine($"{info.PosResType.GetEnumDisplayName()}[{msat},{ad2sat}]频差线", tsDtoLine1); } catch (Exception ex) { Serilog.Log.Error(ex, $"绘制{info.PosResType.GetEnumDisplayName()}频差线失败.PosID={info.ID},SigTime={info.SigTime}"); DxHelper.MsgBoxHelper.ShowError($"绘制{info.PosResType.GetEnumDisplayName()}频差线失败"); } } } }