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!

No abstract uploaded!

In view of such problems as lacking interaction between figures and text and difficulty in simultaneous positioning of explanation with figures in chinese geometry exercise solution, a Win32 C++ voice lecturing tool integrated with HTML5 dynamic geometry software is designed to realize free control of lecturing progress, random skipping through double-click, simultaneous interaction and highlighting of figure and text, and automatic synchronized reading. On the basis of JavaScript regular expression, the semantic comprehension of geometry exercise text is realized and the production rule set of automatic plotting is designed. During voice synthesising line by line, the mathematic language undergoes normalization processing and figure highlighting information extraction. The study can shed some light on the GeoGebra integrated development and semantic comprehension-based automatic plotting application, and it can be applied to innovative geometry teaching and knowledge base structuring fields.

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.