Prediction of impact forces in a vibratory ball mill using an inverse technique

To understand the dynamic mechanisms of the mechanical milling process in a vibratory mill, it is necessary to determine the characteristics of the impact forces associated with the collision events. However, it is difficult to directly measure the impact force in an operating mill. This paper describes an inverse technique for the prediction of impact forces from acceleration measurements on a vibratory ball mill. The characteristics of the vibratory mill have been investigated by the modal testing technique, and its system modes have been identified. In the modelling of the system vibration response to the impact forces, two modal equations have been used to describe the modal responses. The superposition of the modal responses gives rise to the total response of the system. A method based on an optimisation approach has been developed to predict the impact forces by minimising the difference between the measured acceleration of the vibratory ball mill and the predicted acceleration from the solution of the modal equations. The predicted and measured impact forces are in good agreement. Copyright (C) 1996 Elsevier Science Ltd.

Supersaturated solutions evaluated with an in vitro stratum corneum tape stripping technique

The flux of a compound across a membrane from any formulation, whether it contains penetration enhancers or not, is limited by its saturated solubility in the vehicle. Under such conditions the concentration of the permeant in the outer layers of the stratum corneum is also saturated. Consequently, when the permeation of a drug from a supersaturated solution leads to enhanced penetration, the concentration of the drug in the outer layers of the membrane is also supersaturated. Therefore, the stratum corneum may possess antinucleant properties which inhibit or retard the crystallisation process. In this study, the enhanced in vitro permeation of supersaturated solutions of piroxicam across human skin in diffusion cells was demonstrated. The amount of permeant in the stratum corneum was determined using a tape stripping technique. Supersaturated solutions up to four degrees of saturation were investigated which produced a linear relationship between the degree of saturation and the amount of piroxicam in the stratum corneum (R-2 = 0.970). Furthermore, the amount of piroxicam in the viable layers of the skin also increased with increasing degree of saturation. An analysis of the results suggested that enhanced penetration across human skin from supersaturated solutions of piroxicam may occur as a result of the antinucleating ability of the intercellular lipids of the stratum corneum. (C) 1997 Elsevier Science B.V.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.