Generating synchronizable test sequences based on finite-statemachine with distributed ports

In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several types of such interfaces have been standardized by the International Standardization Organization (ISO). A general distributed test architecture, containing distributed interfaces, has been presented in the literature for testing distributed systems based on the Open Distributing Processing (ODP) Basic Reference Model (BRM), which is a generalized version of ISO distributed test architecture. We study in this paper the issue of test selection with respect to such an test architecture. In particular, we consider communication systems that can be modeled by finite state machines with several distributed interfaces, called ports. A test generation method is developed for generating test sequences for such finite state machines, which is based on the idea of synchronizable test sequences. Starting from the initial effort by Sarikaya, a certain amount of work has been done for generating test sequences for finite state machines with respect to the ISO distributed test architecture, all based on the idea of modifying existing test generation methods to generate synchronizable test sequences. However, none studies the fault coverage provided by their methods. We investigate the issue of fault coverage and point out a fact that the methods given in the literature for the distributed test architecture cannot ensure the same fault coverage as the corresponding original testing methods. We also study the limitation of fault detectability in the distributed test architecture.

Stretch effects extracted from inwardly and outwardly propagating spherical premixed flames

Unsteady propagation of spherical flames, both inward and outward, are studied numerically extensively for single-step reaction and for different Lewis numbers of fuel/oxidizer. The dependence of flame speed ratio (s) and flame temperature ratio are obtained for a range of Lewis numbers and stretch (kappa) values. These results of s versus kappa show that the asymptotic theory by Frankel and Sivashinsky is reasonable for outward propagation. Other theories are unsatisfactory both quantitatively and qualitatively. The stretch effects are much higher for negative stretch than for positive stretch, as also seen in the theory of Frankel and Sivashinsky. The linearity of the flame speed ratio vs stretch relationship is restricted to nondimensional stretch of +/-0.1. It is shown further that the results from cylindrical flames are identical to the spherical flame on flame speed ratio versus nondimensional stretch plot thus confirming the generality of the concept of stretch. The comparison of the variation of (ds/dkappa)kappa=0 with beta(Lc - 1) show an offset between the computed and the asymptotic results of Matalon and Matkowsky. The departure of negative stretch results from this variation is significant. Several earlier experimental results are analysed and set out in the form of s versus kappa plot. Comparison of the results with experiments seem reasonable for negative stretch. The results for positive stretch are satisfactory qualitatively for a few cases. For rich propane-air, there are qualitative differences pointing to the need for full chemistry calculations in the extraction of stretch effects.

Biochemical Properties of MutT2 Proteins from Mycobacterium tuberculosis and M. smegmatis and Their Contrasting Antimutator Roles in Escherichia coli

Mycobacterium tuberculosis, the causative agent of tuberculosis, is at increased risk of accumulating damaged guanine nucleotides such as 8-oxo-dGTP and 8-oxo-GTP because of its residency in the oxidative environment of the host macrophages. By hydrolyzing the oxidized guanine nucleotides before their incorporation into nucleic acids, MutT proteins play a critical role in allowing organisms to avoid their deleterious effects. Mycobacteria possess several MutT proteins. Here, we purified recombinant M. tuberculosis MutT2 (MtuMutT2) and M. smegmatis MutT2 (MsmMutT2) proteins from M. tuberculosis (a slow grower) and M. smegmatis (fast growing model mycobacteria), respectively, for their biochemical characterization. Distinct from the Escherichia coli MutT, which hydrolyzes 8-oxo-dGTP and 8-oxo-GTP, the mycobacterial proteins hydrolyze not only 8-oxo-dGTP and 8-oxo-GTP but also dCTP and 5-methyl-dCTP. Determination of kinetic parameters (K-m and V-max) revealed that while MtuMutT2 hydrolyzes dCTP nearly four times better than it does 8-oxo-dGTP, MsmMutT2 hydrolyzes them nearly equally. Also, MsmMutT2 is about 14 times more efficient than MtuMutT2 in its catalytic activity of hydrolyzing 8-oxo-dGTP. Consistent with these observations, MsmMutT2 but not MtuMutT2 rescues E. coli for MutT deficiency by decreasing both the mutation frequency and A-to-C mutations (a hallmark of MutT deficiency). We discuss these findings in the context of the physiological significance of MutT proteins.

Mycobacterium tuberculosis mutT1 (Rv2985) and ADPRase (Rv1700) proteins constitute a two-stage mechanism of 8-Oxo-dGTP and 8-Oxo-GTP detoxification and adenosine to cytidine mutation avoidance

Approximately one third of the world population is infected with Mycobacterium tuberculosis, the causative agent of tuberculosis. A better understanding of the pathogen biology is crucial to develop new tools/strategies to tackle its spread and treatment. In the host macrophages, the pathogen is exposed to reactive oxygen species, known to damage dGTP and GTP to 8-oxo-dGTP and 8-oxo-GTP, respectively. Incorporation of the damaged nucleotides in nucleic acids is detrimental to organisms. MutT proteins, belonging to a class of Nudix hydrolases, hydrolyze 8-oxo-G nucleoside triphosphates/diphosphates to the corresponding nucleoside monophosphates and sanitize the nucleotide pool. Mycobacteria possess several MutT proteins. However, a functional homolog of Escherichia coli MutT has not been identified. Here, we characterized MtuMutT1 and Rv1700 proteins of M. tuberculosis. Unlike other MutT proteins, MtuMutT1 converts 8-oxo-dGTP to 8-oxo-dGDP, and 8-oxo-GTP to 8-oxo-GDP. Rv1700 then converts them to the corresponding nucleoside monophosphates. This observation suggests the presence of a two-stage mechanism of 8-oxo-dGTP/8-oxo-GTP detoxification in mycobacteria. MtuMutT1 converts 8-oxo-dGTP to 8-oxo-dGDP with a K-m of similar to 50 mu M and V-max of similar to 0.9 pmol/min per ng of protein, and Rv1700 converts 8-oxo-dGDP to 8-oxo-dGMP with a K-m of similar to 9.5 mu M and V-max of similar to 0.04 pmol/min per ng of protein. Together, MtuMutT1 and Rv1700 offer maximal rescue to E. coli for its MutT deficiency by decreasing A to C mutations (a hallmark of MutT deficiency). We suggest that the concerted action of MtuMutT1 and Rv1700 plays a crucial role in survival of bacteria against oxidative stress.

A unique uracil-DNA binding protein of the uracil DNA glycosylase superfamily

Uracil DNA glycosylases (UDGs) are an important group of DNA repair enzymes, which pioneer the base excision repair pathway by recognizing and excising uracil from DNA. Based on two short conserved sequences (motifs A and B), UDGs have been classified into six families. Here we report a novel UDG, UdgX, from Mycobacterium smegmatis and other organisms. UdgX specifically recognizes uracil in DNA, forms a tight complex stable to sodium dodecyl sulphate, 2-mercaptoethanol, urea and heat treatment, and shows no detectable uracil excision. UdgX shares highest homology to family 4 UDGs possessing Fe-S cluster. UdgX possesses a conserved sequence, KRRIH, which forms a flexible loop playing an important role in its activity. Mutations of H in the KRRIH sequence to S, G, A or Q lead to gain of uracil excision activity in MsmUdgX, establishing it as a novel member of the UDG superfamily. Our observations suggest that UdgX marks the uracil-DNA for its repair by a RecA dependent process. Finally, we observed that the tight binding activity of UdgX is useful in detecting uracils in the genomes.

Voyage au Bresil : ou l'on trouve la description du pays, de ses productions, de ses habitants, et de la ville et des provinces de san-salvatore et porto-seguro, avec une table correcte des latitudes et longitudes des ports de la cote du bresil, ainsi qu'un tableau du change, etc

Voyage au Brésil narra a experiência de observar a vida e os costumes dos habitantes do Brasil e oferece um registro cheio de interesse sociológico e até científico. Segundo Rubens Borba de Moraes, " é obra valiosíssima sobre a Bahia colonial", sendo esta edição mais preciosa que a inglesa de 1805. A obra foi traduzida também para o alemão. Afonso de Taunay resume e comenta o livro de Lindley em Aventuras de Thomas Lindley.

Prólogo

Homenaje a Georges Laplace, realizado en Vitoria-Gasteiz el 13,14 y 15 de noviembre de 2012. Edición a cargo de Aitor Calvo, Aitor Sánchez, Maite García-Rojas y Mónica Alonso-Eguíluz.

O Programa de Agentes Comunitários de Saúde no Ceará: o caso de Uruburetama

O Programa de Agentes Comunitários de Saúde institucionalizado em 1991, caracteriza-se como a primeira estratégia em escala nacional para a atenção primária no Brasil, sendo a segunda, o Programa Saúde da Família (PSF). No Ceará o trabalho com agentes de saúde existe desde 1986, configurando-se como uma inovação do primeiro governo Jereissati na área da saúde pública. Esse estudo objetivou identificar e discutir as práticas das agentes de saúde na comunidade. Partindo de um grupo específico, o de crianças de 0 12 meses, foi possível conhecer melhor as atividades realizadas, a interação agente de saúde/família, as dificuldades enfrentadas e algumas características das relações do agente de saúde com os demais profissionais da equipe de saúde da família (ESF). As técnicas que facilitaram esse conhecimento foram a observação, a entrevista e o grupo focal. O campo de estudo foi o município de Uruburetama-Ceará, e o principal critério para essa escolha, a taxa de mortalidade infantil (MI) referente ao ano de 2002, ano em que o município ficou entre os treze com MI acima de 40/1.000 nascidos vivos no Ceará. O estudo acompanhou 23 crianças nascidas em agosto de 2004, concluindo-se a pesquisa de campo em agosto de 2005. Nesse período o município contava com cinco equipes de PSF e trinta agentes de saúde, das quais quinze acompanhavam famílias em que nasceram crianças no mês de início da pesquisa, constituindo-se assim nas principais informantes do estudo juntamente com as mães. Com base na categoria analítica agente educador, foram identificadas as categorias empíricas: a agente de saúde com conhecimentos insuficientes, a agente de saúde impotente diante dos determinantes socioeconômicos e o tema práticas de saúde descontextualizadas das condições sociais; Com base na categoria analítica agente elo, chegou-se às categorias empíricas: a agente porta de entrada do PSF e a agente pau pra toda obra, além do tema uma relação de conflitos; no entanto, para a categoria analítica agente de controle sanitário, não identifiquei nenhuma categoria empírica. Conforme a discussão das categorias e temas identificados demonstrou, as agentes de saúde precisam ser melhor capacitadas para desenvolver suas atividades; ações rotineiras como a orientação da alimentação infantil e monitoramento do crescimento precisam ser reforçadas; as agentes não estão habilitadas para uma compreensão mais ampla dos problemas vivenciados pela comunidade e portanto para a discussão das possíveis soluções e encaminhamentos; há um excesso de atribuições e lhes falta conhecimento para o exercício de algumas destas atribuições e tempo para outras; as agentes se ressentem de maior apoio na ESF, e sua relação com demais componentes da equipe é conflituosa. O estudo aponta a necessidade de reforçar a capacitação das agentes de saúde, mas prioritariamente, antes de qualquer capacitação para as ações específicas que realizam rotineiramente é preciso formá-las como educadoras sob a perspectiva da educação popular em saúde.

A linha que contorna a crônica: a obra de Tarsila do Amaral

A proposta desta dissertação é investigar o trabalho artístico de Tarsila do Amaral, sua obra plástica como também sua obra escrita. Esta pesquisa se propõe a compreender de que maneira sua pintura, elaborada como um desenho, com cores delimitadas por fios e imagens geometrizadas adquire uma dependência a uma narrativa de cunho literário. Tarsila do Amaral, pintora modernista, parece organizar os espaços em suas pinturas ao construir linhas, elaboradas cuidadosamente, imprimindo um aspecto aparentemente cerebral ao seu trabalho. Assim, partindo dessas duas formas de arte, imagem e texto, que dialogam entre si na obra da pintora, surgiu a necessidade de escrever a dissertação em forma de crônica. Ao longo da pesquisa este gênero literário demonstrou ser a forma mais adequada para lidar com o objeto de estudo, pois, escrever crônicas tendo como ponto de partida os quadros e textos de Tarsila do Amaral permitiu um olhar mais detalhado e demorado sobre sua obra, possibilitando também lidar com todos os aspectos de sua vida que tangenciaram sua arte. Parece importante perceber as influências estrangeiras em sua formação como pintora e sua busca por uma identidade como artista. Ressaltando o aspecto lúdico de sua obra, as crônicas a seguir buscam compreender como uma pintura racional pode gerar um resultado próximo a uma imagem infantil, especialmente no período Pau-Brasil. Já na fase Antropofágica, o foco de estudo se concentrou na tela Abaporu, em sua elaboração, inspiração e desdobramentos como movimento literário e artístico. Assim, vinte e uma crônicas proporcionam um panorama de aspectos relevantes na obra de Tarsila do Amaral desde o início de seus estudos de desenho até o período em que já recebia o devido reconhecimento por sua obra artística

Percursos do moderno e do nacional em Oswald: origens e desenvolvimentos do escritor vanguardista de 1924

O ano de 1924 torna-se significativo para Oswald de Andrade e, de um modo geral, para a história da literatura brasileira. De um lado, publicava-se o livro Memórias sentimentais de João Miramar, romance que situaria o escritor, conforme declarara seu grande aliado no propósito de atualização das artes nacionais, Mário de Andrade, no seleto grupo dos autores modernistas. Ou, de acordo com uma fortuna crítica pouco mais recente, obra que o elevaria à condição de um artista propriamente moderno, de extremada vanguarda. De outro, lançava-se o Manifesto da Poesia Pau Brasil, documento reconhecido como a primeira iniciativa mais definida de construção, no decorrer de uma fase destrutiva do primeiro tempo do modernismo, de um programa estético para o meio artístico brasileiro. Um dos seus principais pontos, como se destaca nesta tese, corresponde à discriminação de certos princípios que tornariam possível o desenvolvimento de uma poesia de exportação. Estabeleciam-se determinados preceitos que possibilitariam, além de uma valorização de elementos representativos de uma brasilidade outrora esquecidos, uma condição de as iniciativas nacionais situarem-se, por meio de diálogos, intercâmbios, em um plano igualitário de contribuições junto a um segmento vanguardista de Paris. Ambos os textos representariam um avanço tão expressivo em relação às realizações anteriores do escritor, que alguns críticos compreendem-nos como indicativos da existência de dois Oswalds: um, o de antes, predominante convencional; outro, extremamente moderno. Investigar o percurso relacionado à emergência do segundo Oswald a partir do primeiro constitui-se como o objetivo da pesquisa. Trata-se de recuperar e demarcar, criticamente, certas origens e desenvolvimentos relativos a um autor, comumente reconhecido como pouco significativo, em seus itinerários de constituição daquele que se tornou canônico na literatura brasileira. Para tanto, estabeleceu-se como corpus do desenvolvimento deste trabalho, uma produção que comporta, entre outros documentos, as suas primeiras contribuições no jornal Diário Popular, os escritos para O Pirralho, as versões iniciais e manuscritas de Memórias Sentimentais de João Miramar, a conferência pronunciada na Sorbonne, Leffort intellectuel du Brésil contemporain, e os artigos e crônicas que o escritor remete a seus amigos no Brasil e à imprensa, por ocasião de sua permanência na Europa em 1923

Assessment of siltation rate and sediment transport in Bombay harbour based on Cesium-137 distribution

Low level aqueous radioactive wastes from the nuclear complex at Trombay are discharged into the Bombay harbour. Of the 6 principal radionuclides comprising the discharge, cesium-137 is most predominantly taken up by silt from the sea water. Isoactivity contours show that activity levels just off the point of discharge, and further south to Pir Pau, were between 50 and 100 pCi/g. Activity in the main channel of the harbour remained below 10 pCi/g, while further north (below the Thane Creek bridge) it was around 20 pCi/g. Activity in the top 6 cm of a core off Trombay naval jetty was <5 pCi/g, reaching a maximum of 178 pCi/g at 14cm below the surface. Thereafter, it tapered off to 5 pCi/g down to a metre.

湖南烙铁头蛇毒中一个新的舒缓激肤增强肤( TmF)

通过70%冷甲醇抽提、Sephadex C i-15分子筛和反相高效液相色谱G8层析，从湖南产烙铁头蛇毒(Trineresurus muqua nwtus)冻干粉中纯化得到一个新的舒缓激肤增强肤(BPP)，命名为TmF。该小肤的氨基酸序列为p(irr (iy Arg Pro, Leti (iy Pro, Pro, Ile- Pro, Pro ( pau表示焦谷氨酸)。序列结果分析表明，TmF和已经分离得到的BPPs有很高的序列同源性。MSI- MS 测定其分子量为1 .1107 kD o TmF的生物学活性和药理学活性检测的结果表明，它增强舒缓激肤(BK)(1 mg/L)诱导的离体豚 鼠回肠纵行肌收缩的活性为(1 .13士0 .3)单位(mg/ L) ; TmF (5 .0 x 10- 0 mg/ kg)可以增强约(14士2) mmHg的由BK(5 . Ox 10-' mg/ kg)诱导的舒张压下降;在抑制剂试验中，不同剂量的TmF和5x1。一zmg的血管紧张素转化酶保温30 min，结果表明大约 2.0x10一3mg的TmF表现出对ACE水解活性的半数抑制率(IQo )。

La integral definida en bachillerato: restricciones institucionales de las Pruebas de Acceso a la Universidad

En este trabajo se aportan los resultados de una investigación, realizada con cuatro grupos de estudiantes de segundo de bachillerato de la Comunidad Autónoma Andaluza, sobre la incidencia de las pruebas de acceso a la universidad (PAU) en los significados de la integral definida, en cuanto a los posibles sesgos producidos. En primer lugar se detectan los significados de referencia que se comparan posteriormente con los obtenidos en las PAU, después se analiza el significado implementado en el aula. Por último, se dan algunas implicaciones para la enseñanza de la integral definida.

Algunas alternativas para la mejora de la enseñanza de la inferencia estadística en secundaria

En este trabajo se realiza un estudio sobre el contenido estadístico en la PAU del Distrito de Canarias. Se observa que los alumnos prefieren las preguntas de Estadística, y que el uso de los gráficos en la resolución de los problemas, conlleva a que obtengan calificaciones más altas. El análisis de los errores nos permite realizar ciertas propuestas para mejorar el proceso de enseñanza-aprendizaje de la Inferencia Estadística. Creemos conveniente para la asimilación de los conceptos y el desarrollo del razonamiento estadístico el uso de las analogías, el manejo de las TICS y el trabajo de proyectos con datos reales.