A formal metamodeling approach to a transformation between the UML state machine and object-z

A significant problem with currently suggested approaches for transforming between models in different languages is that the transformation is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach for transforming between UML and Object-Z. In the paper, the two languages are defined in terms of their formal metamodels, and a systematic transformation between the models is provided at the meta-level in terms of formal mapping functions. As a consequence, we can provide a precise, consistent and complete transformation between them.

Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.

A systemic approach to the design of cellular manufacturing systems

Cellular manufacturing is widely acknowledged as one of the key approaches to achieving world-class performance in batch manufacturing operations. The design of cellular manufacturing systems (CMS) is therefore crucial in determining a company's competitiveness. This thesis postulated that, in order to be effective the design of CMS should not only be systematic but also systemic. A systemic design uses the concepts of the body of work known as the 'systems approach' to ensure that a truly effective CMS is defined. The thesis examined the systems approach and created a systemic framework against which existing approaches to the design of CMS were evaluated. The most promising of these, Manufacturing Systems Engineering (MSE), was further investigated using a series of cross-sectional case-studies. Although, in practice, MSE proved to be less than systemic, it appeared to produce significant benefits. This seemed to suggest that CMS design did not need to be systemic to be effective. However, further longitudinal case-studies showed that the benefits claimed were at an operational level not at a business level and also that the performance of the whole system had not been evaluated. The deficiencies identified in the existing approaches to designing CMS were then addressed by the development of a novel CMS design methodology that fully utilised systems concepts. A key aspect of the methodology was the use of the Whole Business Simulator (WBS), a modelling and simulation tool that enabled the evaluation of CMS at operational and business levels. The most contentious aspects of the methodology were tested on a significant and complex case-study. The results of the exercise indicated that the systemic methodology was feasible.

Free energy functional expansion as the generalized approach to the equation of state of dense fluids

A version of the thermodynamic perturbation theory based on a scaling transformation of the partition function has been applied to the statistical derivation of the equation of state in a highpressure region. Two modifications of the equations of state have been obtained on the basis of the free energy functional perturbation series. The comparative analysis of the experimental PV T- data on the isothermal compression for the supercritical fluids of inert gases has been carried out. © 2012.

Hough Transform Approach to Identification of Flare Stars in Multi-exposure Plate Images

ACM Computing Classification System (1998): I.2.8 , I.2.10, I.5.1, J.2.

A Consumption-Based Approach to Carbon Emission Accounting – Sectoral Differences and Environmental Benefits

In recent years there has been growing concern about the emission trade balances of countries. This is due to the fact that countries with an open economy are active players in international trade. Trade is not only a major factor in forging a country’s economic structure, but contributes to the movement of embodied emissions beyond country borders. This issue is especially relevant from the carbon accounting policy and domestic production perspective, as it is known that the production-based principle is employed in the Kyoto agreement. The research described herein was designed to reveal the interdependence of countries on international trade and the corresponding embodied emissions both on national and on sectoral level and to illustrate the significance of the consumption-based emission accounting. It is presented here to what extent a consumption-based accounting would change the present system based on production-based accounting and allocation. The relationship of CO2 emission embodied in exports and embodied in imports is analysed here. International trade can blur the responsibility for the ecological effects of production and consumption and it can lengthen the link between consumption and its consequences. Input-output models are used in the methodology as they provide an appropriate framework for climate change accounting. The analysis comprises an international comparative study of four European countries (Germany, the United Kingdom, the Netherlands, and Hungary) with extended trading activities and carbon emissions. Moving from a production-based approach in climate policy to a consumption-based principle and allocation approach would help to increase the efficiency of emission reductions and would force countries to rethink their trading activities in order to decrease the environmental load of production activities. The results of this study show that it is important to distinguish between the two emission accounting approaches, both on the global and the local level.

A Q-Methodology approach to investigating the relationship between level of reflection and typologies among prospective teachers in the physics learning assistant program at Florida International University

The purpose of this mixed methods study was to understand physics Learning Assistants' (LAs) views on reflective teaching, expertise in teaching, and LA program teaching experience and to determine if views predicted level of reflection evident in writing. Interviews were conducted in Phase One, Q methodology was used in Phase Two, and level of reflection in participants' writing was assessed using a rubric based on Hatton and Smith's (1995) "Criteria for the Recognition of Evidence for Different Types of Reflective Writing" in Phase Three. Interview analysis revealed varying perspectives on content knowledge, pedagogical knowledge, and experience in relation to expertise in teaching. Participants revealed that they engaged in reflection on their teaching, believed reflection helps teachers improve, and found peer reflection beneficial. Participants believed teaching experience in the LA program provided preparation for teaching, but that more preparation was needed to teach. Three typologies emerged in Phase Two. Type One LAs found participation in the LA program rewarding and believed expertise in teaching does not require expertise in content or pedagogy, but it develops over time from reflection. Type Two LAs valued reflection, but not writing reflections, felt the LA program teaching experience helped them decide on non-teaching careers and helped them confront gaps in their physics knowledge. Type Three LAs valued reflection, believed expertise in content and pedagogy are necessary for expert teaching, and felt LA program teaching experience increased their likelihood of becoming teachers, but did not prepare them for teaching. Writing assignments submitted in Phase Three were categorized as 19% descriptive writing, 60% descriptive reflections, and 21% dialogic reflections. No assignments were categorized as critical reflection. Using ordinal logistic regression, typologies that emerged in Phase Two were not found to be predictors for the level of reflection evident in the writing assignments. In conclusion, viewpoints of physics LAs were revealed, typologies among them were discovered, and their writing gave evidence of their ability to reflect on teaching. These findings may benefit faculty and staff in the LA program by helping them better understand the views of physics LAs and how to assess their various forms of reflection.

Options to advance co-ordination and analysis of climate data in Europe

Systematic, high-quality observations of the atmosphere, oceans and terrestrial environments are required to improve understanding of climate characteristics and the consequences of climate change. The overall aim of this report is to carry out a comparative assessment of approaches taken to addressing the state of European observations systems and related data analysis by some leading actors in the field. This research reports on approaches to climate observations and analyses in Ireland, Switzerland, Germany, The Netherlands and Austria and explores options for a more coordinated approach to national responses to climate observations in Europe. The key aspects addressed are: an assessment of approaches to develop GCOS and provision of analysis of GCOS data; an evaluation of how these countries are reporting development of GCOS; highlighting best practice in advancing GCOS implementation including analysis of Essential Climate Variables (ECVs); a comparative summary of the differences and synergies in terms of the reporting of climate observations; an overview of relevant European initiatives and recommendations on how identified gaps might be addressed in the short to medium term.

Small Town Downtown Revitalization: Applying the Main Street Approach to the towns of Perth and Carleton Place, Ontario

The downtown main street of small towns is traditionally the economic, cultural, and social heart of the community, thereby requiring particular attention from planners and researchers alike. Considering modern threats to main streets including suburban sprawl and "big box" development, revitalization strategies are essential to ensuring longevity and vitality of small towns’ cores, in terms of economy, built environment, heritage, and identity. The Main Street Approach was established to mitigate challenges by providing a revitalization tool-kit for small Canadian towns, focusing on organization, marketing and promotion, economic and commercial development, and design and physical improvements. To better understand existing municipal tools for downtown revitalization in Ontario, a comparative analysis of the towns of Carleton Place and Perth's policies was conducted using the four pillars of the Main Street Approach as benchmark for best practice, and recommendations for other small towns to better incorporate revitalization policies were suggested.

Randomized Trial for a Mobile Health Approach to Increase Uptake of Cervical Cancer Screening in Tanzania

Background: Largely due to low availability and uptake of screening in low- and middle-income countries, cervical cancer is the second ranked cancer among women in these countries. This is a tragedy because cervical cancer is one of the most preventable carcinomas. This thesis will investigate behaviour change methods, which capitalize on the recent exponential increase in ownership of mobile phones in Tanzania, to increase uptake of cervical cancer screening (CCS) in the Kilimanjaro region of Tanzania. Objectives: 1) To evaluate the effectiveness of behaviour change messages delivered via short message service (SMS) on the uptake of CCS in the Kilimanjaro region; 2) to evaluate the effectiveness of a transportation eVoucher on the uptake of CCS in the Kilimanjaro region; 3) to explore characteristics associated with CCS uptake in the Kilimanjaro region; and 4) to determine the attitudes towards and perceived benefit of behaviour change SMS messages and eVouchers intended to increase uptake of CCS. Methods: In the Kilimanjaro Region, 853 women participated in a randomized controlled trial. Baseline data was collected through self-report through systematic stratified random sampling. Participants were randomized to one of three groups: a control group, a group receiving behaviour change messages delivered via SMS, or a group receiving a travel eVoucher and identical SMS as the SMS group. A fieldworker recorded participants attending screening at the CCS clinics and administered a post-screening survey. The follow-up period was two months from the time of the participant’s enrolment. Logistic regression (both for the combined and stratified data sets) was used to determine associations between the behaviour change interventions, baseline characteristics and cervical cancer screening uptake. Results: All participants receiving SMS messages (SMS or eVoucher group) were more likely to attend cervical cancer screening in comparison with the control group. 83% of participants who attended screening shared the information contained in the messages with others. Conclusions: Behaviour change messages delivered via SMS and transportation eVouchers have the potential to increase uptake of cervical cancer screening in the Kilimanjaro region of Tanzania. Harnessing this potential will require implementing these interventions alongside other methods to achieve maximum impact.

Providing a ‘whole-of-family’ approach to care: family-focused practices in mental health services

Introduction: Family members including children are all impacted by a family member’s mental illness. Although mental health services are increasingly encouraged to engage in family-focused practice, this is not a well-understood concept or practice in mental health care. Methods: An integrative review using systematic methods was conducted with international literature, with the aim of identifying concepts and practices of family-focused practice in child and youth and adult mental health services. Results: Findings from 40 peer-reviewed literature identified a range of understandings and applications of family-focused practice, including who comprises the ‘family’, whether the focus is family of origin or family of procreation or choice, and whether the context of practice is child and youth or adult. ‘Family’ as defined by its members forms the foundation for practice that aims to provide a whole-of-family approach to care. Six core practices comprise a family focus to care: assessment; psychoeducation; family care planning and goal-setting; liaison between families and services; instrumental, emotional and social support; and a coordinated system of care between families and services. Conclusion: By incorporating key principles and the core family-focused practices into their care delivery, clinicians can facilitate a whole-of-family approach to care and strengthen family members’ wellbeing and resilience, and their individual and collective health outcomes.

Complexity of risk: Mixed methods approach to understanding youth risk and insecurity in post-conflict settings

In settings of intergroup conflict, identifying contextually-relevant risk factors for youth development in an important task. In Vukovar, Croatia, a city devastated during the war in former Yugoslavia, ethno-political tensions remain. The current study utilized a mixed method approach to identify two salient community-level risk factors (ethnic tension and general antisocial behavior) and related emotional insecurity responses (ethnic and non-ethnic insecurity) among youth in Vukovar. In Study 1, focus group discussions (N=66) with mother, fathers, and adolescents 11 to 15-years-old were analyzed using the Constant Comparative Method, revealing two types of risk and insecurity responses. In Study 2, youth (N=227, 58% male, M=15.88 SD=1.12 years old) responded to quantitative scales developed from the focus groups; discriminate validity was demonstrated and path analyses established predictive validity between each type of risk and insecurity. First, community ethnic tension (i.e., threats related to war/ethnic identity) significantly predicted ethnic insecurity for all youth (β=.41, p<.001). Second, experience with community antisocial behavior (i.e., general crime found in any context) predicted non-ethnic community insecurity for girls (β=.32, p<.05), but not for boys. These findings are the first to show multiple forms of emotional insecurity at the community level; implications for future research are discussed.

Calcium response of KCl-excited populations of ventricular myocytes from the European sea bass (Dicentrarchus labrax): a promising approach to integrate cell-to-cell heterogeneity in studying the cellular basis of fish cardiac performance

Climate change challenges the capacity of fishes to thrive in their habitat. However, through phenotypic diversity, they demonstrate remarkable resilience to deteriorating conditions. In fish populations, inter-individual variation in a number of fitness-determining physiological traits, including cardiac performance, is classically observed. Information about the cellular bases of inter-individual variability in cardiac performance is scarce including the possible contribution of excitation-contraction (EC) coupling. This study aimed at providing insight into EC coupling-related Ca2+ response and thermal plasticity in the European sea bass (Dicentrarchus labrax). A cell population approach was used to lay the methodological basis for identifying the cellular determinants of cardiac performance. Fish were acclimated at 12 and 22 A degrees C and changes in intracellular calcium concentration ([Ca2+](i)) following KCl stimulation were measured using Fura-2, at 12 or 22 A degrees C-test. The increase in [Ca2+](i) resulted primarily from extracellular Ca2+ entry but sarcoplasmic reticulum stores were also shown to be involved. As previously reported in sea bass, a modest effect of adrenaline was observed. Moreover, although the response appeared relatively insensitive to an acute temperature change, a difference in Ca2+ response was observed between 12- and 22 A degrees C-acclimated fish. In particular, a greater increase in [Ca2+](i) at a high level of adrenaline was observed in 22 A degrees C-acclimated fish that may be related to an improved efficiency of adrenaline under these conditions. In conclusion, this method allows a rapid screening of cellular characteristics. It represents a promising tool to identify the cellular determinants of inter-individual variability in fishes' capacity for environmental adaptation.

A Multidimensional Approach to Social Support: the Questionnaire on the Frequency of and Satisfaction with Social Support (QFSSS)

The Questionnaire on the Frequency of and Satisfaction with Social Support (QFSSS) was designed to assess the frequency of and the degree of satisfaction with perceived social support received from different sources in relation to three types of support: emotional, informational, and instrumental. This study tested the reliability of the questionnaire scores and its criterion and structural validity. The data were drawn from survey interviews of 2042 Spanish people. The results show high internal consistency (values of Cronbach's alpha ranged from .763 to .952). The correlational analysis showed significant positive associations between QFSSS scores and measures of subjective well-being and perceived social support, as well as significant negative associations with measures of loneliness (values of Pearson's r correlation ranged from .11 to .97). Confirmatory factor analysis using structural equation modelling verified an internal 4-factor structure that corresponds to the sources of support analysed: partner, family, friends, and community (values ranged from .93 to .95 for the Goodness of Fit Index (GFI); from .95 to .98 for the Comparative Fit Index (CFI); and from .10 to .07 for the Root Mean Square Error of Approximation (RMSEA)). These results confirm the validity of the QFSSS as a versatile tool which is suitable for the multidimensional assessment of social support.

From the traditional verification approach to the spatial methods: a study of applicability of the SAL metric in the framework of the WMO project MesoVICT

Increasing in resolution of numerical weather prediction models has allowed more and more realistic forecasts of atmospheric parameters. Due to the growing variability into predicted fields the traditional verification methods are not always able to describe the model ability because they are based on a grid-point-by-grid-point matching between observation and prediction. Recently, new spatial verification methods have been developed with the aim of show the benefit associated to the high resolution forecast. Nested in among of the MesoVICT international project, the initially aim of this work is to compare the newly tecniques remarking advantages and disadvantages. First of all, the MesoVICT basic examples, represented by synthetic precipitation fields, have been examined. Giving an error evaluation in terms of structure, amplitude and localization of the precipitation fields, the SAL method has been studied more thoroughly respect to the others approaches with its implementation in the core cases of the project. The verification procedure has concerned precipitation fields over central Europe: comparisons between the forecasts performed by the 00z COSMO-2 model and the VERA (Vienna Enhanced Resolution Analysis) have been done. The study of these cases has shown some weaknesses of the methodology examined; in particular has been highlighted the presence of a correlation between the optimal domain size and the extention of the precipitation systems. In order to increase ability of SAL, a subdivision of the original domain in three subdomains has been done and the method has been applied again. Some limits have been found in cases in which at least one of the two domains does not show precipitation. The overall results for the subdomains have been summarized on scatter plots. With the aim to identify systematic errors of the model the variability of the three parameters has been studied for each subdomain.