Thue's theorem and the diophantine equation x2 - Dy2 = ±N

A constructive version of a theorem of Thue is used to provide representations of certain integers as x(2) - Dy-2, where D = 2, 3, 5, 6, 7.

Expert system application on preliminary design of water retaining structures

Design of liquid retaining structures involves many decisions to be made by the designer based on rules of thumb, heuristics, judgment, code of practice and previous experience. Various design parameters to be chosen include configuration, material, loading, etc. A novice engineer may face many difficulties in the design process. Recent developments in artificial intelligence and emerging field of knowledge-based system (KBS) have made widespread applications in different fields. However, no attempt has been made to apply this intelligent system to the design of liquid retaining structures. The objective of this study is, thus, to develop a KBS that has the ability to assist engineers in the preliminary design of liquid retaining structures. Moreover, it can provide expert advice to the user in selection of design criteria, design parameters and optimum configuration based on minimum cost. The development of a prototype KBS for the design of liquid retaining structures (LIQUID), using blackboard architecture with hybrid knowledge representation techniques including production rule system and object-oriented approach, is presented in this paper. An expert system shell, Visual Rule Studio, is employed to facilitate the development of this prototype system. (C) 2002 Elsevier Science Ltd. All rights reserved.

Practical scheme for quantum computation with any two-qubit entangling gate

Which gates are universal for quantum computation? Although it is well known that certain gates on two-level quantum systems (qubits), such as the controlled-NOT, are universal when assisted by arbitrary one-qubit gates, it has only recently become clear precisely what class of two-qubit gates is universal in this sense. We present an elementary proof that any entangling two-qubit gate is universal for quantum computation, when assisted by one-qubit gates. A proof of this result for systems of arbitrary finite dimension has been provided by Brylinski and Brylinski; however, their proof relies on a long argument using advanced mathematics. In contrast, our proof provides a simple constructive procedure which is close to optimal and experimentally practical.

"It's OK if we say it, but you can't": responses to intergroup and intragroup criticism

Three experiments were conducted examining group members' responses to criticism from ingroup and outgroup members. In Experiment I a, Australians read scripts of a person making either negative or positive comments about Australia. The speaker was identified as coming from either Australia (ingroup member) or another country (outgroup member). Responses indicated an intergroup sensitivity effect; that is, while ingroup criticisms were tolerated surprisingly well, outgroup criticisms were met with sensitivity and defensiveness. This pattern was replicated using the identity of,university student' (Experiment 1b). Experiment 2 demonstrated that the intergroup sensitivity effect is driven by perceptions that ingroup criticisms are seen to be more legitimate and more constructive than are outgroup criticisms. The results are discussed in terms of their implications for intragroup and intergroup relations. Copyright (C) 2002 John Wiley Sons, Ltd.

Global job satisfaction and facet description: The moderating role of facet importance

Recent research support sLocke's (1976) model of facet satisfaction in which the range of affect of objectively defined facet descriptions is moderated by subjective evaluations of facet importance (McFarlin & Rice, 1992). This study examined the utility of Locke's moderated model of face t satisfaction for the prediction of organizationally important global measures of job satisfaction. A large dataset of two groups of workers allowed testing over different time periods and across a broad range of satisfaction measures. The hypothesis derived from Locke's model, that global satisfaction would represent a linear function of facet satisfaction (i.e., facet description x facet importance), was not supported. Instead, a simple (have-want) discrepancy model (operationalized as facet description) provided the most consistent set of predictors. The results suggests that workers, when providing global measures of job satisfaction, may use cognitive heuristics to reduce the complexity of facet description x importance calculations. The implications of these data for Locke's model and directions for future research are outlined.

A coupled knowledge-based expert system for design of liquid-retaining structures

This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.

Processos de exclusão da/na escola no período da Primeira República (1889-1930) no Estado do Espírito Santo

O objetivo desta tese é analisar que práticas de tradução educacional foram feitas em relação às crianças e jovens excluídos da/na escola da Primeira República (1889-1930) no Estado do Espírito Santo. Período este em que a cultura ocidental, mais especificamente a europeia, exercia forte influência nas políticas de regulação e de emancipação do Brasil. Assim constando, na área educacional, muitas das experiências e teorias defendidas e socializadas na Europa foram traduzidas para o Brasil, e por extensão, para o Espírito Santo. Para compreender as traduções na área educacional, situada no contexto da modernidade é que se reportou a Boaventura de Sousa Santos, à luz das ferramentas disponíveis pela Sociologia das Ausências, pela Sociologia das Emergências, bem como o Trabalho de Tradução. A proposta de pesquisa está ancorada numa perspectiva qualitativa de base hermenêutica e, para construir a investigação, foram utilizadas fontes históricas bibliográficas e documentais. As fontes de investigação permitiram explicar parte das possíveis razões para as exclusões da escola ou defesas de segregação (exclusão na escola). Estas exclusões se concentram em torno de cinco tempos: 1909, 1917, 1923, 1924 e 1929. Nos anos de 1909 e 1924, disserta-se pela via educacional, sobre as práticas da área jurídica em relação aos órfãos. A Escola Normal do Espírito Santo, por sua vez, reproduzia a ideia de ordem ao atrelar a Pedagogia à educação cívica. Em 1917, a partir do episódio relativo a uma jovem, associada a um possível caso de loucura/alienação mental, é abordada a influência da área médica na área educacional, no Estado do Espírito Santo. Quanto à década de 20, existiu todo um discurso sobre o estudo da criança, na formação de educadores, como tentativa de apreender a totalidade do ser humano. Algumas práticas de tradução construtivas na área educacional foram evidenciadas, como por exemplo, quando o professor Elpídio Pimentel sugere que os educadores trabalhem com o que o aluno sabe ou poderá aprender. Ao final do trabalho, percebe-se que, muitas exclusões poderiam ter sido evitadas, mas para isso, a sociedade, os educadores teriam que ter adotado uma outra postura em relação às práticas de tradução: talvez uma menos idealizada e que valorizasse o que emergia de potencial nas realidades locais.

Projecto e implementação de um sistema de alimentação para um transformador de alta tensão

Neste trabalho pretende-se estudar, dimensionar e implementar experimentalmente de um sistema de alimentação para transformadores de alta tensão a alta frequência. Este sistema será constituído por dois elementos principais, um rectificador monofásico em ponte totalmente controlado e por um inversor de tensão. Inicialmente realizou-se um estudo sobre as diferentes topologias possíveis para o rectificador considerando diferentes tipos de carga. Realizou-se, também, um estudo sobre o circuito de geração dos impulsos de disparo dos tiristores, executado com base num circuito integrado TCA 785, dimensionou-se os elementos constituintes do circuito de disparo, e de um sistema de controlo da tensão de saída do rectificador. Posteriormente estudou-se o funcionamento do inversor de tensão, definindo-se os modos de operação e dimensionou-se um circuito ressonante tendo em conta os parâmetros construtivos do transformador que se pretende utilizar. Finalmente procedeu-se à implementação prática dos sistemas previamente dimensionados e simulados e à apresentação dos respectivos resultados.

Revestimento vinílico em pavimentos: características, execução e patologia

O desenvolvimento industrial, tecnológico e económico, conduziu ao aparecimento de soluções construtivas e de revestimentos disponíveis no mercado da construção, cada vez mais eficientes e economicamente vantajosas. Uma dessas soluções é o revestimento vinílico em pavimentos, utilizado a nível mundial principalmente em escritórios, hospitais e escolas. A sua resistência ao tráfego pedonal e facilidade de aplicação e manutenção fazem dele um revestimento de eleição. No entanto esta aparente versatilidade acaba por colocar dificuldades aos profissionais do projecto, da construção e da reabilitação de edifícios, em particular na escolha das melhores soluções para cada tipo de utilização. É pois importante que estes profissionais disponham de orientações práticas para que façam as suas escolhas de um modo objectivo. O presente trabalho propõe o desenvolvimento de uma análise aprofundada deste tipo de material, onde são abordadas as suas exigências funcionais, modo de aplicação e patologia associada, tentando evitar-se deste modo a ocorrência de eventuais erros sistemáticos e recorrentes.

Reforço estrutural de uma edificação pombalina: acompanhamento em obra

Este trabalho Final de Mestrado consiste na elaboração de um relatório de estágio que reportará o acompanhamento por parte do discente de um reforço estrutural de uma edificação pombalina. Desta forma são definidas as principais características construtivas destas edificações, fazendo um enquadramento histórico-cultural e urbanístico do edifício alvo deste trabalho. Uma vez estudado um tipo de construção especial, são mencionados diversos sistemas e metodologias de reforço que se adequam às características singulares destas construções, ilustrando-se procedimentos e técnicas que normalmente são utilizadas na reabilitação. Procedeu-se ao relato dos trabalhos executados na obra, desde a demolição dos elementos degradados e dissonantes com esta tipologia construtiva, a um estudo mais pormenorizado ao solo de fundação encontrado na zona da edificação e soluções de fundação adoptadas. São descritas neste trabalho quais as medidas adoptadas no reforço da estrutura da edificação, evidenciando os procedimentos e técnicas aplicadas pela empresa. No final deste trabalho, foi efectuada uma modelação do edifício da Rua do Carmo num software de análise estrutural SAP 2000, com o objectivo de modelar de forma aproximada a real geometria do edifício e, através da introdução das variadas acções actuantes na estrutura, fazer determinadas considerações do comportamento da mesma face às solicitações impostas. Pretendeu-se ainda estabelecer uma relação entres os resultados obtidos e as técnicas de reforço utilizadas na reabilitação destes edifícios.

Acompanhamento da construção da unidade de cuidados continuados de Juso, em Cascais

O presente Trabalho Final de Mestrado tem por objectivo descrever as actividades desenvolvidas durante a realização de um estágio curricular, no âmbito do Mestrado em Engenharia Civil, no Instituto Superior de Engenharia de Lisboa. A escolha de um estágio curricular relaciona-se com o interesse em aplicar o conhecimento académico adquirido no exercício da profissão na área da construção e reabilitação de edifícios, obtendo assim uma formação mais ampla e completa nesta área, essencial a uma melhor integração no mercado de trabalho. O estágio foi realizado na empresa Casais – Engenharia e Construção, S.A., durante um período de cinco meses, no qual foi possível acompanhar parte da construção da Unidade de Cuidados Continuados de Juso, em Cascais. Esta obra incluiu a reabilitação e ampliação de um edifício já existente. No relatório são descritas as actividades desenvolvidas, dando-se relevo aos processos construtivos utilizados, e chamando a atenção para os problemas encontrados e à forma como estes foram resolvidos, tendo em conta os recursos disponíveis, a legislação aplicável e as boas práticas construtivas.

Intervenções em estruturas antigas

O presente relatório de estágio, definido como Trabalho Final de Mestrado, surge como resultado de um estágio profissional realizado no âmbito do Mestrado em Engenharia Civil do Instituto Superior de Engenharia de Lisboa, e tem como objectivos primordiais, expor as actividades realizadas e reflectir os conhecimentos adquiridos durante o período de estágio. Após uma formação académica maioritariamente vocacionada para os aspectos teóricos e de natureza científica, tornou-se fundamental ao estagiário garantir um contacto real com a profissão de Engenheiro Civil antes do ingresso no mercado de trabalho. Foi com base nesse pressuposto que a opção do Trabalho Final de Mestrado incidiu sobre a realização de um estágio curricular em detrimento das restantes possibilidades. O período de estágio iniciou-se a 14 de Março de 2011 e incidiu sobre a área de Conservação, Restauro e Reabilitação de edifícios com valor patrimonial, sendo feito referência no capítulo 2 aos princípios importantes da intervenção neste tipo de edifícios. O capítulo 3 faz uma abordagem geral do que são as coberturas servindo de complemento ao capítulo 4, onde são abordados e analisados os processos e métodos construtivos envolvidos, contemplando a evolução construtiva da cobertura do Cruzeiro, no Convento de Cristo em Tomar. Nos restantes capítulos, 5 e 6, é feita a caracterização e constituição da estrutura de um edifício da segunda metade do século XVIII, e a análise estrutural feita ao edifício no Antigo Convento do Santíssimo Sacramento, em Lisboa, respectivamente. O capítulo 4 é complementado pelo Anexo A, sendo utilizado como referência ao esquema da estrutura artesanal encontrada na cobertura do Cruzeiro.

Self-optimization module for scheduling using case-based reasoning

Metaheuristics performance is highly dependent of the respective parameters which need to be tuned. Parameter tuning may allow a larger flexibility and robustness but requires a careful initialization. The process of defining which parameters setting should be used is not obvious. The values for parameters depend mainly on the problem, the instance to be solved, the search time available to spend in solving the problem, and the required quality of solution. This paper presents a learning module proposal for an autonomous parameterization of Metaheuristics, integrated on a Multi-Agent System for the resolution of Dynamic Scheduling problems. The proposed learning module is inspired on Autonomic Computing Self-Optimization concept, defining that systems must continuously and proactively improve their performance. For the learning implementation it is used Case-based Reasoning, which uses previous similar data to solve new cases. In the use of Case-based Reasoning it is assumed that similar cases have similar solutions. After a literature review on topics used, both AutoDynAgents system and Self-Optimization module are described. Finally, a computational study is presented where the proposed module is evaluated, obtained results are compared with previous ones, some conclusions are reached, and some future work is referred. It is expected that this proposal can be a great contribution for the self-parameterization of Metaheuristics and for the resolution of scheduling problems on dynamic environments.

A hybrid intelligent system for distributed dynamic scheduling

This chapter addresses the resolution of dynamic scheduling by means of meta-heuristic and multi-agent systems. Scheduling is an important aspect of automation in manufacturing systems. Several contributions have been proposed, but the problem is far from being solved satisfactorily, especially if scheduling concerns real world applications. The proposed multi-agent scheduling system assumes the existence of several resource agents (which are decision-making entities based on meta-heuristics) distributed inside the manufacturing system that interact with other agents in order to obtain optimal or near-optimal global performances.

MASDScheGATS: a prototype system for dynamic scheduling

A manufacturing system has a natural dynamic nature observed through several kinds of random occurrences and perturbations on working conditions and requirements over time. For this kind of environment it is important the ability to efficient and effectively adapt, on a continuous basis, existing schedules according to the referred disturbances, keeping performance levels. The application of Meta-Heuristics and Multi-Agent Systems to the resolution of this class of real world scheduling problems seems really promising. This paper presents a prototype for MASDScheGATS (Multi-Agent System for Distributed Manufacturing Scheduling with Genetic Algorithms and Tabu Search).