889 resultados para Almost always propositional logic
Resumo:
Recent growth and expansion of the fly-in/fly-out (FIFO) model of mining in remote rural Australia has led to concerns about the health and well-being of those employed by the mines and those in the small rural communities where they are based. A particular concern has been the potential disruption to sexual norms in mining towns and increases in sexually transmitted infections (STIs) and HIV.
Resumo:
Every university in Australia has a set of policies that guide the institution in its educational practices, however, the policies are often developed in isolation to each other. Now imagine a space where policies are evidence-based, refined annually, cohesively interrelated, and meet stakeholders’ needs. Is this happenstance or the result of good planning? Culturally, Queensland University of Technology (QUT) is a risk-averse institution that takes pride in its financial solvency and is always keen to know “how are we going?” With a twenty-year history of annual reporting that assures the quality of course performance through multiple lines of evidence, QUT’s Learning and Teaching Unit went one step further and strategically aligned a suite of policies that take into consideration the needs of their stakeholders, collaborate with other areas across the institution and use multiple lines of evidence to inform curriculum decision-making. In QUT’s experience, strategic planning can lead to policy that is designed to meet stakeholders’ needs, not manage them; where decision-making is supported by evidence, not rhetoric; where all feedback is incorporated, not ignored; and where policies are cohesively interrelated, not isolated. While many may call this ‘policy nirvana’, QUT has positioned itself to demonstrate good educational practice through Reframe, its evaluation framework. In this case, best practice was achieved through the application of a theory of change and a design-led logic model that allows for transition to other institutions with different cultural specificity. The evaluation approach follows Seldin’s (2003) notion to offer depth and breadth to the evaluation framework along with Berk’s (2005) concept of multiple lines of evidence. In summary, this paper offers university executives, academics, planning and quality staff an opportunity to understand the critical steps that lead to strategic planning and design of evidence-based educational policy that positions a university for best practice in learning and teaching.
Resumo:
The gross under-resourcing of conservation endeavours has placed an increasing emphasis on spending accountability. Increased accountability has led to monitoring forming a central element of conservation programs. Although there is little doubt that information obtained from monitoring can improve management of biodiversity, the cost (in time and/or money) of gaining this knowledge is rarely considered when making decisions about allocation of resources to monitoring. We present a simple framework allowing managers and policy advisors to make decisions about when to invest in monitoring to improve management. © 2010 Elsevier Ltd.
Resumo:
Displacement of conventional synchronous generators by non-inertial units such as wind or solar generators will result in reduced-system inertia affecting under-frequency response. Frequency control is important to avoid equipment damage, load shedding, and possible blackouts. Wind generators along with energy storage systems can be used to improve the frequency response of low-inertia power system. This paper proposes a fuzzy-logic based frequency controller (FFC) for wind farms augmented with energy storage systems (wind-storage system) to improve the primary frequency response in future low-inertia hybrid power system. The proposed controller provides bidirectional real power injection using system frequency deviations and rate of change of frequency (RoCoF). Moreover, FFC ensures optimal use of energy from wind farms and storage units by eliminating the inflexible de-loading of wind energy and minimizing the required storage capacity. The efficacy of the proposed FFC is verified on the low-inertia hybrid power system.
Someone else's boom but always our bust: Australia as a derivative economy, implications for regions
Resumo:
This paper examines the socio-economic impact of mineral and agricultural resource extraction on local communities and explores policy options for addressing them. An emphasis on the marketisation of services together with tight fiscal control has reinforced decline in many country communities in Australia and elsewhere. However, the introduction by the European Union of Regional Policy which emphasises ‘smart specialisation’ can enhance greatly the capacity of local people to generate decent livelihoods. For this to have real effect, the innovative state has to enable partnerships between communities, researchers and industry. For countries like Australia, this would be a substantive policy shift.
Resumo:
This article addresses the new conditions under which teachers are making the choice to teach. Our core contention is that the reorganisation of schools according to the logic of the corporation, as described in Deleuze's ‘Postscript’, is changing the flows and forces on the primary surface of ‘the classroom’. These changes block the usual movements of teaching to discipline, normalise and individualise, which was the role of the school as precursor to the factory. Blocked from repeating, or returning, teaching as it has always been done, teachers must actively re-will to teach; teachers cannot use order words to name themselves and direct flows and forces as they have usually been done. While many choices to teach will be undertaken, the most popular being that of choosing to teach toward the corporation, the repetition of teaching toward enclosed spaces becomes less compelling. Like Nietzsche's Zarathustra, teachers, who have the courage to actively choose, face a new dawn in which teaching cannot be what it once was. In that moment they must choose to repeat that choice an infinite number of times, the choice of eternal return, and it is from here that new times might begin.
Resumo:
The possibility to selectively modulate the charge carrier transport in semiconducting materials is extremely challenging for the development of high performance and low-power consuming logic circuits. Systematical control over the polarity (electrons and holes) in transistor based on solution processed layer by layer polymer/graphene oxide hybrid system has been demonstrated. The conversion degree of the polarity is well controlled and reversible by trapping the opposite carriers. Basically, an electron device is switched to be a hole only device or vice versa. Finally, a hybrid layer ambipolar inverter is demonstrated in which almost no leakage of opposite carrier is found. This hybrid material has wide range of applications in planar p-n junctions and logic circuits for high-throughput manufacturing of printed electronic circuits.
Resumo:
Recent research in modelling uncertainty in water resource systems has highlighted the use of fuzzy logic-based approaches. A number of research contributions exist in the literature that deal with uncertainty in water resource systems including fuzziness, subjectivity, imprecision and lack of adequate data. This chapter presents a broad overview of the fuzzy logic-based approaches adopted in addressing uncertainty in water resource systems modelling. Applications of fuzzy rule-based systems and fuzzy optimisation are then discussed. Perspectives on the scope for further research are presented.
Resumo:
This paper presents some results from preliminary analyses of the data of an international online survey of bicycle riders, who reported riding at least once a month. On 4 July 2015, data from 7528 participants from 17 countries was available in the survey, and were subsequently cleaned and checked for consistency. The median distance ridden ranged from 30 km/week in Israel to 150 km/week in Greece (overall median 54 km/week). City/hybrid bicycles were the most common type of bicycle ridden (44%), followed by mountain (20%) and road bikes (15%). Almost half (47%) of the respondents rode “nearly daily”. About a quarter rode daily to work or study (27%). Overall, 40% of respondents reported wearing a helmet ‘always’, varying from 2% in the Netherlands to 80% in Norway, while 25% reported ‘never’ wearing a helmet. Thus, individuals appeared to consistently either use or not use helmets. Helmet wearing rates were generally higher when riding for health/fitness than other purposes and appeared to be little affected by the type of riding location, but some divergences in these patterns were found among countries. Almost 29% of respondents reported being involved in at least one bicycle crash in the last year (ranging from 12% in Israel to 53% in Turkey). Among the most severe crashes for each respondent, about half of the crashes involved falling off a bicycle. Just under 10% of the most severe crashes for each respondent were reported to police. Among the bicycle-motor vehicle crashes, only a third were reported to police. Further analyses will address questions regarding the influence of factors such as demographic characteristics, type of bicycle ridden, and attitudes on both bi-cycle use and helmet wearing rates.
Resumo:
The subject of this work is the poetics of «The Wax Effigy», a short novel or novella by Jurii Tynianov, Russian writer, literary critic, historian of literature and prominent literary theoretician. The plot structure of the novel is based upon a real event, the creation by Bartolomeo Carlo Rastrelli in 1725 of a wax sculpture of the first Russian emperor, Peter the Great. «Construction of the Sham» consists of three chapters, an introduction and a conclusion. Due to the fact that Tynianov was at the same time a prose writer and theoretician of literature it seemed important to consider the reception of his prose and his works on literary theory in relationship to each other. The introduction is devoted to this task. The first chapter is about the history of the creation of the novel and its reception. Tynianov stopped writing one short story in order to write the novel; these two works have some common traits. It seems almost obvious that his work on the first text was a real step toward the creation of the second. In the first story there is an opposition of dead/alive which is semantic prefiguring of a central motif in «The Wax Effigy». An analysis of the reception of the novel demonstrated that almost every critic writing about the novel has described it as nonsense. Critics considered Tynianov's work in terms of «devices» and «content» and could not understand how devices are related to the content of the novel: the novel was thought as a signifier without any signified. Implicitly, critics thought the signified of the novel as a traditional one of the historical novel, as the historiosophical «idea», embodied in the system of literary devices. In this case literature becomes something instrumental, a kind of expression of extraliterary content. In contradistinction to that Tynianov considered literary semantics as an effect of the literary structure. From his point of view the literary sense is immanent to the process of signification accomplished inside the literary text. The second chapter is devoted to a rhetorical analysis of the opposition dead/alive. Tynianov systematically compares both terms of the opposition. As a result of this strategy the wax effigy of the dead emperor becomes «as if» alive and the world of living people «as if» dead. The qualifier «as if» refers to the fact that Tynianov creates an ambiguous semantic system. This rhetoric is related to European Romanticism and his «fantastic literature» (Merimé, Hoffmann, Maupassant etc.). But Tynianov demonstrates a linguistic origin of the strange fantoms created by romantics; he demystifies these idols by parodying the fantastic literature, that is, showing «how it was done». At the same time, the opposition mentioned above refers to his idea of «incongruity» which plays a prominent role in Tynianov s theory but has never been conceptualised. The incongruity is a inner collision of the literary text; from Tynianov's point of view the meaning of the work of literature is always a dynamic collision of semantically heterogeneous elements struggling with each other. In «The Wax Effigy» Tynianov creates a metalevel of the work demonstrating the process of creation of the literary sense. The third chapter is a reconstruction of Tynianov's conception of the historical prose, specifically of the mechanisms by which historical facts are transformed into literary events. Tynianov thought that the task of the historical novelist is to depict his hero as an actor, to demonstrate that as a wearer of many masks he is a creator of appearances, ambiguities. Here, in the «figure of fiction» (Andrei Belyi), the very idea of the historical prose and rhetoric employed in «The Wax Effigy», history and literature meet each other. In his last theoretical work, «On parody» Tynianov writes about the so-called sham structure of parody. In his opinion every parody is a text about other texts and «serious» work which could be read at the same time as a text about «reality». This twofold structure of parody is that of «The Wax Effigy»: that text speaks about ambiguities of the history and about ambiguities of the literary sense, about social reality of the past and - about the working of the literature itself. «The Wax Effigy» is written as a autoreflective text, as an experiment in literary semantics, as a system of literary ambiguities - of hero, rhetoric and the text itself. The meaning of the novel is created not by the embodiment extraliterary idea, but by the process of signification accomplished inside the work of literature. In this sense Tynianov's novel is parody, a break with the tradition of the historical novel preceding «The Wax Effigy».
Resumo:
Based on trial interchanges, this paper develops three algorithms for the solution of the placement problem of logic modules in a circuit. A significant decrease in the computation time of such placement algorithms can be achieved by restricting the trial interchanges to only a subset of all the modules in a circuit. The three algorithms are simulated on a DEC 1090 system in Pascal and the performance of these algorithms in terms of total wirelength and computation time is compared with the results obtained by Steinberg, for the 34-module backboard wiring problem. Performance analysis of the first two algorithms reveals that algorithms based on pairwise trial interchanges (2 interchanges) achieve a desired placement faster than the algorithms based on trial N interchanges. The first two algorithms do not perform better than Steinberg's algorithm1, whereas the third algorithm based on trial pairwise interchange among unconnected pairs of modules (UPM) and connected pairs of modules (CPM) performs better than Steinberg's algorithm, both in terms of total wirelength (TWL) and computation time.
Resumo:
In this paper, the validity of'single fault assumption in deriving diagnostic test sets is examined with respect to crosspoint faults in programmable logic arrays (PLA's). The control input procedure developed here can be used to convert PLA's having undetectable crosspoint faults to crosspoint-irredundant PLA's for testing purposes. All crosspoints will be testable in crosspoint-irredundant PLA's. The control inputs are used as extra variables during testing. They are maintained at logic I during normal operation. A useful heuristic for obtaining a near-minimal number of control inputs is suggested. Expressions for calculating bounds on the number of control inputs have also been obtained.
Resumo:
Recent work on the violent relaxation of collisionless stellar systems has been based on the notion of a wide class of entropy functions. A theorem concerning entropy increase has been proved. We draw attention to some underlying assumptions that have been ignored in the applications of this theorem to stellar dynamical problems. Once these are taken into account, the use of this theorem is at best heuristic. We present a simple counter-example.
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.
Resumo:
Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.