Screening of Soil Amendments for Efficient Water-Holding Capacity Based on a Rainfall-Infiltration Model in a Vertisol

A simulation study was conducted with five soil amendments, viz., goat manure, coir pith, phosphogypsum, polyacrylamide, and a control at two rainfall intensities of 60 and 120?mm?h?1 under dry and wet soil conditions in a clay loam vertisol with the objective of identifying a superior soil amendment for maximum infiltration and suitable soil aggregate stability. The F-test based on analysis of variance of infiltration data indicated that soil amendments, rainfall intensities, and soil conditions were significantly different from each other. Based on least significant difference test, polyacrylamide was found to be superior with a significantly higher infiltration, compared to all other amendments. An exponential model of infiltration over a time interval was calibrated for each soil amendment under dry and wet soil conditions. Based on the model, polyacrylamide and phosphogypsum were found to have a better soil aggregate stability compared to other soil amendments. The exponential model gave a significant predictability of instantaneous infiltration ranging from 0.75 to 0.99 under different situations. A grouping of treatments based on mean and coefficient of variation of infiltration in comparison with soil aggregate stability values indicated that polyacrylamide was superior under different situations in the study. Phosphogypsum was found to be the second best soil amendment with a relatively lower infiltration compared to polyacrylamide, but with a better soil aggregate stability compared to other soil amendments. Coir pith, goat manure, and control gave a significantly lower infiltration with a relatively higher variation compared to polyacrylamide and phosphogypsum, and also had a relatively lower soil aggregate stability under different situations examined in the study.     

Optimization of bead geometry of submerged arc weld using fuzzy based desirability function approach

The present study highlights application of Taguchi’s robust design coupled with fuzzy based desirability function approach for optimizing multiple bead geometry parameters of submerged arc weldment. Fuzzy inference system has been adapted to avoid uncertainly, imprecision and vagueness in experimentation as well as in data analysis by traditional Taguchi based optimization approach. Detailed methodology and unique features of the proposed method has been highlighted through a case study. The said approach can efficiently be used in off-line quality control of any production process as well as automation of the process.     

Price sensitive demand with random sales price – a newsboy problem

Up to now, many newsboy problems have been considered in the stochastic inventory literature. Some assume that stochastic demand is independent of selling price (p) and others consider the demand as a function of stochastic shock factor and deterministic sales price. This article introduces a price-dependent demand with stochastic selling price into the classical Newsboy problem. The proposed model analyses the expected average profit for a general distribution function of p and obtains an optimal order size. Finally, the model is discussed for various appropriate distribution functions of p and illustrated with numerical examples.     

A multi-sensor climatological view of double ITCZs over the Indian Ocean

We characterize the climatological features of the double inter-tropical convergence zones (DITCZs) over the western Indian Ocean during November–December by a synergistic analysis of the Hamburg Ocean Atmosphere Parameters and Fluxes from Satellite (HOAPS III) data (1988–2005) and the National Aeronautics and Space Administration's (NASA's) A-Train data (2002–2009). We investigate rainfall, freshwater flux and cloud liquid water, cloud fraction and relative humidity over the DITCZs. In addition, the daily rainfall data from the Global Precipitation Climatology Project (GPCP) are used to document the DITCZs during the El Niño southern oscillation (ENSO) events. An analysis of the GPCP data shows that the DITCZs are clearly discernible during strong ENSO events (1997, 2002 and 2006), in sharp contrast to the DITCZs in the eastern Pacific Ocean, where they are absent during ENSOs. Further, these convergence zones on either side of the equator are of short duration, approximately 3–6 pentads during November and December. All satellite sensor data sets consistently capture the major features of DITCZs. As an accurate simulation of DITCZs in coupled global climate models remains a challenge, the results from the present study would provide a platform for evaluating these models.     

Compile-time copy elimination

Single-assignment and functional languages have value semantics that do not permit side-effects. This lack of side-effects makes automatic detection of parallelism and optimization for data locality in programs much easier. However, the same property poses a challenge in implementing these languages efficiently. This paper describes an optimizing compiler system that solves the key problem of aggregate copy elimination. The methods developed rely exclusively on compile-time algorithms, including interprocedural analysis, that are applied to an intermediate data flow representation. By dividing the problem into update-in-place and build-in-place analysis, a small set of relatively simple techniques—edge substitution, graph pattern matching, substructure sharing and substructure targeting—was found to be very powerful. If combined properly and implemented carefully, the algorithms eliminate unnecessary copy operations to a very high degree. No run-time overhead is imposed on the compiled programs.     

A STOCHASTIC CHARACTERIZATION OF THE MACHINE TOOL WORKPIECE SYSTEM IN BTA OEEP HOLE MACHINING Part I: Mathematical Modelling and Analysis

A three dimensional model of the BTA deep-hole machining system is presented by modelling each of the components separately and later combining to represent the total system. A model for the interaction between the workpiece and the cutting tool is also included. Such a model can determine the response of any component of the machine tool as well as the individual influence on the system performance. Based on this, physical models representing the three working methods in the BTA process can be studied, from which stochastic differential equations are derived to represent the resultant force system on the machine tool

A physical model for the stationary workpiece and rotating cutting tool working method is developed. The assumed modes method along with the Lagrange' equation is used to obtain the stochastic differential equation to represent the influence of axial force and torque, in order to obtain the response of the system under the action of the axial force and torque to predict the stability behaviour.     

A computer program for automatic generation of stiffness and mass matrices in finite-element analysis

A computer program to generate automatically the stiffness and mass matrices in finite element analysis is introduced. By using programs like this, researchers only need to derive the expressions for the energies (strain or kinetic) and the expressions for the displacements or stresses and their derivatives in terms of nodal variables. Tedious calculations to obtain the matrices are avoided. Such programs would facilitate checking of existing matrices and would encourage researchers to try out new finite element models.     

Hybrid Authentication Using Node Trustworthy to Detect Vulnerable Nodes

An ad-hoc sensor network (ASN) is a group of sensing nodes that transmit data over a wireless link to a target node, direct or indirect, through a series of nodes. ASN becomes a high-risk group for several security exploits due to the sensor node’s limited resources. Internal threats are more challenging to protect against than external attacks. The nodes are grouped, and calculate each node’s trust level. The trust level is the result of combining internal and external trust degrees. Cluster heads (CH) are chosen based on the anticipated trust levels. The communications are then digitally signed by the source, encoded using a key pair given by a trustworthy CH, decoded by the recipient, and supervised by verifications. It authenticates the technique by identifying the presence of both the transmitter and the recipient. Our approach looks for a trustworthy neighboring node that meets the trust threshold condition to authenticate the key produced. The companion node reaffirms the node’s reliability by getting the public-key certification. The seeking sensor node and the certification issuer node must have a close and trusting relationship. The results of the proposed hybrid authentication using a node trustworthy (HANT) system are modeled and tested, and the suggested approach outperforms conventional trust-based approaches in throughput, latency, lifetime, and vulnerability methods.     

Model-based test generation using extended symbolic grammars

A novel, model-based test case generation approach for validating reactive systems, especially those supporting richly structured data inputs and/or interactions, is presented. Given an executable system model and an extended symbolic grammar specifying plausible system inputs, the approach performs a model-based simulation to (i) ensure the consistency of the model with respect to the specified inputs, and (ii) generate corresponding test cases for validating the system. The model-based simulation produces a state transition diagram (STD) automatically justifying the model runtime behaviors within the test case coverage. The STD can further be transformed to produce an evolved symbolic grammar, which can then be used to incrementally generate a refined set of test cases. As a case study, we present a live sequence chart (LSC) model-based test generator, named LCT in short, for LSC simulation and consistency testing. The evolved symbolic grammar produced by the simulator can either be used to generate practical test cases for software testing, or be further refined by applying our model-based test generation approach again with additional test coverage criteria. We further show that LSCs can also be used to specify and test certain temporal system properties during the model simulation. Their satisfaction, reflected in the STD, can either be served as a directive for selective test generation, or a basis for further temporal property model checking.