32,688 research outputs found
Coordination of multiple robot arms
Kinematic resolved-rate control from one robot arm is extended to the coordinated control of multiple robot arms in the movement of an object. The structure supports the general movement of one axis system (moving reference frame) with respect to another axis system (control reference frame) by one or more robot arms. The grippers of the robot arms do not have to be parallel or at any pre-disposed positions on the object. For multiarm control, the operator chooses the same moving and control reference frames for each of the robot arms. Consequently, each arm then moves as though it were carrying out the commanded motions by itself
A user-oriented and computerized model for estimating vehicle ride quality
A simplified empirical model and computer program for estimating passenger ride comfort within air and surface transportation systems are described. The model is based on subjective ratings from more than 3000 persons who were exposed to controlled combinations of noise and vibration in the passenger ride quality apparatus. This model has the capability of transforming individual elements of a vehicle's noise and vibration environment into subjective discomfort units and then combining the subjective units to produce a single discomfort index typifying passenger acceptance of the environment. The computational procedures required to obtain discomfort estimates are discussed, and a user oriented ride comfort computer program is described. Examples illustrating application of the simplified model to helicopter and automobile ride environments are presented
Balloon borne humidity and aerosol sensors
Infrared detectors for balloon sensing of aerosols and atmospheric moistur
Recommended from our members
A two-stage stochastic programming with recourse model for determining robust planting plans in horticulture
A two-stage stochastic programming with recourse model for the problem of determining optimal planting plans for a vegetable crop is presented in this paper. Uncertainty caused by factors such as weather on yields is a major influence on many systems arising in horticulture. Traditional linear programming models are generally unsatisfactory in dealing with the uncertainty and produce solutions that are considered to involve an unacceptable level of risk. The first stage of the model relates to finding a planting plan which is common to all scenarios and the second stage is concerned with deriving a harvesting schedule for each scenario. Solutions are obtained for a range of risk aversion factors that not only result in greater expected profit compared to the corresponding deterministic model, but also are more robust
Time-reversal symmetry breaking in noncentrosymmetric superconductor Re6Hf:further evidence for unconventional behaviour in the alpha-Mn family of materials
The discovery of new families of unconventional superconductors is important
both experimentally and theoretically, especially if it challenges current
models and thinking. By using muon spin relaxation in zero-field, time-reversal
symmetry breaking has been observed in Re6Hf. Moreover, the temperature
dependence of the superfluid density exhibits s-wave superconductivity with an
enhanced electron-phonon coupling. This, coupled with the results from
isostructural Re6Zr, shows that the Re6X family are indeed a new and important
group of unconventional superconductors.Comment: 5 pages, 2 figures Accepted Physical Review B, Rapid Communicatio
Capturing Hiproofs in HOL Light
Hierarchical proof trees (hiproofs for short) add structure to ordinary proof
trees, by allowing portions of trees to be hierarchically nested. The
additional structure can be used to abstract away from details, or to label
particular portions to explain their purpose. In this paper we present two
complementary methods for capturing hiproofs in HOL Light, along with a tool to
produce web-based visualisations. The first method uses tactic recording, by
modifying tactics to record their arguments and construct a hierarchical tree;
this allows a tactic proof script to be modified. The second method uses proof
recording, which extends the HOL Light kernel to record hierachical proof trees
alongside theorems. This method is less invasive, but requires care to manage
the size of the recorded objects. We have implemented both methods, resulting
in two systems: Tactician and HipCam
- …