768 resultados para Logic programs
Resumo:
Under present historical conditions of extreme social inequity, sustained by structural impoverishment, the destruction of living conditions and deterioration of environmental integrity, under the logic of big business, and precisely when the people’s organizations are working intensely in defending creatively human rights and health, academic public health evidences an exasperating passiveness; university departments, local and federal government agencies and even non-governmental organizations, keep implementing ineffective and innocuous health programs -some of them sustained by an expensive propaganda apparatus- that reproduce the same conventional plans, most of which end up reinforcing the rules of the neoliberal game. The present paper seeks to explain this historical surrender of public health; the institutional incapacity to foresee the structural roots of that flourishing pathology of inequity; and its divorce from the struggle of the most progressive social organizations. To accomplish this critique of hegemonic public health, the author analyzes the historical and epistemological roots of that “blindness” and the ideological fundaments of that political passiveness.
Resumo:
This paper describes the development and validation of a novel web-based interface for the gathering of feedback from building occupants about their environmental discomfort including signs of Sick Building Syndrome (SBS). The gathering of such feedback may enable better targeting of environmental discomfort down to the individual as well as the early detection and subsequently resolution by building services of more complex issues such as SBS. The occupant's discomfort is interpreted and converted to air-conditioning system set points using Fuzzy Logic. Experimental results from a multi-zone air-conditioning test rig have been included in this paper.
Resumo:
This paper offers general guidelines for the development of effective visual languages. That is, languages for constructing diagrams that can be easily and readily interpreted and manipulated by the human reader. We use these guidelines first to examine classical AND/OR trees as a representation of logical proofs, and second to design and evaluate a visual language for representing proofs in LofA: a Logic of Dependability Arguments, for which we provide a brief motivation and overview.