Programming internet based DAI applications in Qu-Prolog

This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Multi-threading and message communication in Qu-Prolog

This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high level inter-thread message communications provide simple, powerful support for implementing internet distributed intelligent applications.

Using clusters of computers for large QU-GENE simulation experiments

The QU-GENE Computing Cluster (QCC) is a hardware and software solution to the automation and speedup of large QU-GENE (QUantitative GENEtics) simulation experiments that are designed to examine the properties of genetic models, particularly those that involve factorial combinations of treatment levels. QCC automates the management of the distribution of components of the simulation experiments among the networked single-processor computers to achieve the speedup.

Seletividade de inseticidas, recomendados para cucurbitáceas para Trichogramma atopovirilia Oatman & Platner (Hymenoptera: Trichogrammatidae) em condições de laboratório

As brocas-das-cucurbitáceas Diaphania spp. são as principais pragas das cucurbitáceas, podendo ocasionar perdas de até 100% na produção. A fim de reduzir o uso de inseticidas, o controle biológico, aplicado com parasitoides do gênero Trichogramma, tem-se destacado. Objetivou-se avaliar a seletividade dos ingredientes ativos abamectina, tiacloprido e clorfenapir, para Trichogramma atopovirilia Oatman & Platner (Hymenoptera: Trichogrammatidae). Para isso, 20 fêmeas recém-emergidas de T. atopovirilla foram individualizadas, em tubos de vidro (2,5 cm de diâmetro x 8,5 cm de comprimento), e oferecidas cartelas com 30 ovos de Diaphania hyalinata (Linnaeus) (Lepidoptera: Pyralidae), previamente imersas por cinco segundos em calda química. Os ingredientes ativos abamectina, tiacloprido e clorfenapir não afetaram o parasitismo de T. atopovirilia. Clorfenapir reduziu a emergência. Abamectina e tiacloprido são os mais recomendados no manejo integrado de pragas, pois foram os que se mostraram mais seletivos a T. atopovirilia em ovos de D. hyalinata.

Controle da ferrugem e da broca-dos-ramos da figueira com diferentes fungicidas e inseticidas

Temperaturas e precipitações elevadas favorecem a incidência da ferrugem (Cerotelium fici(Cast.)) e da broca-dos-ramos (Azochis gripusalis (Walker, 1859) (Lepidoptera: Pyralidae)), limitando a produção comercial de figos. O objetivo deste trabalho foi comparar a eficiência de fungicidas e inseticidas alternativos em relação à de produtos convencionais registrados para a cultura. Foram realizados dois experimentos, no delineamento de blocos inteiramente casualizados, com quatro repetições, no setor de fruticultura da Universidade Tecnológica Federal do Paraná, Campus Dois Vizinhos. Para controle da ferrugem, foram utilizados, em 100 L de água, azoxistrobin (10 g), calda bordalesa (1.500 g de cal virgem + 1.500 g de sulfato de cobre) e testemunha (água). No controle da broca-dos-ramos utilizaram-se, em 100 L de água, azadiractina (1.000 mL P.C.), alho (Allium sativum L.) (100 mL P.C.), cinza (20.000 g), extrato de fumo (nicotina) (10.000 mL do preparado), deltametrina (50 mL P.C.), Bacillus thuringiensis Berliner (100 g P.C.), rotenona (1.000 mL P.C.), sabão de coco (1.000 g) e testemunha (água). A calda bordalesa foi o tratamento mais efetivo no controle da ferrugem, promovendo aumento da produtividade e da qualidade dos frutos. A deltametrina promoveu o melhor controle da broca-dos-ramos da figueira. Entre os produtos alternativos testados, o alho foi o mais efetivo no controle dessa praga.

Efeito da acidificação nas propriedades físico-químicas e funcionais do amido de sementes de manga (Mangifera indica L.), variedade Tommy Atkins

No processamento industrial da manga, os subprodutos, caroço e casca são, normalmente, descartados sem o devido aproveitamento. O objetivo deste trabalho foi investigar as características físico-químicas e funcionais dos amidos nativo e acidificado do caroço (amêndoa) de manga, da variedade Tommy Atkins, pesquisando uma nova fonte de amido e formas de melhorá-la e contribuir para a utilização de resíduos da indústria alimentícia. As amêndoas foram retiradas manualmente dos caroços de manga e procedeu-se a extração do amido. O amido nativo foi acidificado, sendo o agente promotor da modificação o ácido clorídrico. Verificou-se a composição química do amido nativo. Determinaram-se também as propriedades funcionais e de pasta do amido nativo e do acidificado. Para a composição centesimal, o amido nativo apresentou 71,56% de amido, 7,30% de lipídeos e 5,6% de proteínas. Os amidos nativo e acidificado demonstraram baixa resistência à elevação da temperatura, com intumescimento máximo a 75 oC, sendo seus valores 9,395 e 6,861 g/g, respectivamente. A solubilidade mostrou-se crescente, à medida que houve elevação da temperatura, sendo seu valor máximo 48,03% para o amido acidificado. O amido nativo expôs maior capacidade de absorção de água, óleo e claridade da pasta. O referido amido ainda apresentou maior pico de viscosidade, viscosidade mínima, quebra de viscosidade, viscosidade final, retrogradação e temperatura de pasta do que os do amido acidificado. O amido nativo pode ser indicado para compor sopas desidratadas e produtos cárneos, enquanto o acidificado pode ser usado em alimentos congelados e refrigerados e na indústria de balas.

Ensaios de inseticidas sistêmicos para animais, usando cães e triatomíneos

Foram incluídos em rações comerciais, e dados a cães, os seguintes inseticidas: Phoxim, Chlorphoxim, Themephos (Abate), Decametrina, Lindano e DDT. A ação inseticida, no sangue, foi testada com ninfas e adultos de Triatoma infestans. Foram obtidos bons resultados com o Phoxim e o Themephos. O Chlorphoxim e o Lindano, nas doses eficientes, mostraram-se pouco palatáveis e a Decametrina e o DDT, nas concentrações aceitas pelos cães, não tiveram ação letal sobre os insetos.

Medir o cérebro, para quê?

Várias são as “janelas” da Ressonância Magnética (RM) que hoje têm aplicação na clínica. Servem para fundamentar o diagnóstico (p.e., da encefalopatia microvascular do idoso), o prognóstico (p.e., do declínio cognitivo), a terapêutica (p.e., da desmielinização primária). Com elas também poderemos aceder ao estudo fiável da substância branca aparentemente normal (T2 convencional), o que será importante para prever a evolução. Havendo, agora, uma outra contrastização quantificável – sem T1 nem T2 –, a designação genérica dos métodos será RMq. Duas são as nossas interrogações durante a execução e interpretação da RMq. A primeira, de índole executiva, questiona o enquadramento clínico destes estudos estruturais? De modo isolado ou partilhado? Opinamos que as duas “janelas” da RMq serão complementares e, por isso, de comum aplicação por rotina – transferência da magnetização (TM) e difusão protónica (D/ADC). Por que as consideramos complementares entre si? Porque cada uma, a seu modo, ou seja, pela interacção da água ligada às macromoléculas, na TM, e pelo movimento molecular activo, na D/ADC, é propícia à medição da estrutura e da neurobiologia. Para ambas, o substrato será a célula com a membrana de mielina e a água, que lhe estar estará associada. Então, a RMq será uma sonda in vivo para a função. A interrogação interpretativa prende-se com a analogia entre a estrutura, que pretendemos ler, e a neurobiologia, que supomos deduzir. Tal resposta tem uma praxis muito estrita, porque a RMq estuda o cérebro vivo e contido no crânio. O conhecimento terá o seu episteme não só na Clínica, que o lidera, mas também na Imagiologia, que connosco recriará os protocolos de investigação.

Avaliação da sensibilidade de adultos de Culex quinquefasciatus Say a inseticidas químicos de contato

A sensibilidade de adultos do pernilongo doméstico Culex quinquefasciatus a 5 inseticidas químicos foi avaliada sob condições de laboratório pelo critério de Tempo Letal Mediano (TL50). Foram utilizados o organofosforado Malathion e quatro piretróides: Bifenthrin, Deltamethrin, Esfenvalerate e Alfamethrin. Foi sugerida uma técnica simples e eficiente para se avaliar adultos de um dia de idade incluindo 5 repetições para cada tratamento. Os resultados obtidos mostraram ser o método bastante adequado para avaliações rotineiras. Não ocorreu resistência a esses 5 princípios ativos, na população natural de Culex quinquefasciatus estudada.

Resistência a inseticidas organofosforados e carbamatos em população de Culex quinquefasciatus

Relata-se a ocorrência, na população de Culex quinquefasciatus, de resistência a pelo menos dois organofosforados e a um carbamato (malathion, fenitrothion e propoxur, respectivamente), mostrando a necessidade de haver programa de manejo de inseticidas. A suscetibilidade dessa população ao piretróide permetrina indica essa classe como de escolha numa eventual necessidade de substituição dos organofosforados.

Alteração de resposta de suscetibilidade de Aedes aegypti a inseticidas organofosforados em municípios do Estado de São Paulo, Brasil

Foi detectada, por meio de bioensaios, alteração dos níveis de suscetibilidade do Aedes aegypti a organofosforados em municípios do Estado de São Paulo

Susceptibilidade larval de duas populações de Aedes egypti a inseticidas químicos

OBJETIVO: A susceptibilidade dos insetos tem sido um dos mais importantes aspectos a ser monitorados em programas de saúde pública que tratam do controle de vetores. O estudo objetiva avaliar a susceptibilidade de larvas de Aedes aegypti a inseticidas químicos em áreas sujeitas ou não a controle. MÉTODOS: Bioensaios foram realizados com concentração de diagnóstico e concentração múltipla, segundo padrão da Organização Mundial de Saúde para as coletas de larvas de Aedes aegypti, em uma área não sujeita -- Campinas, SP -- e em uma outra área sujeita -- Campo Grande, MS -- a tratamentos químicos de controle. RESULTADOS: Larvas de Aedes aegypti coletadas em Campinas indicaram resistência potencial à concentração-diagnóstico (CD) de 0,04 ppm do organofosforado temephos. O teste de concentração múltipla registrou sobrevivência de 24,5% à concentração de 0,0125 ppm. A susceptibilidade dessa mesma linhagem foi avaliada para o organofosforado fenitrothion (CD=0,08 ppm) e o piretróide cipermetrina (CD=0,01 ppm), resultando em valores normais para essas concentrações. Larvas de Ae. aegypti coletadas em Campo Grande mostraram susceptibilidade normal ao temephos (CD=0,04 ppm) e à cipermetrina (CD=0,01 ppm). Também foram estabelecidas as CL50 e as CL95 de cipermetrina 25 CE, cyfluthrin 5 CE, betacyfluthrin 1,25 SC e propoxur 20 CE para Ae. aegypti. Com base nos dados da linhagem-padrão Rockefeller, foram estimadas as razões de resistência de 2,9, 2,2, 2,4 e 1,3, respectivamente, pela CL50, e de 3,5, 2,6, 3,9 e 1,3 pela CL95. CONCLUSÃO: Os resultados reforçam a necessidade de avaliações prévias e monitoramento da efetividade dos inseticidas que devem ser usados em programas de controle de mosquitos.