965 resultados para formal methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In semi-arid areas such as western Nebraska, interest in subsurface drip irrigation (SDI) for corn is increasing due to restricted irrigation allocations. However, crop response quantification to nitrogen (N) applications with SDI and the environmental benefits of multiple in-season (IS) SDI N applications instead of a single early-season (ES) surface application are lacking. The study was conducted in 2004, 2005, and 2006 at the University of Nebraska-Lincoln West Central Research and Extension Center in North Platte, Nebraska, comparing two N application methods (IS and ES) and three N rates (128, 186, and 278 kg N ha(-1)) using a randomized complete block design with four replications. No grain yield or biomass response was observed in 2004. In 2005 and 2006, corn grain yield and biomass production increased with increasing N rates, and the IS treatment increased grain yield, total N uptake, and gross return after N application costs (GRN) compared to the ES treatment. Chlorophyll meter readings taken at the R3 corn growth stage in 2006 showed that less N was supplied to the plant with ES compared to the IS treatment. At the end of the study, soil NO3-N masses in the 0.9 to 1.8 m depth were greater under the IS treatment compared to the ES treatment. Results suggested that greater losses of NO3-N below the root zone under the ES treatment may have had a negative effect on corn production. Under SDI systems, fertigating a recommended N rate at various corn growth stages can increase yields, GRN, and reduce NO3-N leaching in soils compared to concentrated early-season applications.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Non-stationary signal modeling is a well addressed problem in the literature. Many methods have been proposed to model non-stationary signals such as time varying linear prediction and AM-FM modeling, the later being more popular. Estimation techniques to determine the AM-FM components of narrow-band signal, such as Hilbert transform, DESA1, DESA2, auditory processing approach, ZC approach, etc., are prevalent but their robustness to noise is not clearly addressed in the literature. This is critical for most practical applications, such as in communications. We explore the robustness of different AM-FM estimators in the presence of white Gaussian noise. Also, we have proposed three new methods for IF estimation based on non-uniform samples of the signal and multi-resolution analysis. Experimental results show that ZC based methods give better results than the popular methods such as DESA in clean condition as well as noisy condition.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

For the problem of speaker adaptation in speech recognition, the performance depends on the availability of adaptation data. In this paper, we have compared several existing speaker adaptation methods, viz. maximum likelihood linear regression (MLLR), eigenvoice (EV), eigenspace-based MLLR (EMLLR), segmental eigenvoice (SEV) and hierarchical eigenvoice (HEV) based methods. We also develop a new method by modifying the existing HEV method for achieving further performance improvement in a limited available data scenario. In the sense of availability of adaptation data, the new modified HEV (MHEV) method is shown to perform better than all the existing methods throughout the range of operation except the case of MLLR at the availability of more adaptation data.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fundamental investigations in ultrasonics in India date back to the early 20th century. But, fundamental and applied research in the field of nondestructive evaluation (NDE) came much later. In the last four decades it has grown steadily in academic institutions, national laboratories and industry. Currently, commensurate with rapid industrial growth and realisation of the benefits of NDE, the activity is becoming much stronger, deeper, broader and very wide spread. Acoustic Emission (AE) is a recent entry into the field of nondestructive evaluation. Pioneering efforts in India in AE were carried out at the Indian Institute of Science in the early 1970s. The nuclear industry was the first to utilise it. Current activity in AE in the country spans materials research, incipient failure detection, integrity evaluation of structures, fracture mechanics studies and rock mechanics. In this paper, we attempt to project the current scenario in ultrasonics and acoustic emission research in India.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Abstract is not available.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective To compare two neck strength training modalities. Background Neck injury in pilots flying high performance aircraft is a concern in aviation medicine. Strength training may be an effective means to strengthen the neck and decrease injury risk. Methods The cohort consisted of 32 age-height-weight matched participants, divided into two experimental groups; the Multi-Cervical Unit (MCU) and Thera-Band tubing groups (THER), and a control (CTRL) group. Ten weeks of training were undertaken and pre-and post isometric strength testing for all groups was performed on the MCU. Comparisons between the three groups were made using a Kruskal-Wallis test and effect sizes between the MCU and the THER groups and the THER and CTRL groups were also calculated. Results The MCU group displayed the greatest increase in isometric strength (flexion 64.4%, extension 62.9%, left lateral flexion 53.3%, right lateral flexion 49.1%) and differences were only statistically significant (p<0.05) when compared to the CTRL group. Increases in neck strength for the THER group were lower than that shown in the MCU group (flexion 42.0%, extension 29.9%, left lateral flexion 26.7%, right lateral flexion 24.1%). Moderate to large effect sizes were found between the MCU and THER as well as the THER and CTRL groups. Conclusions This study demonstrated that the MCU was the most effective training modality to increase isometric cervical muscle strength. Thera-Band tubing did however, produce moderate gains in isometric neck strength

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A formal chemical nomenclature system WISENOM based on a context-free grammar and graph coding is described. The system is unique, unambiguous, easily pronounceable, encodable, and decodable for organic compounds. Being a formal system, every name is provable as a theorem or derivable as a terminal sentence by using the basic axioms and rewrite rules. The syntax in Backus-Naur form, examples of name derivations, and the corresponding derivation trees are provided. Encoding procedures to convert connectivity tables to WISENOM, parsing, and decoding are described.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Onboard spacecraft computing system is a case of a functionally distributed system that requires continuous interaction among the nodes to control the operations at different nodes. A simple and reliable protocol is desired for such an application. This paper discusses a formal approach to specify the computing system with respect to some important issues encountered in the design and development of a protocol for the onboard distributed system. The issues considered in this paper are concurrency, exclusiveness and sequencing relationships among the various processes at different nodes. A 6-tuple model is developed for the precise specification of the system. The model also enables us to check the consistency of specification and deadlock caused due to improper specification. An example is given to illustrate the use of the proposed methodology for a typical spacecraft configuration. Although the theory is motivated by a specific application the same may be applied to other distributed computing system such as those encountered in process control industries, power plant control and other similar environments.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective: To explore the effect of education and training on the delivery of alcohol screening and brief intervention and referral to high-risk patients in a hospital setting. Main outcome measures included; delivery of training; practice change in relation to staff performing alcohol screening, brief intervention and referrals. Methods: Observational study design using mixed methods set in a tertiary referral hospital. Pre-post assessment of medical records and semi-structured interviews with key informants. Results: Routine screening for substance misuse (9% pre / 71.4% post) and wellbeing concerns (6.6% pre / 15 % post) was more frequent following the introduction of resources and staff participation in educational workshops. There was no evidence of a concomitant increase in delivery of brief intervention or referrals to services. Implementation challenges, including time constraints and staff attitudes, and enablers such as collaboration and visible pathways, were identified. Conclusion: Rates of patient screening increased, however barriers to delivery of brief intervention and referrals remained. Implementation strategies targeting specific barriers and enablers to introducing interventions are both required to improve the application of secondary prevention for patients in acute settings. Implications: Educational training, formalised liaison between services, systematised early intervention protocols, and continuous quality improvement processes will progress service delivery in this area.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Maize is a highly important crop to many countries around the world, through the sale of the maize crop to domestic processors and subsequent production of maize products and also provides a staple food to subsistance farms in undeveloped countries. In many countries, there have been long-term research efforts to develop a suitable hardness method that could assist the maize industry in improving efficiency in processing as well as possibly providing a quality specification for maize growers, which could attract a premium. This paper focuses specifically on hardness and reviews a number of methodologies as well as important biochemical aspects of maize that contribute to maize hardness used internationally. Numerous foods are produced from maize, and hardness has been described as having an impact on food quality. However, the basis of hardness and measurement of hardness are very general and would apply to any use of maize from any country. From the published literature, it would appear that one of the simpler methods used to measure hardness is a grinding step followed by a sieving step, using multiple sieve sizes. This would allow the range in hardness within a sample as well as average particle size and/or coarse/fine ratio to be calculated. Any of these parameters could easily be used as reference values for the development of near-infrared (NIR) spectroscopy calibrations. The development of precise NIR calibrations will provide an excellent tool for breeders, handlers, and processors to deliver specific cultivars in the case of growers and bulk loads in the case of handlers, thereby ensuring the most efficient use of maize by domestic and international processors. This paper also considers previous research describing the biochemical aspects of maize that have been related to maize hardness. Both starch and protein affect hardness, with most research focusing on the storage proteins (zeins). Both the content and composition of the zein fractions affect hardness. Genotypes and growing environment influence the final protein and starch content and. to a lesser extent, composition. However, hardness is a highly heritable trait and, hence, when a desirable level of hardness is finally agreed upon, the breeders will quickly be able to produce material with the hardness levels required by the industry.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Promotion of better procedures for releasing undersize fish, advocacy of catch-and-release angling, and changing minimum legal sizes are increasingly being used as tools for sustainable management of fish stocks. However without knowing the proportion of released fish that survive, the conservation value of any of these measures is uncertain. We developed a floating vertical enclosure to estimate short-term survival of released line-caught tropical and subtropical reef-associated species, and used it to compare the effectiveness of two barotrauma-relief procedures (venting and shotline releasing) on red emperor (Lutjanus sebae). Barotrauma signs varied with capture depth, but not with the size of the fish. Fish from the greatest depths (40-52 m) exhibited extreme signs less frequently than did those from intermediate depths (30-40 m), possibly as a result of swim bladder gas being vented externally through a rupture in the body wall. All but two fish survived the experiment, and as neither release technique significantly improved short-term survival of the red emperor over non-treatment we see little benefit in promoting either venting or shotline releasing for this comparatively resilient species. Floating vertical enclosures can improve short-term post-release mortality estimates as they overcome many problems encountered when constraining fish in submerged cages.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background Australian workforce planning predicts a shortfall of nurses by 2025 with rural areas being most at risk. Rural areas have lower retention rates of nurses than metropolitan areas, with remote communities experiencing an even higher turnover of nursing staff. There have been few studies that examine the impact of nurse resignations on rural nursing workforces. Objective This paper is abstracted from a larger study into the reasons why nurses resign from rural hospitals and explores the resignation period. Design A qualitative study using grounded theory methods. Following in-depth interviewing and transcription, data analysis occurred with the assistance of NVivo software. Setting Rural NSW. Participants Twelve registered nurses who had resigned from rural NSW hospitals and not for reasons of retirement, maternity leave or relocation; two participants were re-interviewed. Results While the overall study identified a grounded theory which explained rural nurses resign from hospitals due to a conflict of values, three additional themes emerged about the resignation practices at rural hospitals. The first theme identified a ‘window period’ which was an opportunity for the nurse to be retained. The second theme identified that nurses who had resigned were not involved in formal exit processes such as exit interviews. The third theme captured the flow-on effect from rural nurse resignations resulting in nurses leaving the profession of nursing. Conclusion To facilitate nurse retention, it is important that rural hospitals manage nurse resignations more effectively. This includes re-examining resignation procedures, how nurses are treated and collecting meaningful data to inform retention strategies.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective: We aimed to assess the feasibility of delivering a music therapy program on adolescent psychiatric wards. Method: We undertook a mixed-methods evaluation of a pilot program. Various active and receptive techniques were employed in group music therapy sessions delivered as part of a structured clinical program. Data collected in interviews with participants and staff and feedback questionnaires were thematically and descriptively analysed and triangulated. Results: Data from 62 questionnaires returned by 43 patients who took part in 16 music therapy sessions, and seven staff, evidenced strong support for music therapy. Patients typically reported experiencing sessions as relaxing, comforting, uplifting, and empowering; >90% would participate by choice and use music therapeutically in the future. Staff endorsed music therapy as valuable therapeutically, reporting that patients engaged enthusiastically and identified sessions as improving their own moods and ward milieu. Conclusions: Integration of music therapy in inpatient treatment of adolescents is feasible and acceptable, and is valued by staff and patients as a complement to ‘talking therapies’. Participation is enjoyed and associated with outcomes including improvement in mood, expression of feelings and social engagement consistent with recovery.