Linear time geometrical design rule checker based on quadtree representation of VLSI mask layouts

An efficient geometrical design rule checker is proposed, based on operations on quadtrees, which represent VLSI mask layouts. The time complexity of the design rule checker is O(N), where N is the number of polygons in the mask. A pseudoPascal description is provided of all the important algorithms for geometrical design rule verification.

Impact of resistance on the efficacy of binary combinations of spinosad, chlorpyrifos-methyl and s-methoprene against five stored-grain beetles

Laboratory experiments were conducted to determine the efficacy of spinosad (a biopesticide), chlorpyrifos-methyl (an organophosphorus compound (OP)) and s-methoprene (a juvenile hormone analogue) applied alone and in binary combinations against five stored-grain beetles in wheat. There were three strains of Rhyzopertha dominica, and one strain each of Sitophilus oryzae, Tribolium castaneum, Oryzaephilus surinamensis and Cryptolestes ferrugineus. These strains were chosen to represent a range of possible resistant genotypes, exhibiting resistance to organophosphates, pyrethroids or methoprene. Treatments were applied at rates that are registered or likely to be registered in Australia. Adults were exposed to freshly treated wheat for 2 weeks, and the effects of treatments on mortality and reproduction were determined. No single protectant or protectant combination controlled all insect strains, based on the criterion of >99% reduction in the number of live F1 adults relative to the control. The most effective combinations were spinosad at 1 mg kg-1+chlorpyrifos-methyl at 10 mg kg-1 which controlled all strains except for OP-resistant O. surinamensis, and chlorpyrifos-methyl at 10 mg kg-1+s-methoprene at 0.6 mg kg-1 which controlled all strains except for methoprene-resistant R. dominica. The results of this study demonstrate the difficulty in Australia, and potentially other countries which use protectants, of finding protectant treatments to control a broad range of pest species in the face of resistance development.

Numerical studies on columnar-to-equiaxed transition in directional solidification of binary alloys

A numerical study on columnar-to-equiaxed transition (CET) during directional solidification of binary alloys is presented using a macroscopic solidification model. The position of CET is predicted numerically using a critical cooling rate criterion reported in literature. The macroscopic solidification model takes into account movement of solid phase due to buoyancy, and drag effect on the moving solid phase because of fluid motion. The model is applied to simulate the solidification process for binary alloys (Sn-Pb) and to estimate solidification parameters such as position of the liquidus, velocity of the liquidus isotherm, temperature gradient ahead of the liquidus, and cooling rate at the liquidus. Solidification phenomena under two cooling configurations are studied: one without melt convection and the other involvin thermosolutal convection. The numerically predicted positions of CET compare well with those of experiments reported in literature. Melt convection results in higher cooling rate, higher liquidus isotherm velocities, and stimulation of occurrence of CET in comparison to the nonconvecting case. The movement of solid phase aids further the process of CET. With a fixed solid phase, the occurrence of CET based on the same critical cooling rate is delayed and it occurs at a greater distance from the chill.

Characterisation of chicken Campylobacter jejuni isolates using resolution optimised single nucleotide polymorphisms and binary gene markers

The principal objective of this study was to determine if Campylobacter jejuni genotyping methods based upon resolution optimised sets of single nucleotide polymorphisms (SNPs) and binary genetic markers were capable of identifying epidemiologically linked clusters of chicken-derived isolates. Eighty-eight C. jejuni isolates of known flaA RFLP type were included in the study. They encompassed three groups of ten isolates that were obtained at the same time and place and possessed the same flaA type. These were regarded as being epidemiologically linked. Twenty-six unlinked C. jejuni flaA type I isolates were included to test the ability of SNP and binary typing to resolve isolates that were not resolved by flaA RFLP. The remaining isolates were of different flaA types. All isolates were typed by real-time PCR interrogation of the resolution optimised sets of SNPs and binary markers. According to each typing method, the three epidemiologically linked clusters were three different clones that were well resolved from the other isolates. The 26 unlinked C. jejuni flaA type I isolates were resolved into 14 SNP-binary types, indicating that flaA typing can be unreliable for revealing epidemiological linkage. Comparison of the data with data from a fully typed set of isolates associated with human infection revealed that abundant lineages in the chicken isolates that were also found in the human isolates belonged to clonal complex (CC) -21 and CC-353, with the usually rare C-353 member ST-524 being especially abundant in the chicken collection. The chicken isolates selected to be diverse according to flaA were also diverse according to SNP and binary typing. It was observed that CC-48 was absent in the chicken isolates, despite being very common in Australian human infection isolates, indicating that this may be a major cause of human disease that is not chicken associated.

Modelling predicts positive and negative interactions between three Australian tropical tree species in monoculture and binary mixture

Computer modelling promises to be an important tool for analysing and predicting interactions between trees within mixed species forest plantations. This study explored the use of an individual-based mechanistic model as a predictive tool for designing mixed species plantations of Australian tropical trees. The `spatially explicit individually based-forest simulator' (SeXI-FS) modelling system was used to describe the spatial interaction of individual tree crowns within a binary mixed-species experiment. The three-dimensional model was developed and verified with field data from three forest tree species grown in tropical Australia. The model predicted the interactions within monocultures and binary mixtures of Flindersia brayleyana, Eucalyptus pellita and Elaeocarpus grandis, accounting for an average of 42% of the growth variation exhibited by species in different treatments. The model requires only structural dimensions and shade tolerance as species parameters. By modelling interactions in existing tree mixtures, the model predicted both increases and reductions in the growth of mixtures (up to +/-50% of stem volume at 7 years) compared to monocultures. This modelling approach may be useful for designing mixed tree plantations.

Electron attachment in binary mixtures of electronegative and buffer gases

The ratio of the electron attachment coefficient eta to the gas pressure p (reduced to 0 degrees C) evaluated from the Townsend current growth curves in binary mixtures of electronegative gases (SF6, CCl2F2, CO2) and buffer gases (N2, Ar, air) clearly indicate that the eta /p ratios do not scale as the partial pressure of electronegative gas in the mixture. Extensive calculations carried out using data experimentally obtained have shown that the attachment coefficient of the mixture eta mix can be expressed as eta mix= eta (1-exp- beta F/(100-F)) where eta is the attachment coefficient of the 100% electronegative gas, F is the percentage of the electronegative gas in the mixture and beta is a constant. The results of this analysis explain to a high degree of accuracy the data obtained in various mixtures and are in very good agreement with the data deduced by Itoh and co-workers (1980) using the Boltzmann equation method.

Low-frequency dielectric constant measurements in the critical polar + non-polar binary liquid system: Methanol + n-heptane

The low-frequency (5–100 kHz) dielectric constant ε has been measured in the temperature range 7 × 10−5 < T = (T − Tc)/Tc < 8 × 10−2. Near Tc an exponent ≈0.11 characterizes the power law behaviour of dε/dt consistent with the theoretically predicted t−α singularity. However, over the full range of t an exponent ≈0.35 is obtained.

Binary decompositions and acyclic schemes

It is well known that the notions of normal forms and acyclicity capture many practical desirable properties for database schemes. The basic schema design problem is to develop design methodologies that strive toward these ideals. The usual approach is to first normalize the database scheme as far as possible. If the resulting scheme is cyclic, then one tries to transform it into an acyclic scheme. In this paper, we argue in favor of carrying out these two phases of design concurrently. In order to do this efficiently, we need to be able to incrementally analyze the acyclicity status of a database scheme as it is being designed. To this end, we propose the formalism of "binary decompositions". Using this, we characterize design sequences that exactly generate theta-acyclic schemes, for theta = agr,beta. We then show how our results can be put to use in database design. Finally, we also show that our formalism above can be effectively used as a proof tool in dependency theory. We demonstrate its power by showing that it leads to a significant simplification of the proofs of some previous results connecting sets of multivalued dependencies and acyclic join dependencies.

A new formalism for representation of binary thermodynamic data

The applicability of a formalism involving an exponential function of composition x1 in interpreting the thermodynamic properties of alloys has been studied. The excess integral and partial molar free energies of mixing are expressed as: $$\begin{gathered} \Delta F^{xs} = a_o x_1 (1 - x_1 )e^{bx_1 } \hfill \\ RTln\gamma _1 = a_o (1 - x_1 )^2 (1 + bx_1 )e^{bx_1 } \hfill \\ RTln\gamma _2 = a_o x_1^2 (1 - b + bx_1 )e^{bx_1 } \hfill \\ \end{gathered} $$ The equations are used in interpreting experimental data for several relatively weakly interacting binary systems. For the purpose of comparison, activity coefficients obtained by the subregular model and Krupkowski’s formalism have also been computed. The present equations may be considered to be convenient in describing the thermodynamic behavior of metallic solutions.

A parallel-serial binary arbitration scheme for collision-free multi-access techniques

Multi-access techniques are widely used in computer networking and distributed multiprocessor systems. On-the-fly arbitration schemes permit one of the many contenders to access the medium without collisions. Serial arbitration is cost effective but is slow and hence unsuitable for high-speed multiprocessor environments supporting very high data transfer rates. A fully parallel arbitration scheme takes less time but is not practically realisable for large numbers of contenders. In this paper, a generalised parallel-serial scheme is proposed which significantly reduces the arbitration time and is practically realisable.

On the implication of the recently discovered 5 millisecond binary pulsar PSR 1855+09

e argue that the extraordinary fact that all three known millisecond pulsars are very close to the galactic plane implies that there must be ~100 potentially observable millisecond pulsars within ~4 kpc from the Sun. Our other main conclusion is that the dipole magnetic fields or old neutron stars probably saturate around 5 x 108 gauss.

Prediction of Breakdown Voltages of Binary Gas Mixtures in Uniform Electric Fields

A simple equation to predict the breakdown voltages for binary mixtures (Vmix) of electronegative gases (SF6, CCl2F2) and buffer gases (N2, N2O, CO2, air) under uniform electric field has been proposed. Values of Vmix evaluated using this equation for mixtures of SF6-N2, SF6-air, SF6-N2O, SF6-CO2 and CCl2F2-N2 over a wide range of pd show an excellent agreement with the experimentally measured data available in the literature.

Combustion and Thermal Decomposition of a Binary Oxidiser System: Ammonium Perchlorate-Potassium Perchlorate

Combustion behaviour of ammonium perchlorate-potassium perchlorate pellets is studied using Crawford strand burners. At low concentrations of potassium perchlorate (up to 30 percent potassium perchlorate) the burning rate of ammonium perchlorate-potassium perchlorate condensed mixtures increases with potassium perchlorate content. Above 40 percent potassium perchlorate content, combustion sustenance becomes difficult. Decomposition products of ammonium perchlorate sensitize the melting and subsequent decomposition of potassium perchlorate. The results are explained in terms of the melt layer thickness, flame temperature and the resultant surface temperature, and heat wave penetration into the solid. The study suggests the importance of melt layer on the burning surface in the deflagration behaviour of ammonium perchlorate-potassium perchlorate condensed mixtures

Evaluation of two-dimensional quantizers for Fourier transform binary holograms

Quantization formats of four digital holographic codes (Lohmann,Lee, Burckhardt and Hsueh-Sawchuk) are evaluated. A quantitative assessment is made from errors in both the Fourier transform and image domains. In general, small errors in the Fourier amplitude or phase alone do not guarantee high image fidelity. From quantization considerations, the Lee hologram is shown to be the best choice for randomly phase coded objects. When phase coding is not feasible, the Lohmann hologram is preferable as it is easier to plot.