944 resultados para mixed verification methods
Resumo:
Plantings of mixed native species (termed 'environmental plantings') are increasingly being established for carbon sequestration whilst providing additional environmental benefits such as biodiversity and water quality. In Australia, they are currently one of the most common forms of reforestation. Investment in establishing and maintaining such plantings relies on having a cost-effective modelling approach to providing unbiased estimates of biomass production and carbon sequestration rates. In Australia, the Full Carbon Accounting Model (FullCAM) is used for both national greenhouse gas accounting and project-scale sequestration activities. Prior to undertaking the work presented here, the FullCAM tree growth curve was not calibrated specifically for environmental plantings and generally under-estimated their biomass. Here we collected and analysed above-ground biomass data from 605 mixed-species environmental plantings, and tested the effects of several planting characteristics on growth rates. Plantings were then categorised based on significant differences in growth rates. Growth of plantings differed between temperate and tropical regions. Tropical plantings were relatively uniform in terms of planting methods and their growth was largely related to stand age, consistent with the un-calibrated growth curve. However, in temperate regions where plantings were more variable, key factors influencing growth were planting width, stand density and species-mix (proportion of individuals that were trees). These categories provided the basis for FullCAM calibration. Although the overall model efficiency was only 39-46%, there was nonetheless no significant bias when the model was applied to the various planting categories. Thus, modelled estimates of biomass accumulation will be reliable on average, but estimates at any particular location will be uncertain, with either under- or over-prediction possible. When compared with the un-calibrated yield curves, predictions using the new calibrations show that early growth is likely to be more rapid and total above-ground biomass may be higher for many plantings at maturity. This study has considerably improved understanding of the patterns of growth in different types of environmental plantings, and in modelling biomass accumulation in young (<25. years old) plantings. However, significant challenges remain to understand longer-term stand dynamics, particularly with temporal changes in stand density and species composition. © 2014.
Resumo:
This study aimed to detect and analyse regular patterns of play in fast attack of football teams, through the combination of the sequential analysis technique and semi-structured interviews to experienced first League Portuguese coaches. The sample included 36 games (12 games of the respective national leagues per team) of the F.C. Barcelona, Inter Milan, and Manchester United teams that were coded with the observational instrument tool developed by Sarmento et al. (2010) and the data analysed through sequential analysis with the software SDIS-GSEQ 5.0. Based on the detected patterns, semi-structured interviews were carried out to 8 expert high-performance football coaches and data were analysed through the content analysis technique using the software NVivo 10. The detected patterns of play revealed specific characteristics of the teams under study. The combination of the results of sequential analysis with the qualitative interviews to the professional coaches proved to be very fruitful in this game the analysis of scope, allowing reconcile scientific knowledge with practical interpretation of coaches who develop their tasks in the field.
Resumo:
This dissertation proposes statistical methods to formulate, estimate and apply complex transportation models. Two main problems are part of the analyses conducted and presented in this dissertation. The first method solves an econometric problem and is concerned with the joint estimation of models that contain both discrete and continuous decision variables. The use of ordered models along with a regression is proposed and their effectiveness is evaluated with respect to unordered models. Procedure to calculate and optimize the log-likelihood functions of both discrete-continuous approaches are derived, and difficulties associated with the estimation of unordered models explained. Numerical approximation methods based on the Genz algortithm are implemented in order to solve the multidimensional integral associated with the unordered modeling structure. The problems deriving from the lack of smoothness of the probit model around the maximum of the log-likelihood function, which makes the optimization and the calculation of standard deviations very difficult, are carefully analyzed. A methodology to perform out-of-sample validation in the context of a joint model is proposed. Comprehensive numerical experiments have been conducted on both simulated and real data. In particular, the discrete-continuous models are estimated and applied to vehicle ownership and use models on data extracted from the 2009 National Household Travel Survey. The second part of this work offers a comprehensive statistical analysis of free-flow speed distribution; the method is applied to data collected on a sample of roads in Italy. A linear mixed model that includes speed quantiles in its predictors is estimated. Results show that there is no road effect in the analysis of free-flow speeds, which is particularly important for model transferability. A very general framework to predict random effects with few observations and incomplete access to model covariates is formulated and applied to predict the distribution of free-flow speed quantiles. The speed distribution of most road sections is successfully predicted; jack-knife estimates are calculated and used to explain why some sections are poorly predicted. Eventually, this work contributes to the literature in transportation modeling by proposing econometric model formulations for discrete-continuous variables, more efficient methods for the calculation of multivariate normal probabilities, and random effects models for free-flow speed estimation that takes into account the survey design. All methods are rigorously validated on both real and simulated data.
Resumo:
The Stock Identification Methods Working Group (SIMWG) worked by correspondence in 2016. The working group was chaired by Lisa Kerr (USA). The work plan for SIMWG in 2016 comprised four Terms of Reference (ToR), some of which are continuing goals for SIMWG: a ) Review recent advances in stock identification methods; b ) Build a reference database with updated information on known biological stocks for species of ICES interest; c ) Provide technical reviews and expert opinions on matters of stock identifica-tion, as requested by specific Working Groups and SCICOM; d ) Review and report on advances in mixed stock analysis, and assess their po-tential role in improving precision of stock assessment. ToR a) is an ongoing task of SIMWG in which we provide a comprehensive update on recent applications of stock identification techniques to ICES species of interest, summa-rize new approaches in stock identification, and novel combinations of existing applica-tions. ToR b) is a multi-annual ToR in which SIMWG has taking steps to build a reference data-base consisting of SIMWG reviews of issues of stock identity for ICES species. ToR c) is a key ongoing task by SIMWG in which we addresses specific requests by ICES working groups for technical advice on issues of stock identity. This year we provided advice on mackerel in the Northeast Atlantic as requested by WGWIDE. ToR d) is a multi-annual ToR that is focused on tracking developments in the application of mixed stock analysis and the integration of this information into assessment and management.
Resumo:
Motion planning, or trajectory planning, commonly refers to a process of converting high-level task specifications into low-level control commands that can be executed on the system of interest. For different applications, the system will be different. It can be an autonomous vehicle, an Unmanned Aerial Vehicle(UAV), a humanoid robot, or an industrial robotic arm. As human machine interaction is essential in many of these systems, safety is fundamental and crucial. Many of the applications also involve performing a task in an optimal manner within a given time constraint. Therefore, in this thesis, we focus on two aspects of the motion planning problem. One is the verification and synthesis of the safe controls for autonomous ground and air vehicles in collision avoidance scenarios. The other part focuses on the high-level planning for the autonomous vehicles with the timed temporal constraints. In the first aspect of our work, we first propose a verification method to prove the safety and robustness of a path planner and the path following controls based on reachable sets. We demonstrate the method on quadrotor and automobile applications. Secondly, we propose a reachable set based collision avoidance algorithm for UAVs. Instead of the traditional approaches of collision avoidance between trajectories, we propose a collision avoidance scheme based on reachable sets and tubes. We then formulate the problem as a convex optimization problem seeking control set design for the aircraft to avoid collision. We apply our approach to collision avoidance scenarios of quadrotors and fixed-wing aircraft. In the second aspect of our work, we address the high level planning problems with timed temporal logic constraints. Firstly, we present an optimization based method for path planning of a mobile robot subject to timed temporal constraints, in a dynamic environment. Temporal logic (TL) can address very complex task specifications such as safety, coverage, motion sequencing etc. We use metric temporal logic (MTL) to encode the task specifications with timing constraints. We then translate the MTL formulae into mixed integer linear constraints and solve the associated optimization problem using a mixed integer linear program solver. We have applied our approach on several case studies in complex dynamical environments subjected to timed temporal specifications. Secondly, we also present a timed automaton based method for planning under the given timed temporal logic specifications. We use metric interval temporal logic (MITL), a member of the MTL family, to represent the task specification, and provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find an optimal motion (or path) sequence for the robot to complete the task.
Resumo:
Background: Noninvasive transcutaneous carbon dioxide monitoring has been shown to be accurate in infants and children, limited data are available to show the usefulness and limitations of partial transcutaneous carbon dioxide tension (PtCO2) value. Objectives: The current study prospectively determines the effectiveness and accuracy of PtCO2 measurements in newborns. Materials and Methods: Venous blood gas sampling and monitoring of the PtCO2 level (TCM TOSCA, Radiometer) were done simultaneously. All measurements are performed on mechanically ventilated infants. Partial venous carbon dioxide tension (PvCO2) values divided into three groups according to hypocapnia (Group 1: < 4.68 kPa), normocapnia (Group 2: 4.68–7.33 kPa), hypercapnia (Group 3: > 7.33 kPa) and then PvCO2 and PtCO2 data within each group were compared separately. Results: A total of 168 measurements of each PvCO2 and PtCO2 data were compared in three separated groups simultaneously (13 in Group 1, 118 in Group 2, and 37 in Group 3). A bias of more than ± 0.7 kPa was considered unacceptable. PtCO2 was related to PvCO2 with acceptable results between the two measurements in hypocapnia (mean difference 0.20 ± 0.19 kPa) and normocapnia (0.002 ± 0.30 kPa) groups. On the other hand in hypercapnia group PtCO2 values were statistically significant (P < 0.001) and lower than PvCO2 data (mean difference 0.81 ± 1.19 kPa) Conclusions: PtCO2 measurements have generally good agreement with PvCO2 in hypocapnic and normocapnic intubated infants but there are some limitations especially with high level of CO2 tension. Monitoring of PtCO2 is generally a useful non-invasive indicator of PvCO2 in hypocapnic and normocapnic infants.
Resumo:
Ce0.64Zr0.27Nd0.09Oδ mixed oxides have been prepared by three different methods (nitrates calcination, coprecipitation and microemulsion), characterized by N2 adsorption, XRD, H2-TPR, Raman spectroscopy and XPS, and tested for soot combustion in NOx/O2. The catalyst prepared by microemulsion method is the most active one, which is related to its high surface area (147 m2/g) and low crystallite size (6 nm), and the lowest activity was obtained with the catalyst prepared by coprecipitation (74 m2/g; 9 nm). The catalyst prepared by nitrates precursors calcination is slightly less active to that prepared by microemulsion, but the synthesis procedure is very straightforward and surfactants or other chemicals are not required, being very convenient for scaling up and practical utilization. The high activity of the catalyst prepared by nitrates calcination can be attributed to the better introduction of Nd cations into the parent ceria framework than on catalysts prepared by coprecipitation and microemulsion, which promotes the creation of more oxygen vacancies.
Resumo:
Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.
Resumo:
AIMS: In the UK, people tend to have poor knowledge of government guidelines for alcohol use, and lack the motivation and skills required to use them to monitor their drinking. The study aim was to determine whether using glasses marked with such guidelines would improve knowledge and attitudes, increase frequency of counting units and lower alcohol intake. METHODS: A total of 450 adults in the UK participated in an intervention vs control study with 1-month follow-up. The intervention group was encouraged to use glasses supplied by the researchers that indicated the unit content of drinks of different strengths and volumes, and stated the intake guidelines. Data were collected online. A further more in-depth interview with 13 intervention group participants enquired into their experiences of using the glasses. RESULTS: Analyses adjusted for baseline variables showed that the intervention improved the following: knowledge of unit-based guidelines, ability to estimate the unit content of drinks, attitudes toward the guidelines and frequency of counting unit intake. However, there was no significant difference in alcohol consumption between the groups at follow-up. Interviews suggested that the glasses encouraged people to think about their drinking and to discuss alcohol with other people. The design of the glasses was not appealing to all, and their initial impact did not always persist. CONCLUSION: Use of unit-marked glasses led to changes in people's reported use of unit-based guidelines to monitor their drinking but, in the short term, no change in consumption. Qualitative data suggested that the glasses could have an impact at the individual level (on knowledge and attitudes) and at a broader level (by prompting discussion of alcohol use).
Resumo:
Aims To compare magnetic resonance imaging (MRI) of the pelvic floor musculature (PFM), bladder neck and urethral sphincter morphology under three conditions (rest, PFM maximal voluntary contraction (MVC), and straining) in older women with symptoms of stress (SUI) or mixed urinary incontinence (MUI) or without incontinence. Methods This 2008–2012 exploratory observational cohort study was conducted with community-dwelling women aged 60 and over. Sixty six women (22 per group), mean age of 67.7 ± 5.2 years, participated in the study. A 3 T MRI examination was conducted under three conditions: rest, PFM MVC, and straining. ANOVA or Kruskal–Wallis tests (data not normally distributed) were conducted, with Bonferroni correction, to compare anatomical measurements between groups. Results Women with MUI symptoms had a lower PFM resting position (M-Line P = 0.010 and PC/H-line angle P = 0.026) and lower pelvic organ support (urethrovesical junction height P = 0.013) than both continent and SUI women. Women with SUI symptoms were more likely to exhibit bladder neck funneling and a larger posterior urethrovesical angle at rest than both continent and MUI women (P = 0.026 and P = 0.008, respectively). There were no significant differences between groups on PFM MVC or straining. Conclusions Women with SUI and MUI symptoms present different morphological defects at rest. These observations emphasize the need to tailor UI interventions to specific pelvic floor defects and UI type in older women.
Resumo:
Research in human computer interaction (HCI) covers both technological and human behavioural concerns. As a consequence, the contributions made in HCI research tend to be aware to either engineering or the social sciences. In HCI the purpose of practical research contributions is to reveal unknown insights about human behaviour and its relationship to technology. Practical research methods normally used in HCI include formal experiments, field experiments, field studies, interviews, focus groups, surveys, usability tests, case studies, diary studies, ethnography, contextual inquiry, experience sampling, and automated data collection. In this paper, we report on our experience using the evaluation methods focus groups, surveys and interviews and how we adopted these methods to develop artefacts: either interface’s design or information and technological systems. Four projects are examples of the different methods application to gather information about user’s wants, habits, practices, concerns and preferences. The goal was to build an understanding of the attitudes and satisfaction of the people who might interact with a technological artefact or information system. Conversely, we intended to design for information systems and technological applications, to promote resilience in organisations (a set of routines that allow to recover from obstacles) and user’s experiences. Organisations can here also be viewed within a system approach, which means that the system perturbations even failures could be characterized and improved. The term resilience has been applied to everything from the real estate, to the economy, sports, events, business, psychology, and more. In this study, we highlight that resilience is also made up of a number of different skills and abilities (self-awareness, creating meaning from other experiences, self-efficacy, optimism, and building strong relationships) that are a few foundational ingredients, which people should use along with the process of enhancing an organisation’s resilience. Resilience enhances knowledge of resources available to people confronting existing problems.
Resumo:
Aim: To present the qualitative findings from a study on the development of scheme(s) to give evidence of maintenance of professional competence for nurses and midwives. Background: Key issues in maintenance of professional competence include notions of self- assessment, verification of engagement and practice hours, provision of an evidential record, the role of the employer and articulation of possible consequences for non-adherence with the requirements. Schemes to demonstrate the maintenance of professional competence have application to nurses, midwives and regulatory bodies and healthcare employers worldwide. Design: A mixed methods approach was used. This included an online survey of nurses and midwives and focus groups with nurses and midwives and other key stakeholders. The qualitative data are reported in this study. Methods: Focus groups were conducted among a purposive sample of nurses, midwives and key stakeholders from January–May 2015. A total of 13 focus groups with 91 participants contributed to the study. Findings: Four major themes were identified: Definitions and Characteristics of Competence; Continuing Professional Development and Demonstrating Competence; Assessment of Competence; The Nursing and Midwifery Board of Ireland and employers as regulators and enablers of maintaining professional competence. Conclusion: Competence incorporates knowledge, skills, attitudes, professionalism, application of evidence and translating learning into practice. It is specific to the nurse's/midwife's role, organizational needs, patient's needs and the individual nurse's/midwife's learning needs. Competencies develop over time and change as nurses and midwives work in different practice areas. Thus, role-specific competence is linked to recent engagement in practice.
Resumo:
Aims To compare magnetic resonance imaging (MRI) of the pelvic floor musculature (PFM), bladder neck and urethral sphincter morphology under three conditions (rest, PFM maximal voluntary contraction (MVC), and straining) in older women with symptoms of stress (SUI) or mixed urinary incontinence (MUI) or without incontinence. Methods This 2008–2012 exploratory observational cohort study was conducted with community-dwelling women aged 60 and over. Sixty six women (22 per group), mean age of 67.7 ± 5.2 years, participated in the study. A 3 T MRI examination was conducted under three conditions: rest, PFM MVC, and straining. ANOVA or Kruskal–Wallis tests (data not normally distributed) were conducted, with Bonferroni correction, to compare anatomical measurements between groups. Results Women with MUI symptoms had a lower PFM resting position (M-Line P = 0.010 and PC/H-line angle P = 0.026) and lower pelvic organ support (urethrovesical junction height P = 0.013) than both continent and SUI women. Women with SUI symptoms were more likely to exhibit bladder neck funneling and a larger posterior urethrovesical angle at rest than both continent and MUI women (P = 0.026 and P = 0.008, respectively). There were no significant differences between groups on PFM MVC or straining. Conclusions Women with SUI and MUI symptoms present different morphological defects at rest. These observations emphasize the need to tailor UI interventions to specific pelvic floor defects and UI type in older women.
Resumo:
This study aimed to compare four establishment methods of mixed swards of Tangolagrass and forage peanut (Arachis pintoi).
Resumo:
The challenges of the current global food systems are often framed around feeding the world's growing population while meeting sustainable development for future generations. Globalization has brought to a fragmentation of food spaces, leading to a flexible and mutable supply chain. This poses a major challenge to food and nutrition security, affecting also rural-urban dynamics in territories. Furthermore, the recent crises have highlighted the vulnerability to shocks and disruptions of the food systems and the eco-system due to the intensive management of natural, human and economic capital. Hence, a sustainable and resilient transition of the food systems is required through a multi-faceted approach that tackles the causes of unsustainability and promotes sustainable practices at all levels of the food system. In this respect, a territorial approach becomes a relevant entry point of analysis for the food system’s multifunctionality and can support the evaluation of sustainability by quantifying impacts associated with quantitative methods and understanding the territorial responsibility of different actors with qualitative ones. Against this background the present research aims to i) investigate the environmental, costing and social indicators suitable for a scoring system able to measure the integrated sustainability performance of food initiatives within the City/Region territorial context; ii) develop a territorial assessment framework to measure sustainability impacts of agricultural systems; and iii) define an integrated methodology to match production and consumption at a territorial level to foster a long-term vision of short food supply chains. From a methodological perspective, the research proposes a mixed quantitative and qualitative research method. The outcomes provide an in-depth view into the environmental and socio-economic impacts of food systems at the territorial level, investigating possible indicators, frameworks, and business strategies to foster their future sustainable development.