Another version of programming ‘The Tower of Hanoi’ in TEX is provided. No nodding knowledge of Lisp is required; just plain TEX. There is no restriction on the number of disks, apart from the installed limits of TEX. Generalized disks can be moved as well.

We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and does not require previously learned or inferred information, nor prior domain knowledge. The algorithm is used to define new domainindependent tractable classes of classical planning that are proved to include Blocksworld-arm and To...

The game of the Towers of Hanoi is generalized to binary trees. First, a straightforward solution of the game is discussed. Second, a shorter solution is presented, which is then shown to be optimal.

Woodin proved the theorem in perhaps 1986 or 1987, using stationary tower forcing and (through the work of Martin and the author) iteration trees. The proof we give here uses only iteration trees. Stationary tower forcing is replaced by “genericity iterations”, as it can be in certain related contexts as well. We believe that the unity of method in the resulting proof gives it some interest. Th...

As an important quality index of high voltage electricity transmission tower, zinc coating thickness detection and quality control is more and more attention in recent years. The coating thickness and uniformity of tower materials provided by the suppliers are tested through the traditional method by the power department, the detection precision of this method is low efficiency and analysis res...

In this paper, the two-dimensional vibration controls of a power transmission tower with a pounding tuned mass damper (PTMD) under multi-component seismic excitations are analyzed. A three-dimensional finite element model of a practical power transmission tower is established in ABAQUS (Dassasult Simulia Company, Providence, RI, USA). The TMD (tuned mass damper) and PTMD are simulated by the fi...

A tower crane can be reduced the sway oscillation easily by controlling the rotation acceleration. With the proposed open-loop fast control method which is operated by controlling acceleration, the sway angle of suspended load can be maintained during the movement as well as reduced oscillation during and at the end of movement. In this paper, we design and produce a scaled tower crane with a s...

In a molten-salt solar power tower, liquid salt at 290oC (554oF) is pumped from a ‘cold’ storage tank through the receiver where it is heated to 565oC (1,049oF) and then on to a ‘hot’ tank for storage. When power is needed from the plant, hot salt is pumped to a steam generating system that produces superheated steam for a conventional Rankinecycle turbine/generator system. From the steam gener...

We study two aspects of a generalization of the Tower of Hanoi puzzle. In 1981, D. Wood suggested its variant, where a bigger disk may be placed higher than a smaller one if their size difference is less than k. In 1992, D. Poole suggested a natural disk-moving strategy for this problem, but only in 2005, the authors proved it be optimal in the general case. We describe the family of all optima...