413 resultados para A Chosen Witness
Resumo:
With the increasing importance of Application Domain Specific Processor (ADSP) design, a significant challenge is to identify special-purpose operations for implementation as a customized instruction. While many methodologies have been proposed for this purpose, they all work for a single algorithm chosen from the target application domain. Such algorithm-specific approaches are not suitable for designing instruction sets applicable to a whole family of related algorithms. For an entire range of related algorithms, this paper develops a methodology for identifying compound operations, as a basis for designing “domain-specific” Instruction Set Architectures (ISAs) that can efficiently run most of the algorithms in a given domain. Our methodology combines three different static analysis techniques to identify instruction sequences common to several related algorithms: identification of (non-branching) instruction sequences that occur commonly across the algorithms; identification of instruction sequences nested within iterative constructs that are thus executed frequently; and identification of commonly-occurring instruction sequences that span basic blocks. Choosing different combinations of these results enables us to design domain-specific special operations with different desired characteristics, such as performance or suitability as a library function. To demonstrate our approach, case studies are carried out for a family of thirteen string matching algorithms. Finally, the validity of our static analysis results is confirmed through independent dynamic analysis experiments and performance improvement measurements.
Resumo:
Antenna arrays are groups of antenna elements spaced in a geometrical pattern. By changing the phase excitation of each element, the array is capable of transmitting electromagnetic waves strongly in a chosen direction with little or no radiation in another direction, thus controlling the array's radiation pattern without physically moving any parts. An antenna array of sub-arrays replaces conventional antenna elements with compact circular arrays with potential for improved performance. This thesis expands on the concept by exploring the development, realisation and operation of an array of subarrays. The overall size of the array essentially remains the same, but the array's performance is improved due to having steerable directive subarrays. The negative effects of strong mutual coupling between closely spaced elements of a subarray are analysed and a number of new solutions for element decoupling are proposed.
Resumo:
This paper examines the approach of Guilbert, a European stationery company, which has chosen a fast track strategy towards implementation of enterprise resource planning.
Resumo:
Sparse optical flow algorithms, such as the Lucas-Kanade approach, provide more robustness to noise than dense optical flow algorithms and are the preferred approach in many scenarios. Sparse optical flow algorithms estimate the displacement for a selected number of pixels in the image. These pixels can be chosen randomly. However, pixels in regions with more variance between the neighbours will produce more reliable displacement estimates. The selected pixel locations should therefore be chosen wisely. In this study, the suitability of Harris corners, Shi-Tomasi's “Good features to track", SIFT and SURF interest point extractors, Canny edges, and random pixel selection for the purpose of frame-by-frame tracking using a pyramidical Lucas-Kanade algorithm is investigated. The evaluation considers the important factors of processing time, feature count, and feature trackability in indoor and outdoor scenarios using ground vehicles and unmanned aerial vehicles, and for the purpose of visual odometry estimation.
Resumo:
Mandatory reporting laws have been created in many jurisdictions as a way of identifying cases of severe child maltreatment on the basis that cases will otherwise remain hidden. These laws usually apply to all four maltreatment types. Other jurisdictions have narrower approaches supplemented by differential response systems, and others still have chosen not to enact mandatory reporting laws for any type of maltreatment. In scholarly research and normative debates about mandatory reporting laws and their effects, the four major forms of child maltreatment—physical abuse, sexual abuse, emotional abuse, and neglect—are often grouped together as if they are homogenous in nature, cause, and consequence. Yet, the heterogeneity of maltreatment types, and different reporting practices regarding them, must be acknowledged and explored when considering what legal and policy frameworks are best suited to identify and respond to cases. A related question which is often conjectured upon but seldom empirically explored, is whether reporting laws make a difference in case identification. This article first considers different types of child abuse and neglect, before exploring the nature and operation of mandatory reporting laws in different contexts. It then posits a differentiation thesis, arguing that different patterns of reporting between both reporter groups and maltreatment types must be acknowledged and analysed, and should inform discussions and assessments of optimal approaches in law, policy and practice. Finally, to contribute to the evidence base required to inform discussion, this article conducts an empirical cross-jurisdictional comparison of the reporting and identification of child sexual abuse in jurisdictions with and withoutmandatory reporting, and concludes that mandatory reporting laws appear to be associated with better case identification.
Resumo:
The work presented in this report is aimed to implement a cost-effective offline mission path planner for aerial inspection tasks of large linear infrastructures. Like most real-world optimisation problems, mission path planning involves a number of objectives which ideally should be minimised simultaneously. Understandably, the objectives of a practical optimisation problem are conflicting each other and the minimisation of one of them necessarily implies the impossibility to minimise the other ones. This leads to the need to find a set of optimal solutions for the problem; once such a set of available options is produced, the mission planning problem is reduced to a decision making problem for the mission specialists, who will choose the solution which best fit the requirements of the mission. The goal of this work is then to develop a Multi-Objective optimisation tool able to provide the mission specialists a set of optimal solutions for the inspection task amongst which the final trajectory will be chosen, given the environment data, the mission requirements and the definition of the objectives to minimise. All the possible optimal solutions of a Multi-Objective optimisation problem are said to form the Pareto-optimal front of the problem. For any of the Pareto-optimal solutions, it is impossible to improve one objective without worsening at least another one. Amongst a set of Pareto-optimal solutions, no solution is absolutely better than another and the final choice must be a trade-off of the objectives of the problem. Multi-Objective Evolutionary Algorithms (MOEAs) are recognised to be a convenient method for exploring the Pareto-optimal front of Multi-Objective optimization problems. Their efficiency is due to their parallelism architecture which allows to find several optimal solutions at each time
Resumo:
Optimisation of organic Rankine cycles(ORCs for binary cycle applications could play a major role in determining the competitiveness of low to moderate renewable sources. An important aspect of the optimisation is to maximise the turbine output power for a given resource. This requires careful attention to the turbine design notably through numerical simulations. Challenges in the numerical modelling of radial-inflow turbines using high-density working fluids still need to be addressed in order to improve the turbine design and better optimise ORCs. Thispaper presents preliminary 3D numerical simulations of a high-density radial-inflow ORC turbine in sensible geothermal conditions. Following extensive investigation of the operating conditions and thermodynamic cycle analysis, therefrigerant R143a is chosen as the high-density working fluid. The 1D design of the candidate radial-inflow turbine is presented in details. Furthermore, commercially-available software Ansys-CFX is used to perform preliminary steady-state 3D CFD simulations of the candidate R143a radial-inflow turbine for a number of operating conditions including off-design conditions. The real-gas properties are obtained using the Peng–Robinson equations of state.The thermodynamic ORC cycle is presented. The preliminary design created using dedicated radial-inflow turbine software Concepts-Rital is discussed and the 3D CFD results are presented and compared against the meanline analysis.
Resumo:
There is a new type of home education parent challenging long-held assumptions about homeschooling (cf. Morton 2012). These parents are well educated (cf. Beck 2010) but have chosen to eschew the social and cultural capital (Bourdieu & Wacquant 1992) of school in favour of some- thing completely different. They are unschoolers, which involves ‘allow- ing children as much freedom to learn in the world as their parents can possibly bear’ (cf. Holt & Farenga 2003: 238). This chapter presents the approach taken by one researcher to explore the reasons families choose unschooling. These families can be difficult to access, because they often fail to register with home education units and thus remain outside the education system (cf. Townsend 2012). Their lack of registration makes them largely invisible, affecting their ability to make an important contribution to debates around education. In spite of this invisibility, many unschoolers are keen to talk to researchers to increase wider understanding of unschooling.
Resumo:
The overarching research work is based on two approaches: - Conceptual Analysis, Extraction and Linking - Experimentation with Product Libraries - Conceptual Analysis, Extraction and Linking: This aspect of the research has been achieved through the development of a conceptual framework for facilitating the understanding of the constituting components of BIM, Specifications and Cost Planning under investigation. The framework builds on theories spanning the constituent research themes and was used as a basis for justifying the elected approaches adopted throughout the research work. By means of tags and codes, a system for classifying building specification information has been developed as a differentiator between the chosen research approach and existing classification strategies in industry. Furthermore, syntactic links between extracted classes of specification information and cost planning have been established and will be adopted as a basis for authenticating the impact of specification information within BIM models. - Experimentation with Product Libraries Following the extraction and classification of BIM, Specifications and Cost Planning information, early experimentation on linking specifications to BIM models by means of a raas-based product library have been successful. A comparative analysis between a range of existing product libraries has also been realised. The outcomes have been amply documented in papers, all of which have received positive reviews. Ongoing experiments and analysis with the product library involve integrating the cost planning component for authenticating the completeness, relevance and impact of embedded specification within BIM models.
Resumo:
The Children’s Book Council of Australia (CBCA) administers the oldest national prize for children’s literature in Australia. Each year, the CBCA confers “Book of the Year” awards to literature for young people in five categories. In 2001, the establishment of an “Early Childhood” category opened up the venerable “Picture Book” category (first awarded in 1955) to books with an implied readership up to 18 years of age. As a result, this category has emerged in recent years as a highly visible space within which the CBCA can contest discourses of cultural marginalisation insofar as Australian (“colonial”) literature is constructed as inferior or adjunct to the major Anglophone literary traditions, and the consistent identification of children’s literature (and, indeed, of children) as lesser than its ‘adult’ counterparts. The CBCA is engaged in defining, evaluating, and legitimising a tradition of Australian children’s literature which is underpinned by a canonical impulse, and is a reflexive practice of self-definition, self-evaluation and self-legitimisation for the CBCA itself. While it is obviously problematic to identify award winners as a canon, it is equally obvious that literary prizing is a cultural practice derived from the logic of canonicity. In his discussion of the United States’s Newbery Medal, Kenneth Kidd notes that “Medal books are instant classics, the selection process an ostensible simulation of the test of time” (169) and that “the Medal is part of the canonical architecture of children's literature” (169). Thus, it is instructive to consider the visions and values of the national, of the social, and of the literary-aesthetic, in the picture books chosen by the Children’s Book Council of Australia (CBCA) as the “best” of the early twenty-first century. These books not only constitute a kind of canon for contemporary Australian children’s literature, but may well come to define what contemporary Australian children’s literature means in the wider literary field. The Book of the Year: Picture Book awards given by the CBCA since 2001 demonstrate that it is not only true of the Booker Prize that, “The choices of winning books reflect not only on the books themselves, then, but also back on the Prize, affecting its reputation and creating journalistic capital which is vital for the Prize to achieve its prominence and impact.” (81). Many of the twenty-first century CBCA award-winning picture books complicate traditional or comfortable understanding of Australianness, children’s literature, or “appropriate” modes of form and content, reminding us that “moments when texts resist or complicate recuperation into national discourses offer fruitful points for exploring the relationships between text and celebratory context” (Roberts 6). The CBCA has taken the opportunities offered by the liberation of the Picture Book category from an implied readership to challenge dominant constructions of children’s literature in Australia, and in so doing, are engaged in overt practices of canonicity with potentially long-lasting effects. Works Cited: Kidd, Kenneth. “Prizing Children’s Literature: The Case of Newbery Gold.” Children's Literature 35 (2007): 166-190. Roberts, Gillian. Prizing Literature: The Celebration and Circulation of National Culture. Toronto: U Toronto P, 2011. Squires, Claire. “Book Marketing and the Booker Prize.” Judging a Book by Its Cover: Fans, Publishers, Designers, and the Marketing of Fiction. Eds. Nicole Matthews and Nickianne Moody. Aldershot: Ashgate, 2007. 71-82.
Resumo:
"Naik Naik, conceived and directed by Cheryl Stock, is a multi-site promenade performance in which the audience joins the artists in physically exploring the notion of ‘ascent’ through their upward journey from Fort A Famosa at the base of the hill to Site 1 of St Paul’s Hill at the summit. Beginning at dusk with vignette performances along the ascending path, the journey finishes on entering the church ruins at nightfall. An evocation of place through performative contemplations, this processional experience lingers on the traces of history that remain hidden or partially and silently exposed, interwoven with personal and cultural stories related to the sites, in a celebration of the present. Naik Naik brings together eight established and emerging professional artists whose disciplines range across dance, music, visual arts and media production. Excitingly, this will be the first performance at MAPFest arising from a pre-festival collaborative residency with development time in Malaysia for all artists to work on a new production from its inception. The collaboration has been based on ideas arising from site research as well as myths and local stories from longterm Melaka residents who contributed their knowledge and memories of the chosen sites. Naik Naik has been created by its artists in an acknowledgement of Melaka’s unique multicultural heritage and contemporary identity.
Resumo:
A review of "Hans Christian Andersen : European Witness" by Paul Binding (Yale UP, 2014). How a writer bears witness to his age is necessarily the expression of many things, not least the possibly quite peculiar nature of an author’s life. Literary works often emerge from complex upbringings, from periods of youthful isolation spent reading and writing. More still seem to have been written as a result of the fraught relationships that befall authors, perhaps because authors so often view their relationships with a degree of creative and critical distance. And yet, if a writer’s output evidences an unusual life, it also witnesses broader questions being asked by a community as a whole. At some level, even the most remarkable figures are typical of their age, and reflections of it. By the close of Paul Binding’s study of the life and works of Hans Christian Andersen (1805–75), we are reminded that extraordinary feats of originality and imagination are often the result of how unique minds enter wider discourses...
Resumo:
Cold-formed high strength steel members are increasingly used as primary load bearing components in low rise buildings. Lipped channel beam (LCB) is one of the most commonly used flexural members in these applications. In this research an experimental study was undertaken to investigate the shear behaviour and strengths of LCB sections. Simply supported test specimens of back to back LCBs with aspect ratios of 1.0 and 1.5 were loaded at mid-span until failure. Test specimens were chosen such that all three types of shear failure (shear yielding, inelastic and elastic shear buckling) occurred in the tests. The ultimate shear capacity results obtained from the tests were compared with the predictions from the current design rules in Australian/NewZealand and American cold-formed steel design standards. This comparison showed that these shear design rules are very conservative as they did not include the post-buckling strength observed in the shear tests and the higher shear buckling coefficient due to the additional fixity along the web-flange juncture. Improved shear design equations are proposed in this paper by including the above beneficial effects. Suitable lower bound design rules were also developed under the direct strength method format. This paper presents the details of this experimental study and the results including the improved design rules for the shear capacity of LCBs. It also includes the details of tests of LCBs subject to combined shear and flange distortion, and combined bending and shear actions, and proposes suitable design rules to predict the capacities in these cases.
Resumo:
A travel article about Amsterdam. BY COINCIDENCE, I flew to Amsterdam a week after I'd read Ian McEwan's novel of the same name. Amsterdam is a modern take on the theme of duelling and, in many ways, he couldn't have chosen a more appropriate place for his title. This is a city that duels with itself. I flew in at dawn, traditionally the moment to test your abilities at 10 paces. The countryside below was dark but blocks of orange light pulsed in the fields...
Resumo:
Approximate Bayesian Computation’ (ABC) represents a powerful methodology for the analysis of complex stochastic systems for which the likelihood of the observed data under an arbitrary set of input parameters may be entirely intractable – the latter condition rendering useless the standard machinery of tractable likelihood-based, Bayesian statistical inference [e.g. conventional Markov chain Monte Carlo (MCMC) simulation]. In this paper, we demonstrate the potential of ABC for astronomical model analysis by application to a case study in the morphological transformation of high-redshift galaxies. To this end, we develop, first, a stochastic model for the competing processes of merging and secular evolution in the early Universe, and secondly, through an ABC-based comparison against the observed demographics of massive (Mgal > 1011 M⊙) galaxies (at 1.5 < z < 3) in the Cosmic Assembly Near-IR Deep Extragalatic Legacy Survey (CANDELS)/Extended Groth Strip (EGS) data set we derive posterior probability densities for the key parameters of this model. The ‘Sequential Monte Carlo’ implementation of ABC exhibited herein, featuring both a self-generating target sequence and self-refining MCMC kernel, is amongst the most efficient of contemporary approaches to this important statistical algorithm. We highlight as well through our chosen case study the value of careful summary statistic selection, and demonstrate two modern strategies for assessment and optimization in this regard. Ultimately, our ABC analysis of the high-redshift morphological mix returns tight constraints on the evolving merger rate in the early Universe and favours major merging (with disc survival or rapid reformation) over secular evolution as the mechanism most responsible for building up the first generation of bulges in early-type discs.