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 cost-benefit analysis of hedgerow intercropping in the Philippine uplands using the SCUAF model

Soil erosion in the Philippine uplands is severe. Hedgerow intercropping is widely advocated as an effective means of controlling soil erosion from annual cropping systems in the uplands. However, few farmers adopt hedgerow intercropping even in areas where it has been vigorously promoted. This may be because farmers find hedgerow intercropping to be uneconomic compared to traditional methods of farming. This paper reports a cost-benefit analysis comparing the economic returns from traditional maize farming with those from hedgerow intercropping in an upland community with no past adoption of hedgerows. A simple erosion/productivity model, Soil Changes Under Agroforestry (SCUAF), is used to predict maize yields over 25 years. Economic data were collected through key informant surveys with experienced maize farmers in an upland community. Traditional methods of open-field farming of maize are economically attractive to farmers in the Philippine uplands. In the short term, establishment costs are a major disincentive to the adoption of hedgerow intercropping. In the long term, higher economic returns from hedgerow intercropping compared to open-field farming are realised, but these lie beyond farmers' limited planning horizons.

Design analysis for refolding monomeric protein

Renaturation of protein expressed as inclusion bodies within Escherichia coli is a key step in many bioprocesses. Operating conditions for the refolding step dramatically affect the amount of protein product recovered, and hence profoundly influence the process economics. The first systematic comparison of refolding conducted in batch, fed-batch and continuous stirred-tank reactors is provided Refolding is modeled as kinetic competition between first-order refolding (equilibrium reaction) and irreversible aggregation (second-order). Simulations presented allow direct comparison between different flowsheets and refolding schemes using a dimensionless economic objective. As expected from examination of the reaction kinetics, batch operation is the most inefficient merle. For the base process considered, the overall cost of fed-batch and continuous refolding is virtually identical (less than half that of the batch process). Reactor selection and optimization of refolding using overall economics are demonstrated to be vitally important.

Effects of process modification and heat pump drying on physical and sensory properties of Chinese style shredded beef

Chinese-style dried, shredded meat is traditionally prepared by sequential cooking, shredding, pre-drying, and final drying (roasting) of lean meat. In this study, shredded dried beef (a(w)<0.6) was prepared by omitting roasting but prolonging pre-drying. Sensory scores of the modified product were lower than those for the traditional product. When heat pump drying replaced traditional oven drying, drying time was shortened without significant difference in quality attributes. Desorption curves were established for shredded beef at several drying temperatures.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.