Lower bounds for testing triangle-freeness in Boolean functions

Given a Boolean function , we say a triple (x, y, x + y) is a triangle in f if . A triangle-free function contains no triangle. If f differs from every triangle-free function on at least points, then f is said to be -far from triangle-free. In this work, we analyze the query complexity of testers that, with constant probability, distinguish triangle-free functions from those -far from triangle-free. Let the canonical tester for triangle-freeness denotes the algorithm that repeatedly picks x and y uniformly and independently at random from , queries f(x), f(y) and f(x + y), and checks whether f(x) = f(y) = f(x + y) = 1. Green showed that the canonical tester rejects functions -far from triangle-free with constant probability if its query complexity is a tower of 2's whose height is polynomial in . Fox later improved the height of the tower in Green's upper bound to . A trivial lower bound of on the query complexity is immediate. In this paper, we give the first non-trivial lower bound for the number of queries needed. We show that, for every small enough , there exists an integer such that for all there exists a function depending on all n variables which is -far from being triangle-free and requires queries for the canonical tester. We also show that the query complexity of any general (possibly adaptive) one-sided tester for triangle-freeness is at least square root of the query complexity of the corresponding canonical tester. Consequently, this means that any one-sided tester for triangle-freeness must make at least queries.

A stabilization approach for mesh-free simulations of systems developing shocks or extreme strain localizations

A new stabilization scheme, based on a stochastic representation of the discretized field variables, is proposed with a view to reduce or even eliminate unphysical oscillations in the mesh-free numerical simulations of systems developing shocks or exhibiting localized bands of extreme deformation in the response. The origin of the stabilization scheme may be traced to nonlinear stochastic filtering and, consistent with a class of such filters, gain-based additive correction terms are applied to the simulated solution of the system, herein achieved through the element-free Galerkin method, in order to impose a set of constraints that help arresting the spurious oscillations. The method is numerically illustrated through its Applications to inviscid Burgers' equations, wherein shocks may develop as a result of intersections of the characteristics, and to a gradient plasticity model whose response is often characterized by a developing shear band as the external load is gradually increased. The potential of the method in stabilized yet accurate numerical simulations of such systems involving extreme gradient variations in the response is thus brought forth. (C) 2014 Elsevier Ltd. All rights reserved.

Design and Testing of a Control System for Supply Side Electrical Load Management

India's energy demand is increasing rapidly with the intensive growth of economy. The electricity demand in India exceeded the availability, both in terms of base load energy and peak availability. The efficient use of energy source and its conversion and utilizations are the viable alternatives available to the utilities or industry. There are essentially two approaches to electrical energy management. First at the supply / utility end (Supply Side Management or SSM) and the other at the consumer end (Demand Side Management or DSM). This work is based on Supply Side Management (SSM) protocol and consists of design, fabrication and testing of a control device that will be able to automatically regulate the power flow to an individual consumer's premise. This control device can monitor the overuse of electricity (above the connected load or contracted demand) by the individual consumers. The present project work specially emphasizes on contract demand of every consumer and tries to reduce the use beyond the contract demand. This control unit design includes both software and hardware work and designed for 0.5 kW contract demand. The device is tested in laboratory and reveals its potential use in the field.

A faster algorithm for testing polynomial representability of functions over finite integer rings

Given a function from Z(n) to itself one can determine its polynomial representability by using Kempner function. In this paper we present an alternative characterization of polynomial functions over Z(n) by constructing a generating set for the Z(n)-module of polynomial functions. This characterization results in an algorithm that is faster on average in deciding polynomial representability. We also extend the characterization to functions in several variables. (C) 2015 Elsevier B.V. All rights reserved.

Girsanov Transformation-Based Reliability Modeling and Testing of Actively Controlled Structures

The problem of estimation of the time-variant reliability of actively controlled structural dynamical systems under stochastic excitations is considered. Monte Carlo simulations, reinforced with Girsanov transformation-based sampling variance reduction, are used to tackle the problem. In this approach, the external excitations are biased by an additional artificial control force. The conflicting objectives of the two control forces-one designed to reduce structural responses and the other to promote limit-state violations (but to reduce sampling variance)-are noted. The control for variance reduction is fashioned after design-point oscillations based on a first-order reliability method. It is shown that for structures that are amenable to laboratory testing, the reliability can be estimated experimentally with reduced testing times by devising a procedure based on the ideas of the Girsanov transformation. Illustrative examples include studies on a building frame with a magnetorheologic damper-based isolation system subject to nonstationary random earthquake excitations. (C) 2014 American Society of Civil Engineers.

Shear strength characteristics of mechanically biologically treated municipal solid waste (MBT-MSW) from Bangalore

Strength and stiffness properties of municipal solid waste (MSW) are important in landfill design. This paper presents the results of comprehensive testing of shear strength properties of mechanically biologically treated municipal solid waste (MBT-MSW) in laboratory. Changes in shear strength of MSW as a function of unit weight and particle size were investigated by performing laboratory studies on the MSW collected from Mavallipura landfill site in Bangalore. Direct shear tests, small scale and large scale consolidated undrained and drained triaxial tests were conducted on reconstituted compost reject MSW samples. The triaxial test results showed that the MSW samples exhibited a strain-hardening behaviour and the strength of MSW increased with increase in unit weight. Consolidated drained tests showed that the mobilized shear strength of the MSW increased by 40% for a unit weight increase from 7.3 kN/m(3) to 10.3 kN/m(3) at 20% strain levels. The mobilized cohesion and friction angle ranged from 5 to 9 kPa and 8 degrees to 33 degrees corresponding to a strain level of 20%. The consolidated undrained tests exhibited reduced friction angle values compared to the consolidated drained tests. The friction angle increased with increase in the unit weight from 8 degrees to 55 degrees in the consolidated undrained tests. Minor variations were found in the cohesion values. Relationships for strength and stiffness of MSW in terms of strength and stiffness ratios are developed and discussed. The stiffness ratio and the strength ratio of MSW were found to be 10 and 0.43. (c) 2015 Elsevier Ltd. All rights reserved.

System reliability of randomly vibrating structures: Computational modeling and laboratory testing

The problem of determination of system reliability of randomly vibrating structures arises in many application areas of engineering. We discuss in this paper approaches based on Monte Carlo simulations and laboratory testing to tackle problems of time variant system reliability estimation. The strategy we adopt is based on the application of Girsanov's transformation to the governing stochastic differential equations which enables estimation of probability of failure with significantly reduced number of samples than what is needed in a direct simulation study. Notably, we show that the ideas from Girsanov's transformation based Monte Carlo simulations can be extended to conduct laboratory testing to assess system reliability of engineering structures with reduced number of samples and hence with reduced testing times. Illustrative examples include computational studies on a 10 degree of freedom nonlinear system model and laboratory/computational investigations on road load response of an automotive system tested on a four post Lest rig. (C) 2015 Elsevier Ltd. All rights reserved.

Temperature compensation in CNT-composite distributed strain sensors

A temperature compensation method is proposed for CNT-composite strain sensors. CNT-composite sensors are fabricated on an elastic polymer substrate having known thermo-mechanical properties to introduce thermo-mechanical strain and further calibration of the sensor. Strain is induced on the sensor by bending the substrate as a cantilever configuration. Response of the sensor is measured using a bridge circuit method. Induced strain in the beam is determined using beam theory. The sensors are characterized for different CNT concentrations and at various temperatures. A model based temperature compensation scheme is proposed and verified experimentally. The result proves the ability of CNT-nanocomposite strain sensors to be used under varying temperature applications. A method is proposed to determine the strain and temperature simultaneously. The CNT sensors are simple to fabricate in complex patterns with excellent repeatability and do not require bonding layer.

Study on effect of optical wavelength on photo induced strain sensitivity in carbon nanotubes using fiber Bragg grating

In this work, the role of optical wavelength on the photo induced strain in carbon nanotubes (CNT) is probed using a Fiber Bragg Grating (FBG), upon exposure to infrared (IR) (21 mu epsilon mW(-1)) and visible (9 mu epsilon mW(-1)) radiations. The strain sensitivity in CNT is monitored over a smaller range (10(-3) to 10(-9) epsilon) by exposing to a low optical power varying in the range 10(-3) to 10(-6) W. In addition, the wavelength dependent response and recovery periods of CNT under IR (tau(rise) = 150 ms, tau(fall) = 280 ms) and visible (tau(rise) = 1.07 s, tau(fall) = 1.18 s) radiations are evaluated in detail. This study can be further extended to measure the sensitivity of nano-scale photo induced strains in nano materials and opens avenues to control mechanical actuation using various optical wavelengths.

Optimization of clamped beam geometry for fracture toughness testing of micron-scale samples

Fracture toughness measurements at the small scale have gained prominence over the years due to the continuing miniaturization of structural systems. Measurements carried out on bulk materials cannot be extrapolated to smaller length scales either due to the complexity of the microstructure or due to the size and geometric effect. Many new geometries have been proposed for fracture property measurements at small-length scales depending on the material behaviour and the type of device used in service. In situ testing provides the necessary environment to observe fracture at these length scales so as to determine the actual failure mechanism in these systems. In this paper, several improvements are incorporated to a previously proposed geometry of bending a doubly clamped beam for fracture toughness measurements. Both monotonic and cyclic loading conditions have been imposed on the beam to study R-curve and fatigue effects. In addition to the advantages that in situ SEM-based testing offers in such tests, FEM has been used as a simulation tool to replace cumbersome and expensive experiments to optimize the geometry. A description of all the improvements made to this specific geometry of clamped beam bending to make a variety of fracture property measurements is given in this paper.

Sonic hedgehog-Dependent Induction of MicroRNA 31 and MicroRNA 150 Regulates Mycobacterium bovis BCG-Driven Toll-Like Receptor 2 Signaling

Hedgehog (HH) signaling is a significant regulator of cell fate decisions during embryogenesis, development, and perpetuation of various disease conditions. Testing whether pathogen-specific HH signaling promotes unique innate recognition of intracellular bacteria, we demonstrate that among diverse Gram-positive or Gram-negative microbes, Mycobacterium bovis BCG, a vaccine strain, elicits a robust activation of Sonic HH (SHH) signaling in macrophages. Interestingly, sustained tumor necrosis factor alpha (TNF-alpha) secretion by macrophages was essential for robust SHH activation, as TNF-alpha(-/-) macrophages exhibited compromised ability to activate SHH signaling. Neutralization of TNF-alpha or blockade of TNF-alpha receptor signaling significantly reduced the infection-induced SHH signaling activation both in vitro and in vivo. Intriguingly, activated SHH signaling downregulated M. bovis BCG-mediated Toll-like receptor 2 (TLR2) signaling events to regulate a battery of genes associated with divergent functions of M1/M2 macrophages. Genome-wide expression profiling as well as conventional gain-of-function or loss-of-function analysis showed that SHH signaling-responsive microRNA 31 (miR-31) and miR-150 target MyD88, an adaptor protein of TLR2 signaling, thus leading to suppression of TLR2 responses. SHH signaling signatures could be detected in vivo in tuberculosis patients and M. bovis BCG-challenged mice. Collectively, these investigations identify SHH signaling to be what we believe is one of the significant regulators of host-pathogen interactions.

Influence of external weld flash on the in-plane plane-strain formability of friction stir welded sheets

The main aim of the present work is to analyze the influence of external weld flash on the formability of friction stir welding sheets through in-plane plane-strain formability tests. The load-extension behavior and forming limit strains are measured to quantify the formability. The influence of friction stir welding parameters on the height of weld flash was also studied. The base materials used for welding trials are AA6061T6 and AA5052H32 alloy sheets of 2.1-mm thickness. It is observed that the influence of external weld flash on the maximum load and total extension for all the friction stir welding conditions is negligible. The effect of weld flash on the limiting major strain is also insignificant. But the presence of weld flash has changed the limiting minor strain, more toward plane-strain condition, indicating the change in strain-path toward plane-strain. This is due to the strain taken by weld flash, along with the major strain, minor strain, and thickness strain in the friction stir welding sheet plane because of constancy of volume. The formation of weld flash and its height are affected synergistically by the axial force and temperature development during friction stir welding. The higher the axial force and temperature, the higher the flash height.

Novel architecture for anomalous strengthening of a particulate filled polymer matrix composite

We propose an architecture for dramatically enhancing the stress bearing and energy absorption capacities of a polymer based composite. Different weight fractions of iron oxide nano-particles (NPs) are mixed in a poly(dimethylesiloxane) (PDMS) matrix either uniformly or into several vertically aligned cylindrical pillars. These composites are compressed up to a strain of 60% at a strain rate of 0.01 s(-1) following which they are fully unloaded at the same rate. Load bearing and energy absorption capacities of the composite with uniform distribution of NPs increase by similar to 50% upon addition of 5 wt% of NPs; however, these properties monotonically decrease with further addition of NPs so much so that the load bearing capacity of the composite becomes 1/6th of PDMS upon addition of 20 wt% of NPs. On the contrary, stress at a strain of 60% and energy absorption capacity of the composites with pillar configuration monotonically increase with the weight fraction of NPs in the pillars wherein the load bearing capacity becomes 1.5 times of PDMS when the pillars consisted of 20 wt% of NPs. In situ mechanical testing of composites with pillars reveals outward bending of the pillars wherein the pillars and the PDMS in between two pillars, located along a radius, are significantly compressed. Reasoning based on effects of compressive hydrostatic stress and shape of fillers is developed to explain the observed anomalous strengthening of the composite with pillar architecture.

Field induced domain switching as the origin of anomalous lattice strain along non-polar direction in rhombohedral BiScO3-PbTiO3 close to the morphotropic phase boundary

The lattice strain and domain switching behavior of xBiScO(3)-(1-x) PbTiO3 (x = 0.40) was investigated as a function of cyclic field and grain orientation by in situ X-ray diffraction during application of electric fields. The electric field induced 200 lattice strain was measured to be five times larger than the 111 lattice strain in pseudorhombohedral xBiScO(3)-(1-x) PbTiO3 (x = 0.40). It is shown that the anomalous 200 lattice strain is not an intrinsic phenomenon, but arises primarily due to stress associated with the reorientation of the 111 domains in dense polycrystalline ceramic. (C) 2015 AIP Publishing LLC.

Non-invasive pressure monitoring by hoop strain using Fiber Bragg Grating sensor

Non-invasive, real-time dynamic monitoring of pressure inside a column with the aid of Fiber Bragg Grating (FBG) sensor is presented in the present work. A bare FBG sensor is adhered on the circumference of a pressure column normal to its axis, which has the ability to acquire the hoop strain induced by the pressure variation inside the column. Pressure induced hoop strain response obtained using FBG sensor is validated against the pressure measurements obtained from conventional pressure gauge. Further, a protrusion setup on the outer surface of the column has been proposed over which a secondary FBG sensor is bonded normal to its axis, in order to increase the gauge length of this FBG sensor. This is carried out in order to validate the variation in sensitivity of the protrusion bonded FBG sensor compared to the bare FBG sensor bonded over the surface. A comparative study is done between the two FBG sensors and a conventional pressure gauge in order to establish the capacity of FBG sensor obtained hoop strain response for pressure monitoring inside the column.