Since the traffic congestion become more and more serious in modern society due to the sharp increasing of private cars, how to improve the transportation efficiency and utilize the current road network more effectively has become a crucial issue. In this paper, a new dynamic route guidance algorithm was proposed in order to provide travelers humanized “optimal route” and to alleviate the loss caused by traffic jams. The study built a graph theory model for Beijing’s ring road transportation system, and proposed a evaluation function &σ=V_f/[k×(t+m^(ρ-ρ0))]& to describe the real time complex traffic flow, and realized the route searching by timed recomputation of classic Dijkstra algorithm. Meanwhile, due to the investigation of special features of ring roads, the study improved the priority of ring road nodes during the searching process. Comparing with Dijkstra algorithm, the time-complexity of this new algorithm decreases to 1/(16k^2) (k is the number of ring road in the road network), and extra mileage is less than 5%, which is more effective applying in large scale ring-road networks. The algorithm was realized by C++ language and connected to Google Earth’s map database with easy operation interface. (The operation of the algorithm program was manifested in the appended video)

No abstract uploaded!

Because of its importance in number theory and singularity theory, the problem of nding a polynomial sharp upper estimate of the number of positive integral points in an n- dimensional (n  3) polyhedron has received attention by a lot of mathematicians. S. S.-T. Yau proposed the upper estimate, so-called the Yau Number Theoretic Conjecture. The previous results on the Yau Number Theoretic Conjecture in low dimension cases (n  6) have been proved by using the sharp GLY conjecture. Unfortunately, it is only valid in low dimension. The Yau Number Theoretic Conjecture for n = 7 has been shown with a completely new method in [19]. In this paper, the similar method has been applied to prove the Yau Number Theoretic Conjecture for n = 8, but with more meticulous analyses. The main method of proof is summing existing sharp upper bounds for the number of points in 7-dimensional simplexes over the cross sections of eight-dimensional simplex. This reasearch project paves the way for the proof of a fully general sharp upper bound for the number of lattice points in a simplex. It also moves the mathematical community one step closer towards proving the Yau Number Theoretic Conjecture in full generality. As an application, we give a sharper estimate of the Dickman-De Bruijn function (x; y) for 5  y < 23, compared with the result obtained by Ennola.

3D shape classification plays a fundamental role in geometric big data analysis. This work proposes a novel method for shape classification based on optimal mass transportation theory. The Riemann surfaces are mapped onto canonical domains conformally based on uniformization theorem. The conformal factor function is treated as probability distribution on the canonical domain. For each pair of probability distributions, the optimal mass transportation map is computed by solving Monge-Amper´e equation. The transportation cost is theWasserstein distance between two distributions. By using this distance, geometric classification based on clustering can be performed. The method is applied to 3D human facial expression recognition, which demonstrates the efficiency and efficacy of the method.

Xingdu is an emerging mathematical game about searching for a corresponding polyline for a given polyline in a 2-dimensional or 3-dimensional mesh grid, meanwhile the searched polyline should have the same start and end points as those of the given polyline and the corresponding line segments on the searched and given polylines are perpendicular each other respectively. Studying from mathematical perspective the problem solving and designing of Xingdu is helpful of finding a general method for Xingdu problem solving, but still not attract much more attentions due to the relatively short history of Xingdu. Referring to the achievements in mathematical methods for Sudoku, we investigated preliminarily the possibility of using optimization theory to solve the problem of Xingdu. According to the definition of Xingdu, the points on the given polyline and the solution polyline have to be the grid nodes in the mesh grid so that their coordinates are integer. In addition, there should not be any points appearing repeatedly and any three sequential points on the solution polyline cannot be located on a same line. Due to these constraints, the optimization problem related to Xingdu belongs to integer programming with nonlinear constraints, which is very difficult and usually can only be solved by enumerating. For this reason, we solve the related problem first by neglecting the nonlinear constraints so that it can be converted as an integer programming with linear constraints only. Afterwards, we can check whether it fulfill the related nonlinear constraints if a feasible solution is obtained. Based on that, we proposed two integer programming models for Xingdu problem, which are the model using only line segments perpendicular property as constraints and the binary integer programming model using line segments perpendicular property together with no repeated points as constraints. The test results show that the proposed binary integer programming model has a very good performance in finding the solution of Xingdu problem. We also discussed the possibility of using the proposed binary integer programming model together with random simulation to design a Xingdu problem. Due to the challenge of discriminating the uniqueness of Xingdu solution, we finally presented an approach, inspired from the branch and bound method for integer programming, which solves and designs the Xingdu problem by constructing and pruning a search tree.