899 resultados para Almost always propositional logic
Resumo:
Inflorescence and floral development of two tropical legume trees, Dahlstedtia pinnata and Dahlstedlia pentaphylla, occurring in the Atlantic Forest of south-eastern and southern Brazil, were investigated and compared with other papilionoids. Few studies have been made of floral development in tribe Millettieae, and this paper is intended to fill that gap in our knowledge. Dahlstedtia species have an unusual inflorescence type among legumes, the pseudoraceme, which comprises axillary units of three or more flowers, each with a subtending bract. Each flower exhibits a pair of opposite bractcoles. The order of flower initiation is acropetal; inception of the floral organs is as follows: sepals (5), petals (5), carpel (1) plus outer stamens (5) and finally inner stamens (5). Organ initiation in sepal, petal and inner stamen whorls is unidirectional; the carpel cleft is adaxial. The vexillum originates from a tubular-shaped primordium in mid-development and is larger than other petals at maturity, covering the keels. The filament tube develops later after initiation of inner-stamen primordia. Floral development in Dahlstedtia is almost always similar to other papilionoids, especially species of Phaseoleae and Sophoreae. But one important difference is the precocious ovule initiation (open carpel with ovules) in Dahlstedtia, the third citation of this phenomenon for papilionoids. No suppression, organ loss or anomalies occur in the order of primordia initiation or structure. Infra-generic differences in the first stages of ontogeny are rare; however, different species of Dahlstedtia are distinguished by the differing distribution pattern of secretory cavities in the flower. (C) 2009 Elsevier GmbH. All rights reserved.
Resumo:
Background: HTLV-2 infections are almost always asymptomatic, and diseases associated with the infection are rarely reported. Little information is available on the relationship between HTLV-2 proviral load and gender or expression of disease, especially among patients with HlV-1 co-infection. Methods: We studied 77 HTLV-2-infected subjects followed in our clinic for the last 9 years; 53 (69%) of them were co-infected with HIV-1. HTLV-2 DNA proviral load (PVL) was measured by real time PCR, a test with a sensitivity of 10 in 10(4) PBMCs. Results: Six of 53 HTLV-2/HIV-1 cases had a myelopathy (all of them had undetectable PVL of HTLV-2). Only 3 of 35 women (2 out of 3 co-infected with HIV) had a detectable PVL, whereas 10 of 42 men had a detectable PVL. Regardless of their HIV status women had significantly lower PVL than men (10 vs. 43 CopieS/10(4) PBMCs, p < 0.05). Conclusions: We noticed the occurrence of myelopathy in HTLV-2/HIV-1 co-infected patients, with undetectable HTLV-2 viral load. There was a sex difference in viral load for HTLV-2, what may be the result in mode of transmission or acquisition of the virus. (c) 2008 Elsevier B. V. All rights reserved.
Resumo:
SETTING: Itaborai Municipality in Rio de Janeiro, Brazil. OBJECTIVE: To evaluate access to tuberculosis (TB) diagnosis for users of the Family Health Program (FHP) and Reference Ambulatory Units (RAUs). DESIGN : A cross-sectional study was conducted in Itaborai City, Rio de Janeiro, Brazil. Between July and October 2007, a sample of 100 TB patients registered consecutively with the TB Control Program was interviewed using the primary care assessment tool. The two highest scores, describing `almost always` and `always`, or `good` and `very good`, were used as a cut-off point to define high quality access to diagnosis. RESULTS: FHP patients were older and had less education than RAU interviewees. Sex and overcrowding did not differ in the two groups. Patient groups did not differ with regard to the number of times care was sought at a unit, transport problems, cost of attending units and availability of consultation within 24 h. Adequate access to diagnosis was identified by 62% of the FHP patients and 53% of the RAU patients (P = 0.01). CONCLUSION: In Itaborai, Rio de Janeiro, TB patients believe that the FHP units provide greater access to TB diagnosis than RAUs. These findings will be used by the Department of Health to improve access to diagnosis in Itaborai.
Resumo:
Lecithophyllum kitrii n. sp. is described from Siganus punctatus and S. lineatus off Heron Island on the southern Great Barrier Reef, Australia. It differs from most other species in the genus in its elongate pars prostatica and globular sinus-sac, and from all other species in having the seminal vesicle almost always entirely in the hindbody.
Resumo:
Host-pathogen models are essential for designing strategies for managing disease threats to humans, wild animals and domestic animals. The behaviour of these models is greatly affected by the way in which transmission between infected and susceptible hosts is modelled. Since host-pathogen models were first developed at the beginning of the 20th century, the 'mass action' assumption has almost always been used for transmission. Recently, however, it has been suggested that mass action has often been modelled wrongly. Alternative models of transmission are beginning to appear, as are empirical tests of transmission dynamics.
Resumo:
Within the development of motor vehicles, crash safety (e.g. occupant protection, pedestrian protection, low speed damageability), is one of the most important attributes. In order to be able to fulfill the increased requirements in the framework of shorter cycle times and rising pressure to reduce costs, car manufacturers keep intensifying the use of virtual development tools such as those in the domain of Computer Aided Engineering (CAE). For crash simulations, the explicit finite element method (FEM) is applied. The accuracy of the simulation process is highly dependent on the accuracy of the simulation model, including the midplane mesh. One of the roughest approximations typically made is the actual part thickness which, in reality, can vary locally. However, almost always a constant thickness value is defined throughout the entire part due to complexity reasons. On the other hand, for precise fracture analysis within FEM, the correct thickness consideration is one key enabler. Thus, availability of per element thickness information, which does not exist explicitly in the FEM model, can significantly contribute to an improved crash simulation quality, especially regarding fracture prediction. Even though the thickness is not explicitly available from the FEM model, it can be inferred from the original CAD geometric model through geometric calculations. This paper proposes and compares two thickness estimation algorithms based on ray tracing and nearest neighbour 3D range searches. A systematic quantitative analysis of the accuracy of both algorithms is presented, as well as a thorough identification of particular geometric arrangements under which their accuracy can be compared. These results enable the identification of each technique’s weaknesses and hint towards a new, integrated, approach to the problem that linearly combines the estimates produced by each algorithm.
Resumo:
Mortality from all causes as well as from the great groups of cardiovascular diseases for the residents of the city of S.Paulo, Brazil, of the ages-group 40-69, for the years 1970 to 1983, has been analysed by means of the specific death rates. During this period a statistically significant decline was observed (28% on the average for ischemic heart diseases and 16% for cerebrovascular diseases). The death rates for the group 40-69 years old for both sexes were age-standardized and compared with those of 27 industrialized countries. The S.Paulo standardized death rates ranked almost always very high in the comparisons.
Resumo:
Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, Especialidade em Educação Artística – Teatro na Educação
Resumo:
O presente trabalho tem como objectivo o diagnóstico ambiental da empresa Lacticinios do Paiva, S.A, a avaliação da água do processo e da ETARI e o estudo da fermentação do soro de queijo com o intuito de produção de bioetanol. No diagnóstico ambiental da empresa, observou-se que 18.227.731 litros de leite usados anualmente geram 5.031 ton/ano de queijo, 7.204 ton/ano de soro de queijo, 74.201 m3/ano de efluente liquido, 14 ton/ano de plástico e 20 ton/ano de cartão. Os principais problemas com necessidade de optimização são a recuperação de água das lavagens, avaliação da produção de biogás no digestor anaeróbio, recuperação do volume de leite que é desperdiçado na produção de queijo fresco de longa duração, avaliação da eficiência energética da empresa, valorização das natas e do soro de queijo. Decidiu-se neste trabalho avaliar a possibilidade de reciclagem das águas de lavagem, avaliar o funcionamento da ETARI face à legislação existente e estudar a possibilidade de valorização do soro de queijo. Na avaliação das águas de processo das lavagens para posterior reciclagem, verifica-se que relativamente ao pH e aos sólidos suspensos não existe problema, podendo encarar-se a hipótese de reciclagem directa. No entanto, no que respeita à carga orgânica das águas de lavagem do sistema de ultrafiltração do queijo fresco de longa duração, constata-se que esta não poderia ser utilizada novamente, uma vez que apresenta valores elevados de CQO. Para a sua reutilização, será necessário remover a CQO, hipótese que se estudou com resultados positivos. Verificou-se que, um tratamento por adsorção em carvão activado precedido de microfiltração, reduz a CQO de forma significativa permitindo admitir a hipótese de reciclagem da água, nomeadamente para as 1ª e 3ª águas de lavagem. As outras águas teriam necessidade de mais tempo de contacto com o carvão activado. No sentido de avaliar o funcionamento da ETARI, foram analisadas várias correntes da mesma, em particular a do efluente final, no que respeita a parâmetros como: pH, Sólidos Suspensos Totais, Carência Química de Oxigénio, Carência Bioquímica de Oxigénio, Turvação, Nitratos, Fósforo Total, Azoto Kjeldalh, Azoto Amoniacal e Cloretos. Observou-se que os valores para o efluente final da ETARI são os seguintes: pH compreendido entre [7,21 – 8,69], SST entre [65,3 – 3110] mg/L, CQO entre [92,5 – 711,5] mg/L, CBO5 entre [58 – 161] mg/L, NO3- entre [10,8 – 106,7] mg/L, fósforo total entre [8,3 – 64,3] mg/L, turvação entre [67,7 – 733,3] FTU e cloretos entre [459,9 – 619,81] mg/L; pode-se dizer que os parâmetros analisados se encontram quase sempre dentro da gama de valores impostos pela Câmara Municipal de Lamego pelo que o efluente pode ser lançado no Colector Municipal de Cambres. Relativamente à fermentação alcoólica do soro de queijo, verifica-se que a levedura Kluyveromyces Marxianus consegue degradar praticamente todo o açúcar presente no permeado produzindo assim uma quantidade razoável de etanol. Quando se utilizou a levedura Saccharomyces Cerevisiae, a produção de etanol foi muito reduzida, como esperado, dado que esta levedura apresenta dificuldades na metabolização da lactose. Constatou-se assim que a melhor levedura para a fermentação do permeado do soro de queijo é a Kluyveromyces Marxianus, estimando-se em 150 mg a produção de etanol por L de soro.
Resumo:
Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.
Resumo:
I (Prática Pedagógica)- No que se refere à secção da tese dedicada ao estágio, esta pretende desenvolver uma síntese do que se passou ao longo deste ano lectivo. Durante o ano lectivo 2012/2013, tive a oportunidade de assistir a aulas ministradas pela professora Ana Valente. A tese procura focar variados aspectos das aulas a que assisti. De uma forma geral, o relatório do estágio evidencia vários aspectos: metodologias de ensino, questões motivacionais, relação aluno/professor, questões de disciplina, entre outras. No decorrer das aulas, foi possível constatar muitas dessas questões na prática. Tentei registar as actividades desenvolvidas nas aulas relativas a várias questões, nomeadamente questões relacionadas com a prática do instrumento, assim como outras relacionadas com a noção de musicalidade. Como resultado, esta secção apresenta diversos tipos de estratégias de ensino, ilustrando exemplos práticos que efectivamente se passaram nas aulas. É essencialmente, uma secção dedicada à reflexão sobre metodologias de ensino e estudo. A segunda parte desta secção é relativa à análise das gravações das aulas dadas por mim e pretende sobretudo focar-se na crítica pessoal. É uma parte importante do estágio, em que tenho a oportunidade de observar a minha forma pedagógica de lidar com os alunos. Por fim, a terceira parte do relatório refere-se à observação crítica da abordagem da professora tendo por base o meu ponto de vista. Esta parte pretende essencialmente descrever e analisar a forma como a professora dá as aulas. Com base no que disse anteriormente, esta parte do trabalho mostra mais em detalhe as metodologias e estratégias de ensino utilizadas pela professora em questão. De um modo geral, esta secção pretende descrever as três vertentes que mencionei anteriormente (relatório das aulas, análise das gravações, observação crítica ao método pedagógico da professora).
Resumo:
ABSTRACT OBJECTIVE To describe the length of exposure to screens and the prevalence of consumption of meals and snacks by Brazilian adolescents in front of screens. METHODS We evaluated 74,589 12 to 17-year old adolescents from 1,247 schools in 124 Brazilian municipalities. A self-administered questionnaire was used. Its segment regarding nutrition contained questions about using TV, computers, and video game systems, having meals while watching TV, and consuming snacks in front of screens. Consumption of meals and snacks in front of screens was analyzed according to the following variables: geographical region, gender, age range, type of school (public or private), and school shift. The prevalences and their respective 95% confidence intervals were estimated under a complex sampling design. RESULTS A great deal of the adolescents (73.5%, 95%CI 72.3-74.7) reported spending two or more hours a day in front of screens. That habit was more frequent among male adolescents, private school students, morning shift students, and students from Brazil’s South region. More than half of the adolescents (56.6%, 95%CI 55.4-57.8) reported almost always or always having meals in front of TV, and 39.6% (95%CI 38.8-40.5) of them said they consumed snacks in front of screens exactly as often. Both situations were the most prevalent ones among the girls, who attended public schools and were from Brazil’s Midwest region. CONCLUSIONS Length of exposure to screens and consumption of meals and snacks almost always or always in front of screens are high among Brazilian adolescents. It is necessary to develop strategies aiming to reduce the length of screen use, considering the media reality that children and adolescents have been experiencing from earlier and earlier ages. That context must therefore be analyzed in an indissociable way.
Resumo:
Mestrado em Engenharia Mecânica - Construções Mecânicas
Resumo:
Os Sistemas de Apoio à Tomada de Decisão em Grupo (SADG) surgiram com o objetivo de apoiar um conjunto de decisores no processo de tomada de decisão. Uma das abordagens mais comuns na literatura para a implementação dos SADG é a utilização de Sistemas Multi-Agente (SMA). Os SMA permitem refletir com maior transparência o contexto real, tanto na representação que cada agente faz do decisor que representa como no formato de comunicação utilizado. Com o crescimento das organizações, atualmente vive-se uma viragem no conceito de tomada de decisão. Cada vez mais, devido a questões como: o estilo de vida, os mercados globais e o tipo de tecnologias disponíveis, faz sentido falar de decisão ubíqua. Isto significa que o decisor deverá poder utilizar o sistema a partir de qualquer local, a qualquer altura e através dos mais variados tipos de dispositivos eletrónicos tais como tablets, smartphones, etc. Neste trabalho é proposto um novo modelo de argumentação, adaptado ao contexto da tomada de decisão ubíqua para ser utilizado por um SMA na resolução de problemas multi-critério. É assumido que cada agente poderá utilizar um estilo de comportamento que afeta o modo como esse agente interage com outros agentes em situações de conflito. Sendo assim, pretende-se estudar o impacto da utilização de estilos de comportamento ao longo do processo da tomada de decisão e perceber se os agentes modelados com estilos de comportamento conseguem atingir o consenso mais facilmente quando comparados com agentes que não apresentam nenhum estilo de comportamento. Pretende-se ainda estudar se o número de argumentos trocados entre os agentes é proporcional ao nível de consenso final após o processo de tomada de decisão. De forma a poder estudar as hipóteses de investigação desenvolveu-se um protótipo de um SADG, utilizando um SMA. Desenvolveu-se ainda uma framework de argumentação que foi adaptada ao protótipo desenvolvido. Os resultados obtidos permitiram validar as hipóteses definidas neste trabalho tendo-se concluído que os agentes modelados com estilos de comportamento conseguem na maioria das vezes atingir um consenso mais facilmente comparado com agentes que não apresentam nenhum estilo de comportamento e que o número de argumentos trocados entre os agentes durante o processo de tomada de decisão não é proporcional ao nível de consenso final.
Resumo:
Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina