The Tension Control Optimization Theory, TCOT, allows for heavy duty truck and bus tires with greater bead and belt durability and increased fuel efficiency than conventionally shaped truck and bus tires, without sacrificing other important performance characteristics such as maneuverability, wear resistance, etc. Before TCOT, conventional truck and bus tires used the theory of the natural equilibrium shape as a base. TCOT technology expands the Rolling Contour Optimization Theory, RCOT, and proposes the ultimate tire casing contour according to tire application. TCOT optimizes the control of the tension in an inflated tire and the control of the change of the contour by inflation pressure, and regulates strains in the belts and plycord edges, limiting the occurrence and spread of minute but potentially damaging cracks in the vulnerable edges of a rolling tire.

The Rolling Contour Optimization Theory (RCOT) can lead to improved steering, fuel efficiency, riding comfort, and braking performance of tires relative to those of conventional shape. The conventional shape has been guided by natural equilibrium profiles, while the RCOT technology shape is guided by that of the tire in motion. This reduces useless distortions caused by running the tire under load. The RCOT design focuses on the distribution of belt and sidewall tension in the tire. Controlling tension in the belt and carcass area while the tire is in motion was the key to creating this new tire shape.

We investigate the computational complexity of the label updating calculation in ATMS and show that the following two decision problems are NP-complete.(1) The problem of deciding whether there exists a consistent environment calculated from a new justification for a node.(2) The problem of deciding whether there exists an environment calculated from a new justification for a node such that it is not a superset of any environment in the label of the node.

Analogy is described in terms of predicate logic. This paper considers the complexity of analogical reasoning in which no function symbols except constants are allowed. We show that the problem of deciding whether a given atomic formula can be inferred by analogy is NP-hard.