Perturbation techniques for detecting domain errors

Perturbation testing is an approach to software testing which focuses on faults within arithmetic expressions appearing throughout a program. This approach is expanded to permit analysis of individual test points rather than entire paths, and to concentrate on domain errors. Faults are modeled as perturbing functions drawn from a vector space of potential faults and added to the correct form of an arithmetic expression. Sensitivity measures are derived which limit the possible size of those faults that would go undetected after the execution of a given test set. These measures open up an interesting view of testing, in which attempts are made to reduce the volume of possible faults which, were they present in the program being tested, would have escaped detection on all tests performed so far. The combination of these measures with standard optimization techniques yields a novel test-data-generation method called arithmetic fault detection     

Hydrodynamic loadings due to the motion of large offshore structures

A very effective non-reflecting boundary condition is proposed for the three-dimensional finite element analysis of hydrodynamic loads on offshore structures under motion due to earthquake, waves or machinery forces. The effect of surface waves is considered and the analysis is conducted in the frequency domain. The structure is assumed to be sufficiently large such that the non-linear effect of drag force is negligible. The unbounded extent of water surrounding the structure is assumed to be incompressible. The boundary condition, which is derived for the general analysis of structure-water interaction, is found to depend on the frequency of excitation, the location of the truncation boundary and the depth of water in the far field. Through some simplified numerical examples, it is shown that the proposed technique is very efficient for a wide range of the frequency of excitation. Incorporation of the boundary condition into a finite element program requires practically no extra effort.     

Conversion of acrylonitrile-based precursors to carbon fibres

The progress of stabilization of two compositions of acrylic fibres with various orientations has been followed by a variety of techniques. The thermooxidative treatments for stabilization have been carried out in a continuous process and also in a batch process under free shrinkage, constant length and constant tension conditions. The morphological model of acrylic fibres consists of an alternating sequence of laterally ordered and laterally disordered regions along the fibre direction. This structure is consistent with the observations based on small-angle X-ray scattering of copper- impregnated precursor fibres and thermomechanical response, thermal stress development, calorimetry, wide- and small-angle X-ray scattering and sonic modu-lus measured at different extents of stabilization. Lateral as well as orientational order in these fibres can be increased markedly through a high-temperature deformation process prior to stabilization. An increase in perfection and extent of order is observed in the early stages of stabilization. There is also a simultaneous decrease in the orientation of the disordered phase at this stage and the extent of this decrease depends on the axial constraints imposed on the fibre. Little difference in the rate of stabilization is observed as measured by density or oxygen uptake for fibres with different extents of orientation, lateral order or restraint. Fibres containing itaconic add, a stabilization catalyst did show an increased rate of stabilization. Inferences have been drawn regarding additional research pertaining to achieving high order in precursor fibres, minimizing orientational relaxation during oxidative stabilization, and the techniques for monitoring the extents of the stabilization treatment and the changes in relevant morphological parameters.     

Low-cost, high-efficiency quasi-planar array of waveguide-fed circularly polarized microstrip antennas

A low-cost quasiplanar Ku-band array of circularly polarized microstrip antennas benefiting from a low-loss waveguide feed network is demonstrated (patent pending). The 32 elements of the array which are arranged in a 2-by-16 configuration are subdivided into four two-by-four subarrays. To maintain feed losses and thus the overall noise temperature at a minimum, the subarrays are excited using a one-by-four corporate feed network of hollow metallic waveguides. This network is composed of E-plane components such as Tee-junctions and bends and is manufactured out of only two metallic pieces that accommodate the feed network in the form of milled grooves. Because of insensitivity of the exploited E-plane components to air gaps or slight misalignments, the pieces are secured together with only four screws without welding, braising, or conducting adhesives. Owing to a low-loss foam substrate, the array elements show high circular polarization gain of 9 dBic and wide relative bandwidth of 4%. To achieve circular polarization, use is made of circular patches with two nearly perpendicular perturbations. Using sequential rotation of the elements along with quadrature phase shifting, the axial ratio of the array is reduced to 1 dB over 4% of bandwidth. The measured circular polarization gain of the array amounts to 23 dBic with an aperture efficiency of 63% in the Ku-band of frequencies. The achieved efficiency, which is higher than the reported efficiency for comparable planar arrays with microstrip feed networks, can be credited to the low losses of only 0.2 dB in its waveguide corporate feed. The paper also presents measurement results for an arrangement of two inclined single arrays mounted in parallel. This configuration which has a measured circular polarization gain of 25.7 dBic with an axial ratio of 1 dB is desirable for mobile low-profile antenna systems.     

Institutional research productivity in industrial/organizational psychology.

Updated the report of W. M. Cox and V. Catt (see record 1978-21651-001) by determining the 40 top contributing institutions to the Journal of Applied Psychology, 1976–1982, and assessed the generalizability of productivity rankings based solely on contributions to this journal. A number of industrial and organizational psychologists were asked to indicate all the journals in which psychologists in the field were likely to publish. Five journals suggested by these nominators were used for comparison in the review. A list of the 40 most productive graduate programs based on these 5 journals is included. Results show the inadequacy of Cox and Catt's decision to base productivity ratings solely on contributions to 1 journal. Using 5 journals, 4 programs were catapulted into the top 10 rankings, while 7 programs dropped from top rankings in the Cox study (1970–1975) to below the 65th rank in the present study. Using only the Journal of Applied Psychology contributions, 2 of these programs ranked in the top 10, 1976–1982. (5 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Monitoring of human enteric viruses and coliform bacteria in waters after urban flood in Jakarta, Indonesia.

Floodwaters in Kampung Melayu village, Jakarta, Indonesia, as well as river water and consumable water (including groundwater and tap water) samples in flooded and non-flooded areas, were quantitatively analysed to assess occurrence of viruses and total coliforms and E. coli as bacterial indicators after flooding event. High numbers of enterovirus, hepatitis A virus, norovirus (G1, G2) and adenovirus were detected at high concentration in floodwaters and waters sampled from Ciliwung River which runs across metropolitan Jakarta and is used widely for agriculture and domestic purposes by poor residents. One out of three groundwater wells in the flooded area was contaminated with all viruses tested while no viruses were found in groundwater samples in non-flooded areas and tap water samples. The results revealed that human enteric viruses, especially hepatitis A virus and adenovirus, were prevalent in Jakarta, Indonesia. This study suggested that flooding posed a higher risk of viral infection to the people through contamination of drinking water sources or direct contact with floodwaters.     

Boosting nitrification by membrane-attached biofilm.

Nitrification is a key step for reliable biological nitrogen removal. In order to enhance nitrification in the activated sludge (AS) process, membrane-attached biofilm (MAB) was incorporated in a conventional activated sludge tank. Simultaneous organic carbon removal and nitrification of the MAB incorporated activated sludge (AS + MAB) process was investigated with continuous wastewater treatment. The effluent TOC concentration of AS and the AS + MAB processes were about 6.3 mg/L and 7.9 mg/L, respectively. The TOC removal efficiency of both AS and AS + MAB were above 95% during the wastewater treatment, indicating excellent organic carbon removal performance in both processes. Little nitrification occurred in the AS process. On the contrary, successful nitrification was obtained with the AS + MAB process with nitrification efficiency of about 90%. The volumetric and surface nitrification rates were about 0.14 g/Ld and 6.5 g/m2d, respectively. The results clearly demonstrated that nitrification in the conventional AS process was boosted by MAB. Furthermore, the microfaunal population in the AS + MAB process was different from that in the AS process. The high concentration of rotifers in the AS + MAB process was expected to decrease the generation of excess sludge in the process.     

Optimal algorithms for adjacent side routing

We consider the switchbox routing problem of two-terminal nets in the case when all thek nets lie on two adjacent sides of the rectangle. Our routing model is the standard two-layer model. We develop an optimal algorithm that routes all the nets whenever a routing exists. The routing obtained uses the fewest possible number of vias. A more general version of this problem (adjacent staircase) is also optimally solved.This research was supported in part by NSA Contract No. MDA-904-85H-0015, NSF Grant No. DCR-86-00378, and by NSF Engineering Research Centers Program NSFD CDR 88003012.     

Estimation of failure probability from a bivariate normal stress-strength distribution

Probability (P) of equipment failure consequent upon stress exceeding built-in strength has been estimated assuming a bivariate normal stress-strength distribution. The UMVUE of P when parameters other than the means are known has been derived. An alternative estimator based on maximum likelihood estimates has been proposed in the case when all the five parameters are unknown. Asymptotic variances of both these estimators have been worked out. Some relevant numerical computations have also been reported.