977 resultados para Logical consequence


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Structural robustness is an emergent concept related to the structural response to damage. At the present time, robustness is not well defined and much controversy still remains around this subject. Even if robustness has seen growing interest as a consequence of catastrophic consequences due to extreme events, the fact is that the concept can also be very useful when considered on more probable exposure scenarios such as deterioration, among others. This paper intends to be a contribution to the definition of structural robustness, especially in the analysis of reinforced concrete structures subjected to corrosion. To achieve this, first of all, several proposed robustness definitions and indicators and misunderstood concepts will be analyzed and compared. From this point and regarding a concept that could be applied to most type of structures and dam-age scenarios, a robustness definition is proposed. To illustrate the proposed concept, an example of corroded reinforced concrete structures will be analyzed using nonlinear analysis numerical methods based on a contin-uum strong discontinuities approach and isotropic damage models for concrete. Finally the robustness of the presented example will be assessed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Gottfried Leibniz generalized the derivation and integration, extending the operators from integer up to real, or even complex, orders. It is presently recognized that the resulting models capture long term memory effects difficult to describe by classical tools. Leon Chua generalized the set of lumped electrical elements that provide the building blocks in mathematical models. His proposal of the memristor and of higher order elements broadened the scope of variables and relationships embedded in the development of models. This paper follows the two directions and proposes a new logical step, by generalizing the concept of junction. Classical junctions interconnect system elements using simple algebraic restrictions. Nevertheless, this simplistic approach may be misleading in the presence of unexpected dynamical phenomena and requires including additional “parasitic” elements. The novel γ-junction includes, as special cases, the standard series and parallel connections and allows a new degree of freedom when building models. The proposal motivates the search for experimental and real world manifestations of the abstract conjectures.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Diversity of mosquito species was evaluated in different habitats before and after the Igarapava reservoir flooding in the Grande River, Southern Cerrado of Brazil. We aimed at verifying changes in these mosquito populations in consequence of the lake formation. Four habitats were selected as sampling stations: peridomiciliary habitat, pasture, "veredas" and gallery forest patch. Bimonthly collections were made with the Shannon trap and human bait, including diurnal, crepuscular and nocturnal period of mosquito activity. The Shannon Index results from the potential vectors were compared using Student t-test. Aedes scapularis, Anopheles darlingi and An. albitarsis senso latu seasonal abundance were described with moving average and compared using chi2 test. There were changes in the mosquito frequency in the habitats, except for the "veredas" that was 13 km away from the catchment area. The altering in mosquito species seasonal abundance suggests breeding places expansion. Diversity indexes can be used to monitor changes in mosquito vector population in environments where abrupt disturbance can alter disease transmission cycles.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O presente trabalho pretende dar conta do projecto de investigação e intervenção social desenvolvido com uma família acompanhada no âmbito do Rendimento Social de Inserção (RSI). Parte, em termos teóricos, da complexidade e variabilidade do trabalho social, considerando as suas diferentes visões e a sua construção social, destacando a existência de diferentes forças que constroem e influenciam a acção psicossocial. Enfatiza, em função das fragilidades do modelo tradicional de intervenção, a necessidade dos profissionais repensarem e qualificarem as suas intervenções e, ainda, a importância do modelo de relação de ajuda e da abordagem sistémica no desenvolvimento do trabalho psicossocial e educativo desenvolvido pelos educadores sociais. O projecto desenvolvido assenta no paradigma emergente, constituindo uma investigação qualitativa, orientada por uma metodologia de investigação-acção participativa. Estas opções metodológicas permitiram o desenvolvimento de um trabalho plenamente cooperativo, que partiu dos seus participantes, das suas circunstâncias reais, ou seja, dos problemas concretos da família, numa lógica de aproximação entre saberes. Foi desenvolvido com a finalidade de promover a melhoria da qualidade de vida da família, nomeadamente ao nível da habitação, educação e relações familiares e permitiu, em linhas gerais, que a família adquirisse maior poder de decisão sobre a sua vida, expectativas mais positivas relativamente ao futuro, interacções familiares mais positivas e uma crescente consciência da importância de um maior envolvimento e empenho nas questões relacionadas com a escola e com as aprendizagens escolares.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Proceedings of the 12th Conference on 'Dynamical Systems -Theory and Applications'

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We present a case of central nervous system (CNS) infection by a member of the Penicillium genera in a HIV-negative man in Brazil. The patient was admitted complaining of loss of visual fields and speech disturbances. CT scan revealed multiple brain abscesses. Stereothacic biopsies revealed fungal infection and amphotericin B treatment begun with initial improvement. The patient died few days later as a consequence of massive gastrointestinal bleeding due to ruptured esophageal varices. The necropsy and final microbiologic analyses disclosed infection by Penicillium sp. There are thousands of fungal species of the Penicillium genera. Systemic penicilliosis is caused by the P. marneffei and was formerly a rare disease, but now is one of the most common opportunistic infection of AIDS patients in Southeast Asia. The clinical presentation usually involves the respiratory system and the skin, besides general symptoms like fever and weight loss. Penicillium spp infection caused by species other than P. marneffei normally cause only superficial or allergic disease but rare cases of invasive disease do occur. We report the fourth case of Penicillium spp CNS infection.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Robotica 2012: 12th International Conference on Autonomous Robot Systems and Competitions April 11, 2012, Guimarães, Portugal

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The underground scenarios are one of the most challenging environments for accurate and precise 3d mapping where hostile conditions like absence of Global Positioning Systems, extreme lighting variations and geometrically smooth surfaces may be expected. So far, the state-of-the-art methods in underground modelling remain restricted to environments in which pronounced geometric features are abundant. This limitation is a consequence of the scan matching algorithms used to solve the localization and registration problems. This paper contributes to the expansion of the modelling capabilities to structures characterized by uniform geometry and smooth surfaces, as is the case of road and train tunnels. To achieve that, we combine some state of the art techniques from mobile robotics, and propose a method for 6DOF platform positioning in such scenarios, that is latter used for the environment modelling. A visual monocular Simultaneous Localization and Mapping (MonoSLAM) approach based on the Extended Kalman Filter (EKF), complemented by the introduction of inertial measurements in the prediction step, allows our system to localize himself over long distances, using exclusively sensors carried on board a mobile platform. By feeding the Extended Kalman Filter with inertial data we were able to overcome the major problem related with MonoSLAM implementations, known as scale factor ambiguity. Despite extreme lighting variations, reliable visual features were extracted through the SIFT algorithm, and inserted directly in the EKF mechanism according to the Inverse Depth Parametrization. Through the 1-Point RANSAC (Random Sample Consensus) wrong frame-to-frame feature matches were rejected. The developed method was tested based on a dataset acquired inside a road tunnel and the navigation results compared with a ground truth obtained by post-processing a high grade Inertial Navigation System and L1/L2 RTK-GPS measurements acquired outside the tunnel. Results from the localization strategy are presented and analyzed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The world is increasingly in a global community. The rapid technological development of communication and information technologies allows the transmission of knowledge in real-time. In this context, it is imperative that the most developed countries are able to develop their own strategies to stimulate the industrial sector to keep up-to-date and being competitive in a dynamic and volatile global market so as to maintain its competitive capacities and by consequence, permits the maintenance of a pacific social state to meet the human and social needs of the nation. The path traced of competitiveness through technological differentiation in industrialization allows a wider and innovative field of research. Already we are facing a new phase of organization and industrial technology that begins to change the way we relate with the industry, society and the human interaction in the world of work in current standards. This Thesis, develop an analysis of Industrie 4.0 Framework, Challenges and Perspectives. Also, an analysis of German reality in facing to approach the future challenge in this theme, the competition expected to win in future global markets, points of domestic concerns felt in its industrial fabric household face this challenge and proposes recommendations for a more effective implementation of its own strategy. The methods of research consisted of a comprehensive review and strategically analysis of existing global literature on the topic, either directly or indirectly, in parallel with the analysis of questionnaires and data analysis performed by entities representing the industry at national and world global placement. The results found by this multilevel analysis, allowed concluding that this is a theme that is only in the beginning for construction the platform to engage the future Internet of Things in the industrial environment Industrie 4.0. This dissertation allows stimulate the need of achievements of more strategically and operational approach within the society itself as a whole to clarify the existing weaknesses in this area, so that the National Strategy can be implemented with effective approaches and planned actions for a direct training plan in a more efficiently path in education for the theme.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O outsourcing tem aumentado exponencialmente nos últimos anos, o que se deve ao aumento da especialização das organizações. Como consequência, a responsabilidade do departamento de compras também aumenta. O mesmo será dizer que cada vez mais as organizações se tornam dependentes dos seus fornecedores, necessitando por isso de recorrer a metodologias que lhes permitam monitorizar/avaliar fornecedores capazes de, em conjunto, criar valor e reduzir custos. O propósito deste trabalho é analisar e desenvolver um procedimento de Monitorização e Avaliação de Fornecedores que permita avaliar o desempenho dos fornecedores, identificando aqueles que são capazes de acompanhar o desenvolvimento e a sustentabilidade da organização.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em História dos Descobrimentos e da Expansão Portuguesa

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

No âmbito duma investigação que cruza a área científica da Ciência da Informação com a Educação, elegendo como objeto de estudo a Literacia da Informação (LI), selecionaram-se um conjunto de competências de LI, reconhecidas como mais importantes e mencionadas em vasta literatura sobre o tema, com destaque para alguns Referenciais internacionais. Pretende-se averiguar qual o papel da formação ministrada em diferentes licenciaturas de uma escola de ensino superior politécnico e refletir sobre que competências são mais desenvolvidas nos estudantes de diferentes cursos, comparando aqueles que iniciam e os que terminam a sua formação. Para além dos estudantes, destaca-se, neste estudo, a intervenção dos professores das referidas licenciaturas, ambos os grupos inquiridos através de questionários online. Também os elementos responsáveis pela coordenação dos oito cursos de primeiro ciclo em análise e a bibliotecária da instituição são envolvidos, neste caso, através de entrevistas semidirigidas, contribuindo para uma investigação que se pretende o mais completa possível e com a robustez decorrente do cruzamento de vários dados. Recorrendo a uma abordagem metodológica quantitativa e qualitativa, num interessante jogo de perceções consonantes ou divergentes entre estes atores cruciais do processo educativo, os resultados e a sua interpretação permitem refletir sobre a necessidade de adotar novas posturas e atuações no complexo processo de formação e de desenvolvimento de competências de LI. Estas devem ser adequadas aos perfis desejáveis dos diplomados do ensino superior, profissionais e cidadãos que se pretende que obtenham sucesso nas diferentes áreas da sua vida, revelando-se, em suma, indivíduos infoincluídos, ativos e participativos face às mudanças, desafios e crises do século XXI.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

It is unquestionable that an effective decision concerning the usage of a certain environmental clean-up technology should be conveniently supported. Significant amount of scientific work focussing on the reduction of nitrate concentration in drinking water by both metallic iron and nanomaterials and their usage in permeable reactive barriers has been worldwide published over the last two decades. This work aims to present in a systematic review of the most relevant research done on the removal of nitrate from groundwater using nanosized iron based permeable reactive barriers. The research was based on scientific papers published between 2004 and June 2014. It was performed using 16 combinations of keywords in 34 databases, according to PRISMA statement guidelines. Independent reviewers validated the selection criteria. From the 4161 records filtered, 45 met the selection criteria and were selected to be included in this review. This study's outcomes show that the permeable reactive barriers are, indeed, a suitable technology for denitrification and with good performance record but the long-term impact of the use of nanosized zero valent iron in this remediation process, in both on the environment and on the human health, is far to be conveniently known. As a consequence, further work is required on this matter, so that nanosized iron based permeable reactive barriers for the removal of nitrate from drinking water can be genuinely considered an eco-efficient technology.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thermally expandable particles (TEPs) were developed by Dow Chemical Co in the early 1970´s [1] and were further developed by others [2, 3]. They are particles made up of a thermoplastic shell filled with liquid hydrocarbon. On heating them, two transformations will occur. One is the softening of shell material and the other is the gasification of the hydrocarbon liquid inside it. As a consequence, the shell will expand as the gas inside it will push the softened shell from inside out causing it to grow in size [4]. When fully expanded, the growth in volume of the particle can be from 50 to 100 times [3]. Owing to this unique behaviour, TEPs are used by the industry in a wide variety of applications mainly for weight reduction and appearance improvement for thermoplastics, inks, and coatings. In adhesive bonding, TEPs have been used for recycling purposes. Moreover, TEPs might be used to modify structural adhesives for other new purposes, such as: to increase the joint strength by creating an adhesive functionally modified along the overlap of the joint by gradual heating and/or to heal the adhesive in case of damage.