Towards an analysis of shear suspension flows using radial basis functions

In this paper, radial basis functions are utilised for numerical prediction of the bulk properties of particulate suspensions under simple shear conditions. The suspending fluid is Newtonian and the suspended particles are rigid. Results obtained are compared well with those based on finite elements in the literature

Report on the Standardization Project ``Formal Methods in Conformance Testing''

This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the current status of FMCT in the standardization process as well as an overview of the technical status of the proposed standard. Moreover, we indicate some of its strong and weak points, and we give some directions for future work on FMCT

A Cautionary Note Regarding the Data Integrity Capacity of Certain Secure Systems

The need to provide standard commercial-grade productivity applications as the general purpose user interface to high-assurance data processing environments is ompelling, and has resulted in proposals for several different types of \trusted" systems. We characterize some of these systems as a class of architecture. We discuss the general integrity property that systems can only be trusted to manage moldable data whose integrity is at or below that of their interface components. One effect of this property is that in terms of integrity these hybrid-security systems are only applicable to processing environments where the integrity of data is consistent with that of low-assurance software. Several examples are provided of hybrid-security systems subject to these limitations.Approved for public release; distribution is unlimited

MSM Men Having Sex With Men MTCT Mother to Child Transmission

WHO World Health Organizatio