Metalevel programming in robotics: Some issues

Computing in robotics has two important requirements: efficiency and flexibility. Algorithms for robot actions are implemented usually in procedural languages such as VAL and AL. But, since their excessive bindings create inflexible structures of computation, it is proposed that Logic Programming is a more suitable language for robot programming due to its non-determinism, declarative nature, and provision for metalevel programming. Logic Programming, however, results in inefficient computations. As a solution to this problem, researchers discuss a framework in which controls can be described to improve efficiency. They have divided controls into: (1) in-code and (2) metalevel and discussed them with reference to selection of rules and dataflow. Researchers illustrated the merit of Logic Programming by modelling the motion of a robot from one point to another avoiding obstacles

The Weakly Coupled Pfaffian as a Type I Quantum Hall Liquid

The Pfaffian phase of electrons in the proximity of a half-filled Landau level is understood to be a p+ip superconductor of composite fermions. We consider the properties of this paired quantum Hall phase when the pairing scale is small, i.e. in the weak-coupling, BCS, limit, where the coherence length is much larger than the charge screening length. We find that, as in a Type I superconductor, the vortices attract so that, upon varying the magnetic field from its magic value at \nu=5/2, the system exhibits Coulomb frustrated phase separation. We propose that the weakly and strongly coupled Pfaffian states exemplify a general dichotomy between Type I and Type II quantum Hall fluids.Comment: 4 pages, 1 figur

Variant N=(1,1) Supergravity and (Minkowski)_4 x S^2 Vacua

We construct the fermionic sector and supersymmetry transformation rules of a variant N=(1,1) supergravity theory obtained by generalized Kaluza-Klein reduction from seven dimensions. We show that this model admits both (Minkowski)_4 x S^2 and (Minkowski)_3 x S^3 vacua. We perform a consistent Kaluza-Klein reduction on S^2 and obtain D=4, N=2 supergravity coupled to a vector multiplet, which can be consistently truncated to give rise to D=4, N=1 supergravity with a chiral multiplet.Comment: Latex, 17 pages. Version appearing in Classical and Quantum Gravit

A Comparison of Corrosion Behavior of Copper and Its Alloy in Pongamia pinnata Oil at Different Conditions

Vegetable oils are promising substitutes for petrodiesel as they can be produced from numerous oil seed crops that can be cultivated anywhere and have high energy contents, exhibiting clean combustion behavior with zero CO2 emission and negligible SO2 generation. The impact of biofuel on the corrosion of various industrial metals is a challenge for using biofuel as automotive fuel. Fuel comes in contact with a wide variety of metallic materials under different temperatures, velocities, and loads thereby causing corrosion during storage and flow of fuel. Hence, the present investigation compares the corrosion rates of copper and brass in Pongamia pinnata oil (O100), 3% NaCl, and oil blend with NaCl (O99) obtained by static immersion test and using rotating cage. The corrosivity and conductivity of the test media are positively correlated. This study suggested that the corrosivity of copper is higher than brass in Pongamia pinnata oil (PO)