927 resultados para Equivalence Proof


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The potential of near infra-red (NIR) spectroscopy for non-invasive measurement of fruit quality of pineapple (Ananas comosus var. Smooth Cayenne) and mango (Magnifera indica var. Kensington) fruit was assessed. A remote reflectance fibre optic probe, placed in contact with the fruit skin surface in a light-proof box, was used to deliver monochromatic light to the fruit, and to collect NIR reflectance spectra (760–2500 nm). The probe illuminated and collected reflected radiation from an area of about 16 cm2. The NIR spectral attributes were correlated with pineapple juice Brix and with mango flesh dry matter (DM) measured from fruit flesh directly underlying the scanned area. The highest correlations for both fruit were found using the second derivative of the spectra (d2 log 1/R) and an additive calibration equation. Multiple linear regression (MLR) on pineapple fruit spectra (n = 85) gave a calibration equation using d2 log 1/R at wavelengths of 866, 760, 1232 and 832 nm with a multiple coefficient of determination (R2) of 0.75, and a standard error of calibration (SEC) of 1.21 °Brix. Modified partial least squares (MPLS) regression analysis yielded a calibration equation with R2 = 0.91, SEC = 0.69, and a standard error of cross validation (SECV) of 1.09 oBrix. For mango, MLR gave a calibration equation using d2 log 1/R at 904, 872, 1660 and 1516 nm with R2 = 0.90, and SEC = 0.85% DM and a bias of 0.39. Using MPLS analysis, a calibration equation with R2 = 0.98, SEC = 0.54 and SECV = 1.19 was obtained. We conclude that NIR technology offers the potential to assess fruit sweetness in intact whole pineapple and DM in mango fruit, respectively, to within 1° Brix and 1% DM, and could be used for the grading of fruit in fruit packing sheds.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

English is currently ascendant as the language of globalisation, evident in its mediation of interactions and transactions worldwide. For many international students, completion of a degree in English means significant credentialing and increased job prospects. Australian universities are the third largest English-speaking destination for overseas students behind the United States and the United Kingdom. International students comprise one-fifth of the total Australian university population, with 80% coming from Asian countries (ABS, 2010). In this competitive higher education market, English has been identified as a valued ‘good’. Indeed, universities have been critiqued for relentlessly reproducing the “hegemony and homogeneity of English” (Marginson, 2006, p. 37) in order to sustain their advantage in the education market. For international students, English is the gatekeeper to enrolment, the medium of instruction and the mediator of academic success. For these reasons, English is not benign, yet it remains largely taken-for-granted in the mainstream university context. This paper problematises the naturalness of English and reports on a study of an Australian Master of Education course in which English was a focus. The study investigated representations of English as they were articulated across a chain of texts including the university strategic plan, course assessment criteria, student assignments, lecturer feedback, and interviews. Critical Discourse Analysis (CDA) and Foucault’s work on discourse enabled understandings of how a particular English is formed through an apparatus of specifications, exclusionary thresholds, strategies for maintenance (and disruption), and privileged concepts and speaking positions. The findings indicate that English has hegemonic status within the Australian university, with material consequences for students whose proficiency falls outside the thresholds of accepted English practice. Central to the constitution of what counts as English is the relationship of equivalence between standard written English and successful academic writing. International students’ representations of English indicate a discourse that impacts on identities and practices and preoccupies them considerably as they negotiate language and task demands. For the lecturer, there is strategic manoeuvring within the institutional regulative regime to support students’ English language needs using adapted assessment practices, explicit teaching of academic genres and scaffolded classroom interaction. The paper concludes with the implications for university teaching and learning.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

An on-line algorithm is developed for the location of single cross point faults in a PLA (FPLA). The main feature of the algorithm is the determination of a fault set corresponding to the response obtained for a failed test. For the apparently small number of faults in this set, all other tests are generated and a fault table is formed. Subsequently, an adaptive procedure is used to diagnose the fault. Functional equivalence test is carried out to determine the actual fault class if the adaptive testing results in a set of faults with identical tests. The large amount of computation time and storage required in the determination, a priori, of all the fault equivalence classes or in the construction of a fault dictionary are not needed here. A brief study of functional equivalence among the cross point faults is also made.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The study shows that the reading paradigm derived from codes Roland Barthes presented in his S/Z exposes the postmodernic nature of Saul Bellow s Herzog (1964), and embodies in which way the novel is organized as a radical rewriting of modernism and its ideology. I explore how solid, compact and modernistic subject breaks down at every level of Herzog s narration. I actually argue that the heteroglossic novel is representative of an early American postmodern movement in literaure, and it should by no means be dissected narrowly as a realistic or naturalistic novel at all. The intertextual code verifies that the interpretation of Herzog remains inadequate if one doesn t take account of the novel s significant intertextual references to other texts. In fact, even the mind of Moses Herzog, the protagonist of the novel, is a mosaic of citations. It emerges from the dissertation that the figure of Don Quixote follows Moses Herzog as an ambiguous shadow while the professor of history struggles with his anxiety and anguish, and travels in a mentally confused state around the U.S. for five days in the early 1960s, encountering the impending atmosphere of transition as the country is on the threshold of a significant cultural and social change. There is a strong necessity for updated interpretation of Herzog partly because its centrality to Bellow s own career as a writer but mainly because it has been previously read trough modernistic lenses. I shall try to proof in my study that American Jewish Saul Bellow s (1915 2005) Herzog escapes any kind of simple, elemental or essentialistic construction or reading and in real terms it doesn t offer any comprehensive, total or coherent solution or system for those philosophical doctrines it criticizes and makes fun of. The philosophical, conceptual and cultural substance of Herzog does not constitute an independent or autonomous theoretical tract which would have a life of its own. Altough the novel reflects the continuity of Bellow s writing it is clearly some kind of conscious or unconscious experiment during his long career as a writer. He hasn t been so radical before or since the publication of Herzog. It is unarguably his most postmodern novel.The reading paradigm based on specific codes demonstrates how deep into the basic questions of his personal life and existence itself he must dive in oder to find his many ways towards authentic or primordial self in fragmented and shattered world which is constanly rewritten and which makes human being a tourist of his own life. In that ongoing process the protagonist has to accept the ultimate plurality of his mind and self. He must confront that the modernistic definition of identity as a solid, monolithic and stable entity has broken down into different, inconsistent and even contradictory possibilities of identification. Moses Herzog embodies obviously Stuart Hall s description of the postmodern self his identity has turn into a movable feast.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Anselm of Canterbury (1033–1109) was a prolific letter writer. The modern edition of his letter collection comprises more than 600 folio-size pages in print and includes 472 letters, the vast majority of which were sent by him. Our knowledge of Anselm’s letters is derived from collections of his letters, for none of his correspondence survives in its original form of individual letters. There was no one canonical version of the collection, and the extant manuscripts generally differ substantially: the largest medieval manuscript witnesses include over 400 letters, while the smallest contain only a few. We know 38 manuscript witnesses, but no authorial manuscript survives. Certain references in Anselm’s letters reveal, however, that he collected his correspondence on at least two occasions while he was still abbot of Bec, and this study proposes that a third collection was possibly made under his supervision in Christ Church. The third collection also covered Anselm’s Canterbury period. Whether the third collection was authorial or posthumous is unclear. Certain contextual evidence and references in letters would suggest that the collection was authorial. If so, the collection was probably a register book, which was started in c. 1101 at the earliest. There is no positive proof that any of the three surviving minor collections may be authorial. Each of these collections was circulating at a very early stage, however, some probably in Anselm’s lifetime. Moreover, the minor collections seem to have been put together from smaller source units, which possibly originated at Bec. The contents of these units suggest very early and possibly authorial origins: the letters are mainly from Anselm’s years as prior of Bec. The critical edition by F. S. Schmitt represents the current phase in the textual tradition of Anselm’s letter collection. This study demonstrates that the value of the edition is weakened in particular by the way in which Schmitt selected manuscripts for collation, doubtless influenced by the fact that he had not established the structure of the tradition properly. Ultimately it is impossible to undertake systematic research on the letter collection on the basis of Schmitt’s edition.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Bestiality was in the 18th century a more difficult problem in terms of criminal policy in Sweden and Finland than in any other Christian country in any other period. In the legal history of deviant sexuality, the phenomenon was uniquely widespread by international comparison. The number of court cases per capita in Finland was even higher than in Sweden. The authorities classified bestiality among the most serious crimes and a deadly sin. The Court of Appeal in Turku opted for an independent line and was clearly more lenient than Swedish courts of justice. Death sentences on grounds of bestiality ended in the 1730s, decades earlier than in Sweden. The sources for the present dissertation include judgment books and Court of Appeal decisions in 253 cases, which show that the persecution of those engaging in bestial acts in 18th century Finland was not organised by the centralised power of Stockholm. There is little evidence of local campaigns that would have been led by authorities. The church in its orthodoxy was losing ground and the clergy governed their parishes with more pragmatism than the Old Testament sanctioned. When exposing bestiality, the legal system was compelled to rely on the initiative of the public. In cases of illicit intercourse or adultery the authorities were even more dependent on the activeness of the local community. Bestiality left no tangible evidence, illegitimate children, to betray the crime to the clergy or secular authorities. The moral views of the church and the local community were not on a collision course. It was a common view that bestiality was a heinous act. Yet nowhere near all crimes came to the authorities' knowledge. Because of the heavy burden of proof, the legal position of the informer was difficult. Passiveness in reporting the crime was partly because most Finns felt it was not their place to intervene in their neighbours' private lives, as long as that privacy posed no serious threat to the neighbourhood. Hidden crime was at least as common as crime more easily exposed and proven. A typical Finnish perpetrator of bestiality was a young unmarried man with no criminal background or mental illness. The suspects were not members of ethnic minorities or marginal social groups. In trials, farmhands were more likely to be sentenced than their masters, but a more salient common denominator than social and economical status was the suspects' young age. For most of the defendants bestiality was a deep-rooted habit, which had been adopted in early youth. This form of subculture spread among the youth, and the most susceptible to experiment with the act were shepherds. The difference between man and animal was not clear-cut or self-evident. The difficulty in drawing the line is evident both in legal sources and Finnish folklore. The law that required that the animal partners be slaughtered led to the killing of thousands of cows and mares, and thereby to substantial material losses to their owners. Regarding bestiality as a crime against property motivated people to report it. The belief that the act would produce human-animal mongrels or that it would poison the milk and the meat horrified the public more than the teachings of the church ever could. Among the most significant aspects in the problems regarding the animals is how profoundly different the worldview of 18th century people was from that of today.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This splitting techniques for MARKOV chains developed by NUMMELIN (1978a) and ATHREYA and NEY (1978b) are used to derive an imbedded renewal process in WOLD's point process with MARKOV-correlated intervals. This leads to a simple proof of renewal theorems for such processes. In particular, a key renewal theorem is proved, from which analogues to both BLACKWELL's and BREIMAN's forms of the renewal theorem can be deduced.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A novel technique was developed for the flocculation of marine microalgae commonly used in aquaculture. The process entailed an adjustment of pH of culture to between 10 and 10.6 using NaOH, followed by addition of a non-ionic polymer Magnafloc LT-25 to a final concentration of 0.5 mg L-1. The ensuing flocculate was harvested, and neutralised giving a final concentration factor of between 200- and 800-fold. This process was successfully applied to harvest cells of Chaetoceros calcitrans, C. muelleri, Thalassiosira pseudonana, Attheya septentrionalis, Nitzschia closterium, Skeletonema sp., Tetraselmis suecica and Rhodomonas salina, with efficiencies >=80%. The process was rapid, simple and inexpensive, and relatively cost neutral with increasing volume (cf. concentration by centrifugation). Harvested material was readily disaggregated to single cell suspensions by dilution in seawater and mild agitation. Microscopic examination of the cells showed them to be indistinguishable from corresponding non-flocculated cells. Chlorophyll analysis of concentrates prepared from cultures of Concentrates of T. pseudonana prepared using pH-induced flocculation gave better growth of juvenile Pacific oysters (Crassostrea gigas) than concentrates prepared by ferric flocculation, or centrifuged concentrates using a cream separator or laboratory centrifuge. In follow up experiments, concentrates prepared from 1000 L Chaetoceros muelleri cultures were effective as supplementary diets to improve the growth of juvenile C. gigas and the scallop Pecten fumatus reared under commercial conditions, though not as effective as the corresponding live algae. The experiments demonstrated a proof-of-concept for a commercial application of concentrates prepared by flocculation, especially for use at a remote nursery without on-site mass-algal culture facilities.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

- Background One of the three objectives of the WHO Global Disability Action Plan 2014–2021 is removal of barriers and improved access to health services and programmes. Access to transport contributes to positive health outcomes; however, people with disabilities leaving their dwellings are confronted with barriers to their mobility. Mobility restrictions, sensory or other disabilities increase their vulnerability as road users, exposing them to higher risks of injury. PHSW and CARRS-Q have been collaborating with Handicap International Cambodia (HIC) on a Journey Access Tool (JAT). - Aims Use of the JAT is to (1) Identify transport and journey safety and barriers for people with disability and (2) Evaluation and modification of the tool after trailing to for use by NGOs and government agencies in prioritising actions around barriers. - Methodology The tool has undergone initial proof-of-concept testing in India and Viet Nam, and was trialled in Cambodia in February and May, 2015. Five teams were formed comprising a person with disability (physical, sensory or intellectual), researchers from QUT, staff from HIC, and local university students. The JAT was completed by each team and then discussed and evaluated. Two further Cambodian trials are scheduled for 2015. - Results The JAT is responsive to rural and urban contexts, and has utility for people with different disabilities. Two tools have been developed: a short version for people with a disability to complete independently, or with assistance; and a version for NGOs, DPOs and government. The tool has efficacy for advocacy.   - Conclusion The JAT has potential to assist the Mekong region with: (1) evaluating access for people with disability and other vulnerable members of the community including older people; (2) developing plans for changes to the routes in consultation with local authorities; (3) evaluating the effectiveness of implemented changes in terms of access and health; (4) inputting into policy; (5) The tool can be used for advocacy for change.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Erosion resistance of pressed soil blocks used for wall construction is discussed. The spray erosion test using a standardized shower spray is discussed. Spray erosion behaviour of pressed soil blocks made out of five different soils is presented. Results of laboratory and field tests are compared. Effect of clay content of the soil and density of the pressed soil block on erosion are discussed. Also the effect of water-proof coatings on erosion of soil blocks is presented. Erosion resistance of soil blocks stabilized with organic (jaggery syrup and starch) or inorganic binders is also discussed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

1. Mammalian predators are controlled by poison baiting in many parts of the world, often to alleviate their impacts on agriculture or the environment. Although predator control can have substantial benefits, the poisons used may also be potentially harmful to other wildlife. 2. Impacts on non-target species must be minimized, but can be difficult to predict or quantify. Species and individuals vary in their sensitivity to toxins and their propensity to consume poison baits, while populations vary in their resilience. Wildlife populations can accrue benefits from predator control, which outweigh the occasional deaths of non-target animals. We review recent advances in Australia, providing a framework for assessing non-target effects of poisoning operations and for developing techniques to minimize such effects. We also emphasize that weak or circumstantial evidence of non-target effects can be misleading. 3. Weak evidence that poison baiting presents a potential risk to non-target species comes from measuring the sensitivity of species to the toxin in the laboratory. More convincing evidence may be obtained by quantifying susceptibility in the field. This requires detailed information on the propensity of animals to locate and consume poison baits, as well as the likelihood of mortality if baits are consumed. Still stronger evidence may be obtained if predator baiting causes non-target mortality in the field (with toxin detected by post-mortem examination). Conclusive proof of a negative impact on populations of non-target species can be obtained only if any observed non-target mortality is followed by sustained reductions in population density. 4. Such proof is difficult to obtain and the possibility of a population-level impact cannot be reliably confirmed or dismissed without rigorous trials. In the absence of conclusive evidence, wildlife managers should adopt a precautionary approach which seeks to minimize potential risk to non-target individuals, while clarifying population-level effects through continued research.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We consider the problem of estimating the optimal parameter trajectory over a finite time interval in a parameterized stochastic differential equation (SDE), and propose a simulation-based algorithm for this purpose. Towards this end, we consider a discretization of the SDE over finite time instants and reformulate the problem as one of finding an optimal parameter at each of these instants. A stochastic approximation algorithm based on the smoothed functional technique is adapted to this setting for finding the optimal parameter trajectory. A proof of convergence of the algorithm is presented and results of numerical experiments over two different settings are shown. The algorithm is seen to exhibit good performance. We also present extensions of our framework to the case of finding optimal parameterized feedback policies for controlled SDE and present numerical results in this scenario as well.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Sets of multivalued dependencies (MVDs) having conflict-free covers are important to the theory and design of relational databases [2,12,15,16]. Their desirable properties motivate the problem of testing a set M of MVDs for the existence of a confiict-free cover. In [8] Goodman and Tay have proposed an approach based on the possible equivalence of M to a single (acyclic) join dependency (JD). We remark that their characterization does not lend an insight into the nature of such sets of MVDs. Here, we use notions that are intrinsic to MVDs to develop a new characterization. Our approach proceeds in two stages. In the first stage, we use the notion of “split-free” sets of MVDs and obtain a characterization of sets M of MVDs having split-free covers. In the second, we use the notion of “intersection” of MVDs to arrive at a necessary and sufficient condition for a split-free set of MVDs to be conflict-free. Based on our characterizations, we also give polynomial-time algorithms for testing whether M has split-free and conflict-free covers. The highlight of our approach is the clear insight it provides into the nature of sets of MVDs having conflict-free covers. Less emphasis is given in this paper to the actual efficiency of the algorthms. Finally, as a bonus, we derive a desirable property of split-free sets of MVDs,thereby showing that they are interesting in their own right.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The vision sense of standalone robots is limited by line of sight and onboard camera capabilities, but processing video from remote cameras puts a high computational burden on robots. This paper describes the Distributed Robotic Vision Service, DRVS, which implements an on-demand distributed visual object detection service. Robots specify visual information requirements in terms of regions of interest and object detection algorithms. DRVS dynamically distributes the object detection computation to remote vision systems with processing capabilities, and the robots receive high-level object detection information. DRVS relieves robots of managing sensor discovery and reduces data transmission compared to image sharing models of distributed vision. Navigating a sensorless robot from remote vision systems is demonstrated in simulation as a proof of concept.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Many forces are driving the global demand for assurance that fruit and vegetables are safe to eat and of the right quality, and are produced and handled in a manner that does not cause harm to the environment and the health, safety and welfare of workers. The impact of these driving forces is that retailer requirements for suppliers to comply with Good Agricultural Practice (GAP) is increasing and governments are strengthening legal requirements for food safety, environmental protection, and worker health, safety and welfare. The implementation of GAP programs currently within the ASEAN (Association of South East Asian Nations) region varies, with some countries having government certified systems and others beginning the journey with awareness programs for farmers. Under a project funded by the ASEAN Australia Development Cooperation Program, a standard for ASEAN GAP has been developed to harmonise GAP Programs in the region. The goal is to facilitate trade between ASEAN countries and to global markets, improve viability for farmers, and help sustain a safe food supply and the environment. ASEAN GAP is an umbrella standard that individual member countries will benchmark their national programs against to gain equivalence. The scope of ASEAN GAP covers the production, harvesting and postharvest handling of fresh fruit and vegetables on farm and postharvest handling in locations where produce is packed for sale. ASEAN GAP consists of four modules covering food safety, environmental management, worker health, safety and welfare, and produce quality. Each module can be used alone or in combination with other modules. This enables progressive implementation of ASEAN GAP, module by module based on individual country priorities.