Crystalloid strong ion difference determines metabolic acid-base change during acute normovolaemic haemodilution

Objective. To study the acid-base effects of crystalloid strong ion difference (SID) during haemodilution. Design. Prospective in vivo study. Setting. University laboratory. Subjects. Anaesthetised, mechanically ventilated Sprague-Dawley rats. Interventions. Rats were studied in seven groups of three. Each group underwent normovolaemic haemodilution with one of seven crystalloids, with SID values from 0 to 40 mEq/l. Six exchanges of 9 ml crystalloid for 3 ml blood were performed. Measurements and main results. [Hb] fell from 142+/-17 to 44+/-10 g/l (p

Architectural design in object-z

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.