A formal representation of assumptions in process modelling

In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.

Incremental parsing in language-based editors: user needs and how to meet them

Incremental parsing has long been recognized as a technique of great utility in the construction of language-based editors, and correspondingly, the area currently enjoys a mature theory. Unfortunately, many practical considerations have been largely overlooked in previously published algorithms. Many user requirements for an editing system necessarily impact on the design of its incremental parser, but most approaches focus only on one: response time. This paper details an incremental parser based on LR parsing techniques and designed for use in a modeless syntax recognition editor. The nature of this editor places significant demands on the structure and quality of the document representation it uses, and hence, on the parser. The strategy presented here is novel in that both the parser and the representation it constructs are tolerant of the inevitable and frequent syntax errors that arise during editing. This is achieved by a method that differs from conventional error repair techniques, and that is more appropriate for use in an interactive context. Furthermore, the parser aims to minimize disturbance to this representation, not only to ensure other system components can operate incrementally, but also to avoid unfortunate consequences for certain user-oriented services. The algorithm is augmented with a limited form of predictive tree-building, and a technique is presented for the determination of valid symbols for menu-based insertion. Copyright (C) 2001 John Wiley & Sons, Ltd.

Reorganization of structural proteins in vascular smooth muscle cells grown in collagen gel and basement membrane matrices (Matrigel): A comparison with their in situ counterparts

When smooth muscle cells are enzyme-dispersed from tissues they lose their original filament architecture and extracellular matrix surrounds. They then reorganize their structural proteins to accommodate a 2-D growth environment when seeded onto culture dishes. The aim of the present study was to determine the expression and reorganization of the structural proteins in rabbit aortic smooth muscle cells seeded into 3-D collagen gel and Matrigel (a basement membrane matrix). It was shown that smooth muscle cells seeded in both gels gradually reorganize their structural proteins into an architecture similar to that of their in vivo counterparts. At the same time, a gradual decrease in levels of smooth muscle-specific contractile proteins (mainly smooth muscle myosin heavy chain-2) and an increase in p-nonmuscle actin occur, independent of both cell growth and extracellular matrix components. Thus, smooth muscle cells in 3-D extracellular matrix culture and in vivo have a similar filament architecture in which the contractile proteins such as actin, myosin, and alpha -actinin are organized into longitudinally arranged myofibrils and the vimentin-containing intermediate filaments form a meshed cytoskeletal network, However, the myofibrils reorganized in vitro contain less smooth muscle-specific and more nonmuscle contractile proteins. (C) 2001 Academic Press.

Xmds: eXtensible multi-dimensional simulator

A software package that efficiently solves a comprehensive range of problems based on coupled complex nonlinear stochastic ODEs and PDEs is outlined. Its input and output syntax is formulated as a subset of XML, thus making a step towards a standard for specifying numerical simulations.

Transmit array of transistor amplifiers illuminated by a patch array in the reactive near-field region

In this paper, a small transmit array of transistor amplifiers illuminated by a passive array of microstrip patches in the reactive near-field region is investigated as a power-combining structure. The two cases considered are when the transmit array radiates in a free space and when a passive array similar to the one used for illumination collects the radiated power. A comparison of the performance of the proposed structure against the alternative one, which uses a conventional horn antenna as a power-launching/receiving device, is also presented.

A Ku-band active transmit-array module with a horn or patch array as a signal launching/receiving device

This paper is concerned with the design of a Ku-band active transmit-array module of transistor amplifiers excited by either a pyramidal horn or a patch array Optimal distances between the active transmit array and the signal-launching:receiving device, which is either a passive corporate-fed array or a horn, are determined to maximise the power gain at a design frequency: Having established these conditions, the complete structure is investigated in terms of operational bandwidth and near-field and far-field distributions measured at the output side of the transmit array, The experimental results show that the use of a corporate-fed array as an illuminating/receiving device gives higher gain and significantly larger operational bandwidth, An explanation for this behavior is sought.

Effectiveness of brown planthopper predators: Population suppression by two species of spider, Pardosa pseudoannulata (Araneae, Lycosidae) and Araneus inustus (Araneae, Araneidae)

The most abundant natural enemies found in Cambodian rice field are spiders, mostly Araneus inustus and Pardosa pseudoannulata. These two hunting and wolf spider, respectively, are believed to actively contribute to brown planthopper (BPH) population control. However, how much each species attacks prey in Cambodian field condition is unknown. We conducted field experiments in Cambodia during the wet season at two locations, a famner's fields at Takeo and at CARDI, using both field cages and natural conditions. Cages were sprayed with insecticide to remove all pre-existing insects in the cages and then washed after 10 days to reduce insecticide residue. Results confirmed BPH inside the cage were killed by the insecticide. A known BPH population was reared inside the cages starting with 3 pairs of adults. Temporary cages were removed after counting second instar BPH and permanent cages were left in place. Spiders were released into the cages for 15 days. In permanent cages either two individual A. inustus or P. pseudoannulata were allowed to feed on BPH prey. Both spider species have the same killing ability in dense prey populations, but predation is higher for Pardosa at low prey density. In uncaged field environments (where more than just BPH prey are available) with a spider/BPH ratio 1:3 to 1:11 BPH mortality was 78–91%. Within 15 days in permanent cages spiders caused 100% BPH mortality at an average predator/prey ratio of 1:5 to 1:14. At a ratio of 1:18 or higher there was some BPH survival in cages.

Vascular smooth muscle cell phenotypic modulation in culture is associated with reorganisation of contractile and cytoskeletal proteins

Smooth muscle cells (SMC) exhibit a functional plasticity, modulating from the mature phenotype in which the primary function is contraction, to a less differentiated state with increased capacities for motility, protein synthesis, and proliferation. The present study determined, using Western analysis, double-label immunofluorescence and confocal microscopy, whether changes in phenotypic expression of rabbit aortic SMC in culture could be correlated with alterations in expression and distribution of structural proteins. Contractile state SMC (days 1 and 3 of primary culture) showed distinct sorting of proteins into subcellular domains, consistent with the theory that the SMC structural machinery is compartmentalised within the cell. Proteins specialised for contraction (alpha -SM actin, SM-MHC, and calponin) were highly expressed in these cells and concentrated in the upper central region of the cell. Vimentin was confined to the body of the cell, providing support for the contractile apparatus but not co-localising with it. In line with its role in cell attachment and motility, beta -NM actin was localised to the cell periphery and basal cortex. The dense body protein alpha -actinin was concentrated at the cell periphery, possibly stabilising both contractile and motile apparatus. Vinculin-containing focal adhesions were well developed, indicating the cells' strong adhesion to substrate. In synthetic state SMC (passages 2-3 of culture), there was decreased expression of contractile and adhesion (vinculin) proteins with a concomitant increase in cytoskeletal proteins (beta -non-muscle [NM] actin and vimentin). These quantitative changes in structural proteins were associated with dramatic chan-es in their distribution. The distinct compartmentalisation of structural proteins observed in contractile state SMC was no longer obvious, with proteins more evenly distributed throughout die cytoplasm to accommodate altered cell function. Thus, SMC phenotypic modulation involves not only quantitative changes in contractile and cytoskeletal proteins, but also reorganisation of these proteins. Since the cytoskeleton acts as a spatial regulator of intracellular signalling, reorganisation of the cytoskeleton may lead to realignment of signalling molecules, which, in turn, may mediate the changes in function associated with SMC phenotypic modulation. (C) 2001 Wiley-Liss, Inc.

Chimeric human papilloma virus-simian/human immunodeficiency virus virus-like-particle vaccines: Immunogenicity and protective efficacy in macaques

Vaccines to efficiently block or limit sexual transmission of both HIV and human papilloma virus (HPV) are urgently needed. Chimeric virus-like-particle (VLP) vaccines consisting of both multimerized HPV L1 proteins and fragments of SIV gag p27, HIV-1 tat, and HIV-1 rev proteins (HPV-SHIV VLPs) were constructed and administered to macaques both systemically and mucosally. An additional group of macaques first received a priming vaccination with DNA vaccines expressing the same SIV and HIV-1 antigens prior to chimeric HPV-SHIV VLP boosting vaccinations. Although HPV L1 antibodies were induced in all immunized macaques, weak antibody or T cell responses to the chimeric SHIV antigens were detected only in animals receiving the DNA prime/HPV-SHIV VLP boost vaccine regimen. Significant but partial protection from a virulent mucosal SHIV challenge was also detected only in the prime/boosted macaques and not in animals receiving the HPV-SHIV VLP vaccines alone, with three of five prime/boosted animals retaining some CD4+ T cells following challenge. Thus, although some immunogenicity and partial protection was observed in non-human primates receiving both DNA and chimeric HPV-SHIV VLP vaccines, significant improvements in vaccine design are required before we can confidently proceed with this approach to clinical trials. (C) 2002 Elsevier Science (USA).

Route of administration of chimeric BPV1VLP determines the character of the induced immune responses

To examine the mucosal immune response to papillomavirus virus-like particles (PV-VLP), mice were immunized with VLP intrarectally (i.r.), intravaginally (i.va.) or intramuscularly (i.m.) without adjuvant. PV-VLP were assembled with chimeric BPV-1 L1 proteins incorporating sequence from HIV-1 gp 120, either the V3 loop or a shorter peptide incorporating a known CTL epitope (HIVP18I10). Antibody specific for BPV-1 VLP and P18 peptide was detected in serum following i.m., but not i.r. or i.va. immunization. Denatured VLP induced a much reduced immune response when compared with native VLP, Immune responses following mucosal administration of VLP were generally weaker than following systemic administration. VLP specific IgA was higher in intestine washes following i.r. than i.va. immunization, and higher in vaginal washes following i.m. than i.r. or i.va. immunization. No differences in specific antibody responses were seen between animals immunized with BPV-1 P18 VLP or with BPV-1 V3 VLP. Cytotoxic T lymphocyte precursors specific for the P18 CTL epitope were recovered from the spleen following i.m., i.va. or i.r. immunization with P18 VLP, and were similarly detected in Peyer's patches following i.m. or i.r. immunization. Thus, mucosal or systemic immunization with PV VLP induces mucosal CTL responses and this may be important for vaccines for mucosal infection with human papillomaviruses and for other viruses.

Investigations into a power-combining structure using a reflect array of dual-feed aperture-coupled microstrip patch antennas

This paper details an investigation of a power combiner that uses a reflect array of dual-feed aperture-coupled microstrip patch antennas and a corporate-fed dual-polarized array as a signal distributing/combining device. In this configuration, elements of the reflect array receive a linearly polarized wave and retransmit it with an orthogonal polarization using variable-length sections of microstrip lines connecting receive and transmit ports. By applying appropriate lengths of these delay lines, the array focuses the transmitted wave onto the feed array. The operation of the combiner is investigated for a small-size circular reflect array for the cases of -3 dB, -6 dB and -10 dB edge illumination by the 2 x 2-element dual-polarized array.

Design, development, and testing of X-band amplifying reflectarrays

The design and development of two X-band amplifying reflectarrays is presented. The arrays use dual-polarized aperture coupled patch antennas with FET transistors and phasing circuits to amplify a microwave signal and to radiate it in a chosen direction. Two cases are considered, one when a reflectarray converts a spherical wave due to a feed horn into a plane wave radiated into a boresight direction, and two, when the reflectarray converts a spherical wave due to a dual-polarized four-element feed array into a co-focal spherical wave. This amplified signal is received in an orthogonal port of the feed array so that the entire structure acts as a spatial power combiner. The two amplifying arrays are tested in the near-field zone for phase distribution over their apertures to achieve the required beam formation. Alternatively, their radiation patterns or gains are investigated.

High-frequency climatic oscillations recorded in a Holocene coral reef at Leizhou Peninsula, South China sea

A detailed study of the Goniopora reef profile at Dengloujiao, Xuwen County, Leizhou Peninsula, the northern coast of the South China Sea suggests that a series of high-frequency, large-amplitude and abrupt cold events occurred during the Holocene Hypsithermal, an unusual phenomenon termed Leizhou Events in this paper. This period (corresponding to C-14 age of 6.2 -6.7 kaBP or calendar age of 6.7-7.2 kaBP), when the climatic conditions were ideal for coral. reefs to develop, can be divided into at least nine stages. Each stage (or called a climate optimum), lasting about 20 to 50 a, was terminated by an abrupt cold nap and (or) a sea-level lowering event in winter, leading to widespread emergence and death of the Goniopora corals, and growth discontinuities on the coral surface. Such a cyclic process resulted in the creation of a > 4m thick Goniopora reef flat. During this period, the crust subsided periodically but the sea level was rising. The reef profile provides valuable archives for the study of decadal-scale mid-Holocene climatic oscillations in the tropical area of South China. Our results provide new evidence for high-frequency climate instability in the Holocene Hypsithermal, and challenge the traditional understanding of Holocene climate.