Predicting cave initiation and propagation

The most widely used method for predicting the onset of continuous caving is Laubscher's caving chart. A detailed examination of this method was undertaken which concluded that it had limitations which may impact on results, particularly when dealing with stronger rock masses that are outside current experience. These limitations relate to inadequate guidelines for adjustment factors to rock mass rating (RMR), concerns about the position on the chart of critical case history data, undocumented changes to the method and an inadequate number of data points to be confident of stability boundaries. A review was undertaken on the application and reliability of a numerical method of assessing cavability. The review highlighted a number of issues, which at this stage, make numerical continuum methods problematic for predicting cavability. This is in particular reference to sensitivity to input parameters that are difficult to determine accurately and mesh dependency. An extended version of the Mathews method for open stope design was developed as an alternative method of predicting the onset of continuous caving. A number of caving case histories were collected and analyzed and a caving boundary delineated statistically on the Mathews stability graph. The definition of the caving boundary was aided by the existence of a large and wide-ranging stability database from non-caving mines. A caving rate model was extrapolated from the extended Mathews stability graph but could only be partially validated due to a lack of reliable data.

Bovine-serum-albumin-containing receptor phase better predicts transdermal absorption parameters for lipophilic compounds

Based on the hypothesis that limited receptor solubility of lipophilic compounds may result in lower observed permeability parameters, the aim of this study was to determine the in vitro human epidermal permeability coefficients and membrane retention of a series of aliphatic alcohols (C1-C10, log p -0.72 to 4.06) using two different receptor solutions (water and 4% bovine serum albumin in phosphate-buffered saline). Aqueous solutions of radiolabeled alcohols were dosed into the stratum corneum side of membranes mounted in side-by-side glass diffusion cells. Appearance of alcohol in the receptor compartment filled with either of the two solutions was monitored over a 7 h period when both stratum corneum (assessed by tape stripping) and the remaining epidermis levels of radioactivity were determined. In a separate study the degree of binding of alcohols to 4% bovine serum albumin was determined. The data showed increased receptor phase solubility in the bovine serum albumin solution and higher permeability coefficients for the more lipophilic alcohols in the series. No changes were seen in the partitioning of the alcohols from the vehicle into either the stratum corneum or tape-stripped epidermis with the two receptor phases; however, a decrease in the amount of the more lipophilic alcohols partitioning into the water receptor phase from the tape-stripped epidermis was observed. We conclude that bovine serum albumin receptor phase allows better estimation of real permeability parameters for lipophilic compounds due to its increased solubility capacity and we question whether permeability parameters for lipophilic solutes from older data sets based on aqueous receptor phases are completely reliable.

Determination of the effect of lipophilicity on the in vitro permeability and tissue reservoir characteristics of topically applied solutes in human skin layers

In order to establish the relationship between solute lipophilicity and skin penetration (including flux and concentration behavior), we examined the in vitro penetration and membrane concentration of a series of homologous alcohols (C2-C10) applied topically in aqueous solutions to human epidermal, full-thickness, and dermal membranes. The partitioning/distribution of each alcohol between the donor solution, stratum corneum, viable epidermis, dermis, and receptor phase compartments was determined during the penetration process and separately to isolated samples of each tissue type. Maximum flux and permeability coefficients are compared for each membrane and estimates of alcohol diffusivity are made based on flux/concentration data and also the related tissue resistance (the reciprocal of permeability coefficient) for each membrane type. The permeability coefficient increased with increasing lipophilicity to alcohol C8 (octanol) with no further increase for C10 (decanol). Log vehicle:stratum corneum partition coefficients were related to logP , and the concentration of alcohols in each of the tissue layers appeared to increase with lipophilicity. No difference was measured in the diffusivity of smaller more polar alcohols in the three membranes; however, the larger more lipophilic solutes showed slower diffusivity values. The study showed that the dermis may be a much more lipophilic environment than originally believed and that distribution of smaller nonionized solutes into local tissues below a site of topical application may be estimated based on knowledge of their lipophilicity alone.

Effect of vehicle pretreatment on the flux, retention, and diffusion of topically applied penetrants in vitro

Purpose. The flux of a topically applied drug depends on the activity in the skin and the interaction between the vehicle and skin. Permeation of vehicle into the skin can alter the activity of drug and the properties of the skin barrier. The aim of this in vitro study was to separate and quantify these effects. Methods. The flux of four radiolabeled permeants (water, phenol, diflunisal, and diazepam) with log K-oct/water values from 1.4 to 4.3 was measured over 4 h through heat-separated human epidermis pretreated for 30 min with vehicles having Hildebrand solubility parameters from 7.9 to 23.4 (cal/cm(3))(1/2). Results. Enhancement was greatest after pretreatment with the more lipophilic vehicles. A synergistic enhancement was observed using binary mixtures. The flux of diazepam was not enhanced to the same extent as the other permeants, possibly because its partitioning into the epidermis is close to optimal (log K-oct 2.96). Conclusion. An analysis of the permeant remaining in the epidermis revealed that the enhancement can be the result of either increased partitioning of permeant into the epidermis or an increasing diffusivity of permeants through the epidermis.

Decompositions of complete graphs into theta graphs with fewer than ten edges

A theta graph is a graph consisting of three pairwise internally disjoint paths with common end points. Methods for decomposing the complete graph K-nu into theta graphs with fewer than ten edges are given.

Large sets of large sets of Steiner triple systems of order 9

We describe a direct method of partitioning the 840 Steiner triple systems of order 9 into 120 large sets. The method produces partitions in which all of the large sets are isomorphic and we apply the method to each of the two non-isomorphic large sets of STS(9).

Transdermal penetration of vasoconstrictors - Present understanding and assessment of the human epidermal flux and retention of free bases and ion-pairs

Purpose. As reductions in dermal clearance increase the residence time of solutes in the skin and underlying tissues we compared the topical penetration of potentially useful vasoconstrictors (VCs) through human epidermis as both free bases and ion-pairs with salicylic acid (SA). Methods. We determined the in vitro epidermal flux of ephedrine, naphazoline, oxymetazoline, phenylephrine, and xylometazoline applied as saturated solutions in propylene glycol: water (1: 1) and of ephedrine, naphazoline and tetrahydrozoline as 10% solutions of 1: 1 molar ratio ion-pairs with SA in liquid paraffin. Results. As free bases, ephedrine had the highest maximal flux, Jmax = 77.4 +/- 11.7 mug/cm(2)/h, being 4-fold higher than tetrahydrozoline and xylometazoline, 6-fold higher than phenylephrine, 10-fold higher than naphazoline and 100-fold higher than oxymetazoline. Stepwise regression of solute physicochemical properties identified melting point as the most significant predictor of flux. As ion-pairs with SA, ephedrine and naphazoline had similar fluxes (11.5 +/- 2.3 and 12.0 +/- 1.6 mug/cm(2)/h respectively), whereas tetrahydrozoline was approximately 3-fold slower. Corresponding fluxes of SA from the ion-pairs were 18.6 +/- 0.6, 7.8 +/- 0.8 and 1.1 +/- 0.1 respectively. Transdermal transport of VC's is discussed. Conclusions. Epidermal retention of VCs and SA did not correspond to their molar ratio on application and confirmed that following partitioning into the stratum corneum, ion-pairs separate and further penetration is governed by individual solute characteristics.

Unexpected clobetasol propionate profile in human stratum corneum after topical application in vitro

Purpose. The validity of using drug amount-depth profiles in stratum corneum to predict uptake of clobetasol propionate into stratum corneum and its transport into deeper skin layers was investigated. Methods. In vitro diffusion experiments through human epidermis were carried out using Franz-type glass diffusion cells. A saturated solution of clobetasol propionate in 20% (V/V) aqueous propylene glycol was topically applied for 48 h. Steady state flux was calculated from the cumulative amount of drug permeated vs. time profile. Epidermal partitioning was conducted by applying a saturated drug solution to both sides of the epidermis and allowing time to equilibrate. The tape stripping technique was used to define drug concentration-depth profiles in stratum corneum for both the diffusion and equilibrium experiments. Results. The concentration-depth profile of clobetasol propionate in stratum corneum for the diffusion experiment is biphasic. A logarithmic decline of the drug concentration over the first four to five tape strips flattens to a relatively constant low concentration level in deeper layers. The drug concentration-depth profile for the equilibrium studies displays a similar shape. Conclusions. The shape of the concentration-depth profile of clobetasol propionate is mainly because of the variable partitioning coefficient in different stratum corneum layers.

Mapping the royal road and other hierarchical functions

In this paper we present a technique for visualising hierarchical and symmetric, multimodal fitness functions that have been investigated in the evolutionary computation literature. The focus of this technique is on landscapes in moderate-dimensional, binary spaces (i.e., fitness functions defined over {0, 1}(n), for n less than or equal to 16). The visualisation approach involves an unfolding of the hyperspace into a two-dimensional graph, whose layout represents the topology of the space using a recursive relationship, and whose shading defines the shape of the cost surface defined on the space. Using this technique we present case-study explorations of three fitness functions: royal road, hierarchical-if-and-only-if (H-IFF), and hierarchically decomposable functions (HDF). The visualisation approach provides an insight into the properties of these functions, particularly with respect to the size and shape of the basins of attraction around each of the local optima.

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Discovering coordination patterns

A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the veri cation of such systems with respect to their original speci cations, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-de ned coordination patterns and captured by a special purpose graph structure from which coordination speci cations can be generated in a number of di erent formalisms

Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed

Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

The role of coordination analysis in software integration projects

What sort of component coordination strategies emerge in a software integration process? How can such strategies be discovered and further analysed? How close are they to the coordination component of the envisaged architectural model which was supposed to guide the integration process? This paper introduces a framework in which such questions can be discussed and illustrates its use by describing part of a real case-study. The approach is based on a methodology which enables semi-automatic discovery of coordination patterns from source code, combining generalized slicing techniques and graph manipulation