982 resultados para Symbolic model checking


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study aimed to explore how a new model of integrated primary/secondary care for type 2 diabetes management, the Brisbane South Complex Diabetes Service (BSCDS), related to improved diabetes management in a selected group of patients. We used a qualitative research design to obtain detailed accounts from the BSCDS via semi-structured interviews with 10 patients. The interviews were fully transcribed and systematically coded using a form of thematic analysis. Participants’ responses were grouped in relation to: (1) Patient-centred care; (2) Effective multiprofessional teamwork; and (3) Empowering patients. The key features of this integrated primary/secondary care model were accessibility and its delivery within a positive health care environment, clear and supportive interpersonal communication between patients and health care providers, and patients seeing themselves as being part of the team-based care. The BSCDS delivered patient-centred care and achieved patient engagement in ways that may have contributed to improved type 2 diabetes management in these participants.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Vacuum circuit breaker (VCB) overvoltage failure and its catastrophic failures during shunt reactor switching have been analyzed through computer simulations for multiple reignitions with a statistical VCB model found in the literature. However, a systematic review (SR) that is related to the multiple reignitions with a statistical VCB model does not yet exist. Therefore, this paper aims to analyze and explore the multiple reignitions with a statistical VCB model. It examines the salient points, research gaps and limitations of the multiple reignition phenomenon to assist with future investigations following the SR search. Based on the SR results, seven issues and two approaches to enhance the current statistical VCB model are identified. These results will be useful as an input to improve the computer modeling accuracy as well as the development of a reignition switch model with point-on-wave controlled switching for condition monitoring

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Given global demand for new infrastructure, governments face substantial challenges in funding new infrastructure and delivering Value for Money (VfM). As part of the background to this challenge, a critique is given of current practice in the selection of the approach to procure major public sector infrastructure in Australia and which is akin to the Multi-Attribute Utility Approach (MAUA). To contribute towards addressing the key weaknesses of MAUA, a new first-order procurement decision-making model is presented. The model addresses the make-or-buy decision (risk allocation); the bundling decision (property rights incentives), as well as the exchange relationship decision (relational to arms-length exchange) in its novel approach to articulating a procurement strategy designed to yield superior VfM across the whole life of the asset. The aim of this paper is report on the development of this decisionmaking model in terms of the procedural tasks to be followed and the method being used to test the model. The planned approach to testing the model uses a sample of 87 Australian major infrastructure projects in the sum of AUD32 billion and deploys a key proxy for VfM comprising expressions of interest, as an indicator of competition.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Video presented as part of APCCM 2010 conference in Brisbane Australia. Video illustrating the main components of an Open Simulator BPMN Editor we have developed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This project was a step forward in developing and evaluating a novel, mathematical model that can deduce the meaning of words based on their use in language. This model can be applied to a wide range of natural language applications, including the information seeking process most of us undertake on a daily basis.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Participant performance is critical to the success of projects. At the same time, enhancing the satisfaction of participants not only helps in problem solving but also improves their motivation and cooperation. However, previous research related to participant satisfaction is primarily concerned with clients and customers and relatively little attention has been paid to contractors. This paper investigates how the performance of project participants affects contractor project satisfaction in terms of the client's clarity of objectives (OC) and promptness of payments (PP), designer carefulness (DC), construction risk management (RM), the effectiveness their contribution (EW) and mutual respect and trust (RT). With 125 valid responses from contractors in Malaysia, a contractor satisfaction model is developed based on structural equation modelling. The results demonstrate the necessity for dividing abstract satisfaction into two dimensions, comprising economic-related satisfaction (ES) and production-related satisfaction (PS), with DC, OC, PP and RM having significant effects on ES, while DC, OC, EW and RM influence PS. In addition, the model tests the indirect effects of these performance variables on ES and PS. In particular, OC indirectly affects ES and PS through mediation of RM and DC respectively. The results also provide opportunities for improving contractor satisfaction and supplementing the contractor selection criteria for clients.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A new optimal control model of the interactions between a growing tumour and the host immune system along with an immunotherapy treatment strategy is presented. The model is based on an ordinary differential equation model of interactions between the growing tu- mour and the natural killer, cytotoxic T lymphocyte and dendritic cells of the host immune system, extended through the addition of a control function representing the application of a dendritic cell treat- ment to the system. The numerical solution of this model, obtained from a multi species Runge–Kutta forward-backward sweep scheme, is described. We investigate the effects of varying the maximum al- lowed amount of dendritic cell vaccine administered to the system and find that control of the tumour cell population is best effected via a high initial vaccine level, followed by reduced treatment and finally cessation of treatment. We also found that increasing the strength of the dendritic cell vaccine causes an increase in the number of natural killer cells and lymphocytes, which in turn reduces the growth of the tumour.