Microstructural-based approach to the interpretation of clays and transitional soils behaviour

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2016.

Defining plausible migration rates based on historical tagging data: a Bayesian mark-recapture model applied to English sole (Parophrys vetulus)

A generalized Bayesian population dynamics model was developed for analysis of historical mark-recapture studies. The Bayesian approach builds upon existing maximum likelihood methods and is useful when substantial uncertainties exist in the data or little information is available about auxiliary parameters such as tag loss and reporting rates. Movement rates are obtained through Markov-chain Monte-Carlo (MCMC) simulation, which are suitable for use as input in subsequent stock assessment analysis. The mark-recapture model was applied to English sole (Parophrys vetulus) off the west coast of the United States and Canada and migration rates were estimated to be 2% per month to the north and 4% per month to the south. These posterior parameter distributions and the Bayesian framework for comparing hypotheses can guide fishery scientists in structuring the spatial and temporal complexity of future analyses of this kind. This approach could be easily generalized for application to other species and more data-rich fishery analyses.

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.

Amblyopia treatment : an evidence-based approach to maximising treatment outcome

The basis of treatment for amblyopia (poor vision due to abnormal visual experience early in life) for 250 years has been patching of the unaffected eye for extended times to ensure a period of use of the affected eye. Over the last decade randomised controlled treatment trials have provided some evidence on how to tailor amblyopia therapy more precisely to achieve the best visual outcome with the least negative impact on the patient and the family. This review highlights the expansion of knowledge regarding treatment for amblyopia and aims to provide optometrists with a summary of research evidence to enable them to better treat amblyopia. Treatment for amblyopia is effective, as it reduces overall prevalence and severity of visual loss in this population. Correction of refractive error alone significantly improves visual acuity, sometimes to the point where further amblyopia treatment is not required. Atropine penalisation and patch occlusion are effective in treating amblyopia. Lesser amounts of occlusion or penalisation have been found to be just as effective as greater amounts. Recent evidence has highlighted that occlusion or penalisation in amblyopia treatment can create negative changes in behaviour in children and impact on family life. These complications should be considere when prescribing treatment because they can negatively affect compliance. Studies investigating the maximum age at which treatment of amblyopia can still be effective and the importance of near activities during occlusion are ongoing.

Conceptualizing a bottom-up approach to service bundling

Offering service bundles to the market is a promising option for service providers to strengthen their competitive advantages, cope with dynamic market conditions and deal with heterogeneous consumer demand. Although the expected positive effects of bundling strategies and pricing considerations for bundles are covered well by the available literature, limited guidance can be found regarding the identification of potential bundle candidates and the actual process of bundling. The contribution of this paper is the positioning of bundling based on insights from both business and computer science and the proposition of a structured bundling method, which guides organizations with the composition of bundles in practice.

A collaborative approach to home care delivery for older clients: Perspectives of home care providers

A collaborative approach to home care (HC) delivery for older clients has taken centre stage (Nies, 2006). In Finland, public home help and home health care services have been combined to form the home care unit, whose goal is to provide a collaborative approach to care delivery through cooperation and sharing of responsibilities. In this model, the general practitioner (GP), home care nurses (HCN) and home help workers (HHW) care for shared clients. GPs and HCNs provide health care, such as monitoring of clients’ health status, and HHWs assist with personal care tasks such as dressing, washing and meal preparation. As the needs of older clients are multiple, collaboration is needed as one professional group cannot take sole responsibility (Nies, 2006). This paper reports on a study undertaken to examine home care unit care providers’ perspectives of the collaborative approach to HC delivery for older clients.