Conformance checking of service behavior

A service-oriented system is composed of independent software units, namely services, that interact with one another exclusively through message exchanges. The proper functioning of such system depends on whether or not each individual service behaves as the other services expect it to behave. Since services may be developed and operated independently, it is unrealistic to assume that this is always the case. This article addresses the problem of checking and quantifying how much the actual behavior of a service, as recorded in message logs, conforms to the expected behavior as specified in a process model.We consider the case where the expected behavior is defined using the BPEL industry standard (Business Process Execution Language for Web Services). BPEL process definitions are translated into Petri nets and Petri net-based conformance checking techniques are applied to derive two complementary indicators of conformance: fitness and appropriateness. The approach has been implemented in a toolset for business process analysis and mining, namely ProM, and has been tested in an environment comprising multiple Oracle BPEL servers.

Sensitivity of building cooling loads to future weather predictions

The interaction and relationship between the global warming and the thermal performance buildings are dynamic in nature. In order to model and understand this behavior, different approaches, including keeping weather variable unchanged, morphing approach and diurnal modelling method, have been used to project and generate future weather data. Among these approaches, various assumptions on the change of solar radiation, air humidity and/or wind characteristics may be adopted. In this paper, an example to illustrate the generation of future weather data for the different global warming scenarios in Australia is presented. The sensitivity of building cooling loads to the possible changes of assumed values used in the future weather data generation is investigated. It is shown that with ± 10% change of the proposed future values for solar radiation, air humidity or wind characteristics, the corresponding change in the cooling load of the modeled sample office building at different Australian capital cities would not exceed 6%, 4% and 1.5% respectively. It is also found that with ±10% changes on the proposed weather variables for both the 2070-high future scenario and the current weather scenario, the corresponding change in the cooling loads at different locations may be weaker (up to 2% difference in Hobart for ±10% change in global solar radiation), similar (less than 0.6%) difference in Hobart for ±10% change in wind speed), or stronger (up to 1.6% difference in Hobart for ±10% change in relative humidity) in the 2070-high future scenario than in the current weather scenario.

Global Warming : Impact on Building Design and Performance

Global warming is entailing new climatic conditions for the built environment. Such a warming climate will affect both the performance of existing building stock and the design of new buildings. In this article, the knowledge of global warming and climate change is first introduced. The cycling interaction between global warming and buildings is then presented. The impact of global warming on building energy use and thermal performance is also assessed. Finally, the potential mitigation and adaptation strategies to the global warming are discussed.

Impact of global warming on the design and performance of air-conditioned office buildings in Australia

As global warming entails new conditions for the built environment, the thermal behavior of existing air conditioned office buildings, which are typically designed based on current weather data, may also change. Through building computer simulations, this paper evaluates the impact of global warming on the design and performance of air-conditioned office buildings in Australia, including the increased cooling loads imposed by potential global warming and probable indoor temperature increases due to possible undersized air-conditioning system, as well as the possible change in energy use and CO2 emission of Australian office buildings. It is found that the existing office buildings would generally be able to adapt to the increasing warmth of 2030 year Low and High scenarios projections and 2070 year Low scenario projection. However, for the 2070 year High scenario, the study indicates that the existing office buildings, in all capital cities except for Hobart, will suffer from overheating problems. If the energy source is assumed to be the electricity, it is found that in comparison with current weather scenario, the increased energy uses would translate into the increase of CO2 emissions by 0 to 34.6 kg CO2 equivalent/m2, varying with different future weather scenarios and with different locations.

Sensitivity of office building zones to global warming

As global warming entails new conditions for the built environment, the thermal behavior of existing buildings, which were designed based on current weather data, may become unclear and remain a great concern. Through building computer simulation, this paper investigates the sensitivity of different office building zoning to the potential global warming. From the sample office building examined, it is found that compared with the middle and top floors, the ground floor for most cities appears to be most sensitive to the effect of global warming and has the highest tendency to having the overheating problem. From the analysis of the responses of different zone orientations to the outdoor air temperature increase, it is also found that there are widely different responses between different zone orientations, with South or Core zone being most sensitive. With an increased external air temperature, the difference between different floors or different zone orientations will become more significant.

A mask-based approach for the geometric calibration of thermal-infrared cameras

Accurate and efficient thermal-infrared (IR) camera calibration is important for advancing computer vision research within the thermal modality. This paper presents an approach for geometrically calibrating individual and multiple cameras in both the thermal and visible modalities. The proposed technique can be used to correct for lens distortion and to simultaneously reference both visible and thermal-IR cameras to a single coordinate frame. The most popular existing approach for the geometric calibration of thermal cameras uses a printed chessboard heated by a flood lamp and is comparatively inaccurate and difficult to execute. Additionally, software toolkits provided for calibration either are unsuitable for this task or require substantial manual intervention. A new geometric mask with high thermal contrast and not requiring a flood lamp is presented as an alternative calibration pattern. Calibration points on the pattern are then accurately located using a clustering-based algorithm which utilizes the maximally stable extremal region detector. This algorithm is integrated into an automatic end-to-end system for calibrating single or multiple cameras. The evaluation shows that using the proposed mask achieves a mean reprojection error up to 78% lower than that using a heated chessboard. The effectiveness of the approach is further demonstrated by using it to calibrate two multiple-camera multiple-modality setups. Source code and binaries for the developed software are provided on the project Web site.

Numerical models to simulate the thermal performance of LSF wall panels

Fire safety of buildings has been recognised as very important by the building industry and the community at large. Gypsum plasterboards are widely used to protect light gauge steel frame (LSF) walls all over the world. Gypsum contains free and chemically bound water in its crystal structure. Plasterboard also contains gypsum (CaSO4.2H2O) and calcium carbonate (CaCO3). The dehydration of gypsum and the decomposition of calcium carbonate absorb heat, and thus are able to protect LSF walls from fires. Kolarkar and Mahendran (2008) developed an innovative composite wall panel system, where the insulation was sandwiched between two plasterboards to improve the thermal and structural performance of LSF wall panels under fire conditions. In order to understand the performance of gypsum plasterboards and LSF wall panels under standard fire conditions, many experiments were conducted in the Fire Research Laboratory of Queensland University of Technology (Kolarkar, 2010). Fire tests were conducted on single, double and triple layers of Type X gypsum plasterboards and load bearing LSF wall panels under standard fire conditions. However, suitable numerical models have not been developed to investigate the thermal performance of LSF walls using the innovative composite panels under standard fire conditions. Continued reliance on expensive and time consuming fire tests is not acceptable. Therefore this research developed suitable numerical models to investigate the thermal performance of both plasterboard assemblies and load bearing LSF wall panels. SAFIR, a finite element program, was used to investigate the thermal performance of gypsum plasterboard assemblies and LSF wall panels under standard fire conditions. Appropriate values of important thermal properties were proposed for plasterboards and insulations based on laboratory tests, literature review and comparisons of finite element analysis results of small scale plasterboard assemblies from this research and corresponding experimental results from Kolarkar (2010). The important thermal properties (thermal conductivity, specific heat capacity and density) of gypsum plasterboard and insulation materials were proposed as functions of temperature and used in the numerical models of load bearing LSF wall panels. Using these thermal properties, the developed finite element models were able to accurately predict the time temperature profiles of plasterboard assemblies while they predicted them reasonably well for load bearing LSF wall systems despite the many complexities that are present in these LSF wall systems under fires. This thesis presents the details of the finite element models of plasterboard assemblies and load bearing LSF wall panels including those with the composite panels developed by Kolarkar and Mahendran (2008). It examines and compares the thermal performance of composite panels developed based on different insulating materials of varying densities and thicknesses based on 11 small scale tests, and makes suitable recommendations for improved fire performance of stud wall panels protected by these composite panels. It also presents the thermal performance data of LSF wall systems and demonstrates the superior performance of LSF wall systems using the composite panels. Using the developed finite element of models of LSF walls, this thesis has proposed new LSF wall systems with increased fire rating. The developed finite element models are particularly useful in comparing the thermal performance of different wall panel systems without time consuming and expensive fire tests.

Cognitive behavior therapy and dialectical behavior therapy for treating obese emotional eaters

This study describes the treatment of obese individuals who rated high on emotional eating using four case studies that involved 22 sessions of either cognitive behavioral therapy (CBT) or dialectical behavioral therapy (DBT). Outcomes measures relating to weight, body mass index, emotional eating, depression, anxiety, and stress were all assessed with each participant prior to each baseline (three weekly sessions), during treatment and posttherapy. At the 8-week follow-up, the two cases that had received DBT had lost 10.1% and 7.6% of their initial body weight, whereas the two cases that had received CBT had lost 0.7% and 0.6% of their initial body weight. The two DBT cases also exhibited reductions in emotional distress, frequency of emotional eating or quantity of food eating in response to emotions, whereas the two CBT cases showed no overall reductions in these areas. Important processes from all four cases are described as are the implications to clinicians for developing more effective interventions for obese clients who engage in emotional eating.

Adults cycling on the footpath : what do the data show?

Recent increases in cycling have led to many media articles highlighting concerns about interactions between cyclists and pedestrians on footpaths and off-road paths. Under the Australian Road Rules, adults are not allowed to ride on footpaths unless accompanying a child 12 years of age or younger. However, this rule does not apply in Queensland. This paper reviews international studies that examine the safety of footpath cycling for both cyclists and pedestrians, and relevant Australian crash and injury data. The results of a survey of more than 2,500 Queensland adult cyclists are presented in terms of the frequency of footpath cycling, the characteristics of those cyclists and the characteristics of self-reported footpath crashes. A third of the respondents reported riding on the footpath and, of those, about two-thirds did so reluctantly. Riding on the footpath was more common for utilitarian trips and for new riders, although the average distance ridden on footpaths was greater for experienced riders. About 5% of distance ridden and a similar percentage of self-reported crashes occurred on footpaths. These data are discussed in terms of the Safe Systems principle of separating road users with vastly different levels of kinetic energy. The paper concludes that footpaths are important facilities for both inexperienced and experienced riders and for utilitarian riding, especially in locations riders consider do not provide a safe system for cycling.

The use of thermal imaging in assessing skin temperature following cryotherapy : a review

Nineteen studies met the inclusion criteria. A skin temperature reduction of 5–15 °C, in accordance with the recent PRICE (Protection, Rest, Ice, Compression and Elevation) guidelines, were achieved using cold air, ice massage, crushed ice, cryotherapy cuffs, ice pack, and cold water immersion. There is evidence supporting the use and effectiveness of thermal imaging in order to access skin temperature following the application of cryotherapy. Thermal imaging is a safe and non-invasive method of collecting skin temperature. Although further research is required, in terms of structuring specific guidelines and protocols, thermal imaging appears to be an accurate and reliable method of collecting skin temperature data following cryotherapy. Currently there is ambiguity regarding the optimal skin temperature reductions in a medical or sporting setting. However, this review highlights the ability of several different modalities of cryotherapy to reduce skin temperature.

Feasibility study for thermal treatment of solid tire wastes in Bangladesh by using pyrolysis technology

In this study on the basis of lab data and available resources in Bangladesh, feasibility study has been carried out for pyrolysis process converting solid tire wastes into pyrolysis oils, solid char and gases. The process considered for detailed analysis was fixed-bed fire-tube heating pyrolysis reactor system. The comparative techno-economic assessment was carried out in US$ for three different sizes plants: medium commercial scale (144 tons/day), small commercial scale (36 tons/day), pilot scale (3.6 tons/day). The assessment showed that medium commercial scale plant was economically feasible, with the lowest unit production cost than small commercial and pilot scale plants for the production of crude pyrolysis oil that could be used as boiler fuel oil and for the production of upgraded liquid-products.

Updating and verification for multi-scale finite element model of structure behavior

The method on concurrent multi-scale model of structural behavior (CMSM-of-SB) for the purpose of structural health monitoring including model updating and validating has been studied. The detailed process of model updating and validating is discussed in terms of reduced scale specimen of the steel box girder in longitudinal stiffening truss of a long span bridge. Firstly, some influence factors affecting the accuracy of the CMSM-of-SB including the boundary restraint regidity, the geometry and material parameters on the toe of the weld and its neighbor are analyzed using sensitivity method. Then, sensitivity-based model updating technology is adopted to update the developed CMSM-of-SB and model verification is carried out through calculating and comparing stresses on different locations under various loading from dynamic characteristic and static response. It can be concluded that the CMSM-of-SB based on the substructure method is valid.

Education for strategic environmental behavior

This article reviews four bodies of research that shed light on how to promote active care for the environment in children and youth: research on sources of proenvironmental behavior, socialization for democratic skills and values, the development of a personal sense of competence, and the development of collective competence. The article begins with an overview of studies of formative childhood experiences reported by environmental activists and educators, followed by correlational and experimental studies with young people regarding factors associated with their taking action for the environment. Because behaviors with the largest potential benefits for the environment require political engagement, the article also reviews experiences associated with young people’s interest and engagement in public issues. Action for the environment in the home or in public arena like schools and communities requires a personal sense of competence and a sense of collective competence, or confidence in one’s ability to achieve goals by working with a group. Therefore experiences that promote the development of these assets are summarized as well. The conclusion compares major findings in these different fields and discusses implications for environmental educators.

Bacterially mediated iron cycling and associated biogeochemical processes in a subtropical shallow coastal aquifer: implications for groundwater quality

Bacterially mediated iron redox cycling exerts a strong influence on groundwater geochemistry, but few studies have investigated iron biogeochemical processes in coastal alluvial aquifers from a microbiological viewpoint. The shallow alluvial aquifer located adjacent to Poona estuary on the subtropical Southeast Queensland coast represents a redox-stratified system where iron biogeochemical cycling potentially affects water quality. Using a 300 m transect of monitoring wells perpendicular to the estuary, we examined groundwater physico-chemical conditions and the occurrence of cultivable bacterial populations involved in iron (and manganese, sulfur) redox reactions in this aquifer. Results showed slightly acidic and near-neutral pH, suboxic conditions and an abundance of dissolved iron consisting primarily of iron(II) in the majority of wells. The highest level of dissolved iron(III) was found in a well proximal to the estuary most likely a result of iron curtain effects due to tidal intrusion. A number of cultivable, (an)aerobic bacterial populations capable of diverse carbon, iron, or sulfur metabolism coexisted in groundwater redox transition zones. Our findings indicated aerobic, heterotrophic respiration and bacterially mediated iron/sulfur redox reactions were integral to carbon cycling in the aquifer. High abundances of dissolved iron and cultivable iron and sulfur bacterial populations in estuary-adjacent aquifers have implications for iron transport to marine waters. This study demonstrated bacterially mediated iron redox cycling and associated biogeochemical processes in subtropical coastal groundwaters using culture-based methods.

Predictors of young people’s charitable intentions to donate money : an extended theory of planned behavior perspective

An extended theory of planned behavior (TPB) was used to predict young people’s intentions to donate money to charities in the future. Students (N = 210; 18-24 years) completed a questionnaire assessing their attitude, subjective norm, perceived behavioral control [PBC], moral obligation, past behavior and intentions toward donating money. Regression analyses revealed the extended TPB explained 61% of the variance in intentions to donate money. Attitude, PBC, moral norm, and past behavior predicted intentions, representing future targets for charitable giving interventions.