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.

Using a cartographic modeling language to manipulate spectral satellite imagery

Land related information about the Earth's surface is commonIJ found in two forms: (1) map infornlation and (2) satellite image da ta. Satellite imagery provides a good visual picture of what is on the ground but complex image processing is required to interpret features in an image scene. Increasingly, methods are being sought to integrate the knowledge embodied in mop information into the interpretation task, or, alternatively, to bypass interpretation and perform biophysical modeling directly on derived data sources. A cartographic modeling language, as a generic map analysis package, is suggested as a means to integrate geographical knowledge and imagery in a process-oriented view of the Earth. Specialized cartographic models may be developed by users, which incorporate mapping information in performing land classification. In addition, a cartographic modeling language may be enhanced with operators suited to processing remotely sensed imagery. We demonstrate the usefulness of a cartographic modeling language for pre-processing satellite imagery, and define two nerv cartographic operators that evaluate image neighborhoods as post-processing operations to interpret thematic map values. The language and operators are demonstrated with an example image classification task.

The Relationships between West Nile and Kunjin Viruses

Until recently, West Nile (WN) and Kunjin (KUN) viruses were classified as distinct types in the Flavivirus genus. However, genetic and antigenic studies on isolates of these two viruses indicate that the relationship between them is more complex. To better define this relationship, we performed sequence analyses on 32 isolates of KUN virus and 28 isolates of WN virus from different geographic areas, including a WN isolate from the recent outbreak in New York. Sequence comparisons showed that the KUN virus isolates from Australia were tightly grouped but that the WN virus isolates exhibited substantial divergence and could be differentiated into four district groups. KUN virus isolates from Australia were antigenically homologous and distinct from the WN isolates and a Malaysian KUN virus. Our results suggest that KUN and WN viruses comprise a group of closely related viruses that can be differentiated into subgroups on the basis of genetic and antigenic analyses.

Noninvasive tests of vascular function and structure: Why and how to perform them

Background Early atherosclerosis involves the endothelium of many arteries. Information about peripheral arterial anatomy and function derived from vascular imaging studies such as brachial artery reactivity (BAR) and carotid intima media thickness (IMT) may be pertinent to the coronary circulation. The prevention and early treatment of atherosclerosis is gaining more attention, and these tests might be used as indications or perhaps guides to the effectiveness of therapy, but their application in clinical practice has been limited. This review seeks to define the anatomy and pathophysiology underlying these investigations, their methodology, the significance of their Findings, and the issues that must be resolved before their application. Methods The literature on BAR and IMT is extensively reviewed, especially in relation to clinical use. Results Abnormal flow-mediated dilation is present in atherosclerotic vessels, is associated with cardiovascular risk factors, and may be a marker of preclinical disease. Treatment of known atherosclerotic risk Factors has been shown to improve flow-mediated dilation, and some data suggest that vascular responsiveness is related to outcome. Carotid IMT is associated with cardiovascular risk factors, and increased levels can predict myocardial infarction and stroke. Aggressive risk factor management can decrease IMT. Conclusions BAR and IMT ate functional and structural markers of the atherosclerotic process. The clinical use of BAR has been limited by varying reproducibility and the influence by exogenous factors, but IMT exhibits less variability. A desirable next step in the development of BAR and IMT as useful clinical tools would be to show an association of improvement in response to treatment with improvement in prognosis.

Hydromorphone-3-glucuronide - A more potent neuro-excitant than its structural analogue, morphine-3-glucuronide

In humans, hydromorphone (HMOR) is metabolised principally by conjugation with glucuronic acid to form hydromorphone-3-glucuronide (H3G), a close structural analogue of morphine-3-glucuronide (M3G), the major metabolite of morphine. In a previous study we described the biochemical synthesis of H3G together with a preliminary evaluation of its pharmacology which revealed that it is a neuro-excitant in rats in a manner analogous to M3G. Thus the aims of the current study were to quantify the neuro-excitatory behaviours evoked by intracerebroventricular (icv) H3G in the rat and to define its potency relative to M3G. Groups of adult male Sprague-Dawley rats received icy injections (1 muL) of H3G (1 - 3 mug), M3G (2 - 7 mug) or vehicle via a stainless steel guide cannula that had been implanted stereotaxically seven days prior to drug administration. Behavioural excitation was monitored by scoring fifteen different behaviours (myoclonic jerks, chewing, wet-dog-shakes, rearing, tonic-clonic-convulsions, explosive motor behaviour, grooming, exploring, general activity, eating, staring, ataxia, righting reflex, body posture, touch evoked agitation) immediately prior to icy injection and at the following post-dosing times: 5, 15, 25, 35, 50, 65 and 80 min. H3G produced dose-dependent behavioural excitation in a manner analogous to that reported previously for M3G by our laboratory and reproduced herein. H3G was found to be approximately 2.5-fold more potent than M3G, such that the mean (+/- S.D.) ED50 values were 2.3 (+/- 0.1) mug and 6.1 (+/- 0.6) mug respectively. Thus, our data clearly imply that if H3G crosses the BBB with equivalent efficiency to M3G, then the myoclonus, allodynia and seizures observed in some patients dosed chronically with large systemic doses of HMOR, are almost certainly due to the accumulation of sufficient H3G in the central nervous system, to evoke behavioural excitation. (C) 2001 Elsevier Science Inc. All rights reserved.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Analytical validation for a series of marker compounds used to assess renal drug elimination processes

Renal drug elimination is determined by glomerular filtration, tubular secretion, and tubular reabsorption. Changes in the integrity of these processes influence renal drug clearance, and these changes may not be detected by conventional measures of renal function such as creatinine clearance. The aim of the current study was to examine the analytic issues needed to develop a cocktail of marker drugs (fluconazole, rac-pindolol, para-aminohippuric acid, sinistrin) to measure simultaneously the mechanisms contributing to renal clearance. High-performance liquid chromatographic methods of analysis for fluconazole, pindolol, para-aminohippuric acid, and creatinine and an enzymatic assay for sinistrin were developed or modified and then validated to allow determination of each of the compounds in both plasma and urine in the presence of all other marker drugs. A pilot clinical study in one volunteer was conducted to ensure that the assays were suitable for quantitating all the marker drugs to the sensitivity and specificity needed to allow accurate determination of individual renal clearances. The performance of all assays (plasma and urine) complied with published validation criteria. All standard curves displayed linearity over the concentration ranges required, with coefficients of correlation greater than 0.99. The precision of the interday and intraday variabilities of quality controls for each marker in plasma and urine were all less than 11.9% for each marker. Recoveries of markers (and internal standards) in plasma and urine were all at least 90%. All markers investigated were shown to be stable when plasma or urine was frozen and thawed. For all the assays developed, there were no interferences from other markers or endogenous substances. In a pilot clinical study, concentrations of all markers could be accurately and reproducibly determined for a sufficient duration of time after administration to calculate accurate renal clearance for each marker. This article presents details of the analytic techniques developed for measuring concentrations of marker drugs for different renal elimination processes administered as a single dose to define the processes contributing to renal drug elimination.

Mutation rates in the dihydrofolate reductase gene of Plasmodium falciparum

A new method has been established to define the limits on a spontaneous mutation rate for a gene in Plasmodium falciparum. The method combines mathematical modelling and large-scale in vitro culturing and calculates the difference in mutant frequencies at 2 separate time-points. We measured the mutation rate at 2 positions in the dihydrofolate reductase (DHFR) gene of 3D7, a pyrimethamine-sensitive line of P. fulciparum. This line was re-cloned and an effectively large population was treated with a selective pyrimethamine concentration of 40 nM. We detected point mutations at codon-46 (TTA to TCA) and codon-108 (ACC to AAC), resulting in serine replacing leucine and asparagine replacing serine respectively in the corresponding gene product. The substitutions caused a decrease in pyrimethamine sensitivity. By mathematical modelling we determined that the mutation rate at a given position in DHFR was low and occurred at less than 2(.)5 x 10(-9) mutations/DHFR gene/replication. This result has important implications for Plasmodium genetic diversity and antimalarial drug therapy by demonstrating that even with lon mutation rates anti-malarial resistance will inevitably arise when mutant alleles are selected under drug pressure.

Onset of the Henry constant for supercritical adsorption into carbonaceous porous materials

The Henry constant is commonly used as a measure of how strong an adsorbate is attracted towards a solid surface and is regarded as one of the fundamental parameters in adsorption studies. Having a sound basis in thermodynamics, the Henry Law is often used as a criterion to evaluate the validity of adsorption isotherm equations. However, the application of the Henry Law for microporous materials, especially microporous activated carbon, remains questionable. It is the aim of this paper to examine the Henry Law behavior of supercritical adsorbates in carbonaceous pores of different sizes, and to define the conditions for the Henry Law to be applicable for carbonaceous adsorbents.

The GRIP domain is a specific targeting sequence for a population of trans-Golgi network derived tubulo-vesicular carriers

Vesicular carriers for intracellular transport associate with unique sets of accessory molecules that dictate budding and docking on specific membrane domains. Although many of these accessory molecules are peripheral membrane proteins, in most cases the targeting sequences responsible for their membrane recruitment have yet to be identified. We have previously defined a novel Golgi targeting domain (GRIP) shared by a family of coiled-coil peripheral membrane Golgi proteins implicated in membrane trafficking. We show here that the docking site for the GRIP motif of p230 is a specific domain of Golgi. membranes. By immunoelectron microscopy of HeLa cells stably expressing a green fluorescent protein (GFP)-p230(GRIP) fusion protein, we show binding specifically to a subset of membranes of the trans-Golgi network (TGN). Real-time imaging of live HeLa cells revealed that the GFP-p230(GRIP) was associated with highly dynamic tubular extensions of the TGN, which have the appearance and behaviour of transport carriers. To further define the nature of the GRIP membrane binding site, in vitro budding assays were performed using purified rat liver Golgi membranes and cytosol from GFP-p230(GRIP) transfected cells. Analysis of Golgi-derived vesicles by sucrose gradient fractionation demonstrated that GFP-p230(GRIP) binds to a specific population of vesicles distinct from those labelled for beta -COP or gamma -adaptin. The GFP-p230(GRIP) fusion protein is recruited to the same vesicle population as full-length p230, demonstrating that the GRIP domain is solely proficient as a targeting signal for membrane binding of the native molecule. Therefore, p230 GRIP is a targeting signal for recruitment to a highly selective membrane attachment site on a specific population of trans-Golgi network tubulovesicular carriers.

Outcome of the acute abdomen in patients with previous spinal cord injury

Background: Patients with spinal cord injury (SCI) have always posed difficulties for the diagnosis of an acute abdomen. The aim of the present study was to define this problem retrospectively at Princess Alexandra Hospital and to assess the results of treatment for these patients. Methods: A retrospective review was conducted of 133 SCI patients admitted with an acute abdomen in the 16 years prior to this analysis at the Spinal Injuries Unit (SIU) of Princess Alexandra Hospital. There were 21 patients who conformed to the study criteria. All the patients had sustained traumatic SCI at or above the level of T11, more than 1 month prior to admission. Results: There were 13 male and eight female patients. The time lapse between SCI and the onset of an acute abdomen ranged from 1.5 months to 27 years. The age range was 26-79 years. The majority of patients had C6 injuries (six patients). There were 18 patients with injury levels above T6 and three patients with injuries below this level. The time taken to diagnose the cause of the acute abdomen ranged between 1 day and 3 months. Investigations were found to be useful in making the diagnoses in 61.9% of cases. There were 14 patients who had surgical interventions. Five patients had surgical complications and there were two deaths in the study. The length of follow up was 1-132 months. The mortality in the study was 9.5%. Conclusion: An aggressive approach to the diagnosis and treatment of the acute abdomen in SCI patients with suspicious symptoms is recommended. A high index of suspicion should be maintained in those patients with pre-existing SCI who present with abdominal trauma.

Materialized view selection under the maintenance time constraint

A data warehouse is a data repository which collects and maintains a large amount of data from multiple distributed, autonomous and possibly heterogeneous data sources. Often the data is stored in the form of materialized views in order to provide fast access to the integrated data. One of the most important decisions in designing a data warehouse is the selection of views for materialization. The objective is to select an appropriate set of views that minimizes the total query response time with the constraint that the total maintenance time for these materialized views is within a given bound. This view selection problem is totally different from the view selection problem under the disk space constraint. In this paper the view selection problem under the maintenance time constraint is investigated. Two efficient, heuristic algorithms for the problem are proposed. The key to devising the proposed algorithms is to define good heuristic functions and to reduce the problem to some well-solved optimization problems. As a result, an approximate solution of the known optimization problem will give a feasible solution of the original problem. (C) 2001 Elsevier Science B.V. All rights reserved.

A semi-analytical solution for vibration of rectangular plates with abrupt thickness variation

A semi-analytical analysis of free vibration of plates with cross-sectional discontinuities due to abrupt changes in thickness is presented. A basic square element divided into suitable subdomains dependent upon the positions of these abrupt changes is used as the basic building element, Admissible functions that satisfy the essential or geometric boundary conditions are used to define the transverse deflection of each subdomain. Continuities in the displacement, slope, moment and higher derivatives between adjacent subdomains are enforced at the interconnecting edges. The resulting global energy functional from the proper assembly of the coupled strain and kinetic energy contributions of each subdomain is then minimized via the Ritz procedure to extract the frequencies and mode shapes. Contour plots of a range of new mode shapes are presented for the enhancement of understanding the dynamic behavior of this class of plates, (C) 2001 Elsevier Science Ltd, All rights reserved.

Understanding competence at work

Competence is more than a list of skills; it encompasses how employees define their work. How people understand their jobs affects how they carry them out.

Complementation analysis of the flavivirus Kunjin NS3 and NS5 proteins defines the minimal regions essential for formation of a replication complex and shows a requirement of NS3 in cis for virus assembly

We have previously reported successful trans-complementation of defective Kunjin virus genomic RNAs with a range of large lethal deletions in the nonstructural genes NSI, NS3, and NS5 (A. A. Khromykh et al., J. Virol. 74:3253-3263, 2000). In this study we have mapped further the minimal region in the NS5 gene essential for efficient trans-complementation of genome-length RNAs in repBHK cells to the first 316 of the 905 codons. To allow amplification and easy detection of complemented defective RNAs with deletions apparently affecting virus assembly, we have developed a dual replicon complementation system. In this system defective replicon RNAs with a deletion(s) in the nonstructural genes also encoded the puromycin resistance gene (PAC gene) and the reporter gene for beta-galactosidase (beta-Gal). Complementation of these defective replicon RNAs in repBHK cells resulted in expression of PAC and beta-Gal which allowed establishment of cell lines stably producing replicating defective RNAs by selection with puromycin and comparison of replication efficiencies of complemented defective RNAs by beta-Gal assay. Using this system we demonstrated that deletions in the C-terminal 434 codons of NS3 (codons 178 to 611) were complemented for RNA replication, while any deletions in the first 178 codons were not. None of the genome-length RNAs containing deletions in NS3 shown to be complementable for RNA replication produced secreted defective viruses during complementation in repBHK cells. In contrast, structural proteins produced from these complemented defective RNAs were able to package helper replicon RNA. The results define minimal regions in the NS3 and NS5 genes essential for the formation of complementable replication complex and show a requirement of NS3 in cis for virus assembly.