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.

Tooth Tissue Engineering: Optimal Dental Stem Cell Harvest Based on Tooth Development

Our long-term objective is to devise reliable methods to generate biological replacement teeth exhibiting the physical properties and functions of naturally formed human teeth. Previously, we demonstrated the successful use of tissue engineering approaches to generate small, bioengineered tooth crowns from harvested pig and rat postnatal dental stem cells (DSCs). To facilitate characterizations of human DSCs, we have developed a novel radiographic staging system to accurately correlate human third molar tooth developmental stage with anticipated harvested DSC yield. Our results demonstrated that DSC yields were higher in less developed teeth (Stages 1 and 2), and lower in more developed teeth (Stages 3, 4, and 5). The greatest cell yields and colony-forming units (CFUs) capability was obtained from Stages 1 and 2 tooth dental pulp. We conclude that radiographic developmental staging can be used to accurately assess the utility of harvested human teeth for future dental tissue engineering applications.

Recreational fishing: Its expansion, its economic value and aquaculture's role in sustaining it

Economic growth usually leads to a substantial increase in the demand for recreational fishing, and China is likely to follow this trend. Factors influencing this expansion in demand are identified. Recreational fishing is of major economic importance in higher income countries and indicators of its economic significance are given. Growing demand for recreational fishing results in intensified involvement of recreational fishers in conflicts about resource use. With increasing demand for recreational fishing, recreational fishers face growing competition with one another for limited fish stocks and with commercial fishers. Their concerns for environmental threats to fish stocks also intensify. Furthermore, some strategies of recreational fishers are increasingly criticised by conservationists. Governments, therefore, are put under pressure to adopt policies to address these conflicts. Some of the policy measures adopted to help sustain the fisheries and reduce conflict are outlined. These include limits on the catch and exclusive zones for recreational fishing. However, wild stocks of fish are likely to remain under mounting harvesting and other pressures. Therefore, we need to consider the role that aquaculture can play in overcoming these problems. The possible ways in which aquaculture can do this are outlined and discussed.

Subcritical crack growth in porcelains, glass-ceramics, and glass-infiltrated alumina composite for dental restorations

The objective was to compare fracture toughness (K(Ic)), stress corrosion susceptibility coefficient (n), and stress intensity factor threshold for crack propagation (K(I0)) of two porcelains [VM7/Vita (V) and d.Sign/Ivoclar (D)], two glass-ceramics [Empress/Ivolcar (E1) and Empress2/Ivlocar (E2)] and a glass-infiltrated alumina composite [In-Ceram Alumina/Vita (IC)]. Disks were constructed according to each manufacturer`s processing method, and polished before induction of cracks by a Vickers indenter. Crack lengths were measured under optical microscopy at times between 0.1 and 100 h. Specimens were stored in artificial saliva at 37A degrees C during the whole experiment. K(Ic) and n were determined using indentation fracture method. K(I0) was determined by plotting log crack velocity versus log K(I). Microstructure characterization was carried out under SEM, EDS, X-ray diffraction and X-ray fluorescence. IC and E2 presented higher K(Ic) and K(I0) compared to E1, V, and D. IC presented the highest n value, followed by E2, D, E1, and V in a decreasing order. V and D presented similar K(Ic), but porcelain V showed higher K(I0) and lower n compared to D. Microstructure features (volume fraction, size, aspect ratio of crystalline phases and chemical composition of glassy matrix) determined K(Ic). The increase of K(Ic) value favored the increases of n and K(I0).

Stress intensity factor threshold in dental porcelains

The stress intensity factor threshold (K(IO)) is related to the stress level at which cracks start to grow stably, causing the weakening of porcelain prostheses during their use. The values of K(IO) of seven dental porcelains (with and without reinforcing leucite crystal, KAlSi(2)O(6)) stored in air (22 degrees C, 60% relative humidity) and artificial saliva (37 degrees C) were determined by measuring the crack growth velocity of radial cracks generated at the corner of Vickers indentations. The results of K(IO) were correlated with the leucite content, fracture toughness (K(Ic)), and chemical composition of the porcelains. It was observed that K(IO) increased with the increase of leucite content (only for the leucite-based porcelains) and with the increase of K(Ic). The increase in Al(2)O(3) content or the decrease in the alkali oxide (K(2)O and Na(2)O) content of the material`s glassy matrix tended to increase the K(IO) values. Storage media (air and saliva) did not significantly affect the K(IO) of porcelains tested, indicating that the control parameter of K(IO) value was not the water content of the storage media.

The history and value of the elephant in Sri Lankan society

Reviews the literature to provide an overview of the historical significance of the elephant in Sri Lankan society, an association which dates back more than 4,000 years. The present status of this relationship assessed on the basis of the findings of a recent study undertaken on the total economic value of elephants in Sri Lanka. This paper, first briefly outlines the history, evolution, nature and their distribution of the Asian elephant while providing some insights on the status of the elephant (Elephas maxima maxima) in Sri Lanka. Next, it reviews the literature in order to assess the historical affiliation that the elephant has maintained with the Sri Lankan society, its culture, history, mythology and religion. The empirical evidence on the economic value of conservation of the remaining elephant population in Sri Lanka is reviewed and the Sri Lankan people’s attitudes towards conserving this species of wildlife. Literature reviewed and analysis undertaken indicates that the elephant in Sri Lanka, still, as in the past has a special place in Sri Lankan society, particularly, in its culture, religion and value system. Thus, there is a strong case for ensuring the survival of wild elephant population in Sri Lanka. Furthermore, it also suggests that the community as a whole will experience a net benefit from ensuring the survival of wild elephants in Sri Lanka.

Precursor scavenging of the resistive grain-boundary phase in 8 mol% yttria-stabilized zirconia: Effect of trace concentrations of SiO2

The influence that trace concentrations Of SiO2 have on improving grain-boundary conduction via precursor scavenging using additional heat treatment at 1200 degreesC for 40 h before sintering was investigated. At a SiO2-impurity level (SIL) less than or equal to 160 ppm by weight, the grain-boundary resistivity (p(gb)) decreased to 20% of its value, while no improvement in grain-boundary conduction was found at a SIL greater than or equal to 310 ppm. The correlation between the resistance per unit grain-boundary area, p(gb), and average grain size indicated that the inhomogeneous distribution of the siliceous phase in the sample with a SIL greater than or equal to 310 ppm. hampered the scavenging reaction.

Topological methods for some boundary value problems

We establish existence of solutions for a finite difference approximation to y = f(x, y, y ') on [0, 1], subject to nonlinear two-point Sturm-Liouville boundary conditions of the form g(i)(y(i),y ' (i)) = 0, i = 0, 1, assuming S satisfies one-sided growth bounds with respect to y '. (C) 2001 Elsevier Science Ltd. All rights reserved.