The formal representation of process system modelling assumptions and their implications

In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The 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 methods for checking them are described. It is shown on a simple example how different modelling assumptions act on the model equations and their effect on the differential index of the resulted model is also indicated.

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.

Process systems modelling and applications in granulation: A review

Granulation is one of the fundamental operations in particulate processing and has a very ancient history and widespread use. Much fundamental particle science has occurred in the last two decades to help understand the underlying phenomena. Yet, until recently the development of granulation systems was mostly based on popular practice. The use of process systems approaches to the integrated understanding of these operations is providing improved insight into the complex nature of the processes. Improved mathematical representations, new solution techniques and the application of the models to industrial processes are yielding better designs, improved optimisation and tighter control of these systems. The parallel development of advanced instrumentation and the use of inferential approaches provide real-time access to system parameters necessary for improvements in operation. The use of advanced models to help develop real-time plant diagnostic systems provides further evidence of the utility of process system approaches to granulation processes. This paper highlights some of those aspects of granulation. (c) 2005 Elsevier Ltd. All rights reserved.

Diagnostic goal driven modelling and simulation of multiscale process systems

A systematic goal-driven top-down modelling methodology is proposed that is capable of developing a multiscale model of a process system for given diagnostic purposes. The diagnostic goal-set and the symptoms are extracted from HAZOP analysis results, where the possible actions to be performed in a fault situation are also described. The multiscale dynamic model is realized in the form of a hierarchical coloured Petri net by using a novel substitution place-transition pair. Multiscale simulation that focuses automatically on the fault areas is used to predict the effect of the proposed preventive actions. The notions and procedures are illustrated on some simple case studies including a heat exchanger network and a more complex wet granulation process.

Multiagent realization of prediction-based diagnosis and loss prevention

A multiagent diagnostic system implemented in a Protege-JADE-JESS environment interfaced with a dynamic simulator and database services is described in this paper. The proposed system architecture enables the use of a combination of diagnostic methods from heterogeneous knowledge sources. The process ontology and the process agents are designed based on the structure of the process system, while the diagnostic agents implement the applied diagnostic methods. A specific completeness coordinator agent is implemented to coordinate the diagnostic agents based on different methods. The system is demonstrated on a case study for diagnosis of faults in a granulation process based on HAZOP and FMEA analysis.

Process development for a recombinant Chinese Hamster Ovary (CHO) cell line utilizing a metal induced and amplified metallothionein expression system

The suspension Chinese Hamster Ovary cell line, 13-10-302, utilizing the metallothionein (MT) expression system producing recombinant human growth hormone (hGH) was studied in a serum-free and cadmium-free medium at different fermentation scales and modes of operation. Initial experiments were carried out to optimize the concentration of metal addition to induce the MT promoter. Subsequently, the cultivation of the 13-10-302 cell line was scaled up from spinner flasks into bioreactors, and the cultivation duration was extended with fed-batch and perfusion strategies utilizing 180 muM zinc to induce the promoter controlling expression of recombinant hGH. It was shown that a fed-batch process could increase the maximum cell numbers twofold, from 3.3 to 6.3 x 10(6) cell/mL, over those obtained in normal batch fermentations, and this coupled with extended fermentation times resulted in a fourfold increase in final hGH titer, from 135 +/- 15 to 670 +/- 70 mg/L at a specific productivity q(hGH) value of 12 pg cell(-1)d(-1). The addition of sodium butyrate increased the specific productivity of hGH in cells to a value of approximately 48 pg cell(-1)d(-1), resulting in a final hGH titer of over a gram per liter during fed-batch runs. A BioSep acoustic cell recycler was used to retain the cells in the bioreactor during perfusion operation. It was necessary to maintain the specific feeding rates (SFR) above a value of 0.2 vvd/(10(6) cell/mL) to maintain the viability and productivity of the 13-10-302 cells; under these conditions the viable cell number increased to over 107 cell/mL and resulted in a volumetric productivity of over 120 mg(hGH) L(-1)d(-1). Process development described in this work demonstrates cultivation at various scales and sustained high levels of productivity under cadmium free condition in a CHO cell line utilizing an inducible metallothionein expression system. (C) 2004 Wiley Periodicals, Inc.

An advanced method for eliminating impacts from frequency deviations in power system signal processing

Frequency deviation is a common problem for power system signal processing. Many power system measurements are carried out in a fixed sampling rate assuming the system operates in its nominal frequency (50 or 60 Hz). However, the actual frequency may deviate from the normal value from time to time due to various reasons such as disturbances and subsequent system transients. Measurement of signals based on a fixed sampling rate may introduce errors under such situations. In order to achieve high precision signal measurement appropriate algorithms need to be employed to reduce the impact from frequency deviation in the power system data acquisition process. This paper proposes an advanced algorithm to enhance Fourier transform for power system signal processing. The algorithm is able to effectively correct frequency deviation under fixed sampling rate. Accurate measurement of power system signals is essential for the secure and reliable operation of power systems. The algorithm is readily applicable to such occasions where signal processing is affected by frequency deviation. Both mathematical proof and numerical simulation are given in this paper to illustrate robustness and effectiveness of the proposed algorithm. Crown Copyright (C) 2003 Published by Elsevier Science B.V. All rights reserved.

Inter-organisational networks, value creation and the process of technology integration in research and development

Traditional methods of R&D management are no longer sufficient for embracing innovations and leveraging complex new technologies to fully integrated positions in established systems. This paper presents the view that the technology integration process is a result of fundamental interactions embedded in inter-organisational activities. Emerging industries, high technology companies and knowledge intensive organisations owe a large part of their viability to complex networks of inter-organisational interactions and relationships. R&D organisations are the gatekeepers in the technology integration process with their initial sanction and motivation to develop technologies providing the first point of entry. Networks rely on the activities of stakeholders to provide the foundations of collaborative R&D activities, business-to-business marketing and strategic alliances. Such complex inter-organisational interactions and relationships influence value creation and organisational goals as stakeholders seek to gain investment opportunities. A theoretical model is developed here that contributes to our understanding of technology integration (adoption) as a dynamic process, which is simultaneously structured and enacted through the activities of stakeholders and organisations in complex inter-organisational networks of sanction and integration.

Prospective case review of a global e-health system for doctors in developing countries

The Swinfen Charitable Trust has managed email consultations for doctors in developing countries since 1999. The process was handled manually for the first three years and then subsequently using an automatic message-handling system. We conducted a prospective review of email consultations between referring doctors and consulting specialists during six months of automatic operation (December 2003 to May 2004). During the study period 125 consultations took place. These concerned a wide range of specialties (e.g. orthopaedics 17%, dermatology 16%, obstetrics and gynaecology 11%, radiology 10%). Of these referrals, 33% (41) were for paediatric cases. Consulting specialists, who were based in five countries, were volunteers. Referring doctors were from 24 hospitals in 12 developing countries. The median time from referral to definitive reply was 1.5 days (interquartile range 0.6-4.9). There was an 85% response rate (n = 106) to a survey concerning the value of the consultation to the referring doctor. All the referring doctors who responded made positive comments about the service and half said that it improved their management of the case. The second-opinion consultation system operated by the Swinfen Charitable Trust represents an example of a global e-health system operated for altruistic, rather than commercial, reasons.

Process optimization of an aerobic upflow sludge blanket reactor system

Response of an aerobic upflow sludge blanket (AUSB) reactor system to the changes in operating conditions was investigated by varying two principle operating variables: the oxygenation pressure and the flow recirculation rate. The oxygenation pressure was varied between 0 and 25 psig (relative), while flow recirculation rates were between 1,300 and 600% correspondingly. The AUSB reactor system was able to handle a volumetric loading of as high as 3.8 kg total organic carbon (TOC)/m(3) day, with a removal efficiency of 92%. The rate of TOC removal by AUSB was highest at a pressure of 20 psig and it decreased when the pressure was increased to 25 psig and the flow recirculation rate was reduced to 600%. The TOC removal rate also decreased when the operating pressure was reduced to 0 and 15 psig, with corresponding increase in flow recirculation rates to 1,300 and 1,000%, respectively. Maintenance of a high dissolved oxygen level and a high flow recirculation rate was found to improve the substrate removal capacity of the AUSB system. The AUSB system was extremely effective in retaining the produced biomass despite a high upflow velocity and the overall sludge yield was only 0.24-0.32 g VSS/g TOC removed. However, the effluent TOC was relatively high due to the system's operation at a high organic loading.

Spectral properties of the tandem Jackson network, seen as a quasi-birth-and-death process

Quasi-birth-and-death (QBD) processes with infinite “phase spaces” can exhibit unusual and interesting behavior. One of the simplest examples of such a process is the two-node tandem Jackson network, with the “phase” giving the state of the first queue and the “level” giving the state of the second queue. In this paper, we undertake an extensive analysis of the properties of this QBD. In particular, we investigate the spectral properties of Neuts’s R-matrix and show that the decay rate of the stationary distribution of the “level” process is not always equal to the convergence norm of R. In fact, we show that we can obtain any decay rate from a certain range by controlling only the transition structure at level zero, which is independent of R. We also consider the sequence of tandem queues that is constructed by restricting the waiting room of the first queue to some finite capacity, and then allowing this capacity to increase to infinity. We show that the decay rates for the finite truncations converge to a value, which is not necessarily the decay rate in the infinite waiting room case. Finally, we show that the probability that the process hits level n before level 0 given that it starts in level 1 decays at a rate which is not necessarily the same as the decay rate for the stationary distribution.

The emergence of the determiner system in Mauritian Creole: a syntax semantics mapping

This paper describes the emergence of new functional items in the Mauritian Creole noun phrase, following the collapse of the French determiner system when superstrate and substrate came into contact. The aim of the paper is to show how the new language strived to express the universal semantic contrasts of (in)definiteness and singular vs. plural. The process of grammaticalization of new functional items in the determiner system was accompanied by changes in the syntax from French to creole. An analysis within Chomsky’s Minimalist framework (1995, 2000, 2001) suggests that these changes were driven by the need to map semantic features onto the syntax.