Strain-dependent fluid flow defined through rock mass classification schemes

Strain-dependent hydraulic conductivities are uniquely defined by an environmental factor, representing applied normal and shear strains, combined with intrinsic material parameters representing mass and component deformation moduli, initial conductivities, and mass structure. The components representing mass moduli and structure are defined in terms of RQD (rock quality designation) and RMR (rock mass rating) to represent the response of a whole spectrum of rock masses, varying from highly fractured (crushed) rock to intact rock. These two empirical parameters determine the hydraulic response of a fractured medium to the induced-deformations The constitutive relations are verified against available published data and applied to study one-dimensional, strain-dependent fluid flow. Analytical results indicate that both normal and shear strains exert a significant influence on the processes of fluid flow and that the magnitude of this influence is regulated by the values of RQD and RMR.

Computational chemistry on Fujitsu vector-parallel processors: Development and performance of applications software

In this and a preceding paper, we provide an introduction to the Fujitsu VPP range of vector-parallel supercomputers and to some of the computational chemistry software available for the VPP. Here, we consider the implementation and performance of seven popular chemistry application packages. The codes discussed range from classical molecular dynamics to semiempirical and ab initio quantum chemistry. All have evolved from sequential codes, and have typically been parallelised using a replicated data approach. As such they are well suited to the large-memory/fast-processor architecture of the VPP. For one code, CASTEP, a distributed-memory data-driven parallelisation scheme is presented. (C) 2000 Published by Elsevier Science B.V. All rights reserved.

L-studio/cpfg: A software system for modeling plants

L-studio/cpfg is a plant modeling software system designed for Windows 95/98/NT platforms. Its key components are the L-system-based plant simulator cpfg and the modeling environment called L-studio. We overview version 1.0 of this system from the user's perspective.

2-perfect directed m-cycle systems can be equationally defined for m=3,4, and 5 only

It is shown that quasigroups constructed using the standard construction from 2-perfect directed m-cycle systems are precisely the finite members of a variety if and only if m=3, 4 or 5.

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Super-CHO - A cell line capable of autocrine growth under fully defined protein-free conditions

Chinese Hamster Ovary (CHO) cells are widely used for the large scale production of recombinant biopharmaceuticals. Growth of the CHO-K1 cell line has been demonstrated in serum-free medium containing insulin, transferrin and selenium. In an attempt to get autocrine growth in protein-free medium, DNA coding for insulin and transferrin production was transfected into CHO-K1 cells. Transferrin was expressed well, with clones secreting approximately 1000 ng/10(6)cells/24h. Insulin was poorly expressed, with rates peaking at 5 ng/10(6)cells/24h. Characterisation of the secreted insulin indicated that the CHO cells were incompletely processing the insulin molecule. Site-directed mutagenesis was used to introduce a furin (prohormone converting enzyme) recognition sequence into the insulin molecule, allowing the production of active insulin. However, the levels were still too low to support autocrine growth. Further investigations revealed insulin degrading activity (presumably due to the presence of insulin degrading enzymes) in the cytoplasm of CHO cells. To overcome these problems insulin-like growth factor I (instead of insulin) was transfected into the cells. IGF-1 was completely processed and expressed at rates greater than 500 ng/10(6)cells/24h. In this paper we report autonomous growth of the transfected CHO-K1 cell line expressing transferrin and IGF-1 in protein-free medium without the addition of exogenous growth factors. Growth rates and final cell densities of these cells were identical to that of the parent cell line CHO-K1 growing in insulin, transferrin, and selenium supplemented serum-free media.

Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

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.