Solving MIN ONES 2-SAT as fast as VERTEX COVER

The problem of finding a satisfying assignment that minimizes the number of variables that are set to 1 is NP-complete even for a satisfiable 2-SAT formula. We call this problem MIN ONES 2-SAT. It generalizes the well-studied problem of finding the smallest vertex cover of a graph, which can be modeled using a 2-SAT formula with no negative literals. The natural parameterized version of the problem asks for a satisfying assignment of weight at most k. In this paper, we present a polynomial-time reduction from MIN ONES 2-SAT to VERTEX COVER without increasing the parameter and ensuring that the number of vertices in the reduced instance is equal to the number of variables of the input formula. Consequently, we conclude that this problem also has a simple 2-approximation algorithm and a 2k - c logk-variable kernel subsuming (or, in the case of kernels, improving) the results known earlier. Further, the problem admits algorithms for the parameterized and optimization versions whose runtimes will always match the runtimes of the best-known algorithms for the corresponding versions of vertex cover. Finally we show that the optimum value of the LP relaxation of the MIN ONES 2-SAT and that of the corresponding VERTEX COVER are the same. This implies that the (recent) results of VERTEX COVER version parameterized above the optimum value of the LP relaxation of VERTEX COVER carry over to the MIN ONES 2-SAT version parameterized above the optimum of the LP relaxation of MIN ONES 2-SAT. (C) 2013 Elsevier B.V. All rights reserved.

Allosteric regulation and substrate activation in cytosolic nucleotidase II from Legionella pneumophila

Cytosolic nucleotidase II (cN-II) from Legionellapneumophila (Lp) catalyzes the hydrolysis of GMP and dGMP displaying sigmoidal curves, whereas catalysis of IMP hydrolysis displayed a biphasic curve in the initial rate versus substrate concentration plots. Allosteric modulators of mammalian cN-II did not activate LpcN-II although GTP, GDP and the substrate GMP were specific activators. Crystal structures of the tetrameric LpcN-II revealed an activator-binding site at the dimer interface. A double mutation in this allosteric-binding site abolished activation, confirming the structural observations. The substrate GMP acting as an activator, partitioning between the allosteric and active site, is the basis for the sigmoidicity of the initial velocity versus GMP concentration plot. The LpcN-II tetramer showed differences in subunit organization upon activator binding that are absent in the activator-bound human cN-II structure. This is the first observation of a structural change induced by activator binding in cN-II that may be the molecular mechanism for enzyme activation. DatabaseThe coordinates and structure factors reported in this paper have been submitted to the Protein Data Bank under the accession numbers and . The accession number of GMP complexed LpcN-II is . Structured digital abstract andby() andby() Structured digital abstract was added on 5 March 2014 after original online publication]

Influence of exhaust gas heating and L/D ratios on the discharge efficiencies for an activated carbon natural gas storage system

A transient 2D axi-symmetric and lumped parameter (LP) model with constant outflow conditions have been developed to study the discharge capacity of an activated carbon bed. The predicted discharge times and variations in bed pressure and temperature are in good agreement with experimental results obtained from a 1.82 l adsorbed natural gas (ANG) storage system. Under ambient air conditions, a maximum temperature drop of 29.5 K and 45.5 K are predicted at the bed center for discharge rates of 1.0 l min(-1) and 5.0 l min(-1) respectively. The corresponding discharge efficiencies are 77% and 71.5% respectively with discharge efficiencies improving with decreasing outflow rates. Increasing the LID ratio from 1.9 to 7.8 had only a marginal increase in the discharge efficiency. Forced convection (exhaust gas) heating had a significant effect on the discharge efficiency, leading to efficiencies as high as 92.8% at a discharge of 1.0 l min(-1) and 88.7% at 5 l min(-1). Our study shows that the LP model can be reliably used to obtain discharge times due to the uniform pressure distributions in the bed. Temperature predictions with the LP model were more accurate at ambient conditions and higher discharge rates, due to greater uniformity in bed temperatures. For the low thermal conductivity carbon porous beds, our study shows that exhaust gas heating can be used as an effective and convenient strategy to improve the discharge characteristics and performance of an ANG system. (C) 2013 Elsevier Ltd. All rights reserved.

A radial differential mobility analyzer for the size-classification of gas-phase synthesized nanoparticles at low pressures

Differential mobility analyzers (DMAs) are commonly used to generate monodisperse nanoparticle aerosols. Commercial DMAs operate at quasi-atmospheric pressures and are therefore not designed to be vacuum-tight. In certain particle synthesis methods, the use of a vacuum-compatible DMA is a requirement as a process step for producing high-purity metallic particles. A vacuum-tight radial DMA (RDMA) has been developed and tested at low pressures. Its performance has been evaluated by using a commercial NANO-DMA as the reference. The performance of this low-pressure RDMA (LP-RDMA) in terms of the width of its transfer function is found to be comparable with that of other NANO-DMAs at atmospheric pressure and is almost independent of the pressure down to 30 mbar. It is shown that LP-RDMA can be used for the classification of nanometer-sized particles (5-20 nm) under low pressure condition (30 mbar) and has been successfully applied to nanoparticles produced by ablating FeNi at low pressures.

Design and Modeling of an Active Five-Axis Compliant Micromanipulator

This paper presents the design and modeling of an active five-axis compliant micromanipulator whose tip orientation can be independently controlled by large angles about two axes and the tip-position can be controlled in three dimensions. These features enable precise control of the contact point of the tip and the tip-sample interaction forces with three-dimensional nanoscale objects, including those features that are conventionally inaccessible. Control of the tip-motion is realized by means of electromagnetic actuation combined with a novel kinematic and structural design of the micromanipulator, which, in addition, also ensures compatibility with existing high-resolution motion-measurement systems. The design and analysis of the manipulator structure and those of the actuation system are first presented. Quasi-static and dynamic lumped-parameter (LP) models are then derived for the five-axis compliant micromanipulator. Finite element (FE) analysis is employed to validate these models, which are subsequently used to study the effects of tip orientation on the mechanical characteristics of the five-axis micromanipulator. Finally, a prototype of the designed five-axis manipulator is fabricated by means of focused ion-beam milling (FIB).

Broadcast Control Mechanism for Positional Consensus in Multiagent Systems

In this paper, a strategy for controlling a group of agents to achieve positional consensus is presented. The problem is constrained by the requirement that every agent must be given the same control input through a broadcast communication mechanism. Although the control command is computed using state information in a global framework, the control input is implemented by the agents in a local coordinate frame. We propose a novel linear programming (LP) formulation that is computationally less intensive than earlier proposed methods. Moreover, a random perturbation input in the control command that helps the agents to come close to each other even for a large number of agents, which was not possible with an existing strategy in the literature, is introduced. The method is extended to achieve positional consensus at a prespecified location. The effectiveness of the approach is illustrated through simulation results. A comparison between the LP approach and the existing second-order cone programming-based approach is also presented. The algorithm was successfully implemented on a robotic platform with three robots.

On the Equivalence of Acoustic Impedance and Squeeze Film Impedance in Micromechanical Resonators

In this work, we address the issue of modeling squeeze film damping in nontrivial geometries that are not amenable to analytical solutions. The design and analysis of microelectromechanical systems (MEMS) resonators, especially those that use platelike two-dimensional structures, require structural dynamic response over the entire range of frequencies of interest. This response calculation typically involves the analysis of squeeze film effects and acoustic radiation losses. The acoustic analysis of vibrating plates is a very well understood problem that is routinely carried out using the equivalent electrical circuits that employ lumped parameters (LP) for acoustic impedance. Here, we present a method to use the same circuit with the same elements to account for the squeeze film effects as well by establishing an equivalence between the parameters of the two domains through a rescaled equivalent relationship between the acoustic impedance and the squeeze film impedance. Our analysis is based on a simple observation that the squeeze film impedance rescaled by a factor of jx, where x is the frequency of oscillation, qualitatively mimics the acoustic impedance over a large frequency range. We present a method to curvefit the numerically simulated stiffness and damping coefficients which are obtained using finite element analysis (FEA) analysis. A significant advantage of the proposed method is that it is applicable to any trivial/nontrivial geometry. It requires very limited finite element method (FEM) runs within the frequency range of interest, hence reducing the computational cost, yet modeling the behavior in the entire range accurately. We demonstrate the method using one trivial and one nontrivial geometry.

Temperature-Dependent Photoluminescence of g-C3N4: Implication for Temperature Sensing

We report the temperature-dependent photoluminescence (PL) properties of polymeric graphite-like carbon nitride (g-C3N4) and a methodology for the determination of quantum efficiency along with the activation energy. The PL is shown to originate from three different pathways of transitions: sigma*-LP, pi*-LP, and pi*-pi, respectively. The overall activation energy is found to be similar to 73.58 meV which is much lower than the exciton binding energy reported theoretically but ideal for highly sensitive wide-range temperature sensing. The quantum yield derived from the PL data is 23.3%, whereas the absolute quantum yield is 5.3%. We propose that the temperature-dependent PL can be exploited for the evaluation of the temperature dependency of quantum yield as well as for temperature sensing. Our analysis further indicates that g-C3N4 is well-suited for wide-range temperature sensing.