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.

Effect of prolonged application times on the durability of resin-dentin bonds

Objectives. To examine the effect of prolonged application time on the early and 3-year resin-dentin microtensile bond strength. Methods. Water/ethanol (Single Bond [SB]) and acetone-based systems (One Step [OS]) were employed. A flat superficial dentin surface was exposed in third human molars by wet abrasion. The adhesives were applied to a delimited area of 52 mm(2) on wet surfaces, for 40, 90, 150 and 300s. Four teeth were assigned for each experimental condition. Composite build-ups were constructed incrementally After water storage at 37 degrees C for 24 h, teeth were sectioned to obtain sticks with cross-sectional areas of 0.8 mm(2) to be tested in tension (0.5 mm/min) either immediately (IM) or after 3 years (3Y) of water storage. The microtensile bond strength (mu TBS) values were analyzed by two way repeated measures ANOVA and Tukey`s test (alpha = 0.05). Results. The 90- and 150-s groups achieved the highest IM mu TBS for OS (p < 0.01). For SB, the highest IM mu TBS values were observed after 300-s application (p < 0.01). Significant decreases in mu TBS were observed for OS in the 40- and 90-s groups after 3Y, except for the 150-s group. With regard to SB, after 3Y significant drops in mu TBS values were observed for the 40- and 150-s groups, except for the 300-s group. Significance. Prolonged application times can increase the immediate LTBS of two-step etch-and-rinse adhesive systems and make the adhesive layer more stable over time. (c) 2007 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Long-term survivor mixture model with random effects: application to a multi-centre clinical trial of carcinoma

A mixture model incorporating long-term survivors has been adopted in the field of biostatistics where some individuals may never experience the failure event under study. The surviving fractions may be considered as cured. In most applications, the survival times are assumed to be independent. However, when the survival data are obtained from a multi-centre clinical trial, it is conceived that the environ mental conditions and facilities shared within clinic affects the proportion cured as well as the failure risk for the uncured individuals. It necessitates a long-term survivor mixture model with random effects. In this paper, the long-term survivor mixture model is extended for the analysis of multivariate failure time data using the generalized linear mixed model (GLMM) approach. The proposed model is applied to analyse a numerical data set from a multi-centre clinical trial of carcinoma as an illustration. Some simulation experiments are performed to assess the applicability of the model based on the average biases of the estimates formed. Copyright (C) 2001 John Wiley & Sons, Ltd.

Lattice-dome design using a knowledge-based system approach

In the design of lattice domes, design engineers need expertise in areas such as configuration processing, nonlinear analysis, and optimization. These are extensive numerical, iterative, and lime-consuming processes that are prone to error without an integrated design tool. This article presents the application of a knowledge-based system in solving lattice-dome design problems. An operational prototype knowledge-based system, LADOME, has been developed by employing the combined knowledge representation approach, which uses rules, procedural methods, and an object-oriented blackboard concept. The system's objective is to assist engineers in lattice-dome design by integrating all design tasks into a single computer-aided environment with implementation of the knowledge-based system approach. For system verification, results from design examples are presented.

The structure of middle management remuneration packages: An application to Australian mine managers

This paper investigates the composition of remuneration packages for middle managers and relates the structure of remuneration contracts to firm-specific attributes. A statutorily defined position in a single industry is studied as an example of middle management. This allows us to control for differences in task complexity across managers and industry-induced factors that could determine differences in remuneration contracts. Higher-risk firms are expected to pay their mine managers a greater proportion of variable salaries and market and/or accounting-based compensation than low-risk firms. Results indicate that high-risk firms pay a higher proportion of variable salaries and more compensation based on market and/or accounting performance.

Incremental parsing in language-based editors: user needs and how to meet them

Incremental parsing has long been recognized as a technique of great utility in the construction of language-based editors, and correspondingly, the area currently enjoys a mature theory. Unfortunately, many practical considerations have been largely overlooked in previously published algorithms. Many user requirements for an editing system necessarily impact on the design of its incremental parser, but most approaches focus only on one: response time. This paper details an incremental parser based on LR parsing techniques and designed for use in a modeless syntax recognition editor. The nature of this editor places significant demands on the structure and quality of the document representation it uses, and hence, on the parser. The strategy presented here is novel in that both the parser and the representation it constructs are tolerant of the inevitable and frequent syntax errors that arise during editing. This is achieved by a method that differs from conventional error repair techniques, and that is more appropriate for use in an interactive context. Furthermore, the parser aims to minimize disturbance to this representation, not only to ensure other system components can operate incrementally, but also to avoid unfortunate consequences for certain user-oriented services. The algorithm is augmented with a limited form of predictive tree-building, and a technique is presented for the determination of valid symbols for menu-based insertion. Copyright (C) 2001 John Wiley & Sons, Ltd.

Generalized quasi mode theory of macroscopic canonical quantization in cavity quantum electrodynamics and quantum optics II. Application to reflection and refraction at a dielectric interface

The generalization of the quasi mode theory of macroscopic quantization in quantum optics and cavity QED presented in the previous paper, is applied to provide a fully quantum theoretic derivation of the laws of reflection and refraction at a boundary. The quasi mode picture of this process involves the annihilation of a photon travelling in the incident region quasi mode, and the subsequent creation of a photon in either the incident region or transmitted region quasi modes. The derivation of the laws of reflection and refraction is achieved through the dual application of the quasi mode theory and a quantum scattering theory based on the Heisenberg picture. Formal expressions from scattering theory are given for the reflection and transmission coefficients. The behaviour of the intensity for a localized one photon wave packet coming in at time minus infinity from the incident direction is examined and it is shown that at time plus infinity, the light intensity is only significant where the classical laws of reflection and refraction predict. The occurrence of both refraction and reflection is dependent upon the quasi mode theory coupling constants between incident and transmitted region quasi modes being nonzero, and it is seen that the contributions to such coupling constants come from the overlap of the mode functions in the boundary layer region, as might be expected from a microscopic theory.

Calculation of product state distributions from resonance decay via Lanczos subspace filter diagonalization: Application to HO2

Resonance phenomena associated with the unimolecular dissociation of HO2 have been investigated quantum-mechanically by the Lanczos homogeneous filter diagonalization (LHFD) method. The calculated resonance energies, rates (widths), and product state distributions are compared to results from an autocorrelation function-based filter diagonalization (ACFFD) method. For calculating resonance wave functions via ACFFD, an analytical expression for the expansion coefficients of the modified Chebyshev polynomials is introduced. Both dissociation rates and product state distributions of O-2 show strong fluctuations, indicating the dissociation of HO2 is essentially irregular. (C) 2001 American Institute of Physics.

Aluminophosphate-based mesoporous molecular sieves: Synthesis and characterization of TAPOs

Mesoporous Ti-substituted aluminophosphates (AlPOs) with a hexagonal, cubic and lamellar pore structure, characteristic of MCM-41, MCM-48, and MCM-50, respectively, were synthesized. The stability of these mesophases upon template removal was studied. The pore structures, surface properties, and local atom environments of Al, P, and Ti of the hexagonal and cubic Ti-containing mesoporous products were extensively characterized using X-ray diffraction, magic angle spinning nuclear magnetic resonance, AAS, XPS, ultraviolet–visible, and adsorption of nitrogen and water vapor techniques while the lamellar mesophase was not further characterized due to its very poor thermal stability. Ti-containing mesoporous AlPO materials show a reasonable thermal stability upon template removal, a hydrophilic surface property, and high porosity showing application potentials in catalytic oxidation of hydrocarbons.

Advances in application of climate prediction in agriculture

Agricultural ecosystems and their associated business and government systems are diverse and varied. They range from farms, to input supply businesses, to marketing and government policy systems, among others. These systems are dynamic and responsive to fluctuations in climate. Skill in climate prediction offers considerable opportunities to managers via its potential to realise system improvements (i.e. increased food production and profit and/or reduced risks). Realising these opportunities, however, is not straightforward as the forecasting skill is imperfect and approaches to applying the existing skill to management issues have not been developed and tested extensively. While there has been much written about impacts of climate variability, there has been relatively little done in relation to applying knowledge of climate predictions to modify actions ahead of likely impacts. However, a considerable body of effort in various parts of the world is now being focused on this issue of applying climate predictions to improve agricultural systems. In this paper, we outline the basis for climate prediction, with emphasis on the El Nino-Southern Oscillation phenomenon, and catalogue experiences at field, national and global scales in applying climate predictions to agriculture. These diverse experiences are synthesised to derive general lessons about approaches to applying climate prediction in agriculture. The case studies have been selected to represent a diversity of agricultural systems and scales of operation. They also represent the on-going activities of some of the key research and development groups in this field around the world. The case studies include applications at field/farm scale to dryland cropping systems in Australia, Zimbabwe, and Argentina. This spectrum covers resource-rich and resource-poor farming with motivations ranging from profit to food security. At national and global scale we consider possible applications of climate prediction in commodity forecasting (wheat in Australia) and examine implications on global wheat trade and price associated with global consequences of climate prediction. In cataloguing these experiences we note some general lessons. Foremost is the value of an interdisciplinary systems approach in connecting disciplinary Knowledge in a manner most suited to decision-makers. This approach often includes scenario analysis based oil simulation with credible models as a key aspect of the learning process. Interaction among researchers, analysts and decision-makers is vital in the development of effective applications all of the players learn. Issues associated with balance between information demand and supply as well as appreciation of awareness limitations of decision-makers, analysts, and scientists are highlighted. It is argued that understanding and communicating decision risks is one of the keys to successful applications of climate prediction. We consider that advances of the future will be made by better connecting agricultural scientists and practitioners with the science of climate prediction. Professions involved in decision making must take a proactive role in the development of climate forecasts if the design and use of climate predictions are to reach their full potential. (C) 2001 Elsevier Science Ltd. All rights reserved.

Expert system application on preliminary design of water retaining structures

Design of liquid retaining structures involves many decisions to be made by the designer based on rules of thumb, heuristics, judgment, code of practice and previous experience. Various design parameters to be chosen include configuration, material, loading, etc. A novice engineer may face many difficulties in the design process. Recent developments in artificial intelligence and emerging field of knowledge-based system (KBS) have made widespread applications in different fields. However, no attempt has been made to apply this intelligent system to the design of liquid retaining structures. The objective of this study is, thus, to develop a KBS that has the ability to assist engineers in the preliminary design of liquid retaining structures. Moreover, it can provide expert advice to the user in selection of design criteria, design parameters and optimum configuration based on minimum cost. The development of a prototype KBS for the design of liquid retaining structures (LIQUID), using blackboard architecture with hybrid knowledge representation techniques including production rule system and object-oriented approach, is presented in this paper. An expert system shell, Visual Rule Studio, is employed to facilitate the development of this prototype system. (C) 2002 Elsevier Science Ltd. All rights reserved.

MR image-based measurement of rates of change in volumes of brain structures. Part 1: Method and validation

A detailed analysis procedure is described for evaluating rates of volumetric change in brain structures based on structural magnetic resonance (MR) images. In this procedure, a series of image processing tools have been employed to address the problems encountered in measuring rates of change based on structural MR images. These tools include an algorithm for intensity non-uniforniity correction, a robust algorithm for three-dimensional image registration with sub-voxel precision and an algorithm for brain tissue segmentation. However, a unique feature in the procedure is the use of a fractional volume model that has been developed to provide a quantitative measure for the partial volume effect. With this model, the fractional constituent tissue volumes are evaluated for voxels at the tissue boundary that manifest partial volume effect, thus allowing tissue boundaries be defined at a sub-voxel level and in an automated fashion. Validation studies are presented on key algorithms including segmentation and registration. An overall assessment of the method is provided through the evaluation of the rates of brain atrophy in a group of normal elderly subjects for which the rate of brain atrophy due to normal aging is predictably small. An application of the method is given in Part 11 where the rates of brain atrophy in various brain regions are studied in relation to normal aging and Alzheimer's disease. (C) 2002 Elsevier Science Inc. All rights reserved.

Application of fairness theory to service failures and service recovery

This article presents a fairness theory-based conceptual framework for studying and managing consumers’ emotions during service recovery attempts. The conceptual framework highlights the central role played by counterfactual thinking and accountability. Findings from five focus groups are also presented to lend further support to the conceptual framework. Essentially, the article argues that a service failure event triggers an emotional response in the consumer, and from here the consumer commences an assessment of the situation, considering procedural justice, interactional justice, and distributive justice elements, while engaging in counterfactual thinking and apportioning accountability. More specifically, the customer assesses whether the service provider could and should have done something more to remedy the problem and how the customer would have felt had these actions been taken. The authors argue that during this process situational effort is taken into account when assessing accountability. When service providers do not appear to exhibit an appropriate level of effort, consumers attribute this to the service provider not caring. This in turn leads to the customer feeling more negative emotions, such as anger and frustration. Managerial implications of the study are discussed.

Improved nitrogen removal by application of new nitrogen-cycle bacteria

In order to meet increasingly stringent European discharge standards, new applications and control strategies for the sustainable removal of ammonia from wastewater have to beimplemented. In this paper we discuss anitrogen removal system based on the processesof partial nitrification and anoxic ammoniaoxidation (anammox). The anammox process offers great opportunities to remove ammonia in fully autotrophic systems with biomass retention. No organic carbon is needed in such nitrogenremoval system, since ammonia is used a selectron donor for nitrite reduction. The nitrite can be produced from ammonia in oxygen-limited biofilm systems or in continuous processes without biomass retention. For successful implementation of the combined processes, accurate biosensors for measuring ammonia and nitrite concentrations, insight inthe complex microbial communities involved, and new control strategies have to be developed and evaluated.