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.

Dynamic binary translation using run-time feedbacks

Dynamic binary translation is the process of translating, modifying and rewriting executable (binary) code from one machine to another at run-time. This process of low-level re-engineering consists of a reverse engineering phase followed by a forward engineering phase. UQDBT, the University of Queensland Dynamic Binary Translator, is a machine-adaptable translator. Adaptability is provided through the specification of properties of machines and their instruction sets, allowing the support of different pairs of source and target machines. Most binary translators are closely bound to a pair of machines, making analyses and code hard to reuse. Like most virtual machines, UQDBT performs generic optimizations that apply to a variety of machines. Frequently executed code is translated to native code by the use of edge weight instrumentation, which makes UQDBT converge more quickly than systems based on instruction speculation. In this paper, we describe the architecture and run-time feedback optimizations performed by the UQDBT system, and provide results obtained in the x86 and SPARC® platforms.

Developing relational navigation to effectively understand software

Effective comprehension of complex software systems requires understanding of both the individual documents that represent software and the complex relationships that exist within and between documents. Relationships of all kinds play a vital role in a software engineer's comprehension of, and navigation within and between, software documents. User-determined relationships have the additional role of enabling the engineer to create and maintain relational documentation that cannot be generated by tools or derived from other relationships. We argue that for a software development environment to effectively support the understanding of complex software systems, relational navigation must be supported at both the document-focused (intra-document) and relation-focused (inter-document) levels. The need for a relation-focused approach is highlighted by an evaluation of an existing document-focused relational interface. We conclude with the requirements for a relation-focused approach to relational navigation. These requirements focus on the user's perspective when interacting with a collection of related documents. We define the requirements for a software development environment that effectively supports the understanding of the software documents and relationships that define a complex software system.

Systematic selection of solvents for the fabrication of 3D combined macro- and microporous polymeric scaffolds for soft tissue engineering

In this study, we investigate the fabrication of 3D porous poly(lactic-co-glycolic acid) (PLGA) scaffolds using the thermally-induced phase separation technique. The current study focuses on the selection of alternative solvents for this process using a number of criteria, including predicted solubility. toxicity, removability and processability. Solvents were removed via either vacuum freeze-drying or leaching, depending on their physical properties. The residual solvent was tested using gas chromatography-mass spectrometry. A large range of porous, highly interconnected scaffold architectures with tunable pore size and alignment was obtained, including combined macro- and microporous structures and an entirely novel 'porous-fibre' structure. The morphological features of the most promising poly(lactic-co-glycolic acid) scaffolds were analysed via scanning electron microscopy and X-ray micro-computed tomography in both two and three dimensions. The Young's moduli of the scaffolds under conditions of temperature, pH and ionic strength similar to those found in the body were tested and were found to be highly dependent on the architectures.

Scavenging of siliceous grain-boundary phase of 8-mol%-ytterbia-stabilized zirconia without additive

The grain-boundary conductivity (sigma (gb),) of 8-mol%-ytterbiastabilized zirconia increased markedly with heat treatment between 1000 degrees and 1300 degreesC with a slow heating rate (0.1 degreesC/min) before sintering. The extent of the sigma (gb) improvement was the same or larger than that via Al2O3 addition. The heat treatment did not affect the grain-interior conduction when sintered at 1600 degreesC, while Al2O3-derived scavenging significantly did, given the larger increment of total conductivity in the heat-treated sample. The formation of a silicon-containing phase in a discrete form was suggested as a possible route of scavenging the resistive phase from the correlation between average grain size and sigma (gb).

Determination of lifter design, speed and filling effects in AG mills by 3D DEM

The power required to operate large gyratory mills often exceeds 10 MW. Hence, optimisation of the power consumption will have a significant impact on the overall economic performance and environmental impact of the mineral processing plant. In most of the published models of tumbling mills (e.g. [Morrell, S., 1996. Power draw of wet tumbling mills and its relationship to charge dynamics, Part 2: An empirical approach to modelling of mill power draw. Trans. Inst. Mining Metall. (Section C: Mineral Processing Ext. Metall.) 105, C54-C62. Austin, L.G., 1990. A mill power equation for SAG mills. Miner. Metall. Process. 57-62]), the effect of lifter design and its interaction with mill speed and filling are not incorporated. Recent experience suggests that there is an opportunity for improving grinding efficiency by choosing the appropriate combination of these variables. However, it is difficult to experimentally determine the interactions of these variables in a full scale mill. Although some work has recently been published using DEM simulations, it was basically. limited to 2D. The discrete element code, Particle Flow Code 3D (PFC3D), has been used in this work to model the effects of lifter height (525 cm) and mill speed (50-90% of critical) on the power draw and frequency distribution of specific energy (J/kg) of normal impacts in a 5 m diameter autogenous (AG) mill. It was found that the distribution of the impact energy is affected by the number of lifters, lifter height, mill speed and mill filling. Interactions of lifter design, mill speed and mill filling are demonstrated through three dimensional distinct element methods (3D DEM) modelling. The intensity of the induced stresses (shear and normal) on lifters, and hence the lifter wear, is also simulated. (C) 2004 Elsevier Ltd. All rights reserved.

A preform design method for sheet superplastic bulging with finite element modeling

Superplastic bulging is the most successful application of superplastic forming (SPF) in industry, but the non-uniform wall thickness distribution of parts formed by it is a common technical problem yet to be overcome. Based on a rigid-viscoplastic finite element program developed by the authors, for simulation of the sheet superplastic forming process combined with the prediction of microstructure variations (such as grain growth and cavity growth), a simple and efficient preform design method is proposed and applied to the design of preform mould for manufacturing parts with uniform wall thickness. Examples of formed parts are presented here to demonstrate that the technology can be used to improve the uniformity of wall thickness to meet practical requirements. (C) 2004 Elsevier B.V. All rights reserved.

Three-dimensional simulation of the rolling of a saturated fibro-porous media

This paper describes recent advances made in computational modelling of the sugar cane liquid extraction process. The saturated fibro-porous material is rolled between circumferentially grooved rolls, which enhance frictional grip and provide a low-resistance path for liquid flow during the extraction process. Previously reported two-dimensional (2D) computational models, account for the large deformation of the porous material by solving the fully coupled governing fibre stress and fluid-flow equations using finite element techniques. While the 2D simulations provide much insight into the overarching cause-effect relationships, predictions of mechanical quantities such as roll separating force and particularly torque as a function of roll speed and degree of compression are not satisfactory for industrial use. It is considered that the unsatisfactory response in roll torque prediction may be due to the stress levels that exist between the groove tips and roots which have been largely neglected in the geometrically simplified 2D model. This paper gives results for both two- and three-dimensional finite element models and highlights their strengths and weaknesses in predicting key milling parameters. (c) 2005 Elsevier B.V. All rights reserved.

Scaffolds, stem cells, and tissue engineering: A potent combination!

Stem cells, either from embryonic or adult sources, have demonstrated the potential to differentiate into a wide range of tissues depending on culture conditions. This makes them prime candidates for use in tissue engineering applications. Current technology allows us to process biocompatible and biodegradable polymers into three-dimensional (3D) configurations, either as solid porous scaffolds or hydrogels, with controlled macro and/or micro spatial geometry and surface chemistry. Such control provides us with the ability to present highly controlled microenvironments to a chosen cell type. However, the precise microenvironments required for optimal expansion and/or differentiation of stem cells are only now being elucidated, and hence the controlled use of stem cells in tissue engineering remains a very young field. We present here a brief review of the current literature detailing interactions between stem cells and 3D scaffolds of varying morphology and chemical properties, concluding with remaining challenges for those interested in tissue engineering using tailored scaffolds and stem cells.

Experimental and theoretical investigation of the structural, chemical, electronic, and high frequency dielectric properties of barium cadmium tantalate-based ceramics

Single-phase Ba(Cd1/3Ta2/3)O-3 powder was produced using conventional solid state reaction methods. Ba(Cd1/3Ta2/3)O-3 ceramics with 2 wt % ZnO as sintering additive sintered at 1550 degreesC exhibited a dielectric constant of similar to32 and loss tangent of 5x10(-5) at 2 GHz. X-ray diffraction and thermogravimetric measurements were used to characterize the structural and thermodynamic properties of the material. Ab initio electronic structure calculations were used to give insight into the unusual properties of Ba(Cd1/3Ta2/3)O-3, as well as a similar and more widely used material Ba(Zn1/3Ta2/3)O-3. While both compounds have a hexagonal Bravais lattice, the P321 space group of Ba(Cd1/3Ta2/3)O-3 is reduced from P (3) under bar m1 of Ba(Zn1/3Ta2/3)O-3 as a result of a distortion of oxygen away from the symmetric position between the Ta and Cd ions. Both of the compounds have a conduction band minimum and valence band maximum composed of mostly weakly itinerant Ta 5d and Zn 3d/Cd 4d levels, respectively. The covalent nature of the directional d-electron bonding in these high-Z oxides plays an important role in producing a more rigid lattice with higher melting points and enhanced phonon energies, and is suggested to play an important role in producing materials with a high dielectric constant and low microwave loss. (C) 2005 American Institute of Physics.

The correspondence framework for 3D surface matching algorithms

Beyond the inherent technical challenges, current research into the three dimensional surface correspondence problem is hampered by a lack of uniform terminology, an abundance of application specific algorithms, and the absence of a consistent model for comparing existing approaches and developing new ones. This paper addresses these challenges by presenting a framework for analysing, comparing, developing, and implementing surface correspondence algorithms. The framework uses five distinct stages to establish correspondence between surfaces. It is general, encompassing a wide variety of existing techniques, and flexible, facilitating the synthesis of new correspondence algorithms. This paper presents a review of existing surface correspondence algorithms, and shows how they fit into the correspondence framework. It also shows how the framework can be used to analyse and compare existing algorithms and develop new algorithms using the framework's modular structure. Six algorithms, four existing and two new, are implemented using the framework. Each implemented algorithm is used to match a number of surface pairs. Results demonstrate that the correspondence framework implementations are faithful implementations of existing algorithms, and that powerful new surface correspondence algorithms can be created. (C) 2004 Elsevier Inc. All rights reserved.

Biomolecular engineering at interfaces

A broad review of technologically focused work concerning biomolecules at interfaces is presented. The emphasis is on developments in interfacial biomolecular engineering that may have a practical impact in bioanalysis, tissue engineering, emulsion processing or bioseparations. We also review methods for fabrication in an attempt to draw out those approaches that may be useful for product manufacture, and briefly review methods for analysing the resulting interfacial nanostructures. From this review we conclude that the generation of knowledge and-innovation at the nanoscale far exceeds our ability to translate this innovation into practical outcomes addressing a market need, and that significant technological challenges exist. A particular challenge in this translation is to understand how the structural properties of biomolecules control the assembled architecture, which in turn defines product performance, and how this relationship is affected by the chosen manufacturing route. This structure-architecture-process-performance (SAPP) interaction problem is the familiar laboratory scale-up challenge in disguise. A further challenge will be to interpret biomolecular self- and directed-assembly reactions using tools of chemical reaction engineering, enabling rigorous manufacturing optimization of self-assembly laboratory techniques. We conclude that many of the technological problems facing this field are addressable using tools of modem chemical and biomolecular engineering, in conjunction with knowledge and skills from the underpinning sciences. (c) 2005 Elsevier Ltd. All rights reserved.