The application of knowledge based expert systems to mechanical engineering design

Investigation of the different approaches used by Expert Systems researchers to solve problems in the domain of Mechanical Design and Expert Systems was carried out. The techniques used for conventional formal logic programming were compared with those used when applying Expert Systems concepts. A literature survey of design processes was also conducted with a view to adopting a suitable model of the design process. A model, comprising a variation on two established ones, was developed and applied to a problem within what are described as class 3 design tasks. The research explored the application of these concepts to Mechanical Engineering Design problems and their implementation on a microcomputer using an Expert System building tool. It was necessary to explore the use of Expert Systems in this manner so as to bridge the gap between their use as a control structure and for detailed analytical design. The former application is well researched into and this thesis discusses the latter. Some Expert System building tools available to the author at the beginning of his work were evaluated specifically for their suitability for Mechanical Engineering design problems. Microsynics was found to be the most suitable on which to implement a design problem because of its simple but powerful Semantic Net Knowledge Representation structure and the ability to use other types of representation schemes. Two major implementations were carried out. The first involved a design program for a Helical compression spring and the second a gearpair system design. Two concepts were proposed in the thesis for the modelling and implementation of design systems involving many equations. The method proposed enables equation manipulation and analysis using a combination of frames, semantic nets and production rules. The use of semantic nets for purposes other than for psychology and natural language interpretation, is quite new and represents one of the major contributions to knowledge by the author. The development of a purpose built shell program for this type of design problems was recommended as an extension of the research. Microsynics may usefully be used as a platform for this development.

The Legacy of Frankenstein’s Creature: Monstrosity and Female Grotesque in Mary Shelley, Angela Carter and Jeanette Winterson

This English Literature thesis (European PhD EDGES – Women’s and Gender Studies – 34th cycle) is an investigation into the representation of the monstrous body according to the British writers Mary Shelley, Angela Carter and Jeanette Winterson. The main objective is to observe how the representation of the categories of monstrous, abject and grotesque in Western cultural imagination have been influenced across time and literary genres. In the novels of Shelley, Carter and Winterson, the monstrous subject is configured as an alternative to the anthropocentric ideal embodied by the normative subject, of which Victor Frankenstein is the paradigmatic exponent. Plus, there are places considered anti-topoi within which the monster acquires a situatedness and claims a voice, generating an opposed counter-narrative to the imaginary conveyed by the normative subject. Monstrosity outlined by Shelley in the novels Frankenstein and The Last Man constitutes the starting point of my research, aiming to observe how the discourse of the normative body vs. the anti-normative body intersects with the discourse of the spaces of the centre vs. the spaces of the margin. In Carter's novels The Passion of New Eve and Nights at the Circus, the monstrous female constitutes the embodiment of wills, desires and claims challenging the heteronormative system. The space of otherness in which Carter's monster-woman is confined becomes a possibility of reshaping identity for the Subject, deconstructing the logic of power that moulded her within society. Finally, Winterson creates two monstrous women in Sexing the Cherry and The Passion who move through urban spaces, going from the centre to the margins and testifying to the arbitrariness of the system and its weaknesses. Similarly, in Frankissstein, Winterson recovers Shelley's original novel and transforms it into a parodic and intertextual speculation on the fluidity of identity and the limits of transhumanism.

Jogos dos povos indigenas : trajetórias e interlocuções = Indigenous peoples games : trajectory and interlocutions

Universidade Estadual de Campinas . Faculdade de Educação Física

Proposal of a High-Level Language for Writing Self Modifying Programs

This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program`s code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.

Remembering sport history: Narrative, social memory and the origins of the rugby league in Australia

This study examines the historiography of the origins of rugby league in Australia. By accepting the inclusive nature of representation of the past as found in social memory theory, a wide range of sources ranging from histories written by academics to annuals, yearbooks and newspaper books are consulted. These sources reveal that there are several competing and conflicting accounts of the emergence of rugby league in Australia. These divergent accounts are used to facilitate a discussion of the role of narrative in sport history This article argues that narrative is an integral, not optional, feature of the production of history and that the historography of the origins of rugby league highlight the problematic nature of objectivity in history and the unavoidable, impositionalist role of the historian.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

The politics and ethics of relocated art

At the end of Word War II, Soviet occupation forces removed countless art objects from German soil. Some of them were returned during the 1950s, but most either disappeared for good or were stored away secretly in cellars of Soviet museums. The Cold War then covered the issue with silence. After the collapse of the Soviet Union, museums in St Petersburg and Moscow started to exhibit some of the relocated art for the first time in half a century. The unusual quality of the paintings-mostly impressionist masterpieces-not only attracted the attention of the international art community, but also triggered a diplomatic row between Russia and Germany. Both governments advanced moral and legal claims to ownership. To make things even more complicated, many of the paintings once belonged to private collectors, some of whom were Jews. Their descendants also entered the dispute. The basic premise of this article is that the political and ethical dimensions of relocated art can be understood most adequately by eschewing a single authorial standpoint. Various positions, sometimes incommensurable ones, are thus explored in an attempt to outline possibilities for an ethics of representation and a dialogical solution to the international problem that relocated art has become.

Systemic Model for Diagnosis of the Micro, Small and Medium Enterprises from Two Cities from the Countryside of the State of So Paulo in Brazil

This article presents a proposal of a systemic model composed for the micro and small companies (MSE) of the region of Ribeiro Preto and the agents which influenced their environment. The proposed model was based on Stafford Beer`s (Diagnosing the system for organizations. Chichester, Wiley, 1985) systemic methodologies VSM (Viable System Model) and on Werner Ulrich`s (1983) CSH (Critical Systems Heuristics). The VSM is a model for the diagnosis of the structure of an organization and of its flows of information through the application of the cybernetics concepts (Narvarte, In El Modelo del Sistema Viable-MSV: experiencias de su aplicacin en Chile. Proyecto Cerebro Colectivo del IAS, Santiago, 2001). On the other hand, CSH focus on the context of the social group applied to the systemic vision as a counterpoint to the organizational management view considered by the VSM. MSE of Ribeiro Preto and Sertozinho had been analyzed as organizations inserted in systems that relate and integrate with other systems concerning the public administration, entities of representation and promotion agencies. The research questions: which are the bonds of interaction among the subsystems in this process and who are the agents involved? The systemic approach not only diagnosed a social group, formed by MSE of Ribeiro Preto and Sertozinho, public authorities and support entities, but could also delineate answers that aimed the clarification of obscure questions generating financial assistance to the formularization of efficient actions for the development of this system.

On the issue of representations

This paper aims at revisiting the concept of ‗representation‘, in order to discuss matters like truth value and the cultural and ideological importance of representations.

East of Suez and the imaginary tangles of space and self

Drawing on postcolonial studies and the theorization on imperial gothic, this paper centres on three texts: The Hosts of the Lord (1900) by Flora Annie Steel; East of Suez (1901) by Alice Perrin, and The Way of an Eagle (1912)by Ethel Dell. These three texts highlight in different ways the discursive mediation of the Other and its destabilizing effects on the identity of the European-minded colonizer, thus foregrounding the multifarious nature of the British imaginative engagement with India. In this context, it is particularly relevant to examine the political and ideological implications of representing anywhere East of Suez as a locus of primitivism and chaos vis-à-vis the colonizer’s ambivalent reactions. Thus we seek to demonstrate the power of two distinct practices or modes of representation – namely, the power of a metaphorical discourse versus metonymic discourse- within the proces of constructing the East for a vast Western readership.

Legal and political regulation of higher education in Portugal: an evolutionary perspective on the current policy issues and the problem of order

The higher education system in Europe is currently under stress and the debates over its reform and future are gaining momentum. Now that, for most countries, we are in a time for change, in the overall society and the whole education system, the legal and political dimensions have gained prominence, which has not been followed by a more integrative approach of the problem of order, its reform and the issue of regulation, beyond the typical static and classical cost-benefit analyses. The two classical approaches for studying (and for designing the policy measures of) the problem of the reform of the higher education system - the cost-benefit analysis and the legal scholarship description - have to be integrated. This is the argument of our paper that the very integration of economic and legal approaches, what Warren Samuels called the legal-economic nexus, is meaningful and necessary, especially if we want to address the problem of order (as formulated by Joseph Spengler) and the overall regulation of the system. On the one hand, and without neglecting the interest and insights gained from the cost-benefit analysis, or other approaches of value for money assessment, we will focus our study on the legal, social and political aspects of the regulation of the higher education system and its reform in Portugal. On the other hand, the economic and financial problems have to be taken into account, but in a more inclusive way with regard to the indirect and other socio-economic costs not contemplated in traditional or standard assessments of policies for the tertiary education sector. In the first section of the paper, we will discuss the theoretical and conceptual underpinning of our analysis, focusing on the evolutionary approach, the role of critical institutions, the legal-economic nexus and the problem of order. All these elements are related to the institutional tradition, from Veblen and Commons to Spengler and Samuels. The second section states the problem of regulation in the higher education system and the issue of policy formulation for tackling the problem. The current situation is clearly one of crisis with the expansion of the cohorts of young students coming to an end and the recurrent scandals in private institutions. In the last decade, after a protracted period of extension or expansion of the system, i. e., the continuous growth of students, universities and other institutions are competing harder to gain students and have seen their financial situation at risk. It seems that we are entering a period of radical uncertainty, higher competition and a new configuration that is slowly building up is the growth in intensity, which means upgrading the quality of the higher learning and getting more involvement in vocational training and life-long learning. With this change, and along with other deep ones in the Portuguese society and economy, the current regulation has shown signs of maladjustment. The third section consists of our conclusions on the current issue of regulation and policy challenge. First, we underline the importance of an evolutionary approach to a process of change that is essentially dynamic. A special attention will be given to the issues related to an evolutionary construe of policy analysis and formulation. Second, the integration of law and economics, through the notion of legal economic nexus, allows us to better define the issues of regulation and the concrete problems that the universities are facing. One aspect is the instability of the political measures regarding the public administration and on which the higher education system depends financially, legally and institutionally, to say the least. A corollary is the lack of clear strategy in the policy reforms. Third, our research criticizes several studies, such as the one made by the OECD in late 2006 for the Ministry of Science, Technology and Higher Education, for being too static and neglecting fundamental aspects of regulation such as the logic of actors, groups and organizations who are major players in the system. Finally, simply changing the legal rules will not necessary per se change the behaviors that the authorities want to change. By this, we mean that it is not only remiss of the policy maker to ignore some of the critical issues of regulation, namely the continuous non-respect by academic management and administrative bodies of universities of the legal rules that were once promulgated. Changing the rules does not change the problem, especially without the necessary debates form the different relevant quarters that make up the higher education system. The issues of social interaction remain as intact. Our treatment of the matter will be organized in the following way. In the first section, the theoretical principles are developed in order to be able to study more adequately the higher education transformation with a modest evolutionary theory and a legal and economic nexus of the interactions of the system and the policy challenges. After describing, in the second section, the recent evolution and current working of the higher education in Portugal, we will analyze the legal framework and the current regulatory practices and problems in light of the theoretical framework adopted. We will end with some conclusions on the current problems of regulation and the policy measures that are discusses in recent years.

Senses of body image in adolescents in elementary school

OBJECTIVE To comprehend the perception of body image in adolescence. METHODS A qualitative study was conducted with eight focus groups with 96 students of both sexes attending four public elementary school institutions in the city of Rio de Janeiro, Southeastern Brazil, in 2013. An interview guide with questions about the adolescents’ feelings in relation to: their bodies, standards of idealized beauty, practice of physical exercise and sociocultural influences on self-image. In the data analysis we sought to understand and interpret the meanings and contradictions of narratives, understanding the subjects’ context and reasons and the internal logic of the group. RESULTS Three thematic categories were identified. The influence of media on body image showed the difficulty of achieving the perfect body and is viewed with suspicion in face of standards of beauty broadcast; the importance of a healthy body was observed as standards of beauty and good looks were closely linked to good physical condition and result from having a healthy body; the relationship between the standard of beauty and prejudice, as people who are not considered attractive, having small physical imperfections, are discriminated against and can be rejected or even excluded from society. CONCLUSIONS The standard of perfect body propagated by media influences adolescents’ self-image and, consequently, self-esteem and is considered an unattainable goal, corresponding to a standard of beauty described as artificial and unreal. However, it causes great suffering and discrimination against those who do not feel they are attractive, which can lead to health problems resulting from low self-esteem.

Automated Generation of Indoor Accessibility Information for Mobility-Impaired Individuals

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Perceptions of Amazonian deforestation in the British and Brazilian media

The Amazon rainforest stretches across more than six million square kilometers and nine countries. Of the original forest area it is thought that 18 per cent has been cleared, mainly for farming purposes. In Brazil, the main drivers of deforestation are beef ranching and soya production that together occupy more than 75 per cent of newly deforested land. The situation in the Amazon illustrates a fundamental dilemma facing environmentalists around the world: how to reconcile economic development with biodiversity conservation. In this paper the representation of this dilemma in the British and Brazilian news media is assessed. The results indicate that there were far more articles referring to deforestation in the Brazilian press (816 Brazilian to 29 UK) but that many of these make no mention of what factors are responsible for deforestation. The patterns of representation of the proximate (direct) causes of Amazonian deforestation were very similar in the two countries, with soya and beef cattle ranching commanding the most press attention. The ultimate (indirect) causes of deforestation, however, are treated very differently, with the Brazilian media seemingly far more aware of the role of economic development needs than the UK press. Interestingly, the role of international demand for soya, beef, and forest products in driving deforestation was highlighted primarily in the UK press. These findings are critically discussed in the context of media influence on public understandings of Amazonian deforestation.