A Taylor Model Based Description of the proof stress of magnesium AZ31 during hot working

A series of hot-compression tests and Taylor-model simulations were carried out with the intention of developing a simple expression for the proof stress of magnesium alloy AZ31 during hot working. A crude approximation of wrought textures as a mixture of a single ideal texture component and a random background was employed. The shears carried by each deformation system were calculated using a full-constraint Taylor model for a selection of ideal orientations as well as for random textures. These shears, in combination with the measured proof stresses, were employed to estimate the critical resolved shear stresses for basal slip, prismatic slip, ⟨c+a⟩ second-order pyramidal slip, and { } twinning. The model thus established provides a semianalytical estimation of the proof stress (a one-off Taylor simulation is required) and also indicates whether or not twinning is expected. The approach is valid for temperatures between ∼150 °C and ∼450 °C, depending on the texture, strain rate, and strain path.

Development of a cooling fabric from conducting polymer coated fibres: proof of concept

It is supposed that there should be a thermal electric effect if a dc current is applied across two dissimilar conducting polymers, similar to so called “Peltier effect” in metals or semiconductors. However, this hypothesis has not been tested on conducting polymers and using these materials to make cooling fabrics has never been attempted before. Polypyrrole coated fabrics were used to test the hypothesis in this preliminary study. Seebeck and the Peltier effects were proven to exist. However, thermoelectricity effect between two conducting polymer coated fabric samples was only about 10 μV/°C. Cooling effect by conductive polymer powder was achieved but performance was unsteady due to electrical degradation of the conducting polymer. Nevertheless, the concept was demonstrated and the development of a cooling fabric is possible.

Scientific proof that humans enjoy punishing wrongdoers: The implications for punishment and sentencing

Recent developments in brain science confirm that as a race we are in fact a punitive lot. Human beings actually derive pleasure from inflicting punishment on wrongdoers. We are wired in such a way that the part of our brain that reports pleasure is activated when we punish norm violators. This is even when punishment has no tangible or demonstrable benefits. However, we are not slaves lo our emotions. Another region of our brain 'kicks-in' if punishment becomes self-defeating, in that it conflicts with our other interests. The implications of this research for punishment theory and the practice of sentencing are discussed in this paper. The findings give qualified support to the theory known as intrinsic retributivism, but do not suggest it is the soundest theory of punishment. This is because we stop punishing when it comes at a cost to us. The good feeling that punishment invokes in punishers is another consequential consideration in favour of the utilitarian theory of punishment. However, it is not clear that the utilitarian calculus is necessarily affected by the findings. The main implication of the research findings relates to the relevance of public opinion to sentencing practice. The findings support the view that public sentiment, which seems to support increasingly tougher sanctions, can be curtailed of the public are informed that punishment comes of a cost to community.

Indexing research: an approach to grounding ingarden's ontological framework

Attempts to produce an adequate and long-lived subject indexing system for information systems research have failed. In this paper we seek to address this by proposing an approach by which the terms expressed in research literature, such as those in the information systems literature, can be systematically and meaningfully categorised. The approach is significant in that it draws upon rigorous and philosophically compatible bodies of work in two areas. Firstly, we draw on work addressing the nature, existence, and categorisation of literary expression found in research papers (Roman Ingarden’s ontological analysis of the scientific work of art). Secondly, we draw from qualitative research methods addressing how meaningful categories can be analysed from text and related to each other (grounded theory). The resulting approach has the potential to be applied in many scientific disciplines beyond information systems, and to form the intellectual core of an information tool in e-research.

Ontological engineering for conceptual modeling

In acknowledging the importance of ontologies in conceptual modeling, database integration and business process modeling, this paper introduces a set of principles for building ontologies. Starting from Guarino's meta-properties of ontological terms, the paper describes the denotational semantics of the meta-properties and derives from them some engineering rules and checks for constructing domain specific conceptual models, based on the overarching requirement to assign meanings to concepts using tags and labels. Parallel research by the authors into the use of contextual references and roles to restrict such meanings will be published elsewhere.

Understanding the ontological requirements for collaborative web-based experiential learning

The challenge of human-computer interaction forces educationalists to think of new ways to understand the social, historical and contextual nature of learning. Discussion and exchange of ideas enable learners to learn together. However, the granularity of the Webbased learning context is extensive; consequently, e- Courseware design faces new dilemmas. Only through targeted research will it be known with any certainty whether Web-based learning gives rise to a new type of learning dissonance [1]. It has been proposed that converged theoretical paradigms that underpin particular digitised or context-mediated learning systems are forcing learners into new ways of thinking [2]. This paper presents an overview of the plans for an experimental project designed to understand the ontological requirements for experiential instructional environments. This project is a joint research initiative involving three Universities in the Asia/Pacific region. Results will be used to inform educationalists interested in developing instructional strategies for a global community.

Is proof dead in the age of computers?

Some knowledge of what it means to construct a proof is an extremely important part of mathematics. All mathematics teachers and students should have some exposure to the ideas of proof and proving. This paper deals with the issue of creating proofs in mathematics problems.