Пример #1
0
        /// <summary>
        /// 调用算法计算用户最短路径。在限时策略中,若无法找到符合条件的最短路径,将返回null
        /// </summary>
        /// <param name="recommandTime">建议用户设定的最小时间,通常用于返回null的情况</param>
        /// <returns>用户最短路径</returns>
        private City[] FindPath(out int recommandTime)
        {
            PathFinding pathfinding = new PathFinding(TargetUser.Origin, TargetUser.Dest, TargetUser.OriginTime.Hour, TargetUser.Vehicle);

            if (TargetUser.LimitTimeStrategy)
            {
                List <City[]> nextKShortPath = pathfinding.Yen();
                int           time;
                recommandTime = GlobleVariable.INF_int;
                for (int i = 0; i < nextKShortPath.Count; i++)
                {
                    time = PathFinding.CountPathTime(nextKShortPath[i]);
                    if (recommandTime > time)
                    {
                        recommandTime = time;
                    }
                    if (time <= TargetUser.LimitTime)
                    {
                        return(nextKShortPath[i]);
                    }
                }
                return(null);
            }
            else
            {
                recommandTime = 0;
                return(pathfinding.Dijkstra_Def(null, out _)[TargetUser.Dest]);
            }
        }
Пример #2
0
        /// <summary>
        /// 在窗体显示该旅程的详情
        /// </summary>
        private void ShowInfo()
        {
            if (TargetUser.RecommandPath != null)
            {
                TargetUser.CityReachTime    = new DateTime[TargetUser.RecommandPath.Length];
                TargetUser.CityReachTime[0] = TargetUser.OriginTime;
                for (int j = 0; TargetUser.RecommandPath[j + 1] != null && j < TargetUser.RecommandPath.Length - 1; j++)
                {
                    int nextCityTime = TargetUser.RecommandPath[j].TimeInfo[TargetUser.RecommandPath[j + 1].CityCode];
                    TargetUser.CityReachTime[j + 1] = TargetUser.CityReachTime[j].AddHours(nextCityTime);
                }


                string pathStr = "";
                for (int i = 0; i < TargetUser.RecommandPath.Length; i++)
                {
                    if (TargetUser.RecommandPath[i] != null)
                    {
                        pathStr += TargetUser.RecommandPath[i].Name;
                    }
                    else
                    {
                        break;
                    }
                    pathStr += " -> ";
                }
                pathStr             = pathStr.Substring(0, pathStr.Length - 4);
                Path_label.Text     = pathStr;
                UserId_label.Text   = UserId.ToString();
                Time_label.Text     = PathFinding.CountPathTime(TargetUser.RecommandPath).ToString();
                Risk_label.Text     = PathFinding.CountPathRisk(TargetUser.RecommandPath).ToString("0.00");
                TimePass_label.Text = (int)(GlobleVariable.dt - TargetUser.OriginTime).TotalHours
                                      + "小时(" + TargetUser.OriginTime.ToShortDateString() + " " + TargetUser.OriginTime.Hour.ToString() + "时 出发)";
                if (TargetUser.State == 0)
                {
                    State_label.Text = "正逗留在" + TargetUser.Location;
                }
                else
                {
                    State_label.Text = "正在从" + TargetUser.Location + ",使用交通工具为" + GlobleVariable.vehicleMapping[TargetUser.Vehicle] + "\n预计到达时间为" + TargetUser.NextCityReachTime.ToString("yyyy-MM-dd HH") + "时";
                }
            }
            else
            {
                TimeError_label.Text          = "您的限制时间过低,请在下方修改限制时间或删除该用户信息,最小限制时间必须不小于" + _recommandTime.ToString() + "小时";
                TimeError_label.Visible       = true;
                ChangedLimitTimeInput.Visible = true;
            }
        }
        /// <summary>
        /// 每10秒一个周期,更新主视窗
        /// </summary>
        /// <param name="sender"></param>
        /// <param name="e"></param>
        private void UpdateMainForm_Tick_1(object sender, EventArgs e)
        {
            GlobleVariable.dt = GlobleVariable.dt.AddHours(1);
            CurTime.Text      = GlobleVariable.dt.ToString("yyyy-MM-dd HH") + "时";
            int index = 0;

            UsersList.Items.Clear();
            while (GlobleVariable.users.Count > index)
            {
                UsersList.Items.Add("用户" + index.ToString());
                index++;
            }

            using (FileStream logWriter = new FileStream(GlobleVariable.logPath, FileMode.OpenOrCreate, FileAccess.Write))
            {
                logWriter.Seek(0, SeekOrigin.End);

                string content = "\n\n\n\n进入程序内时间:" + GlobleVariable.dt.ToString() + "\n\n";

                byte[] buffer = Encoding.Default.GetBytes(content);
                logWriter.Write(buffer, 0, buffer.Length);
            }

            // 更新每一个用户的状态
            for (int i = 0; i < GlobleVariable.users.Count; i++)
            {
                int timeElapse = (int)GlobleVariable.dt.Subtract(GlobleVariable.users[i].OriginTime).TotalHours;
                int timeTotal  = 0;
                int vehicle;

                if (timeElapse >= PathFinding.CountPathTime(GlobleVariable.users[i].RecommandPath))
                {
                    GlobleVariable.users[i].IsArrive = true;
                    GlobleVariable.users[i].State    = 0;
                    GlobleVariable.users[i].Location = GlobleVariable.cityMapping[GlobleVariable.users[i].Dest] + "(已到达)";
                }

                #region 更新用户位置数据
                if (!GlobleVariable.users[i].IsArrive)
                {
                    for (int j = 0; GlobleVariable.users[i].RecommandPath[j + 1] != null && j < GlobleVariable.users[i].RecommandPath.Length - 1; j++)
                    {
                        int nextCityTime = GlobleVariable.users[i].RecommandPath[j].TimeInfo[GlobleVariable.users[i].RecommandPath[j + 1].CityCode];
                        timeTotal += nextCityTime;
                        vehicle    = GlobleVariable.users[i].RecommandPath[j].VehicleInfo[GlobleVariable.users[i].RecommandPath[j + 1].CityCode];
                        if (timeTotal > timeElapse)
                        {
                            int stayTime;
                            switch (vehicle)
                            {
                            case 1:
                                stayTime = GlobleVariable.users[i].RecommandPath[j].MinPlaneTime;
                                break;

                            case 2:
                                stayTime = GlobleVariable.users[i].RecommandPath[j].MinTrainTime;
                                break;

                            case 3:
                                stayTime = GlobleVariable.users[i].RecommandPath[j].MinCarTime;
                                break;

                            default:
                                throw new NotImplementedException("路径时间处理失败");
                            }
                            if (timeTotal - nextCityTime + stayTime < timeElapse)
                            {
                                GlobleVariable.users[i].State             = 1;
                                GlobleVariable.users[i].Location          = GlobleVariable.users[i].RecommandPath[j].Name + " 到 " + GlobleVariable.users[i].RecommandPath[j + 1].Name;
                                GlobleVariable.users[i].NextCityReachTime = GlobleVariable.users[i].CityReachTime[j + 1];
                                GlobleVariable.users[i].Vehicle           = vehicle;
                            }
                            else
                            {
                                GlobleVariable.users[i].State    = 0;
                                GlobleVariable.users[i].Location = GlobleVariable.users[i].RecommandPath[j].Name;
                            }
                            break;
                        }
                    }

                    // 每个单位时间的用户状态改变写入日志
                    using (FileStream logWriter = new FileStream(GlobleVariable.logPath, FileMode.OpenOrCreate, FileAccess.Write))
                    {
                        logWriter.Seek(0, SeekOrigin.End);

                        string content = DateTime.Now.ToString() + "(程序内时间:" + GlobleVariable.dt.ToString() + "): ";
                        content += "用户" + i.ToString();
                        if (GlobleVariable.users[i].State == 0)
                        {
                            content += "正逗留在" + GlobleVariable.users[i].Location + "。";
                        }
                        else
                        {
                            content += "正在从" + GlobleVariable.users[i].Location + ",使用交通工具为" + GlobleVariable.vehicleMapping[GlobleVariable.users[i].Vehicle] + "。";
                        }
                        content += "已经旅行了" + (int)(GlobleVariable.dt - GlobleVariable.users[i].OriginTime).TotalHours
                                   + "小时(" + GlobleVariable.users[i].OriginTime.ToShortDateString() + " " + GlobleVariable.users[i].OriginTime.Hour.ToString() + "时 出发)。 \n\n";

                        byte[] buffer = Encoding.Default.GetBytes(content);
                        logWriter.Write(buffer, 0, buffer.Length);
                    }
                }
                else
                {
                    using (FileStream logWriter = new FileStream(GlobleVariable.logPath, FileMode.OpenOrCreate, FileAccess.Write))
                    {
                        logWriter.Seek(0, SeekOrigin.End);

                        string content = DateTime.Now.ToString() + "(程序内时间:" + GlobleVariable.dt.ToString() + "): ";
                        content += "用户" + i.ToString() + "已到达目的地\n\n";

                        byte[] buffer = Encoding.Default.GetBytes(content);
                        logWriter.Write(buffer, 0, buffer.Length);
                    }
                }
                #endregion
            }


            // 保持选中路径的绘图更新
            if (UsersList.SelectedIndex != -1 || _selectedIndex != -1)
            {
                // 清空画板
                MapPicture.Refresh();
                g = MapPicture.CreateGraphics();

                // 创建画笔,设置箭头
                Pen pen_Blue  = new Pen(Color.Blue, 4);
                Pen pen_Red   = new Pen(Color.Red, 4);
                Pen pen_Green = new Pen(Color.Lime, 4);
                Pen pen_Black = new Pen(Color.Orange, 6);
                pen_Blue.EndCap  = LineCap.ArrowAnchor;
                pen_Red.EndCap   = LineCap.ArrowAnchor;
                pen_Green.EndCap = LineCap.ArrowAnchor;

                User selectedUser = GlobleVariable.users[_selectedIndex];



                for (int i = 0; selectedUser.RecommandPath[i + 1] != null; i++)
                {
                    if (selectedUser.IsArrive)
                    {
                        g.DrawLine(pen_Green, selectedUser.RecommandPath[i].mapPos_x - MapPicture.Location.X, selectedUser.RecommandPath[i].mapPos_y - MapPicture.Location.Y,
                                   selectedUser.RecommandPath[i + 1].mapPos_x - MapPicture.Location.X, selectedUser.RecommandPath[i + 1].mapPos_y - MapPicture.Location.Y);
                    }
                    else
                    {
                        g.DrawLine(pen_Blue, selectedUser.RecommandPath[i].mapPos_x - MapPicture.Location.X, selectedUser.RecommandPath[i].mapPos_y - MapPicture.Location.Y,
                                   selectedUser.RecommandPath[i + 1].mapPos_x - MapPicture.Location.X, selectedUser.RecommandPath[i + 1].mapPos_y - MapPicture.Location.Y);
                    }
                }

                if (selectedUser.State == 1)
                {
                    string[] strArr  = selectedUser.Location.Split();
                    int      index_1 = Array.IndexOf(GlobleVariable.cityMapping, strArr[0]);
                    int      index_2 = Array.IndexOf(GlobleVariable.cityMapping, strArr[2]);

                    g.DrawLine(pen_Red, GlobleVariable.cityPos[index_1, 0] - MapPicture.Location.X, GlobleVariable.cityPos[index_1, 1] - MapPicture.Location.Y,
                               GlobleVariable.cityPos[index_2, 0] - MapPicture.Location.X, GlobleVariable.cityPos[index_2, 1] - MapPicture.Location.Y);
                }
                else if (selectedUser.IsArrive == false)
                {
                    int index_tmp = Array.IndexOf(GlobleVariable.cityMapping, selectedUser.Location);

                    g.DrawRectangle(pen_Black, GlobleVariable.cityPos[index_tmp, 0] - MapPicture.Location.X, GlobleVariable.cityPos[index_tmp, 1] - MapPicture.Location.Y, 6, 6);
                }
            }
        }