Minimum-order stable recursive filter design via the genetic algorithm approach

In this paper, the minimum-order stable recursive filter design problem is proposed and investigated. This problem is playing an important role in pipeline implementation sin signal processing. Here, the existence of a high-order stable recursive filter is proved theoretically, in which the upper bound for the highest order of stable filters is given. Then the minimum-order stable linear predictor is obtained via solving an optimization problem. In this paper, the popular genetic algorithm approach is adopted since it is a heuristic probabilistic optimization technique and has been widely used in engineering designs. Finally, an illustrative example is sued to show the effectiveness of the proposed algorithm.

An equivalent algorithm for simulating thermal effects of magma intrusion problems in porous rocks

An equivalent algorithm is proposed to simulate thermal effects of the magma intrusion in geological systems, which are composed of porous rocks. Based on the physical and mathematical equivalence, the original magma solidification problem with a moving boundary between the rock and intruded magma is transformed into a new problem without the moving boundary but with a physically equivalent heat source. From the analysis of an ideal solidification model, the physically equivalent heat source has been determined in this paper. The major advantage in using the proposed equivalent algorithm is that the fixed finite element mesh with a variable integration time step can be employed to simulate the thermal effect of the intruded magma solidification using the conventional finite element method. The related numerical results have demonstrated the correctness and usefulness of the proposed equivalent algorithm for simulating the thermal effect of the intruded magma solidification in geological systems. (C) 2003 Elsevier B.V. All rights reserved.

A spectral clustering algorithm for manufacturing cell formation

A graph clustering algorithm constructs groups of closely related parts and machines separately. After they are matched for the least intercell moves, a refining process runs on the initial cell formation to decrease the number of intercell moves. A simple modification of this main approach can deal with some practical constraints, such as the popular constraint of bounding the maximum number of machines in a cell. Our approach makes a big improvement in the computational time. More importantly, improvement is seen in the number of intercell moves when the computational results were compared with best known solutions from the literature. (C) 2009 Elsevier Ltd. All rights reserved.

Co-occurrence of three types of egg policing in the Norwegian wasp Dolichovespula norwegica

In insect societies, workers often try to challenge the reproductive monopoly of the queen by laying their own eggs. Successful worker reproduction, however, is frequently prevented by queen policing or worker policing, whereby either the mother queen or non-reproductive workers selectively kill worker-laid eggs. Recently, a third mechanism-""selfish"" worker policing-has also been described in which the workers selectively police worker-laid eggs but also lay eggs themselves. Here, we present results from the monogynous wasp Dolichovespula norwegica, which show that all three kinds of policing-queen policing, worker policing and ""selfish"" worker policing-co-occur. The net effect of these three kinds of policing collectively favoured the queen`s reproduction, as within 1 day 44% of the worker-laid eggs versus only 8% of the queen-laid eggs were eaten. Of the worker-laid eggs that were killed by workers, approximately two thirds were eaten by the reproductive workers even though these made up only a small proportion, 8%, of the work force. This means that policing workers obtained both direct fitness benefits as well as indirect (inclusive) fitness. In addition, we show that worker policing was carried out by a limited, specialised set of workers that was estimated to constitute approximately one quarter of the whole colony and of which 66% were non-reproductive.

Worker demography in a large-colony, swarm-founding wasp

Neotropical swarm-founding wasps build nests enclosed in a covering envelope, which makes it difficult to count individual births and deaths. Thus, knowledge of worker demography is very limited for swarm-founding species compared with that for independent-founding species. In this study, we explored the worker demography of the swarm-founding wasp Polybia paulista, the colony size of which usually exceeds several thousand adults. We considered each wasp colony as an open-population and estimated the survival probability, recruitment rate, and population size of workers using the developments of the Cormack-Jolly-Seber model. We found that capture probability varied considerably among the workers, probably due to age polyethism and/or task specialization. The daily survival rate of workers was high (around 0.97) throughout the season and was not related to the phase of colony development. On the other hand, the recruitment rate ranged from 0 to 0.37, suggesting that worker production was substantially less important than worker survival in determining worker population fluctuations. When we compared survival rates among worker groups of one colony, the mean daily survival rate was lower for founding workers than for progeny workers and tended to be higher in progeny workers that emerged in winter. These differences in survivorship patterns among worker cohorts would be related to worker foraging activity and/or level of parasitism.

How does a colony of Apoica flavissima (Hymenoptera: Vespidae, Epiponini) maintain a constant temperature?

The thermal characteristics of a colony of Apoica flavissima, an epiponine wasp, were examined. The nest, with a diameter of slightly less than 30 cm, was built on a twig of an orange tree. The temperature of the roof surface fluctuated greatly, ranging between 19.1 and 41.5 degrees C. However, the temperature in the central cell was kept constant at around 27 degrees C throughout a day. Although heavy rain pelted the nest roof in the morning, the central cell maintained temperatures higher than 25 degrees C. On the contrary, after all immature and adult wasps were removed the temperature in the nest fluctuated considerably. The presence of immature individuals and adult wasps densely covering the under surface of the comb seemed to function as an effective insulator. The smaller temperature fluctuation in the central cell than on the roof surface, when the nest was in the empty state, suggests that the thick spongy tissue of the roof made from curled plant leaf hairs serves as an insulator to prevent the conduction of solar heat into the cells and the outward flow of heat generated in cells, especially at night.

Ant visitation to extrafloral nectaries decreases herbivory and increases fruit set in Chamaecrista debilis (Fabaceae) in a Neotropical savanna

Studies of ant-plant relationships elucidate how top-down effects of the third trophic level can affect the biomass, richness, and/or species composition of plants. Although widespread in the neotropics, few studies have so far examined the direct effects of ants on plant fitness. Here, through experimental manipulation (ant-exclusion) under natural conditions, we examined the effect of ant visitation to extrafloral nectaries on leaf herbivory and fruit set in Chamaecrista debilis in the Brazilian savanna. As opposed to other Chamaecrista species, our results showed that visiting ants (15 species) significantly reduce herbivory and increase fruit set by more than 50% compared to plants from which ants were excluded. This mutualistic system is facultative in nature, and corroborates the potential beneficial role of exudate-feeding ants as anti-herbivore agents of tropical plants. (C) 2010 Elsevier GmbH. All rights reserved.

Discrete dimorphism among castes of the bald-faced hornet Dolichovespula maculata (Hymenoptera: Vespidae) in different phases of the colony cycle

Morphological and physiological caste differences were compared from colonies of Dolichovespula maculata in middle and late phases of the colony cycle. The females showed three patterns of ovarian development and only females classified as queens were inseminated. In both phases, queens were larger than workers for most measures. Discriminant analyses showed high distinction of caste in both phases. We also found highly pronounced qualitative differences: workers had hairs covering the entire body whereas queens had no hair and also some colour differences in the gaster. These results indicate that D. maculata presents pre-imaginal differentiation as seen in other Vespinae, and that size variation occurs from colony to colony such that queens of one colony may be comparable to workers of a different colony although the castes are always distinguishable within colonies.

A new social parasite in the ant genus Ectatomma F. Smith (Hymenoptera, Formicidae, Ectatomminae)

Ectatomma parasiticum Feitosa & Fresneau, a new ant species socially parasitic on Ectatomma tuberculatum (Olivier), is described from gynes discovered in Apazapan, state of Veracruz, Mexico, and reared in the laboratory. Ectatomma parasiticum is the first social parasite described in the Ectatomminae. This species can be distinguished from its host by morphological and behavioral features characteristic of the inquilines known in other ant subfamilies including reduced size, thickened petiole, and agonistic interactions with host species.

A new algorithm and refined bounds for extended gcd computation

Extended gcd computation is interesting itself. It also plays a fundamental role in other calculations. We present a new algorithm for solving the extended gcd problem. This algorithm has a particularly simple description and is practical. It also provides refined bounds on the size of the multipliers obtained.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Analysis and implementation of a new constant acceleration subcycling algorithm

An algorithm for explicit integration of structural dynamics problems with multiple time steps is proposed that averages accelerations to obtain subcycle states at a nodal interface between regions integrated with different time steps. With integer time step ratios, the resulting subcycle updates at the interface sum to give the same effect as a central difference update over a major cycle. The algorithm is shown to have good accuracy, and stability properties in linear elastic analysis similar to those of constant velocity subcycling algorithms. The implementation of a generalised form of the algorithm with non-integer time step ratios is presented. (C) 1997 by John Wiley & Sons, Ltd.

Expression of activated mutants of the human interleukin-3/interleukin-5 granulocyte-macrophage colony-stimulating factor receptor common beta subunit in primary hematopoietic cells induces factor-independent proliferation and differentiation

To date, several activating mutations have been discovered in the common signal-transducing subunit (h beta c) of the receptors for human granulocyte-macrophage colony-stimulating factor, interleukin-3, and interleukin-5. Two of these, Fl Delta and 1374N, result in a 37 amino acid duplication and a single amino acid substitution in the extracellular domain of h beta c, respectively. A third, V449E, results in a single amino acid substitution in the transmembrane domain, Previous studies comparing the activity of these mutants in different hematopoietic cell lines imply that the transmembrane and extracellular mutations act by different mechanisms and suggest the requirement for cell type-specific molecules in signalling. To characterize the ability of these mutant hpc subunits to mediate growth and differentiation of primary cells and hence investigate their oncogenic potential, we have expressed all three mutants in primary murine hematopoietic cells using retroviral transduction. It is shown that, whereas expression of either extracellular hpc mutant confers factor-independent proliferation and differentiation on cells of the neutrophil and monocyte lineages only, expression of the transmembrane mutant does so on these lineages as well as the eosinophil, basophil, megakaryocyte, and erythroid lineages, Factor-independent myeloid precursors expressing the transmembrane mutant display extended proliferation in liquid culture and in some cases yielded immortalized cell lines. (C) 1997 by The American Society of Hematology.