In view of the poor quality Chinese Reading Teaching in junior middle school, this paper puts forward metacognitive ability evaluation method for school students based on Dijkstra algorithm, constructs management system students, optimizes reading indexes and algorithm combined with Finally, experiment proves that has high practicability process practical application, can better ensure teaching...

This article proposes a new planning navigation strategy for use with mobile terrestrial robots. The proposed algorithm is applicable in any point of the areas for tasks such as cleaning the floors of building, mowing and clearing mined areas. The strategy of this algorithm is analyzed and checked in conditions where the environment and the obstacles are known. There are various routing algorit...

The shortest path problem is one of the most classical problem in combinatorial optimization problem which, given an edge-weighted graph and two vertices, asks to find a path between the two vertices of the minimum length. In this thesis, we consider a generalization of the shortest path problem in which the edge length is time-variable, which we call the time-dependent shortest path problem. T...

We present a HOL formalization of the foundational parts of Dijkstra’s classic monograph “A Discipline of Programming”. While embedding programming language semantics in theorem provers is hardly new, this particular undertaking raises several interesting questions, and perhaps makes an interesting supplement to the monograph. Moreover, the failure of HOL’s first order proof tactic to prove one...