919 resultados para query reformulation, search pattern, search strategy
Resumo:
Bounding the tree-width of a Bayesian network can reduce the chance of overfitting, and allows exact inference to be performed efficiently. Several existing algorithms tackle the problem of learning bounded tree-width Bayesian networks by learning from k-trees as super-structures, but they do not scale to large domains and/or large tree-width. We propose a guided search algorithm to find k-trees with maximum Informative scores, which is a measure of quality for the k-tree in yielding good Bayesian networks. The algorithm achieves close to optimal performance compared to exact solutions in small domains, and can discover better networks than existing approximate methods can in large domains. It also provides an optimal elimination order of variables that guarantees small complexity for later runs of exact inference. Comparisons with well-known approaches in terms of learning and inference accuracy illustrate its capabilities.
Resumo:
A estirpe Bacillus licheniformis I89 possui a capacidade de produzir alguns compostos com actividade antibacteriana. No presente estudo, a separação desses compostos foi realizada através da aplicação de vários procedimentos, incluindo extracção em fase sólida e cromatografia liquida de alta pressão. Dois destes compostos bioactivos constituem o lantibiótico de classe II lichenicidina e são caracterizados pela massas molecular de 3250 Da (Bliα) e 3020 Da (Bliβ). O cluster responsável pela biossíntese da lichenicidina foi heterologamente expresso em Escherichia coli, constituindo a primeira descrição da produção de um lantibiótico totalmente in vivo num hospedeiro Gram-negativo. Este sistema foi subsequentemente explorado com o objectivo de relacionar cada proteína codificada no cluster genético da lichenicidina na produção dos péptidos Bliα e Bliβ. O desenvolvimento do sistema de trans complementação possibilitou a produção de variantes destes péptidos. A análise das massas moleculares destas variantes assim como a análise dos padrões de fragmentação obtidos por MS/MS permitiu a revisão de algumas das características estruturais previamente proposta para Bliα e Bliβ. A análise dos genes hipoteticamente envolvidos na protecção da estirpe produtora contra a acção antibiótica da lichenicidina revelou, que em E. coli, a sua ausência não resulta no aumento da susceptibilidade a este composto. Verificou-se também que a presença destes genes não é essencial para a produção de lichenicidina em E. coli. Foi também confirmado experimentalmente que a membrana externa da E. coli constitui uma barreira natural para a entrada dos péptidos na célula. De facto, uma das características intrigantes da produção de lichenicidina por uma bactéria de Gram negativo reside no mecanismo de transporte dos dois péptidos através da membrana externa. Neste estudo foi demonstrado que na ausência da proteína de membrana TolC, a massa molecular de Bliα e Bliβ não foi identificada no sobrenadante de E. coli, demonstrando assim que a sua presença no ambiente extra-celular não se devia a um processo de lise bacteriana. Foi ainda avaliada a capacidade da maquinaria biossintética da lichenicidina para produzir o lantibiótico haloduracina, através do processamento de chimeras lichenicidina-haloduracina, contudo, os resultados foram negativos. Verificou-se ainda que em determinadas condições de incubação, a diferenciação da morfologia original da estirpe B. licheniformis I89 pode ocorrer. Esta dissociação implicou a transição da colónia parental e rugosa para uma colónia de aparência mais simples e suave. Desta forma, as diferenças das duas morfologias em termos de taxa de crescimento, esporulação e actividade antibiótica foram investigadas. Considerando especificamente Bliα e Bliβ verificou-se que a abundância destes péptidos nas culturas do fenótipo fino é geralmente inferior aquela identificada nas culturas do fenótipo parental. Por último, a diversidade de elementos genéticos constituintes de péptido sintetases não ribossomais (NRPS) foi investigada em lagoas no centro de Portugal e em solos provenientes de caves do sul de Portugal, revelando a presença de potenciais novas NRPS nestes ambientes.
Resumo:
A futura e inevitável escassez dos recursos fósseis, juntamente com o aumento imprevisível dos seus preços, levou, nas últimas décadas, a um aumento impressionante de iniciativas dedicadas não só à procura de fontes alternativas de fornecedores de energia, mas também de produtos químicos e polímeros a partir de fontes renováveis, em particular da biomassa vegetal. Entre estes, os polímeros derivados de monómeros furânicos constituem uma classe única de materiais cujas estruturas podem, em princípio, simular virtualmente os seus homólogos actualmente derivados de recursos fósseis. O anel furânico é uma estrutura heterocíclica com um carácter diénico pronunciado, o que torna-o um dieno particularmente apropriado para a reacção de Diels-Alder (DA) com dienófilos como a maleimida. Um dos aspectos mais relevantes da reacção de DA é a sua reversibilidade em função da temperatura, a qual permite que os aductos sejam facilmente revertidos nos seus precursores por aumento da temperatura (reacção de retro-DA). No caso específico da combinação furano-maleimida, a formação do aducto predomina até cerca de 60ºC, enquanto a reacção inversa é dominante acima de 100ºC. A combinação desta característica da reacção de DA com a química de compostos furânicos pode abrir um novo caminho para a preparação de materiais macromoleculares funcionais com base em fontes renováveis e com aplicações promissoras como auto-reparação e reciclabilidade. O principal objectivo desta Tese, é a síntese e caracterização de novos materiais poliméricos termo-reversíveis, aplicando a reacção de DA a monómeros complementares com estruturas dos tipos furânico (o dieno, designado por A) e de maleimida (o dienófilo, designado por B). A primeira etapa neste trabalho envolveu a síntese, purificação e caracterização de novos monómeros furânicos e de maleimida do tipo AA, A3, BB, B3, AB, AB2, cada um com diferentes grupos separadores das funções reactivas. Posteriormente, estes monómeros foram polimerizados e despolimerizados por ciclos de DA/retro-DA utilizando diferentes combinações. A formação e dissociação de todos os aductos de DA foram seguidas por ambas espectroscopias de UV e RMN de 1H. O primeiro sistema de DA estudado foi uma combinação modelo entre reagentes mono-funcionais (-A+-B), nomeadamente o acetato furfurílico (FA) e a N-metilmaleimida (MM), ambos comercialmente disponíveis. O objectivo desta abordagem foi estudar a cinética e o equilíbrio da formação/dissociação dos aductos de DA e obter indicações sobre as condições mais adequadas a serem usadas na preparação dos correspondentes novos materiais macromoleculares. Além disso, pretendia-se verificar a presença ou ausência de reacções secundárias que poderiam intervir em ambas as vias directa e inversa das reacções, mesmo após vários ciclos. A espectroscopia de UV forneceu informação quantitativa sobre a cinética de formação do aducto através da diminuição progressiva da absorvência máxima a 293 nm correspondente ao grupo maleimida, a diferentes temperaturas (35, 50, 65 ºC) Reciprocamente, a correspondente reacção de retro-DA foi seguida a 90 ºC através do aumento do mesmo pico. A reversibilidade destes sistemas foi verificada com sucesso após uma sequência de ciclos de DA/retro-DA. Adicionalmente, verificou-se que os espectros originaram um ponto isosbéstico, provando que estes sistemas não envolvem quaisquer reacções secundárias. Uma vez que foi usado um excesso de FA, as reacções de DA modelo apresentaram um comportamento cinético de pseudo-primeira ordem, com a constante de velocidade k mais alta (2.1x10-5 dm3mol-1s-1) para T=65 ºC. A correspondente energia de activação foi de 39.0 kJ.mol-1. A reacção de retro-DA seguiu um comportamento de primeira ordem, com constante de velocidade de 1.6x10-6 s-1. A evolução deste sistema por RMN de 1H a 65ºC deu-nos informações mais detalhadas sobre a sua evolução estrutural, ou seja, à medida que a intensidade dos picos atribuídos à formação do aducto aumentaram progressivamente ao longo do tempo, os pertencentes aos reagentes iniciais diminuiram proporcionalmente. O “rendimento final”, calculado após 20 dias à temperatura ambiente, foi de aproximadamente 70%. A reacção de retro-DA foi depois seguida a 90ºC, observando-se tal como na espectroscopia de UV, o deslocamento da reacção no sentido da regeneração dos reagentes de partida. A viabilidade de múltiplos ciclos de DA/retro-DA estabelecidos pela espectroscopia de UV foi igualmente confirmada por RMN de 1H. O passo seguinte envolveu o estudo de um sistema de policondensação linear baseado no crescimento gradual por reacção de DA entre um monómero bisfurânico A-A e um do tipo bismaleimida B-B, seguindo a mesma abordagem que no sistema modelo. O poliaducto linear foi obtido a partir de soluções equimolares dos monómeros, por reacção de DA a 65ºC. O progresso desta polimerização foi seguido por espectroscopia de UV e RMN de 1H e, mais qualitativamente, pelo aumento da viscosidade do meio. A reacção seguiu um comportamento de segunda ordem, com uma constante de velocidade de 9.4x10-6 dm3mol-1s-1, e observou-se novamente um ponto isosbéstico nos dados de UV. Os espectros de RMN apresentaram o padrão esperado, nomeadamente o aumento progressivo dos sinais associados ao aducto e a correspondente diminuição dos grupos furano e maleimida livres. A despolimerização do poliaducto através da reacção de retro-DA foi seguida a 110ºC usando as mesmas técnicas. Os dados de UV mostraram o retorno progressivo da absorção dos grupos de maleimida, seguindo um comportamento cinético de primeira ordem, com constante de velocidade de 2.5x10-6 s-1, até à completa regeneração de ambos os monómeros. Os espectros de RMN providenciaram mais uma vez informação estrutural sobre o progresso da despolimerização, a qual foi acompanhada por uma diminuição progressiva da viscosidade. Adicionalmente, para seguir a retro- DA, adicionou-se um excesso de composto furânico monofuncional, nomeadamente o 2,5-dimetilfurano (DMFu), ao sistema de modo a bloquear as funções maleimida complementares, evitando assim a repolimerização após arrefecimento. Os productos isolados foram então o monómero bisfurânico AA, DMFu que não reagiu e o bisaducto não-polimerizável de BB com DMFu. Este resultado indicou claramente que o polímero foi de facto revertido nos seus monómeros durante a reacção de retro-DA. O terceiro sistema estudado foi outra polimerização linear, seguindo as mesmas condições experimentais que os anteriores, mas com uma estratégia diferente de modo a contornar o problema clássico de assegurar a estequiometria exacta dos monómeros. As estruturas dos monómeros utilizados incorporam ambos os grupos reactivos, i.e, moléculas do tipo A-B. A polimerização prematura destes monómeros intrinsecamente reactivos foi evitada com a protecção do grupo maleimida na forma de um aducto de DA com furano, até a incorporação do substituinte furânico na outra extremidade. Portanto, a policondensação destes monómeros foi iniciada após a desprotecção in situ deste composto mediante aquecimento, seguido de arrefecimento até à temperatura adequada para polimerizar. Os resultados obtidos por UV e RMN sugerem que de facto o uso de monómeros do tipo A-B oferece um melhor sistema linear. Em seguida, foram estudados sistemas de policondensação não-linear por reacção de DA, entre monómeros (um ou ambos) com funcionalidade superior a dois, nomeadamente sistemas do tipo A3+B-B ou A-A+B3, seguindo mais uma vez as mesmas condições experimentais. Uma vez que utilizam monómeros complementares contendo, em média, mais de duas funcionalidades, estes sistemas conduzem a materiais reticulados. Nestes estudos, foram usadas três razões molares de [maleimida]/[furano], nomeadamente 1.0, 0.75 e 0.5, de modo a estudar ambas as situações de não-gelificação e reticulação. Ambos sistemas apresentaram um comportamento regular e boa reciclabilidade quer para gerar situações que possam conduzir à formação de redes a diferentes graus de conversão, ou que possam parar antes da sua obtenção, conforme previsto pela equação de Flory-Stockmayer. Como esperado, a utilização de grupos complementares em quantidades estequiométricas produziu o espessamento mais rápido e a reticulação quase completa; à medida que a quantidade relativa de monómero trifuncional decresceu, as reacções pararam antes da reticulação, ou seja, originaram meios altamente viscosos contendo polímeros solúveis altamente ramificados. As reacções de retro-DA a 110 ºC conduziram à gradual dissolução das partículas de gel (quando presentes), tendo sido comprovado pelos espectros de UV e de RMN de 1H, evidenciado a regeneração dos monómeros. Tal como no sistema do tipo A-A+B-B, a reacção de retro-DA foi seguida adicionando um excesso de DMFu ao sistema reaccional. Como esperado, os produtos finais foram os monómeros furânicos, o DMFu em excesso e o trisaducto ou o bisaducto maleimida-DMFu, o que confirma a eficiência da despolimerização com regeneração dos monómeros iniciais. O último sistema de policondensação por reacção de DA envolveu um monómero assimetricamente substituído do tipo AB2, capaz de originar estruturas macromoleculares hiper-ramificadas que não reticulam. Este estudo preliminar deste sistema foi seguido nas mesmas condições experimentais que os anteriores, apresentando um comportamento com as características esperadas.
Resumo:
A crescente dinamização de blogues no contexto escolar português, resultante das mais-valias e dos respetivos incentivos à utilização de ferramentas tecnológicas da Web 2.0, assumiu uma prática frequente a partir dos inícios do século XXI. Uma rápida pesquisa na Internet permite-nos verificar um número considerável de blogues usados na lecionação do Português, bem como uma diversidade no que diz respeito a propósitos e finalidades de utilização. Com a nossa investigação pretendemos estudar de que forma se processa o ensino-aprendizagem da Língua Portuguesa/Português em alunos do 3.º Ciclo do Ensino Básico (CEB), através do recurso a esta ferramenta, colocando o foco de análise no domínio da escrita. Procuramos percecionar as motivações e as dinâmicas privilegiadas e recorrentes na utilização pedagógica dos blogues no âmbito do ensino-aprendizagem da escrita a alunos do 3.º CEB. O nosso percurso de investigação foi delineado de acordo com duas fases de atuação. Numa primeira, fizemos um levantamento de “blogues estratégia” associados à prática docente da disciplina de Português no 3.º CEB, optando, nesta etapa, por uma análise quantitativa. A pesquisa e o contacto mais aprofundado que fomos fazendo conduziram-nos à definição de critérios de seleção e à construção e reformulação de uma grelha de identificação e caracterização geral dos blogues, que nos orientou nesta recolha. Elaborámos e aplicámos também um questionário a professores dinamizadores de blogues no âmbito do nosso trabalho que permitiu o alargamento do nosso corpus documental, bem como definir outros elementos para posterior análise. Tendo em conta a diversidade de objetivos e finalidades, muitas vezes referidos nos próprios blogues, optámos por definir três categorias, de forma a favorecer a recolha e a amostra no âmbito no nosso trabalho, designadamente “Blogue Cartolina", “Blogue Turma” e “Blogue Projeto”. Numa segunda fase, e depois da seleção dos posts no âmbito do ensinoaprendizagem da escrita que fazem parte da nossa base documental, partimos para uma análise mais aprofundada do conteúdo publicado. Para tal, elaborámos uma segunda grelha com indicadores para recolha de dados, tendo definido quatro práticas de escrita (Divulgação, Solicitação, Reformulação e Partilha), e uma terceira grelha, com tipos de interação, para uma análise da participação através de comentários que se desencadeia a partir das publicações. No fundo, o nosso propósito consistiu em aferir a organização e as dinâmicas de funcionamento dos “blogues estratégia” ligados ao ensino-aprendizagem da escrita do 3.º Ciclo do Ensino Básico e, neste sentido, percecionarmos de que forma estas funcionalidades tecnológicas poderão contribuir para o desenvolvimento da escrita junto dos alunos.
Resumo:
This thesis describes the design and implementation of a reliable centimeter-level indoor positioning system fully compatible with a conventional smartphone. The proposed system takes advantage of the smartphone audio I/O and processing capabilities to perform acoustic ranging in the audio band using non-invasive audio signals and it has been developed having in mind applications that require high accuracy, such as augmented reality, virtual reality, gaming and audio guides. The system works in a distributed operation mode, i.e. each smartphone is able to obtain its own position using only acoustic signals. To support the positioning system, a Wireless Sensor Network (WSN) of synchronized acoustic beacons is used. To keep the infrastructure in sync we have developed an Automatic Time Synchronization and Syntonization (ATSS) protocol with a standard deviation of the sync offset error below 1.25 μs. Using an improved Time Difference of Arrival (TDoA) estimation approach (which takes advantage of the beacon signals’ periodicity) and by performing Non-Line-of-Sight (NLoS) mitigation, we were able to obtain very stable and accurate position estimates with an absolute mean error of less than 10 cm in 95% of the cases and a mean standard deviation of 2.2 cm for a position refresh period of 350 ms.
Digital Debris of Internet Art: An Allegorical and Entropic Resistance to the Epistemology of Search
Resumo:
This Ph.D., by thesis, proposes a speculative lens to read Internet Art via the concept of digital debris. In order to do so, the research explores the idea of digital debris in Internet Art from 1993 to 2011 in a series of nine case studies. Here, digital debris are understood as words typed in search engines and which then disappear; bits of obsolete codes which are lingering on the Internet, abandoned website, broken links or pieces of ephemeral information circulating on the Internet and which are used as a material by practitioners. In this context, the thesis asks what are digital debris? The thesis argues that the digital debris of Internet Art represent an allegorical and entropic resistance to the what Art Historian David Joselit calls the Epistemology of Search. The ambition of the research is to develop a language in-between the agency of the artist and the autonomy of the algorithm, as a way of introducing Internet Art to a pluridisciplinary audience, hence the presence of the comparative studies unfolding throughout the thesis, between Internet Art and pionners in the recycling of waste in art, the use of instructions as a medium and the programming of poetry. While many anthropological and ethnographical studies are concerned with the material object of the computer as debris once it becomes obsolete, very few studies have analysed waste as discarded data. The research shifts the focus from an industrial production of digital debris (such as pieces of hardware) to obsolete pieces of information in art practice. The research demonstrates that illustrations of such considerations can be found, for instance, in Cory Arcangel’s work Data Diaries (2001) where QuickTime files are stolen, disassembled, and then re-used in new displays. The thesis also looks at Jodi’s approach in Jodi.org (1993) and Asdfg (1998), where websites and hyperlinks are detourned, deconstructed, and presented in abstract collages that reveals the architecture of the Internet. The research starts in a typological manner and classifies the pieces of Internet Art according to the structure at play in the work. Indeed if some online works dealing with discarded documents offer a self-contained and closed system, others nurture the idea of openness and unpredictability. The thesis foregrounds the ideas generated through the artworks and interprets how those latter are visually constructed and displayed. Not only does the research questions the status of digital debris once they are incorporated into art practice but it also examine the method according to which they are retrieved, manipulated and displayed to submit that digital debris of Internet Art are the result of both semantic and automated processes, rendering them both an object of discourse and a technical reality. Finally, in order to frame the serendipity and process-based nature of the digital debris, the Ph.D. concludes that digital debris are entropic . In other words that they are items of language to-be, paradoxically locked in a constant state of realisation.
Optimised search heuristics: combining metaheuristics and exact methods to solve scheduling problems
Resumo:
Tese dout., Matemática, Investigação Operacional, Universidade do Algarve, 2009
Resumo:
This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.
Resumo:
In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.
Resumo:
This paper gives an account of the disappearance of Malaysian Airways Flight MH370 into the southern Indian Ocean in March 2014 and analyses the rare glimpses into remote ocean space this incident opened up. It follows the tenuous clues as to where the aeroplane might have come to rest after it disappeared from radar screens – seven satellite pings, hundreds of pieces of floating debris and six underwater sonic recordings – as ways of entering into and thinking about ocean space. The paper pays attention to and analyses this space on three registers – first, as a fluid, more-than-human materiality with particular properties and agencies; second, as a synthetic situation, a composite of informational bits and pieces scopically articulated and augmented; and third, as geopolitics, delineated by the protocols of international search and rescue. On all three registers – as matter, as data and as law – the ocean is shown to be ontologically fluid, a world defined by movement, flow and flux, posing intractable difficulties for human interactions with it.
Resumo:
To maintain a power system within operation limits, a level ahead planning it is necessary to apply competitive techniques to solve the optimal power flow (OPF). OPF is a non-linear and a large combinatorial problem. The Ant Colony Search (ACS) optimization algorithm is inspired by the organized natural movement of real ants and has been successfully applied to different large combinatorial optimization problems. This paper presents an implementation of Ant Colony optimization to solve the OPF in an economic dispatch context. The proposed methodology has been developed to be used for maintenance and repairing planning with 48 to 24 hours antecipation. The main advantage of this method is its low execution time that allows the use of OPF when a large set of scenarios has to be analyzed. The paper includes a case study using the IEEE 30 bus network. The results are compared with other well-known methodologies presented in the literature.
Resumo:
This paper aims at analysing the writing of the Portuguese author António Lobo Antunes, considered one of the major writers in European Literature with 26 books published, by focusing on the strategies deployed in his texts of creating micro-narratives within the main frame, and conveying the elements of individual and collective memory, past and present, the self and the others, using various voices and silences. Lobo Antunes incorporates in his writing his background as a psychiatrist at a Mental Hospital in Lisbon, until 1985 (when he decided to commit exclusively to writing), his experience as a doctor in the Portuguese Colonial War battlefield, but also the daily routines of the pre and post 25th of April 1974 (Portuguese Revolution) with subtle and ironic details of the life of the middle and upper class of Lisbon‘s society: from the traumas of the war to the simple story of the janitor, or the couple who struggles to keep their marriage functional, everything serves as material to develop and interweave a complex plot, that a lot of readers find too enwrapped and difficult to follow through. Some excerpts taken from his first three novels and books of Chronicles and his later novel – Ontem não te Vi em Babilónia (2006) – will be put forward to exemplify the complexity of the writing and the main difficulties of the reader, lost in a multitude of narrators‘ voices. Recently, Lobo Antunes has commented on his work stating: What I write can be read in the darkness. This paper aims at throwing some light by unfolding some of the strategies employed to defy new borders in the process of reading.
Resumo:
Screening of topologies developed by hierarchical heuristic procedures can be carried out by comparing their optimal performance. In this work we will be exploiting mono-objective process optimization using two algorithms, simulated annealing and tabu search, and four different objective functions: two of the net present value type, one of them including environmental costs and two of the global potential impact type. The hydrodealkylation of toluene to produce benzene was used as case study, considering five topologies with different complexities mainly obtained by including or not liquid recycling and heat integration. The performance of the algorithms together with the objective functions was observed, analyzed and discussed from various perspectives: average deviation of results for each algorithm, capacity for producing high purity product, screening of topologies, objective functions robustness in screening of topologies, trade-offs between economic and environmental type objective functions and variability of optimum solutions.
Resumo:
Solving systems of nonlinear equations is a very important task since the problems emerge mostly through the mathematical modelling of real problems that arise naturally in many branches of engineering and in the physical sciences. The problem can be naturally reformulated as a global optimization problem. In this paper, we show that a self-adaptive combination of a metaheuristic with a classical local search method is able to converge to some difficult problems that are not solved by Newton-type methods.