The Penrose inequality estimates the lower bound of mass a black hole in terms area its horizon. This is relatively loose for extremal or near holes. We propose new Penrose-like static holes involving mass, event horizon and temperature. Our includes as corollary, it saturated by both Schwarzschild Reissner-Nordström In spherically symmetric case, we prove this assuming null trace energy condit...

− This paper describes the development of torque standard machines in China, its measurement range and its measurement uncertainty information etc. Also, the situation of torque standard machines which are in building process or will be built in the future is described in this document. In 1970’s, the first standard machine for measuring torques was developed in Shanghai and it initiated the hi...

Background. One ofthe key components ofpostural control is the motor system's ability to produce appropriate torques to counteract perturbations that may lead to a loss of balance. Evidence exists to show that there is an age-related decline in absolute strength and in the ability to rapidly produce torque. The relationship between age-related decreases in these voluntary torque production capa...

Convexification is a fundamental technique in (mixed-integer) nonlinear optimization and many convex relaxations are parametrized by variable bounds, i.e., the tighter the bounds, the stronger the relaxations. This paper studies how bound tightening can improve convex relaxations for power network optimization. It adapts traditional constraintprogramming concepts (e.g., minimal network and boun...

the efficiency of induction motors decreases at light loads. efficiency optimizer control systemsadjust the motor flux value to achieve the best efficiency in a wide range of load variations. reduced fluxoperation has some other benefits such as power factor improvement and torque ripple reduction. the latter isan important issue in a direct torque controlled induction motor drive. in this pape...

Contract-based design is an emerging paradigm for correctby-construction hierarchical systems: components are associated with assumptions and guarantees expressed as formal properties; the architecture is analyzed by verifying that each contract of composite components is correctly refined by the contracts of its subcomponents. The approach is very efficient, because the overall correctness pro...

Static grasping of a spherical object by two robot fingers is studied in this paper. The fingers may be rigid bodies or elastic beams, they may grasp the body with various orientation angles, and the tightening displacements may be linear or angular. Closed-form solutions for normal and tangential contact forces due to tightening displacements are obtained by solving compatibility equations, fo...

This paper addresses the issue of difficulties in servicing brake pipe connectors for passenger cars, service life which exceeds 8‒10 years, is associated with deteriorated loosening connectors. The existing ways to loosen pipes have been investigated, especially those whose dismantling complicated due corrosion and contamination mated surfaces as a result their wetting when driving car. A conv...

We present a specialized version of Haken’s normalization procedure. Our main theorem states that there is a compression body canonically associated to a given transversely oriented almost normal surface. Several applications are given.