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.

Design, modelling and analysis of a six component force balance for hypervelocity wind tunnel testing

A combination of modelling and analysis techniques was used to design a six component force balance. The balance was designed specifically for the measurement of impulsive aerodynamic forces and moments characteristic of hypervelocity shock tunnel testing using the stress wave force measurement technique. Aerodynamic modelling was used to estimate the magnitude and distribution of forces and finite element modelling to determine the mechanical response of proposed balance designs. Simulation of balance performance was based on aerodynamic loads and mechanical responses using convolution techniques. Deconvolution was then used to assess balance performance and to guide further design modifications leading to the final balance design. (C) 2001 Elsevier Science Ltd. All rights reserved.

Modelling cement grinding circuits

Modelling and simulation studies were carried out at 26 cement clinker grinding circuits including tube mills, air separators and high pressure grinding rolls in 8 plants. The results reported earlier have shown that tube mills can be modelled as several mills in series, and the internal partition in tube mills can be modelled as a screen which must retain coarse particles in the first compartment but not impede the flow of drying air. In this work the modelling has been extended to show that the Tromp curve which describes separator (classifier) performance can be modelled in terms of d(50)(corr), by-pass, the fish hook, and the sharpness of the curve. Also the high pressure grinding rolls model developed at the Julius Kruttschnitt Mineral Research Centre gives satisfactory predictions using a breakage function derived from impact and compressed bed tests. Simulation studies of a full plant incorporating a tube mill, HPGR and separators showed that the models could successfully predict the performance of the another mill working under different conditions. The simulation capability can therefore be used for process optimization and design. (C) 2001 Elsevier Science Ltd. 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.

Are pioneer axons guided by regulatory gene expression domains in the zebrafish forebrain? High-resolution analysis of the patterning of the zebrafish brain during axon tract formation

Although the principles of axon growth are well understood in vitro the mechanisms guiding axons in vivo are less clear. It has been postulated that growing axons in the vertebrate brain follow borders of neuroepithelial cells expressing specific regulatory genes. In the present study we reexamined this hypothesis by analysing the earliest growing axons in the forebrain of embryonic zebrafish. Confocal laser scanning microscopy was used to determine the spatiotemporal relationship between growing axons and the expression pattern of eight regulatory genes in zebrafish brain. Pioneer axons project either longitudinally or dorsoventrally to establish a scaffold of axon tracts during this developmental period. Each of the regulatory genes was expressed in stereotypical domains and the borders of some were oriented along dorsoventral and longitudinal planes. However, none of these borders clearly defined the trajectories of pioneer axons. In two cases axons coursed in proximity to the borders of shh and pax6, but only for a relatively short portion of their pathway. Only later growing axons were closely apposed to the borders of some gene expression domains. These results suggest that pioneer axons in the embryonic forebrain do not follow continuous pathways defined by the borders of regulatory gene expression domains, (C) 2000 Academic Press.

Probabilistic modelling of CO2 corrosion laboratory data using neural networks

The present paper addresses two major concerns that were identified when developing neural network based prediction models and which can limit their wider applicability in the industry. The first problem is that it appears neural network models are not readily available to a corrosion engineer. Therefore the first part of this paper describes a neural network model of CO2 corrosion which was created using a standard commercial software package and simple modelling strategies. It was found that such a model was able to capture practically all of the trends noticed in the experimental data with acceptable accuracy. This exercise has proven that a corrosion engineer could readily develop a neural network model such as the one described below for any problem at hand, given that sufficient experimental data exist. This applies even in the cases when the understanding of the underlying processes is poor. The second problem arises from cases when all the required inputs for a model are not known or can be estimated with a limited degree of accuracy. It seems advantageous to have models that can take as input a range rather than a single value. One such model, based on the so-called Monte Carlo approach, is presented. A number of comparisons are shown which have illustrated how a corrosion engineer might use this approach to rapidly test the sensitivity of a model to the uncertainities associated with the input parameters. (C) 2001 Elsevier Science Ltd. All rights reserved.

Expression of glycoproteins in the vomeronasal organ reveals a novel spatiotemporal pattern of sensory neurone maturation

The main olfactory and the accessory olfactory systems are both anatomically and functionally distinct chemosensory systems. The primary sensory neurones of the accessory olfactory system are sequestered in the vomeronasal organ (VNO), where they express pheromone receptors, which are unrelated to the odorant receptors expressed in the principal nasal cavity. We have identified a 240 kDa glycoprotein (VNO240) that is selectively expressed by sensory neurones in the VNO but not in the main olfactory neuroepithelium of mouse. VNO240 is first expressed at embryonic day 20.5 by a small subpopulation of sensory neurones residing within the central region of the crescent-shaped VNO, Although VNO240 was detected in neuronal perikarya at this age, it was not observed in the axons in the accessory olfactory bulb until postnatal day 3.5, This delayed appearance in the accessory olfactory bulb suggests that VNO240 is involved in the functional maturation of VNO neurones rather than in axon growth and targeting to the bulb, During the first 2 postnatal weeks, the population of neurones expressing VNO240 spread peripherally, and by adulthood all primary sensory neurones in the VNO appeared to be expressing this molecule. Similar patterns of expression were also observed for NOC-1, a previously characterized glycoform of the neural cell adhesion molecule NCAM, To date, differential expression of VNO-specific molecules has only been reported along the rostrocaudal axis or at different apical-basal levels in the neuroepithelium. This is the first demonstration of a centroperipheral wave of expression of molecules in the VNO, These results indicate that mechanisms controlling the molecular differentiation of VNO neurones must involve spatial cues organised, not only about orthogonal axes, but also about a centroperipheral axis, Moreover, expression about this centroperipheral axis also involves a temporal component because the subpopulation of neurones expressing VNO240 and NOC-1 increases during postnatal maturation. (C) 2001 John Wiley & Sons, Inc.

Human cortical processing of colour and pattern

The present study investigates human visual processing of simple two-colour patterns using a delayed match to sample paradigm with positron emission tomography (PET). This study is unique in that we specifically designed the visual stimuli to be the same for both pattern and colour recognition with all patterns being abstract shapes not easily verbally coded composed of two-colour combinations. We did this to explore those brain regions required for both colour and pattern processing and to separate those areas of activation required for one or the other. We found that both tasks activated similar occipital regions, the major difference being more extensive activation in pattern recognition. A right-sided network that involved the inferior parietal lobule, the head of the caudate nucleus, and the pulvinar nucleus of the thalamus was common to both paradigms. Pattern recognition also activated the left temporal pole and right lateral orbital gyrus, whereas colour recognition activated the left fusiform gyrus and several right frontal regions. (C) 2001 Wiley-Liss, Inc.

Sox18 is transiently expressed during angiogenesis in granulation tissue of skin wounds with an identical expression pattern to Flk-1 mRNA

Sox18 encodes a member of the Sry-related high mobility group box (SOX) family of developmental transcription factors. Examination of Sox18 expression during embryogenesis has shown that Sox18 is expressed transiently in endothelial cells of developing blood vessels, and mutations in Sox18 have been found to underlie the mouse vascular and hair follicle mutant ragged. In this study we have examined the expression of Sox18 in angiogenesis during wound healing. Full-thickness skin wounds were created in mice, and subsequent expression of vascular endothelial growth factor (VEGF), the VEGF receptor Flk-1, alpha1 (iv) collagen (Col4a1), and Sox18 were studied using in situ hybridization. As has been previously reported, VEGF was expressed predominantly in the keratinocytes at the wound margins. Sox18 expression was found Rye days after wounding during capillary sprouting in granulation tissue and persisted through the proliferative phase of healing, but was not detected in fully epithelialized wounds 21 days after wounding. Sox18 mRNA expression was detected in capillaries within the granulation tissue and showed an identical pattern of distribution to Flk-1 and Col4a1 mRNA expression in endothelial cells. Immunostaining with a polyclonal anti-Sox18 antibody showed SOX18 protein localized in capillary endothelial cells within the granulation tissue. capillaries in the subcutaneous tissue of unwounded skin showed no Sox18 expression. Sox18 may therefore represent a transcription factor involved in the induction of angiogenesis during wound healing and tissue repair, but not in the maintenance of endothelial cells in undamaged tissue.

Developing a meta model for the Bunge-Wand-Weber ontological constructs

At the core of the analysis task in the development process is information systems requirements modelling, Modelling of requirements has been occurring for many years and the techniques used have progressed from flowcharting through data flow diagrams and entity-relationship diagrams to object-oriented schemas today. Unfortunately, researchers have been able to give little theoretical guidance only to practitioners on which techniques to use and when. In an attempt to address this situation, Wand and Weber have developed a series of models based on the ontological theory of Mario Bunge-the Bunge-Wand-Weber (BWW) models. Two particular criticisms of the models have persisted however-the understandability of the constructs in the BWW models and the difficulty in applying the models to a modelling technique. This paper addresses these issues by presenting a meta model of the BWW constructs using a meta language that is familiar to many IS professionals, more specific than plain English text, but easier to understand than the set-theoretic language of the original BWW models. Such a meta model also facilitates the application of the BWW theory to other modelling techniques that have similar meta models defined. Moreover, this approach supports the identification of patterns of constructs that might be common across meta models for modelling techniques. Such findings are useful in extending and refining the BWW theory. (C) 2002 Elsevier Science Ltd. All rights reserved.