Automated Manual Transmissions (AMTs) systems are generally constituted by a dry or wet clutch assembly and a multi-speed gearbox, both equipped with electro-mechanical or electro-hydraulic actuators, which are driven by a control unit, the transmission control unit (TCU). In this transmission type the quality of the vehicle propulsion as perceived by the driver is largely dependent on the qual...

Overhead transmission lines are influenced by different factors which are mostly electrical and mechanical. These factors can cause problems for lines, distortions in network and outage of line. In designing transmission lines mechanical properties are evaluated after selecting a suitable conductor and clearance with regard to electrical properties. In lines designing, an important mechanical p...

Overhead transmission lines are influenced by different factors which are mostly electrical and mechanical. These factors can cause problems for lines, distortions in network and outage of line. In designing transmission lines mechanical properties are evaluated after selecting a suitable conductor and clearance with regard to electrical properties. In lines designing, an important mechanical p...

We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and define some techniques to represent instructions and properties, allowing us to deal with arrays and quantification. An integration of these techniques into the OMEGA calculator, which we make use of with a significant example,...

sewing is one of the most commonly used manufacturing processes in the world. in the textile industry, development of sewing machines with optimal mechanical performance is very important. obviously, the quality of sewing, the increase of the needle transmission force and the optimal mechanical advantage are greatly dependent on the design criteria of the needle driving mechanism. unfortunately...