94 resultados para Formal logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Throughout this research, the notion that illustrators of children's books embark on two types of activity has been reinforced at every turn. On one hand the artist acknowledges the external world by organising images of actions and events in the contexts of place and time. This process involves bringing ideas into a physical form and demands the structuring of characters, settings, and story development. Planning and decisions are informed by imperatives that recognise the need for conventions of articulation and communication to a particular target audience. These then become a mayor priority of bookmaking and are constantly impacted on by publishers1 demands and ethical constraints. The other perspective sees the illustrator as expresser where the core of visual narratives for children celebrates the potency of imagination. Here dreams, fantasies, memories and the unconscious become the conduits to shaping sequential images. The artist is engaged not simply in visually telling a story, but rather telling facets of his or her own story. This exegesis traces the evolution of my own picture story book Eddie's Fantastic Fortnight published by Five Mile Press Publishers in tandem with the insights and reflections of five of Australia's most prominent illustrators. It examines whether the structure invested in a visual narrative liberates expressive response, ascribing to the premise that bookmaking plays an informing role to imagination. Equally it adopts the alternative position which asserts that the essence of children's books is indeed fantasy, memory and dreams. This proposition views imagination and inspiration as the primary catalyst around which illustrators build their narrative. In the often lengthy processes of bookmaking, these considerations constantly shift. I have attempted to explore and reveal these mobile and ever changing priorities, not only in my own work, but also through leading exponents in the field.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Requirements engineering is a commencing phase in the development of either software applications or information systems. It is concerned with understanding and specifying the customer's requirements of the system to be delivered. Throughout the literature, this is agreed to be one of the most crucial and, unfortunately, problematic phases in development. Despite the diversity of research directions, approaches and methods, the question of process understanding and management is still limited. Among contemporary approaches to the improvement of the current practice of Requirements Engineering, Formal Object-Oriented Method (FOOM) has been introduced as a new promising solution. The FOOM approach to requirements engineering is based on a synthesis of socio-organisational theory, the object-oriented approach, and mathematical formal specification. The entire FOOM specification process is evolutionary and involves a large volume of changes in requirements. During this process, requirements evolve through various forms of informal, semi-formal, and formal while maintaining a semantic link between these forms and, most importantly, conforming to the customer's requirements. A deep understanding of the complexity of the requirements model and its dynamics is critical in improving requirements engineering process management. This thesis investigates the benefits of documenting both the evolution of the requirements model and the rationale for that evolution. Design explanation explains and justifies the deliberations of, and decisions made during, the design activity. In this thesis, design explanation is used to describe the requirements engineering process in order to improve understandability of, and traceability within, the evolving requirements specification. The design explanation recorded during this research project is also useful in assisting the researcher in gaining insights into the creativity and opportunistic characteristics of the requirements engineering process. This thesis offers an interpretive investigation into incorporating design explanation within FOOM in order to extend and advantage the method. The researcher's interpretation and analysis of collected data highlight an insight-driven and opportunistic process rather than a strictly and systematically predefined one. In fact, the process was not smoothly evolutionary, but involved occasional 'crisis' points at which the model was reconceptualised, simplified and restructured. Therefore, contributions of the thesis lie not only in an effective incorporation of design explanation within FOOM, but also a deep understanding of the dynamic process of requirements engineering. The new understanding of the complexity of the requirements model and its dynamics suggests new directions for future research and forms a basis for a new approach to process management.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Headteacher workloads are often in the news. Long hours, punitive audit regimes and excessive amounts of paperwork take their toll on many, including John Illingworth, former National Union of Teachers (UK) President, and ex primary headteacher. In this paper, I investigate a UK BBC Radio 4 human interest interview conducted with Illingworth by the usually acerbic John Humphrys. Mobilising Bourdieu’s notion of field, I examine the interview and argue that the analysis suggests that the media game of market share and the doxa of the fourth estate might work to delimit the capacity of such interviews to speak truth to policy power.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study focuses on non-formal education provision for women workers in industry in Thailand. It consists of a dissertation and four elective studies. The dissertation explored the possibilities to improve women workers' quality of life. The experience gained from the research formed the Participatory Approach Model called "PAM".

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An efficient formal synthesis of hyphodermin B 1, a metabolite of Hyphoderma radula, has been completed in 15% overall yield. The tricyclic carbon skeleton 3 was rapidly assembled from a novel vinyl enone via a Diels−Alder reaction, followed by dehydrogenation and anhydride formation. Selective reduction of anhydride 3 with LiAlH(t-BuO)3 gave hyphodermin B 1 in 99% yield. The structure of hyphodermin B 1 was confirmed by X-ray crystallographic analysis. The anhydride 3, bearing a γ-carbonyl group, displayed unexpected reactivity with the anhydride carbonyl closest to the γ-ketone being the most electrophilic site. This was confirmed by HF/6-31G* calculations. In the presence of base, 3 underwent a rearrangement to the novel lactone 16.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper commences with an overview of the Vietnamese financial sector and a survey of the main reforms to this sector implemented since the late 1980s. A descriptive analysis is then provided, which compares some key characteristics of pre- and post-financial reform borrowing and savings activities using the Vietnam Living Standard Surveys of 1992/93 and 1997/98.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This chapter retraces the way in which the Austrian philosopher Sir Karl Popper came to accept a Correspondence Theory of Truth from the work of the Polish logician and mathematician Alfred Tarski. It is argued that Popper’s use of Tarski’s semantic theory of truth reveals crucial insights into the fundamental characteristics of Popper’s social philosophy.  Quite deceptively, arguments based upon Tarski’s theory of truth appear implicitly throughout the text of The Open Society and Its Enemies (1945). It is then demonstrated how Popper integrated a correspondence theory of truth into a theory of the functions of communicative language that he received from Karl Bühler.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this article, we discuss an appropriate methodology for assessing complex urban programs such as the WHO European Healthy Cities Network. The basic tenets and parameters for this project are reviewed, and situated in the broader urban health tradition. This leads to a delineation of the types of questions researchers can address when looking at a complex urban health program. Such questions reach appropriately beyond traditional public health concepts involving proximal and distal determinants of health (and associated upstream, midstream, and downstream rhetoric). Espousing a multi-level, reciprocal pathways perspective on Healthy Cities research, we also adopt a distinction between impacts and outcomes of Healthy Cities. The former are value driven, the latter intervention-driven. These approaches lead to the acknowledgment of a logic of method that includes situational and contextual appreciation of unique Healthy City experiences in a Realist Evaluation paradigm. The article concludes with a reflection of evaluation and assessment procedures applied to Phase IV (2003-2008) of the WHO European Healthy Cities Network and an interpretation of response rates to the range of methods that have been adopted.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Computer-based environments for supporting design are complex software artifacts. These tools need to use sound computational formalisms as well as address issues of human usability. The development of interactive and usable generative systems is a significant research area in design computation. Though classical search techniques play a central role in the generative kernels of these "closed-world" systems, the open-ended exploration of design spaces is the desirable goal. In this paper, we present a formal model of exploration that combines search with user driven exploration. We describe the role of interaction and agency in an experimental mixed-initiative design support system.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective. Humans have a limited ability to accurately and continuously analyse large amount of data. In recent times, there has been a rapid growth in patient monitoring and medical data analysis using smart monitoring systems. Fuzzy logic-based expert systems, which can mimic human thought processes in complex circumstances, have indicated potential to improve clinicians' performance and accurately execute repetitive tasks to which humans are ill-suited. The main goal of this study is to develop a clinically useful diagnostic alarm system based on fuzzy logic for detecting critical events during anaesthesia administration. Method. The proposed diagnostic alarm system called fuzzy logic monitoring system (FLMS) is presented. New diagnostic rules and membership functions (MFs) are developed. In addition, fuzzy inference system (FIS), adaptive neuro fuzzy inference system (ANFIS), and clustering techniques are explored for developing the FLMS' diagnostic modules. The performance of FLMS which is based on fuzzy logic expert diagnostic systems is validated through a series of offline tests. The training and testing data set are selected randomly from 30 sets of patients' data. Results. The accuracy of diagnoses generated by the FLMS was validated by comparing the diagnostic information with the one provided by an anaesthetist for each patient. Kappa-analysis was used for measuring the level of agreement between the anaesthetist's and FLMS's diagnoses. When detecting hypovolaemia, a substantial level of agreement was observed between FLMS and the human expert (the anaesthetist) during surgical procedures. Conclusion. The diagnostic alarm system FLMS demonstrated that evidence-based expert diagnostic systems can diagnose hypovolaemia, with a substantial degree of accuracy, in anaesthetized patients and could be useful in delivering decision support to anaesthetists.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Accurate Short Term Load Forecasting (STLF) is essential for a variety of decision making processes. However, forecasting accuracy may drop due to presence of uncertainty in the operation of energy systems or unexpected behavior of exogenous variables. This paper proposes the application of Interval Type-2 Fuzzy Logic Systems (IT2 FLSs) for the problem of STLF. IT2 FLSs, with extra degrees of freedom, are an excellent tool for handling prevailing uncertainties and improving the prediction accuracy. Experiments conducted with real datasets show that IT2 FLS models appropriately approximate future load demands with an acceptable accuracy. Furthermore, they demonstrate an encouraging degree of accuracy superior to feedforward neural networks used in this study.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present an overall planning system in which specifications can be described in terms of events and states. The underlying feature of this system is temporal logic, and its expressive power alloys one to deal with simultaneous actions and interacting actions. Moreover, one can represent both goal-oriented positive constraints and prevention-oriented negative constraints. The planning system can generate hierarchical plans and the overall model is capable of handling interacting agents.