Avaliação da implementação de programa de fiabilidade de aeronaves na Força Aérea Portuguesa

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Towards a Unified Theory of Health-Disease: I. Health as a complex model-object

Theory building is one of the most crucial challenges faced by basic, clinical and population research, which form the scientific foundations of health practices in contemporary societies. The objective of the study is to propose a Unified Theory of Health-Disease as a conceptual tool for modeling health-disease-care in the light of complexity approaches. With this aim, the epistemological basis of theoretical work in the health field and concepts related to complexity theory as concerned to health problems are discussed. Secondly, the concepts of model-object, multi-planes of occurrence, modes of health and disease-illness-sickness complex are introduced and integrated into a unified theoretical framework. Finally, in the light of recent epistemological developments, the concept of Health-Disease-Care Integrals is updated as a complex reference object fit for modeling health-related processes and phenomena.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Aedes aegypti entomological indices in an endemic area for dengue in Sao Paulo State, Brazil

OBJECTIVE: To evaluate the most productive types of properties and containers for Aedes aegypti and the spatial distribution of entomological indices.METHODS: Between December 2006 and February 2007, the vector's immature forms were collected to obtain entomological indices in 9,875 properties in the Jaguare neighborhood of Sao Jose do Rio Preto, SP, Southeastern Brazil. In March and April 2007, a questionnaire about the conditions and characteristics of properties was administered. Logistic regression was used to identify variables associated with the presence of pupae at the properties. Indices calculated per block were combined with a geo-referenced map, and thematic maps of these indices were obtained using statistical interpolation.RESULTS: The properties inspected had the following Ae. aegypti indices: Breteau Index = 18.9, 3.7 larvae and 0.42 pupae per property, 5.2 containers harboring Ae. aegypti per hectare, 100.0 larvae and 11.6 pupae per hectare, and 1.3 larvae and 0.15 pupae per inhabitant. The presence of yards, gardens and animals was associated with the presence of pupae.CONCLUSIONS: Specific types of properties and containers that simultaneously had low frequencies among those positive for the vector and high participation in the productivity of larvae and pupae were not identified. The use of indices including larval and pupal counts does not provide further information beyond that obtained from the traditional Stegomyia indices in locations with characteristics similar to those of São José do Rio Preto. The indices calculated per area were found to be more accurate for the spatial assessment of infestation. The Ae. aegypti infestation levels exhibited extensive spatial variation, indicating that the assessment of infestation in micro areas is needed.

BANMAC: an opportunistic MAC protocol for reliable communications in body area networks

We consider reliable communications in Body Area Networks (BAN), where a set of nodes placed on human body are connected using wireless links. In order to keep the Specific Absorption Rate (SAR) as low as possible for health safety reasons, these networks operate in low transmit power regime, which however, is known to be error prone. It has been observed that the fluctuations of the Received Signal Strength (RSS) at the nodes of a BAN on a moving person show certain regularities and that the magnitude of these fluctuations are significant (5 - 20 dB). In this paper, we present BANMAC, a MAC protocol that monitors and predicts the channel fluctuations and schedules transmissions opportunistically when the RSS is likely to be higher. The MAC protocol is capable of providing differentiated service and resolves co-channel interference in the event of multiple co-located BANs in a vicinity. We report the design and implementation details of BANMAC integrated with the IEEE 802.15.4 protocol stack. We present experimental data which show that the packet loss rate (PLR) of BANMAC is significantly lower as compared to that of the IEEE 802.15.4 MAC. For comparable PLR, the power consumption of BANMAC is also significantly lower than that of the IEEE 802.15.4. For co-located networks, the convergence time to find a conflict-free channel allocation was approximately 1 s for the centralized coordination mechanism and was approximately 4 s for the distributed coordination mechanism.

Opportunistic packet scheduling in body area networks

Significant research efforts are being devoted to Body Area Networks (BAN) due to their potential for revolutionizing healthcare practices. Energy-efficiency and communication reliability are critically important for these networks. In an experimental study with three different mote platforms, we show that changes in human body shadowing as well as those in the relative distance and orientation of nodes caused by the common human body movements can result in significant fluctuations in the received signal strength within a BAN. Furthermore, regular movements, such as walking, typically manifest in approximately periodic variations in signal strength. We present an algorithm that predicts the signal strength peaks and evaluate it on real-world data. We present the design of an opportunistic MAC protocol, named BANMAC, that takes advantage of the periodic fluctuations of the signal strength to achieve high reliability even with low transmission power.

Epidemiologia do uso de medicamentos entre idosos em area urbana do Nordeste do Brasil

OBJETIVO Analisar o uso de medicamentos entre idosos e os fatores associados. MÉTODOS Estudo transversal com 400 indivíduos maiores de 60 anos residentes na área de abrangência da Estratégia Saúde da Família, em Recife, PE, em 2009. Os indivíduos foram selecionados por amostra probabilística sistemática, com coleta de dados de base domiciliar. Foram avaliadas variáveis socioeconômicas e demográficas, estilo de vida, condições de saúde e nutricionais. A variável independente foi uso de medicamentos. O diagrama analítico envolveu análises estatísticas uni e multivariadas. RESULTADOS A prevalência de uso de medicamentos foi de 85,5%. A polifarmácia (> 5 medicamentos) ocorreu em 11% dos casos. Dos 951 medicamentos relatados, 98,2% foram por prescrição médica e 21,6% foram considerados inseguros para idosos. Os medicamentos de uso nos sistemas cardiovascular (42,9%), nervoso central (20,2%), digestório e no metabolismo orgânico (17,3%) foram os mais utilizados. O uso de polifarmácia associou-se à escolaridade (p = 0,008), à saúde autorreferida (p = 0,012), à doença crônica autorreferida (p = 0,000) e ao número de consultas médicas ao ano (0,000). CONCLUSÕES A proporção de uso de medicamentos é elevada entre idosos, inclusive daqueles considerados inadequados, e há desigualdades entre grupos de idosos quando se considera escolaridade, quantidade de consultas médicas e saúde autorreferida.

A multi-objective approach for the motion planning of redundant manipulators

Kinematic redundancy occurs when a manipulator possesses more degrees of freedom than those required to execute a given task. Several kinematic techniques for redundant manipulators control the gripper through the pseudo-inverse of the Jacobian, but lead to a kind of chaotic inner motion with unpredictable arm configurations. Such algorithms are not easy to adapt to optimization schemes and, moreover, often there are multiple optimization objectives that can conflict between them. Unlike single optimization, where one attempts to find the best solution, in multi-objective optimization there is no single solution that is optimum with respect to all indices. Therefore, trajectory planning of redundant robots remains an important area of research and more efficient optimization algorithms are needed. This paper presents a new technique to solve the inverse kinematics of redundant manipulators, using a multi-objective genetic algorithm. This scheme combines the closed-loop pseudo-inverse method with a multi-objective genetic algorithm to control the joint positions. Simulations for manipulators with three or four rotational joints, considering the optimization of two objectives in a workspace without and with obstacles are developed. The results reveal that it is possible to choose several solutions from the Pareto optimal front according to the importance of each individual objective.

Contributos para o desenvolvimento de um modelo de avaliação do capital intelectual em instituições de ensino superior

Mestrado em Gestão e Empreendedorismo

The utilization bound of non-preemptive rate-monotonic scheduling in controller area networks is 25%

Consider a distributed computer system comprising many computer nodes, each interconnected with a controller area network (CAN) bus. We prove that if priorities to message streams are assigned using rate-monotonic (RM) and if the requested capacity of the CAN bus does not exceed 25% then all deadlines are met.

An implicit GTS allocation mechanism in IEEE 802.15.4 for time-sensitive wireless sensor networks: theory and practice

Timeliness guarantee is an important feature of the recently standardized IEEE 802.15.4 protocol, turning it quite appealing for Wireless Sensor Network (WSN) applications under timing constraints. When operating in beacon-enabled mode, this protocol allows nodes with real-time requirements to allocate Guaranteed Time Slots (GTS) in the contention-free period. The protocol natively supports explicit GTS allocation, i.e. a node allocates a number of time slots in each superframe for exclusive use. The limitation of this explicit GTS allocation is that GTS resources may quickly disappear, since a maximum of seven GTSs can be allocated in each superframe, preventing other nodes to benefit from guaranteed service. Moreover, the GTS may be underutilized, resulting in wasted bandwidth. To overcome these limitations, this paper proposes i-GAME, an implicit GTS Allocation Mechanism in beacon-enabled IEEE 802.15.4 networks. The allocation is based on implicit GTS allocation requests, taking into account the traffic specifications and the delay requirements of the flows. The i-GAME approach enables the use of one GTS by multiple nodes, still guaranteeing that all their (delay, bandwidth) requirements are satisfied. For that purpose, we propose an admission control algorithm that enables to decide whether to accept a new GTS allocation request or not, based not only on the remaining time slots, but also on the traffic specifications of the flows, their delay requirements and the available bandwidth resources. We show that our approach improves the bandwidth utilization as compared to the native explicit allocation mechanism defined in the IEEE 802.15.4 standard. We also present some practical considerations for the implementation of i-GAME, ensuring backward compatibility with the IEEE 801.5.4 standard with only minor add-ons. Finally, an experimental evaluation on a real system that validates our theoretical analysis and demonstrates the implementation of i-GAME is also presented

Towards a unified theory of health-disease: II. Holopathogenesis

This article presents a systematic framework for modeling several classes of illness-sickness-disease named as Holopathogenesis. Holopathogenesis is defined as processes of over-determination of diseases and related conditions taken as a whole, comprising selected facets of the complex object Health. First, a conceptual background of Holopathogenesis is presented as a series of significant interfaces (biomolecular-immunological, physiopathological-clinical, epidemiological-ecosocial). Second, propositions derived from Holopathogenesis are introduced in order to allow drawing the disease-illness-sickness complex as a hierarchical network of networks. Third, a formalization of intra- and inter-level correspondences, over-determination processes, effects and links of Holopathogenesis models is proposed. Finally, the Holopathogenesis frame is evaluated as a comprehensive theoretical pathology taken as a preliminary step towards a unified theory of health-disease.

HIV/AIDS knowledge among men who have sex with men: applying the item response theory

OBJECTIVE To evaluate the level of HIV/AIDS knowledge among men who have sex with men in Brazil using the latent trait model estimated by Item Response Theory. METHODS Multicenter, cross-sectional study, carried out in ten Brazilian cities between 2008 and 2009. Adult men who have sex with men were recruited (n = 3,746) through Respondent Driven Sampling. HIV/AIDS knowledge was ascertained through ten statements by face-to-face interview and latent scores were obtained through two-parameter logistic modeling (difficulty and discrimination) using Item Response Theory. Differential item functioning was used to examine each item characteristic curve by age and schooling. RESULTS Overall, the HIV/AIDS knowledge scores using Item Response Theory did not exceed 6.0 (scale 0-10), with mean and median values of 5.0 (SD = 0.9) and 5.3, respectively, with 40.7% of the sample with knowledge levels below the average. Some beliefs still exist in this population regarding the transmission of the virus by insect bites, by using public restrooms, and by sharing utensils during meals. With regard to the difficulty and discrimination parameters, eight items were located below the mean of the scale and were considered very easy, and four items presented very low discrimination parameter (< 0.34). The absence of difficult items contributed to the inaccuracy of the measurement of knowledge among those with median level and above. CONCLUSIONS Item Response Theory analysis, which focuses on the individual properties of each item, allows measures to be obtained that do not vary or depend on the questionnaire, which provides better ascertainment and accuracy of knowledge scores. Valid and reliable scales are essential for monitoring HIV/AIDS knowledge among the men who have sex with men population over time and in different geographic regions, and this psychometric model brings this advantage.

Object transportation by multiple mobile robots controlled by attractor dynamics: theory and implementation

Dynamical systems theory is used as a theoretical language and tool to design a distributed control architecture for teams of mobile robots, that must transport a large object and simultaneously avoid collisions with (either static or dynamic) obstacles. Here we demonstrate in simulations and implementations in real robots that it is possible to simplify the architectures presented in previous work and to extend the approach to teams of n robots. The robots have no prior knowledge of the environment. The motion of each robot is controlled by a time series of asymptotical stable states. The attractor dynamics permits the integration of information from various sources in a graded manner. As a result, the robots show a strikingly smooth an stable team behaviour.

Serological and infection statuses of dogs from a visceral leishmaniasis-endemic area

OBJECTIVE This study investigated the serological status of dogs living in a visceral leishmaniasis-endemic area and its correlation with the parasitological condition of the animals.METHODS Canine humoral response was evaluated using the sera of 134 dogs by enzyme-linked immunosorbent assay and immunohistochemistry to detect parasites in the skin, lymph node, and spleen of the animals. The specific antibodies investigated were IgG, IgG1, IgG2, and IgE.RESULTS According to the parasitological, laboratory, and clinical findings, the dogs were placed into one of four groups: asymptomatic with (AP+, n = 21) or without (AP-, n = 36) Leishmania tissue parasitism and symptomatic with (SP+, n = 52) or without (SP-, n = 25) parasitism. Higher IgG and IgE levels were positively correlated with the infection condition and parasite load, but not with the clinical status. In all groups, total IgG was the predominant antibody, which occurred at the expense of IgG2 instead of IgG1. Most of the infected dogs tested positive for IgG (SP+, 98.1%; AP+, 95.2%), whereas this was not observed with IgE (SP+, 80.8%; AP+, 71.2%). The most relevant finding was the high positivity of the uninfected dogs for Leishmania-specific IgG (SP-, 60.0%; AP-, 44.4%), IgE (SP-, 44.0%; AP-, 27.8%), IgG1 (SP-, 28.0%; AP-, 22.2%), and IgG2 antibodies (SP-, 56.0%; AP-, 41.7%).CONCLUSIONS The serological status of dogs, as determined by any class or subclass of antibodies, did not accurately distinguish dogs infected with L. (L.) infantum chagasifrom uninfected animals. The inaccuracy of the serological result may impair not only the diagnosis, but also epidemiological investigations and strategies for visceral leishmaniasis control. This complex serological scenario occurring in a visceral leishmaniasis-endemic area highlights the challenges associated with canine diagnosis and points out the difficulties experienced by veterinary clinicians and coordinators of control programs.