An unusual ground larval habitat of Aedes albopictus

Relata-se o encontro de criadouro de Aedes albopictus no solo. Tratou-se de buraco resultante da queda de árvore Piptadenia ("angico branco") onde foram coletadas larvas daquele mosquito, juntamente com representantes de Culex declarator, Cx. quinquefasciatus e Culex (Cux.) sp. do Grupo Coronator. O criadouro comportou cerca de 17 litros de água proveniente de chuvas locais. O achado deu-se em mata residual dentro de perímetro urbano da cidade de Pindamo-nhangaba no Vale do Paraíba, Estado de São Paulo, Brasil. Discute-se o significado do encontro como provável indicador de ecletismo comportamental e de adaptação do culicídeo ao ambiente antrópico.

Negative non-ground queries in well founded semantics

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Computational Logic

Transverse Vibrations in Beams Supported by a Piece-Wise Homogeneous Visco- Elastic Foundation

Transversal vibrations induced by a load moving uniformly along an infinite beam resting on a piece-wise homogeneous visco-elastic foundation are studied. Special attention is paid to the additional vibrations, conventionally referred to as transition radiations, which arise as the point load traverses the place of foundation discontinuity. The governing equations of the problem are solved by the normalmode analysis. The solution is expressed in a form of infinite sum of orthogonal natural modes multiplied by the generalized coordinate of displacement. The natural frequencies are obtained numerically exploiting the concept of the global dynamic stiffness matrix. This ensures that the frequencies obtained are exact. The methodology has restrictions neither on velocity nor on damping. The approach looks simple, though, the numerical expression of the results is not straightforward. A general procedure for numerical implementation is presented and verified. To illustrate the utility of the methodology parametric optimization is presented and influence of the load mass is studied. The results obtained have direct application in analysis of railway track vibrations induced by high-speed trains when passing regions with significantly different foundation stiffness.

Software de gestão de manutenção como ferramenta de apoio à melhoria da eficiência da gestão de infraestruturas

Este trabalho académico surge no âmbito da realização da dissertação do Mestrado em Engenharia e Gestão Industrial. Tem como objetivo a melhoria da gestão do Departamento de Infraestruturas, numa empresa de produção de motores elétricos para a indústria automóvel, através da análise, implementação e melhoria de um software de gestão de manutenção, de forma a aumentar a eficiência do Departamento. Este estudo foi desenvolvido durante um estágio curricular na empresa Globe Motors Portugal Lda, localizada em Vila do Conde. Para sua sustentação, foi efetuada uma análise funcional, suportada por um Software de gestão de manutenção, de forma a perceber qual a importância que o mesmo tem no funcionamento do Departamento de Infraestruturas. Pretendeu-se compreender quais as vantagens e desvantagens da sua utilização. Posteriormente, implementou-se uma nova versão deste software, analisando-se os pontos fortes e as oportunidades de melhoria, de forma a tornar o Departamento de infraestruturas mais eficiente, através da utilização desta renovada ferramenta de trabalho. Como objetivo último, pretendeu-se à melhoria da organização e gestão do Departamento de infraestruturas, contribuindo para um desenvolvimento de toda a empresa, uma vez que comungamos a ideia de que só é possível ser competitivo, num mercado altamente exigente, através de processos eficientes, possibilitando a redução de custos a todos os níveis.

Holistic Analysis for Fork-Join Distributed Tasks supported by the FTT-SE Protocol

11th IEEE World Conference on Factory Communication Systems (WFCS 2015). 27 to 29, May, 2015, TII-SS-2: Scheduling and Performance Analysis. Palma de Mallorca, Spain.

Robustness analysis of deteriorating reinforced concrete slabs

Corrosion of reinforcement bars in concrete structures is the most significant deterioration mechanism in these structures. Corrosion is extremely difficult to predict and, consequently, can be regarded as an unpredictable event. Following this, robustness assessment methods can be employed to define the susceptibility of a structure to corrosion. In this work, robustness is measured in terms of the remaining safety of a deteriorated structure. The proposed methodology is illustrated by means of a reinforced concrete (RC) slab subjected to dead and live loads. The performance of the corroded slab is evaluated using non-linear analysis. The reliability index is adopted to assess the safety of the deteriorated structure. To compute the reliability index a strategy combining the First Order Reliability Method (FORM) and the Response Surface Method (RSM) is used.

Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network

Distributed real-time systems such as automotive applications are becoming larger and more complex, thus, requiring the use of more powerful hardware and software architectures. Furthermore, those distributed applications commonly have stringent real-time constraints. This implies that such applications would gain in flexibility if they were parallelized and distributed over the system. In this paper, we consider the problem of allocating fixed-priority fork-join Parallel/Distributed real-time tasks onto distributed multi-core nodes connected through a Flexible Time Triggered Switched Ethernet network. We analyze the system requirements and present a set of formulations based on a constraint programming approach. Constraint programming allows us to express the relations between variables in the form of constraints. Our approach is guaranteed to find a feasible solution, if one exists, in contrast to other approaches based on heuristics. Furthermore, approaches based on constraint programming have shown to obtain solutions for these type of formulations in reasonable time.

TIGRE - An autonomous ground robot for outdoor exploration

13th International Conference on Autonomous Robot Systems (Robotica), 2013

Real-Time Visual Ground-Truth System for Indoor Robotic Applications

The robotics community is concerned with the ability to infer and compare the results from researchers in areas such as vision perception and multi-robot cooperative behavior. To accomplish that task, this paper proposes a real-time indoor visual ground truth system capable of providing accuracy with at least more magnitude than the precision of the algorithm to be evaluated. A multi-camera architecture is proposed under the ROS (Robot Operating System) framework to estimate the 3D position of objects and the implementation and results were contextualized to the Robocup Middle Size League scenario.

Calibration Method for Underwater Visual Ground-Truth System

This work presents an automatic calibration method for a vision based external underwater ground-truth positioning system. These systems are a relevant tool in benchmarking and assessing the quality of research in underwater robotics applications. A stereo vision system can in suitable environments such as test tanks or in clear water conditions provide accurate position with low cost and flexible operation. In this work we present a two step extrinsic camera parameter calibration procedure in order to reduce the setup time and provide accurate results. The proposed method uses a planar homography decomposition in order to determine the relative camera poses and the determination of vanishing points of detected lines in the image to obtain the global pose of the stereo rig in the reference frame. This method was applied to our external vision based ground-truth at the INESC TEC/Robotics test tank. Results are presented in comparison with an precise calibration performed using points obtained from an accurate 3D LIDAR modelling of the environment.

The influence of gait cadence on the ground reaction forces and plantar pressures during load carriage of young adults

Biomechanical gait parameters—ground reaction forces (GRFs) and plantar pressures—during load carriage of young adults were compared at a low gait cadence and a high gait cadence. Differences between load carriage and normal walking during both gait cadences were also assessed. A force plate and an in-shoe plantar pressure system were used to assess 60 adults while they were walking either normally (unloaded condition) or wearing a backpack (loaded condition) at low (70 steps per minute) and high gait cadences (120 steps per minute). GRF and plantar pressure peaks were scaled to body weight (or body weight plus backpack weight). With medium to high effect sizes we found greater anterior-posterior and vertical GRFs and greater plantar pressure peaks in the rearfoot, forefoot and hallux when the participants walked carrying a backpack at high gait cadences compared to walking at low gait cadences. Differences between loaded and unloaded conditions in both gait cadences were also observed.

Computer-supported cooperative work:alguns temas de investigação

Os primeiros trabalhos sobre Computer-Supported Cooperative Work surgiram na segunda metade da década de 80, estabelecendo-se um campo de investigação interdisciplinar com enfoque no papel do computador e das tecnologias da comunicação no apoio do trabalho em grupo (Ishii et al., 1994). Ao abordar esta área de investigação torna-se claro que é necessário ter em conta a diversidade dos grupos e das tarefas que estes devem de utilizar, entre outros factores importantes. As implicações desta diversidade são discutidas ao nível concepção de interfaces de groupware, em que um maior envolvimento dos utilizadores nas fases iniciais parece ser necessário, e ao nível dos Sistemas de Apoio à Decisão em Grupo.

Recommendation of Tourism Resources Supported by Crowdsourcing

Context-aware recommendation of personalised tourism resources is possible because of personal mobile devices and powerful data filtering algorithms. The devices contribute with computing capabilities, on board sensors, ubiquitous Internet access and continuous user monitoring, whereas the filtering algorithms provide the ability to match the profile (interests and the context) of the tourist against a large knowledge bases of tourism resources. While, in terms of technology, personal mobile devices can gather user-related information, including the user context and access multiple data sources, the creation and maintenance of an updated knowledge base of tourism-related resources requires a collaborative approach due to the heterogeneity, volume and dynamic nature of the resources. The current PhD thesis aims to contribute to the solution of this problem by adopting a Crowdsourcing approach for the collaborative maintenance of the knowledge base of resources, Trust and Reputation for the validation of uploaded resources as well as publishers, Big Data for user profiling and context-aware filtering algorithms for the personalised recommendation of tourism resources.

Dimensionamento de lajes aligeiradas betonadas "in situ"

A conjuntura económica da construção não se encontra numa fase de prosperidade, existindo a necessidade de criar soluções construtivas que permitam a redução de custos dos materiais a nível de obra. As lajes de betão armado, devido à sua grande área de implantação, possuem uma parcela importante no orçamento final de qualquer obra de edifícios correntes. Sabendo das possibilidades de aligeiramento de lajes, torna-se necessária a realização de um estudo pormenorizado e comparativo entre soluções de aligeiramento. O desenvolvimento deste relatório reflete todo o trabalho efetuado durante a realização de um estágio curricular desenvolvido na empresa FercaNorte – Estruturas, Lajes e Cofragens, Lda. e foca-se num dimensionamento e estudo comparativo de soluções de lajes fungiformes aligeiradas, aplicadas a dois casos de estudo e também num dimensionamento e estudo comparativo de soluções de lajes aligeiradas unidirecionais mas apenas aplicadas a um caso de estudo. No primeiro caso de estudo, laje fungiforme com um vão de 6 metros nas duas direções, são dimensionadas e comparadas quatro soluções: laje fungiforme maciça; laje fungiforme aligeirada com blocos elipsoides perdidos dispostos de forma ortogonal e envolvidos totalmente por betão; laje fungiforme aligeirada com blocos elipsoides perdidos dispostos em formato de favo de mel e envolvidos totalmente por betão; e laje fungiforme nervurada com moldes recuperáveis. No segundo caso de estudo, laje fungiforme com um vão de 7,04 metros nas duas direções, são dimensionadas e comparadas cinco soluções: laje fungiforme maciça, laje fungiforme aligeirada com blocos cúbicos perdidos dispostos de forma ortogonal e envolvidos totalmente por betão; laje fungiforme aligeirada, com blocos elipsoides perdidos dispostos de forma ortogonal e envolvidos totalmente por betão; laje fungiforme aligeirada com blocos elipsoides perdidos dispostos em formato de favo de mel e envolvidos totalmente por betão; e laje fungiforme nervurada com moldes recuperáveis. No terceiro caso de estudo, laje unidirecional com um vão de 8 metros apoiada em vigas com vão de 5 metros, são dimensionadas e comparadas três soluções: laje maciça; laje aligeirada com perfis tubulares com secção transversal reta oval; e laje nervurada com moldes recuperáveis. No final é apresentada uma estimativa orçamental para cada solução analisada nos três casos de estudo abordados.

Business planning in nonprofit: Laying the ground for customer relationship management in Instituto de Empreendedorismo Social

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics