Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Doenças cardiovasculares antes e após o programa saúde da família, Londrina, Paraná

FUNDAMENTO: A redução da morbi-mortalidade pelas doenças do aparelho circulatório (DAC) é um dos maiores desafios da atenção básica, e a atuação da Saúde da Família possibilita o acesso às medidas multissetoriais e integrais que a abordagem dessas doenças exige. OBJETIVO: Analisar a mortalidade e a internação hospitalar, por DAC, antes e após a implantação da Saúde da Família em Londrina-PR. MÉTODOS: Estudo de agregados, comparando-se os coeficientes de mortalidade e de internação hospitalar pelo SUS, por DAC, doença cerebrovascular (DCbV) e doença isquêmica do coração (DIC), de residentes em Londrina, em dois quadriênios: 1997 a 2000 e 2002 a 2005. Os dados foram obtidos no Sistema de Informações sobre Mortalidade e no Sistema de Informações Hospitalares do SUS. Foram calculadas razões entre as taxas nos dois períodos e os respectivos intervalos de 95% de confiança. RESULTADOS: As DAC mantiveram-se como a primeira causa de morte no município nos dois quadriênios. As DCbV e as DIC responderam por mais de 63% das mortes por DAC. Na comparação dos dois quadriênios, observou-se a redução das taxas de mortalidade por DCbV, significativa apenas em maiores de 59 anos, em ambos os sexos, e o aumento da internação em 10%. Para as DIC não houve alteração significativa na mortalidade e ocorreu um aumento de 40% na taxa de internação. CONCLUSÃO: A redução significativa apenas na mortalidade por DCbV em idosos sugere a necessidade de ampliar a cobertura assistencial aos diferentes grupos populacionais e o desenvolvimento de ações de caráter preventivo e de promoção à saúde.

Prevalência de obesidade abdominal em hipertensos cadastrados em uma Unidade de Saúde da Família

FUNDAMENTO: A obesidade abdominal é importante fator de risco cardiovascular e, juntamente com as dislipidemias, a intolerância a glicose e a hipertensão arterial, compõe a síndrome metabólica. OBJETIVO: Verificar a prevalência de obesidade abdominal e fatores associados em hipertensos. MÉTODOS: Estudo transversal com hipertensos de 20 a 79 anos cadastrados em uma Unidade Saúde da Família do município de Londrina, Paraná. A obesidade abdominal foi identificada por meio da relação cintura-quadril (RCQ) e da circunferência abdominal (CA), conforme pontos de corte recomendados pela Organização Mundial de Saúde (RCQ > 1,0 e CA > 102 cm para homens, e RCQ > 0,85 e CA > 88 cm para mulheres). RESULTADOS: Entre os 378 entrevistados, a prevalência de obesidade abdominal identificada pela RCQ foi de 65,3% nos adultos e 68,1% nos idosos, sendo de 87,9% no sexo feminino e de 30,2% no masculino (p < 0,001). Nas mulheres, a RCQ elevada esteve associada ao relato de colesterol aumentado, não realização de atividade física regular, ausência de trabalho remunerado e baixa escolaridade. Não houve associação de RCQ elevada com quaisquer variáveis no sexo masculino. A circunferência abdominal elevada esteve presente em 66,8% dos adultos e 64,3% dos idosos, também com diferenças entre os sexos (p < 0,001). A CA elevada mostrou-se associada, no sexo feminino, ao diabete e ao não tabagismo, e, entre homens, ao diabete e à não realização de atividade física regular. CONCLUSÃO: Esses resultados mostram uma alta prevalência de obesidade abdominal, especialmente no sexo feminino, reforçando a necessidade de estratégias que promovam a diminuição da obesidade abdominal entre hipertensos.

II - A ocorrência das células anexas dos estômatos na família rubiaceae

No trabalho que publiquei sobre a estrutura dos estômatos em relação às células anexas, na revista "O Solo" (2), ficou comprovado que na ordem Rubiales a família Rubiaceae é a íinica a apresentar a referida estrutura, o que me levou a sugerir a possibilidade de considerá-la como um caráter anatômico dos gêneros ou das espécies da família, dependendo da sua freqüência nos mencionados grupos. Em vista disso, resolvi estudar o maior número de gêneros e espécies de Rubiaceae, em relação à estrutura estomatar, começando pelo gênero Coffea, dada a sua grande importância econômica. Analisei 28 indivíduos, atraz relacionados e verifiquei, em todos, a constância das células anexas, de configuração bastante homogênea, detalhe este que poderá servir de base a distinções entre os grupos sistemáticos estudados. No próximo artigo tratarei de outros gêneros de Rubiaceae.

Estudos citológicos em Hemíoteros da família Coreidae

A more or less detailed study of the spermatogenesis in six species of Hemiptera belonging to the Coreid Family is made in the present paper. The species studied and their respective chromosome numbers were: 1) Diactor bilineatus (Fabr.) : spermatogonia with 20 + X, primary spermatocytes with 10 + X, X dividing equationaliv in the first division and passing undivided to one pole in the second. 2) Lcptoglossus gonagra (Fabr.) : spermatogonia with 20 + X, primary spermatocytes with 10 + X, X dividing equationally in the first division and passing undivided to one pole in the second. 3) Phthia picta (Drury) : spermatogonia with 20 + X, primary spermatocytes with 10 + X, X dividing equationally in the first division and passing undivided to one pole in the second. 4) Anisocelis foliacea Fabr. : spermatogonia with 26 + X fthe highest mumber hitherto known in the Family), primary .spermatocytes with 13 + X, X dividing equationally in the first division an passing undivided to one pole in the second. 5) Pachylis pharaonis (Herbtst) : spermatogonia with 16 + X, primary spermatocytes with 8 + X. Behaviour of the heteroehromosome not referred. 6) Pachylis laticornis (Fabr.) : spermatogonia with 14 + X, primary spermatocytes with 7 + X, X passing undivided to one pole in the first division and therefore secondary spermatocytes with 7 + X and 7 chromosomes. General results and conclusions a) Pairing modus of the chromosomes (Telosynapsis or Farasynapsis ?) - In several species of the Coreld bugs the history of the chromosomes from the diffuse stage till diakinesis cannot be follewed in detail due specially to the fact that lhe bivalents, as soon as they begin to be individually distinct they appear as irregular and extremely lax chromatic areas, which through an obscure process give rise to the diakinesis and then to the metaphase chomosomes. Fortunately I was able to analyse the genesis of the cross-shaped chromosomes, becoming thus convinced that even in the less favorable cases like that of Phthia, in which the crosses develop from four small condensation areas of the diffuse chromosomes, nothing in the process permit to interpret the final results as being due to a previous telosynaptic pairing. In the case of long bivalents formed by two parallel strands intimately united at both endsegments and more or less widely open in the middle (Leptoglossus, Pachylis), I could see that the lateral arms of the crosses originate from condensation centers created by a torsion or bending in the unpaired parts of the chromosomes In the relatively short bivalents the lateral branches of the cross are formed in the middle but in the long ones, whose median opening is sometimes considerable, two asymetrical branches or even two independent crosses may develop in the same pair. These observations put away the idea of an end-to-end pairing of the chromosomes, since if it had occured the lateral arms of the crosses would always be symetrical and median and never more than two. The direct observation of a side- toside pairing of the chromosomal threads at synizesis, is in foil agreement with the complete lack of evidence in favour of telosynapsis. b) Anaphasic bridges and interzonal connections - The chromosomes as they separate from each other in anaphase they remain connected by means of two lateral strands corresponding to the unpaired segmenas observed in the bivalents at the stages preceding metaphase. In the early anaphase the chromosomes again reproduce the form they had in late diafcinesis. The connecting threads which may be thick and intensely coloured are generally curved and sometimes unequal in lenght, one being much longer than the other and forming a loop outwardly. This fact points to a continuous flow of chromosomal substance independently from both chromosomes of the pair rather than to a mechanical stretching of a sticky substance. At the end of anaphase almost all the material which formed the bridges is reduced to two small cones from whose vertices a very fine and pale fibril takes its origin. The interzonal fibres, therefore, may be considered as the remnant of the anaphasic bridges. Abnormal behaviour of the anaphase chromosomes showed to be useful in aiding the interpretation of normal aspects. It has been suggested by Schrader (1944) "that the interzonal is nothing more than a sticky coating of the chromosome which is stretched like mucilage between the daughter chromosomes as they move further and further apart". The paired chromosomes being enclosed in a commom sheath, as they separate they give origin to a tube which becomes more and more stretched. Later the walls of the tube collapse forming in this manner an interzonal element. My observations, however, do not confirm Schrader's tubular theory of interzonal connections. In the aspects seen at anaphase of the primary spermatocytes and described in this paper as chromosomal bridges nothing suggests a tubular structure. There is no doubt that the chromosomes are here connected by two independent strands in the first division of the spermatocytes and by a single one in the second. The manner in which the chromosomes separate supports the idea of transverse divion, leaving little place for another interpretation. c) Ptafanoeomc and chromatoid bodies - The colourabtlity of the plasmosome in Diactor and Anisocelis showed to be highly variable. In the latter species, one may find in the same cyst nuclei provided with two intensely coloured bodies, the larger of which being the plasmosome, sided by those in which only the heterochromosome took the colour. In the former one the plasmosome strongly coloured seen in the primary metaphase may easily be taken for a supernumerary chromosome. At anaphase this body stays motionless in the equator of the cell while the chromosomes are moving toward the poles. There, when intensely coloured ,it may be confused with the heterochromosome of the secondary spermatocytes, which frequently occupies identical position in the corresponding phase, thus causing missinterpretation. In its place the plasmosome may divide into two equal parts or pass undivided to one cell in whose cytoplasm it breaks down giving rise to a few corpuscles of unequal sizes. In Pachylis pharaonis, as soon as the nuclear membrane breate down, the plasmosome migrates to a place in the periphery of the cell (primary spermatocyte), forming there a large chromatoid body. This body is never found in the cytoplasm prior to the dissolution of the nuclear membrane. It is certain that chromatoid bodies of different origin do exist. Here, however, we are dealing, undoubtedly, with true plasmosomes. d) Movement of the heterochromosome - The heterochromosome in the metaphase of the secondary spermatocytes may occupy the most different places. At the time the autosomes prient themselves in the equatorial plane it may be found some distance apart in this plane or in any other plane and even in the subpolar and polar regions. It remains in its place during anaphase. Therefore, it may appear at the same level with the components of one of the anaphase plates (synchronism), between both plates (succession) or between one plate and tbe pole (precession), what depends upon the moment the cell was fixed. This does not mean that the heterochromosome sometimes moves as quickly as the autosomes, sometimes more rapidly and sometimes less. It implies, on the contrary, that, being anywhere in the cell, the heterochromosome m he attained and passed by the autosomes. In spite of being almost motionless the heterochromosome finishes by being enclosed in one of the resulting nuclei. Consequently, it does move rapidly toward the group formed by the autosomes a little before anaphase is ended. This may be understood assuming that the heterochromosome, which do not divide, having almost inactive kinetochore cannot orient itself, giving from wherever it stays, only a weak response to the polar influences. When in the equator it probably do not perform any movement in virtue of receiving equal solicitation from both poles. When in any other plane, despite the greater influence of the nearer pole, the influence of the opposite pole would permit only so a slow movement that the autosomes would soon reach it and then leave it behind. It is only when the cell begins to divide that the heterochromosome, passing to one of the daughter cells scapes the influence of the other and thence goes quickly to join the autosomes, being enclosed with them in the nucleus formed there. The exceptions observed by BORING (1907) together with ; the facts described here must represent the normal behavior of the heterocromosome of the Hemiptera, the greater frequency of succession being the consequence of the more frequent localization of the heterochromosome in the equatorial plane or in its near and of the anaphase rapidity. Due to its position in metaphase the heterochromosome in early anaphase may be found in precession. In late anaphase, oh the contrary ,it appears almost always in succession. This is attributed to the fact of the heterochromosome being ordinairily localized outside the spindle area it leaves the way free to the anaphasic plate moving toward the pole. Moreover, the heterochromosome being a round element approximately of the size of the autosomes, which are equally round or a little longer in the direction of the movement, it can be passed by the autosomes even when it stands in the area of the spindle, specially if it is not too far from the equatorial plane. e) The kinetochore - This question has been fully discussed in another paper (PIZA 1943a). The facts treated here point to the conclusion that the chromosomes of the Coreidae, like those of Tityus bahiensis, are provided with a kinetochore at each end, as was already admitted by the present writer with regard to the heterochromosome of Protenor. Indeed, taking ipr granted the facts presented in this paper, other cannot be the interpretation. However, the reasons by which the chromosomes of the species studied here do not orient themselves at metaphase of the first division in the same way as the heterochromosome of Protenor, that is, with the major axis parallelly to the equatorial plane, are claiming for explanation. But, admiting that the proximity of the kinetochores at the ends of chromosomes which do not separate until the second division making them respond to the poles as if they were a single kinetochore ,the explanation follows. (See PIZA 1943a). The median opening of the diplonemas when they are going to the diffuse stage as well as the reappearance of the bivalents always united at the end-segments and open in the middle is in full agreement with the existence of two terminal kinetochores. The same can be said with regard to the bivalents which join their extremities to form a ring.

III - A ocorrência das células anexas dos estômatos na família Rubiaceae

As minhas primeiras observações sobre a ocorrência das cédulas anexas dos estômatos na família Rubiaceae foram feitas na epiderme foliar de Coffea arabica L.. Em seguida, examinei a epiderme de 20 espécies, pertencentes a 9 gêneros e cultivadas no Parque da E. S. A. "Luiz de Queiroz". Em virtude da constância das células anexas, analisei, a princípio, as espécies e variedades de Coffea (ao todo 28 indivíduos) existentes na coleção de cafés do Instituto Agronômico de Campinas e, depois, o maior número de gêneros e espécies da família. Para a realização desse trabalho, solicitei de várias instituições material botânico, tanto vivo como herborizado, constante de folhas; consegui reunir, assim, copiosa quantidade de espécies. Feita a separação das duplicatas e das fôlhas de epiderme de difícil extração, as espécies se reduziram a 553. Do exposto neste e nos trabalhos que publiquei (1,2), posso concluir que as duas células anexas dos estômatos, na família Rubiaceae, constituem um caráter anatômico de família, muito embora me faltem alguns gêneros para seu estudo completo. Minha conclusão se apoia nos três pontos básicos seguintes: 1 - Que as duas células anexas dos estômatos, com as ca- racterísticas descritas, ocorrem entre as Rubiales sómente na família Rubiaceae. 2 - Que as espécies estudadas até agora revelaram, sem exceção, as duas células anexas nos estômatos. 3 - Que as células anexas poderão constituir, no caso de sua inconstância, um caráter diferencial de espécie ou de gênero.

Ocorrência das domácias na família Rubiaceae

The author has studied the domatia appearing in the Rubiaceae family by examining 622 species distributed among 113 genera; and has verified that 88 species belonging to 35 genera have domatia fitting in the "touffe de poils", "en pertuis" and "em pochette" types according to the Chevalier's Classification. 39 species present domatia that display chamber, duct and outlet orifice. The other 46 species present domatia either as hair-agglomerates, hair-clusters or scattered hairs. The domatia in Paveta indica L. and Vangueria edulis Vahl. are in the shape of a little holow in the blade tissue and have no hairs. In Borreria verbenoides Cham & Schl. the domatia are formed by an elevation in the limb and presents abundant and short hairs. In Bqthryopora corymbosa Hook f. and Gardenia Thumbergii L. the domatia appear also in the nervure axils of several orders and also in Rudgea lanceolata Benth., Rudgea subsessilis Benth. and Rudgea gardenoides Muell. Arg. are they located7 in the axilla of the angle directed toward the leaf base.

Atividade proteolítica e amonificante de vários tipos de solo do estado de São Paulo. I. - Solo latosol vermelho amarelo, com e sem cobertura morta

Os autores estudam, no presente trabalho, um solo tipo Latosol Vermelho Amarelo, com e sem cobertura morta, em 2 profundidades diferentes. Concluiram sôbre as vantagens de se manter um solo com cobertura morta que permite um aumento da microflora total e dos elementos nutritivos, confirmado pelo pronunciado índice de atividade protelítica e amonificante do solo.

Determinação e comparação dos valôres Mi, A, Y e S, em dois tipos de solo do est. de S. Paulo

No presente trabalho, determinou-se e comparou-se os valores Mi de BARBIER et al., 1954, SCHEFFER e ULRICH, 1958, A de FRIED e DEAN, 1952 Y de LARSEN, 1952, e S de SOKOLOV, 1958, em dois tipos de solo do Estado de São Paulo: terra roxa legítima e um solo arenoso do campo da Secção Técnica de Química Agrícola da Escola Superior de Agricultura "Luiz de Queiroz". Aplicou-se 23,58 mg de fósforo, por vaso, na forma de superfosfato simples, contendo fósforo radioativo com uma atividade de 120.736 ipm; na forma de solução, aplicou-se também 200 mg de NH4N0(3) e 100 mg de KC1. Misturou-se bem para que houvesse homogenização a mais perfeita possível. Depois plantou-se 25 sementes de trigo, variedade 1146BH, deixando-se apenas 16 plantas após o desbaste. Procedeu-se àcolheita 55 dias após o plantio. Tanto a parte aérea como as raízes foram sêcas em estufa a 70-80°C. Sôbre o material triturado, digerido e diluído, retirou-se partes alíquotas para a determinação do P81 e do P32. Os valores obtidos para os dois tipos de solos foram os seguintes: mg de P por 1,5 kg de solo Valores Terra roxa legítima Solo arenoso Mi 177,96 92,62 A 177,55 92,71 Y 178,97 92,98 S 173,42 64,75 A análise estatística não revelou diferença significativa entre os valores Mi, A e Y, mas sim dêstes para o valor S. Quanto a este último valor, pode-se dizer que quanto mais rico em fósforo fôr o solo e quanto menor fôr o teor dêste elemento na semente, quanto mais êle deverá se aproximar dos valores Mi, A e Y.

Ocorrência de domácias em espécies e híbridos da Família Vitaceae

The paper deals with the ocurrence of domatia in species and hybrids of Vitaceae family. The author found domaãtia in 95 of 157 hybrids studied. The domatia are always in the axils of the first and second ribs, and occasionaly also in ribs of others orders. The domatia found were of the types: "en touffe de poils", "en pertuis" and "en pochette", types according to the Chevalier's Classification (1941). It was found a varation of the type "en pertuis", the hole being not circular but narrow and long. One of the hybrids have domatia of two types: "en touffe de pois" and "en pertuis". Many of the domatia have mites in its interior.

Novo gênero de nematóide do solo da família Actinolaimidae

Caryboca paranaensis n.g., n.sp. (Nemata, Actinolaimidae) was found inhabiting soil around coffee roots sent in from Cornélio Procópio, State of Paraná, Brazil. Definition of the new genus: Actinolaimidae, Actinolaiminae. Lip region distinctly offset by a constriction and showing a cuticularized basket-like structure provided with lateral denticles and two rather strong teeth pointing forwards. Cuticular rod-like thickenings extending back from the basket-like structure to the guiding-ring. Anterior part of oesophagus a non-muscular, narrow tube; posterior part wider and provided with strongly developed radial musculature. Gonads paired and reflexed. Tail attenuated, pointed. Males and food habits unknown. Caryboca n.g. differs from Actinolaimus Cobb, 1913, by having a labial basket-like structure as well as by the non-muscular nature of the anterior part of oesophagus. Caryboca n.g. differs from Carcharolaimus Thome, 1939, by having two strong pharingeal teeth and pointed tail.

Introdução à família Tarsonemidae Kramer, 1877 (Acarina) no estado de São Paulo

No presente trabalho é dada uma introdução à família Tarsonemidae e são relatadas as seguintes espécies: Polyphagotarsus latus (Banks, 1904) Beer & Nucifora, 1965; Tarsonemus setifer Ewing, 1939; Steneotarsonemus ananas (Tryon, 1898) Beer, 1954; S. pallidus (Banks, 1901) Beer, 1954; S. hyaleos Beer, 1954 e Rhynohotarsonemus sp. Uma chave para a separação dos gêneros e outra para a separação das espécies de Steneotarsonemus é apresentada.

Sobre um gênero e três espécies de nematóides da família Dorylaimidae

This paper deals with one genus and three species of dorylaimid nematodes found inhabiting soil in Brazil, as follows: Eudorylaimus ibiti Lordello, 1965. Closely resembling E. ibiti are E. humilis (Thorne & Swanger, 1936) Andrássy, 1959, E. diadematus (Cobb, 1936) Andrássy, 1959, and E. santosi (Meyl, 1957) Andrássy, 1959. it differs from E. humilis in the following aspects: a) longer and thicker body (1,126.0-1,520.8: 1,000 microns; a=21.0-26.0 : a= 31); b) less prominent lips; and, c) tail terminus decidedly acute; differs from E. diadematus in having: a) less prominent lips; b) posterior region of body ventrally concave; and, c) a different organization in the walls of the pre-rectum; differs from E. santosi in having: a) longer body (1,126.0-1,520.8 : 900-1,000 microns); b) spear with undiscernible aperture; c) a different organization in the guiding-ring of spear; and, d) caudal papillae closer together and located in front of the middle of the tail. Mesodorylaymus pizai Lordello, 1965. M. pizai most closely resembling species is M. mesonyctius (Kreis, 1930) Andrássy, 1959, from which it differs in having: a) lip region amalgamated, continuous with neck contour (lateral view); b) males with 11-12 supplements; and, c) females with longitudinal vulva. Metaporcelaimus Lordello, 1965. This genus differs from Aporcelaimus Thorne & Swanger, 1936, in having oesophagus made up of three regions, a cardia like structure being seen between the posterior and middle parts. Type species: M.mombucae Lordello, 1965.

II - Ocorrência das domácias nas angiospermas

Continuando as observações nas folhas de plantas de nossa riquíssima flora à procura de domácias, examinamos as folhas de cerca de 129 exemplares pertencentes a 49 famílias. Destas especies apenas 14 dentre 8 familias revelaram essas interessantes estruturas. As domácias foram registradas nas fôlhas de plantas de pequeno e grande porte, assim como trepadeiras. As folhas herborizadas, foram examinadas em ambas as faces, na axila das nervuras e também na sua junção com o pecíolo. Relacionamos, por ordem alfabética, as famílias cujas espécies apresentaram domácias, assim como os nomes das plantas, o tipo e localização da domácia na folha, etc., usando sempre a classificação de domácias proposta por CHEVALIER & CHESNAIS (1941). Os tipos de domácias encontrados distribuem-se entre as famílias da seguinte maneira: a) Domacias em "tufo de pêlos" - encontradas em plantas das seguintes famílias: Bignoniaceae, Compositae, Convolvulaceae, Leguminosae, Moraceae, Solanaceae, Proteaceae e Oleaceae. b) Domacias em "bolsas" - registradas na família Solanaceae.

III - Ocorrência de domácias em espécies e híbridos da familia Vitaceae

Neste trabalho, o terceiro de uma série sobre o assunto, divulgamos os estudos feitos em 57 novas variedades híbridas IAC, pertencentes à família Vitaceae. Deste total, 24 apresentaram domácias as quais se enquadram nos tipos: "em tufo de pêlos" e variações, e em "bolsas", segundo a classificação de CHEVALIER & CHESNAIS (1941). O material estudado constou de folhas não herborizadas, vindas do Instituto Agronômico de Campinas - Secção de Viticultura. As fôlhas, ainda frescas, foram examinadas em ambas as faces, superior e inferior, na junção do pecíolo, anotando-se a presença das domácias e suas particularidades tais como: aspecto, localização, tamanho, forma, etc. Pudemos observar uma pequena variação nas domácias do tipo em "tufo de pêlos", que ora aparecem como "pêlos esparsos", ora como aglomerado de pêlos e ainda como "tufo de pêlos" propriamente dito. As domácias encontradas nos 24 híbridos, estão assim distribuidas: a) domácias em "tufo de pêlos" e suas variações: 18 b) domácias "em bolsas": 6 Quanto à côr, os pêlos podem ser claros ou escuros, lisos ou crespos.