Indice do dicionário bibliográfico brasileiro do dr. Augusto Victorino Alves do Sacramento Blake : por ordem alfabetica dos sobrenomes e por estados, com anexos dos estrangeiros que viveram no Brasil

A data provável da publicação é o ano de 1949.

Diccionario bibliographico brazileiro pelo Doutor Augusto Victorino Alves Sacramento Blake

Considerada a melhor bibliografia de autores brasileiros do período colonial até o século XIX. Apresenta a biografia de cada autor e as obras por ele produzidas. A introdução narra os primórdios da tipografia no Brasil e o nascedouro das primeiras sociedades literárias no país. A obra tornou-se famosa e muito respeitada. Recebeu crítica quanto a ordem de entrada dos autores pelo prenome, costume de época. O autor colaborou em O Ateneu, O Mosaico, Anais Brasileiros de Medicina e Revista do IHGB.

Pequeno cathecismo historico :contendo em compendio a historia sagrada, doutrina cristã /composto em francez pelo Abbade Fleury ; e traduzido em portuguez de ordem do Governo Imperial por Joaquim José da Silveira

Referência: Diccionario Bibliographico Brazileiro / Augusto Victorino Alves Sacramento Blake, 1899. v. 4, p. 179.

Le sculpteur-médailleur H. Ponscarme, 1827-1903 /

Mode of access: Internet.

Ferrugem da mandioca.

Historicamente a ferrugem da mandioca, causada pelo fungo Uromyces manihotis Henn. não tem sido considerada uma doença importante para o Brasil. Todavia, nos últimos dois anos, severas epidemias têm sido detectadas em diferentes regiões do Nordeste brasileiro como Aracaju, no Estado de Sergipe, e São Miguel das Matas, Tancredo Neves, Porto Seguro e Ilhéus, no Estado da Bahia. No Extremo Sul da Bahia a doença foi encontrada com alta intensidade nas variedades Caravela e Platina.

Ocorrência de Aleurothrixus aepim (Goeldi, 1886) (Hemiptera: Aleyrodidae) em Cruz das Almas, BA.

As moscas-brancas são pragas tanto de plantas ornamentais como de cultivos, sendo encontradas em quase todas as regiões onde se cultiva a mandioca. Nessa cultura, já foram identificadas as espécies Aleurotrachelus socialis, Aleurodicus dispersus, Aleurothrixus aepim, Aleuronudus sp., Bemisia tabaci, B. tuberculata, B. afer, Paraleyrodes sp., Trialeurodes abutilonea, T. variabilis e Tetraleurodes sp. Esses pequenos insetos são facilmente reconhecíveis, visto que em geral as populações dos adultos podem ser detectadas sacudindo os brotos das plantas para fazê-los voar, enquanto a fase jovem pode ser encontrada na face inferior das folhas basais e medianas.

Ácaro rajado (tetranychus urticae) em espécies silvestres de mandioca.

Algumas espécies de ácaros encontram-se associadas com a cultura da mandioca (Manihot esculenta Crantz), com destaque para fitófagos pertencentes à família Tetranychidae. No Brasil, as seguintes espécies de Tetranychidae foram relatadas na cultura: Aponychus Shultzi, Mononychellus bondari, M. mcgregori, M. planki, M. tanajoa, Tetranychus desertorum, T. mexicanus e T. urticae. Dentre estas, merecem destaque o ácaro verde da mandioca, M. tanajoa, e o ácaro-rajado, T. urticae. Tetranychus urticae é da ampla distribuição geográfica e de ocorrência em várias culturas além de mandioca. Em geral as fêmeas apresentam cor esverdeada é encontrado na face inferior das folhas, preferencialmente nas partes medianas e basal da planta. As folhas atacadas apresentam na face superior pontos amarelados ao longo da nervura central se estendendo por toda folha, adquirindo coloração bronzeada; posteriormente secam e caem. Em ataques severos pode ocorrer perda das folhas basais e medianas da planta, avançando até a parte apical.

Armadilha CNPMF: nova técnica para o controle de brocas-da-haste da mandioca.

2009

Biomonitoramento e supressão populacional de brocas da haste da mandioca Sternocoelus spp. utilizando armadilha CNPMF "Telha de Barro" em Cruz das Almas, BA.

2009

Relatório Final de Estágio no Escalão de Juvenis A (Sub-17) no Clube de Futebol Os Belenenses 2011-2012

Este relatório surge no âmbito do estágio profissionalizante do Mestrado em Treino Desportivo da Universidade Lusófona de Humanidades e Tecnologias, realizado na equipa de Juvenis A do Clube de Futebol “os Belenenses”, que disputou o Campeonato Nacional – Série C, na época de 2011/12. O relatório focar-se-á na descrição, fundamentação e reflexão das decisões e acções subjacentes ao treino desportivo da equipa, contextualizando o jogo de futebol no grupo etário sub-17, bem como a relação com as exigências que se irão colocar no escalão etário subsequente e no percurso até sénior. O relatório encontra-se dividido em três tipos de planificação: (1) Planificação Conceptual, que inclui uma reflexão do jogo de futebol no quadro do grupo etário em que o estágio foi realizado bem como e a relação com as exigências que se irão colocar no futuro imediato e a longo prazo; a análise do clube relativamente à sua história, constrangimentos, organização e objectivos gerais; uma detalhada referência aos jogadores e à equipa que suportou a sua preparação para a competição; a definição do modelo de jogo a adoptar e o planeamento anual. (2) Planificação Estratégica, que inclui os pressupostos para a preparação da equipa, e da aquisição e aperfeiçoamento no tempo do modelo de jogo a adoptar, isto é, no desenvolvimento de um planeamento de treino; (3) Planificação Táctica, que refere a aplicação de um modelo de análise do treino, bem como a utilização deste instrumento para o melhoramento das capacidades individuais e colectivas da equipa, aferindo a congruência com o modelo de jogo idealizado pelo Treinador.

Estudo da nitretação a plasma aplicada em ferramentas para fresamento

Este trabalho tem como objetivo estudar a influência do tratamento superficial, através da técnica de nitretação a plasma, no processo de fresamento com fresas de aço rápido AISI M2. Foram investigados os efeitos deste tratamento superficial no processo de corte, variando-se a forma de refrigeração/lubrificação das fresas com fluído de corte convencional (emulsão) em abundância, com minimização e sem fluído (lubrificação a seco). Na nitretação, a composição da mistura de gases utilizada nos experimentos foi de 5% N2 e 95% H2 em volume, a uma pressão de tratamento de 5 mbar (3,8 Torr). A temperatura utilizada foi de 440oC, durante um tempo de tratamento de 30 minutos, resultando em uma camada nitretada com uma zona de difusão com aproximadamente 8µm de profundidade. As ferramentas empregadas no processo de fresamento foram investigadas através de medição de forças de usinagem, medições de desgaste na superfície de incidência (flanco) e na superfície de saída (face), sendo as camadas nitretadas caracterizadas por metalografia óptica e microdureza. Foi observado um desempenho superior das fresas nitretadas apenas para as condições de corte a seco.

Teste de envelhecimento acelerado para avaliação do potencial fisiológico de sementes de grama-bermuda

A utilização de sementes para formação de gramados esportivos e ornamentais tem assumido grande importância no Brasil, principalmente pelo baixo custo em relação à formação por placas de tapetes naturais. As bermudas [Cynodon dactylon (L.) Pers] são as principais gramas utilizadas na formação de campos esportivos e, dentre os problemas enfrentados, destaca-se a dificuldade de estabelecimento adequado da cultura, fato que exige a utilização de sementes de alto potencial fisiológico, de modo a permitir rápida emergência e desenvolvimento das plantas. Assim, estudaram-se procedimentos para a condução do teste de envelhecimento acelerado para determinar o potencial fisiológico de sementes dessa espécie, incluindo a avaliação da eficiência do uso de solução saturada de NaCl como alternativa para a realização do teste. Para tanto, cinco lotes de sementes foram submetidos aos testes de germinação, emergência de plântulas e envelhecimento acelerado (períodos de 48, 72 e 96 h, a 41 e 45 ºC, com e sem o uso de solução saturada de NaCl). O experimento foi conduzido em delineamento inteiramente casualizado. O envelhecimento acelerado com o uso de solução saturada de NaCl, dentre os procedimentos estudados, é o método mais adequado para avaliação do potencial fisiológico de sementes de grama-bermuda, sendo que a combinação 45 ºC/48 h é eficiente para a classificação dos lotes em diferentes níveis de vigor.

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy