196,646 research outputs found
Psychoda silvensis Cordeiro, Bravo & Carvalho
No full text<i>Psychoda silvensis</i> Cordeiro, Bravo & Carvalho <p> <i>Psychodasilvensis</i> Cordeiro,Bravo&Carvalho,2011:31-32, figs. 132-139.</p> <p> <b>New record (determined by D. Cordeiro):</b> BRAZIL, Minas Gerais, University Biol. Reserve Belo Horizonte, 19°55′S, 43°56′W.</p> <p> <b> Previous records (Cordeiro <i>et al.,</i> 2011):</b> BRAZIL, Amazonas, Silves, Saracá (type locality); Amazonas, Itacoatiara-Itapiranga km 23, <100 masl, 03°03.0′S, 58°43.5′W.</p>Published as part of <i>Cordeiro, Danilo Pacheco, 2020, First record to Brazil of one genera and seven species of Psychodidae (Diptera) with further new records for 10 countries on the Neotropics, pp. 1-10 in Papéis Avulsos de Zoologia 60</i> on page 8, DOI: 10.11606/1807-0205/2020.60.02, <a href="http://zenodo.org/record/3727783">http://zenodo.org/record/3727783</a>
Psychoda dantilandensis Bravo, Cordeiro & Chagas 2006
No full text<i>Psychoda dantilandensis</i> Bravo, Cordeiro & Chagas <p> <i>Psychoda dantilandensis</i> Bravo, Cordeiro & Chagas, 2006: 8-9, figs. 19-27; Cordeiro <i>et al.,</i> 2011: 9-11, figs. 9-14.</p> <p> <b>New record (determined by D. Cordeiro):</b> BRAZIL, Minas Gerais, Parque Est. do Rio Doce 240 km E of Belo Horizonte, 350 msal, 18°45.18′S, 42°38.00′W.</p> <p> <b> Previous records (Bravo <i>et al.,</i> 2006):</b> BRAZIL, Bahia, Dantilândia 15°06′S, 40°00W (type locality); Bahia, Itabuna, 14°45′S, 39°17′W.</p>Published as part of <i>Cordeiro, Danilo Pacheco, 2020, First record to Brazil of one genera and seven species of Psychodidae (Diptera) with further new records for 10 countries on the Neotropics, pp. 1-10 in Papéis Avulsos de Zoologia 60</i> on pages 4-6, DOI: 10.11606/1807-0205/2020.60.02, <a href="http://zenodo.org/record/3727783">http://zenodo.org/record/3727783</a>
Dendronephthya perezi Cordeiro & Ofwegen, 2018, nom. n.
No full textDendronephthya perezi nom. n. to replace Dendronephthya kukenthali Gravier, 1908. Etymology: The epithet “perezi” is given in honor of Dr. Carlos Daniel Pérez, a prominent octocoral taxonomist and former advisor of the first author. Type-specimens: Gravier’s syntypes (two specimens) are available at the Muséum National d'Histoire Naturelle (MNHN-IK-2000-153) (Fig. 1B,C). Part of the syntype (one uncatalogued specimen) is possibly deposited at Natural History Museum of Denmark (SNM), labeled by Tixier-Durivault and Prevorsek as “ Spongodes kükenthali (Gravier), from Gulf of Tadjoura, coll. by Ch. Gravier (1904)” (Fig. 1A).Published as part of Cordeiro, Ralf T. S. & Van Ofwegen, Leen P., 2018, A new name for Dendronephthya kukenthali Gravier, 1908 (Octocorallia, Nephtheidae): Dendronephthya perezi nom. n., pp. 576-578 in Zootaxa 4508 (4) on page 576, DOI: 10.11646/zootaxa.4508.4.6, http://zenodo.org/record/371395
Psychoda amazonensis Cordeiro & Bravo
No full textPsychoda amazonensis Cordeiro & Bravo Psychoda amazonensis Cordeiro & Bravo, 2008: 116. Type Locality: Brazil (Amazonas, Silves, Saracá) Diagnosis. eyes separated by 0.3 facet diameters; antenna with 14 flagellomeres, 12 th– 14 th fused; ascoids with 1 inferior and 3 superior arms; gonostylus with a long basal setae; gonocoxal bridge expanded posteriorly, with acute apex, extending beyond apex of distiphallus; paramere absent; female terminalia reduced (cerci and subgenital plate reduced), genital digit absent. Additional characters. hair patch of frons extending to facet row 2 or 3; 4–5 (rarely 6) supra-ocular setae; interocular suture absent; clypeus with 2 stronger lateral alveoli; frontoclypeal suture absent or apparently incomplete; distitarsus with apical projection. Material examined. type material: holotype 3 BRAZIL, Amazonas, Silves, Saracá, 30.vi. 1997, no collector name (INPA); 2 paratypes 3 e 5 paratypes Ƥ, same dates and locality as the holotype, no collector name (13 e 3 Ƥ INPA, 13 e 2 Ƥ MZUEFS). Other specimens: 2 3 e 3 Ƥ Amazonas, Silves, 01.vi.1997, 6cdc- 1m, no collector name (INPA); 1 3 e 1 Ƥ Amazonas, Silves, área alterada, 29.v.1997, 7 cdc/m, col. TVB/FLS (MZUEFS). Distribution. BRAZIL (Amazonas). Comments. according to Cordeiro & Bravo (2008), this species is likely obligatorily viviparous, making it the only known viviparous species in Psychoda. Four-branched ascoids are found only on two subgenera of Psychoda: Falsologima and Apsycha comb. nov, but in the subgenus Falsologima the females have three-branched ascoids. Although the long setae seen on gonotylus of males of this species is also a character of subgenus Falsologima, the number of apical flagellomeres and the shape of female ascoid clearly separate it from this subgenus. Also, according to original description and key of Ježek (2007), in the subgenus Apsycha the 13 th and 14 th flagellomeres are separated and also 14 th is shortly spindle-shaped, what is not true for P. amazonensis. This species cannot be also assigned to any of other subgenera of Psychoda because of differences between the pattern of fusion of the three apical flagellomeres. Psychoda amazonensis is morphologicaly similar to P. quiniversa Quate (Costa Rica) in the following characters: shape of the antennal apex; pattern of the frons pilosity; female ascoids with 3 upper arms; male with no paramere; ventral pilosity of the gonocoxal bridge; and gonostylus with one long basal setae. However, Psychoda amazonensis has 4 facet rows on the eye bridge, subgenital plate reduced and long gonocoxal bridge, whereas Psychoda quiniversa has 5 facet rows, subgenital plate normal and gonocoxal bridge short. The last character, of diagnostic value according to our observations, is frequently neglected in the descriptions of Psychoda. We believe that more attention should be given to this character, and to the pattern of pilosity of the female subgenital plate and male gonostylus.Published as part of Cordeiro, Danilo, Bravo, Freddy & De, Claudio J. B., 2011, Taxonomy of Brazilian Psychoda Latreille, 1796 (Diptera, Psychodidae) with the description of thirteen new species, pp. 1-37 in Zootaxa 3101 on page 7, DOI: 10.5281/zenodo.20524
Psychoda serraorobonensis Bravo, Cordeiro & Chagas, sp. n.
No full text<i>Psychoda serraorobonensis</i> Bravo, Cordeiro & Chagas, sp. n. (Figs. 28–34) <p> <b>Type material.</b> BRAZIL, Bahia, Serra do Orobó (12°18´S 40°29´W), female holotype, 29.XII.2004, F. Bravo (MZUEFS).</p> <p> <b>Etymology.</b> The species name <i>serraorobonensis</i> is based on the type locality.</p> <p> <b>Diagnosis.</b> This species can be distinguished from the other species of <i>Psychoda</i> by the following combination of characteristics: eyes separated by 1.5 facet rows; labellum with 3 apical teeth; 14th flagellomere spherical, not drop shaped; ascoids Y­shaped, inferior branch 0.5X superior branch; M2 not reaching M1.</p> <p> <b>Description.</b> Female. Eye bridge with 4 facet rows (Fig. 28); eyes separated by 1.5 facet diameters (Fig. 28); antenna with 14 flagellomeres, 1st–10th nodiform (Figs. 28–30), 12th–14th reduced, 11th–12th fused (Fig. 31), 12th with short neck (Fig. 31); ascoids Yshaped (Fig. 30); scape cylindrical, 1.5X length of pedicel (Figs. 28, 30); pedicel spherical (Figs. 28, 30). Palpus formula = 1.0:1.2:1.1:1.3 (Fig. 29). Labellum with 3 apical teeth (Fig. 32). Wing (Fig. 33) with short Sc; radial fork apical to medial fork; radial fork complete and M2 incomplete. Subgenital plate (S8) with anterior margin curved, with moderately apical concavity (Fig. 34). Genital digit present.</p> <p> <b>Male.</b> Unknown.</p> <p> <b>Comments.</b> <i>Psychoda serraorobonensis</i> Bravo, Cordeiro & Chagas, sp. nov. is morphologically similar to species of the subgenus <i>Psycha</i>, principally in the number of flagellomeres and the type of fusion of the last flagellomeres (11th–12th fused), but different from <i>Psycha</i> by the cylindrical format of the last flagellomere, which in all species of <i>Psycha</i> is drop shaped, and by the number of teeth on the labellum, being 3 in the new species and 4 in the species of <i>Psycha</i>.</p> <p> <b>Distribution.</b> Brazil: Bahia (Serra do Orobó).</p>Published as part of <i>Bravo, Freddy, Cordeiro, Danilo & Chagas, Cinthia, 2006, Two new species and new records of Psychoda Latreille (Diptera: Psychodidae: Psychodinae) from Brazil, with comments on supraspecific classification of the genus, pp. 1-15 in Zootaxa 1298</i> on pages 10-11, DOI: <a href="http://zenodo.org/record/173590">10.5281/zenodo.173590</a>
Nécrologie. Ludovic Drapeyron. Serpa Pinto. Luciano Cordeiro
No full textZimmermann Maurice. Nécrologie. Ludovic Drapeyron. Serpa Pinto. Luciano Cordeiro. In: Annales de Géographie, t. 10, n°50, 1901. p. 182
SMT-based bounded model checking of multi-threaded software in embedded systems
No full textOur reliance on the correct functioning of embedded systems is growing rapidly. Such systems are used in a wide range of applications such as airbag control systems, mobile phones, and high-end television sets. These systems are becoming more and more complex and require multi-core processors with scalable shared memory to meet the increasing computational power demands. The reliability of the embedded (distributed) software is thus a key issue in the system development. In this thesis we describe and evaluate an approach to reason accurately and effectively about large embedded software using bounded model checking (BMC) based on Satisfiability Modulo Theories (SMT) techniques. We present three major novel contributions. First, we extend the encodings from previous SMT-based bounded model checkers to provide more accurate support for variables of finite bit width, bit-vector operations, arrays, structures, unions and pointers and thus making our approach suitable to reason about embedded software. We then provide new encodings into existing SMT theories and we show that our translations from ANSI-C programs to SMT formulas are as precise as bit-accurate procedures based on Boolean Satisfiability. Second, we develop three related approaches for model checking multi-threaded software in embedded systems. In the lazy approach, we generate all possible interleavings and call the SMT solver on each of them individually, until we either find a bug, or have systematically explored all interleavings. In the schedule recording approach, we encode all possible interleavings into one single formula and then exploit the high speed of the SMT solvers. In the underapproximation and widening approach, we reduce the state space by abstracting the number of interleavings from the proofs of unsatisfiability generated by the SMT solvers. Finally, we describe and evaluate an approach to integrate our SMT-based BMC into the software engineering process by making the verification process incremental. In particular, our approach looks at the modifications suffered by the software system since its last verification, and submits them to a partly static and dynamic verification process, which is thus guided by a set of test cases for coverage. Experiments show that our SMT-based BMC can analyze larger problems and reduce the verification time compared to state-of-the-art techniques that use BMC, iterative context-bounding or counterexample-guided abstraction refinement
Ameroglossum asperifolium E. M. Almeida, J. M. P. Cordeiro & L. P. Felix 2021, sp. nov.
No full text<p> <i>Ameroglossum asperifolium</i> E.M.Almeida, J.M.P.Cordeiro & L.P.Felix sp. nov.</p> <p>urn:lsid:ipni.org:names:77216326-1</p> <p>Figs 2B, 3f–k</p> Diagnosis <p>This species is distinguished by the presence of two conspicuous wings on the dorsal sepal (vs calys without wings in all other species). It also has leaves that are rough to the touch with aciculate hairs (vs glabrous or softly hairy in all other species).</p> Etymology <p> The epithet derives from the Latin ʻ <i>asper</i> ʼ, ʻroughʼ, and ʻ <i>folium</i> ʼ, ʻleafʼ, reflecting the rough texture the leaves of this species.</p> Material examined <p> <b>Type</b> BRAZIL <b>– Alagoas</b> • Ibateguara, Sitio Bananeiras; 08°58ʹ35ʹʹ S, 35°53ʹ33ʹʹ W; 512 m a.s.l.; 28 Oct. 2014; <i>L.P. Felix, E.M. Almeida, J.P. Araújo, J.M.P. Cordeiro 15160</i>; holotype: EAN!; isotypes: IMA!, IPA!, K!, RB!.</p> <p> <b>Paratype</b> BRAZIL <b>– Alagoas</b> • Ibateguara; 08°58ʹ35ʹʹ S, 35°53ʹ33ʹʹ W; 512 m a.s.l.; 10 Jun. 2015; <i>E.M. Almeida & A.M. Wanderley 1572</i>; EAN[23212]!.</p> Description <p>Saxicolous chamaephyte up to ca 1 m, rarely with secondary branching. Young branches purplish, lustrous, quadrangular, not winged, pubescent, with aciculate trichomes; branches brownish when mature, slightly inclined, subquadrangular. Leaves opposite, decussate; leaf blade 4.0–16.0 × 1.7– 5.5 cm, purplish when young, later green with purplish margin, lustrous, elliptic to ovate, strongly bullate; adaxial side pubescent, with aciculate trichomes; abaxial side glabrescent, with recurved trichomes; apex acute to acuminate, flat; margin flat, ciliate. Inflorescence a simple dichasium. Peduncle purplish, subcylindrical, winged, pubescent, with trichomes recurved and papillose; primary peduncle 0.65–2.10 × 0.08–0.17 cm, secondary peduncle 0.40–0.75 × 0.08–0.17 cm. Pedicel 0.60–1.50 × 0.14– 0.20 cm, purplish, pubescent, with trichomes recurved and papillose; ventral side with wings on the proximal third to totally winged. Bracts 0.20–0.50 × 0.06–0.08 cm, purplish; abaxial side glabrescent, trichomes recurved, adaxial side glabrescent, trichomes papillose, margin ciliate with recurved trichomes. Calyx purplish, abaxial side glabrescent, with aciculate trichomes, recurved and papillose, adaxial side densely covered by papillose trichomes, rarely recurved, margin glabrous; dorsal sepal 1.9–2.4 × 0.5–0.7 cm, widely lanceolate, winged; lateral sepals 1.6–2.1 × 0.3–0.5 cm, lanceolate; ventral sepals 1.5–2.0 × 0.3–0.4 cm, lanceolate. Corolla 5.5–7.0 cm long, scarlet, externally pubescent, with glandular trichomes; internal side glabrescent, with papillose trichomes; tube 4.3–5.9 cm long; upper lip 1.2–1.7 × 0.8–1.1 cm, slightly bilobate; lower lip 1.1–1.6 × 0.5–0.6 cm, inner perianth with trichomes filiform, violet; lobes revolute; median lobe 0.20–0.27 × 0.08–0.10 cm. Stamens included, adnate to the median third of the corolla tube; filaments violaceous, dorsal ones 1.8–2.6 × 0.08 cm; ventral ones 2.0–2.9 × 0.08 cm; anthers 0.15 cm diam.; staminodium 0.17–0.20 cm, adnate until the middle third of the corolla tube, glabrous. Ovary ca 0.7 × 0.3 cm, glabrescent, with trichomes papillose and/or aciculate; style 5.0–6.0 cm, occasionally exserted, glabrous. Capsule 1.5–2.0 × 0.6–0.8 cm, slightly purplish. Seeds 0.10 × 0.05 cm.</p> Distribution <p> <i>Ameroglossum asperifolium</i> sp. nov. is known only from a small population growing on a granite outcrop where it covers an area of approximately 0.5 ha in the Leste Alagoano mesoregion, Alagoas State, Brazil. Elevation ca 510 m.</p> Ecology <p>Flowering and fruiting was observed in June and October. The rocky outcrop where the species was collected is located at the edge of a secondary road near the Usina Serra Grande sugarcane plantation, Alagoas State, and was probably originally surrounded by Atlantic Forest vegetation.</p> Population and threats <p> There is only a single known isolated population of this species, occupying an area of less than 10 km <i> 2</i> . In addition to the degradation of the surrounding habitat due to agricultural expansion, we observed invasion of the outcrop by <i>Furcraea foetida</i> (L.) Haw. (Asparagaceae), resulting in competition for space and consequent reduction of the population of this newly described taxon.</p>Published as part of <i>Almeida, Erton M., Christenhusz, Maarten J. M., Wanderley, Artur Maia, Cordeiro, Joel Maciel P., Melo, José Iranildo Miranda De, Batista, Fabiane Rabelo Da Costa & Felix, Leonardo P., 2021, An overview of the Brazilian inselberg genus Ameroglossum (Linderniaceae, Lamiales), with the description of seven new species, pp. 1-25 in European Journal of Taxonomy 746</i> on pages 9-10, DOI: 10.5852/ejt.2021.746.1313, <a href="http://zenodo.org/record/4695849">http://zenodo.org/record/4695849</a>
Psychoda (Psychodocha) dantilandensis Bravo, Cordeiro & Chagas, sp. n.
No full text<i>Psychoda</i> (<i>Psychodocha</i>) <i>dantilandensis</i> Bravo, Cordeiro & Chagas sp. n. (Figs. 19–27) <p> <b>Type material.</b> BRAZIL, Bahia, Dantilândia (Fzda. Sossego, 15°06´S 41° 00´W), male holotype, 25.IV.2004, R. Vieira & C. Chagas (MZUEFS); 1 paratype male, same locality, date and collector as holotype (MZUEFS); Bahia, Itabuna (14° 45’ S, 39° 17’ W), 2 paratypes male, 30.V.1999, J.R. Santos (MZUEFS).</p> <p> <b>Etymology.</b> The species name <i>dantilandensis</i> is based on the type locality.</p> <p> <b>Diagnosis.</b> This species can be distinguished from other species of <i>Psychoda</i> (<i>Psychodocha</i>) by the following combination of characteristics: eyes separated by 2.5 facet diameters; frons with large patch of alveoli at base and with pair of small patches of alveoli near eyes, triangular shaped; neck 1.0X length of base of flagellomeres; tergite 9 with large pseudospiracular opening; presence of triangular hypandrial plate covering aedeagus.</p> <p> <b>Description.</b> Male. Frons with 2 small triangular patches of alveoli near eyes (Fig. 19). Eye bridge with 4 facet rows; eyes separated by 2.5 facet diameters (Fig. 19); antenna with 14 flagellomeres, separated, 1st–10th nodiform (Figs. 21–22), 11th and 12th with neck (Fig. 20); flagellomere 14 with small basal neck (Fig. 20); scape cylindrical, 1.5X length of pedicel (Fig. 21); pedicel spherical (Fig. 21); ascoids lost in preparation. Palpus formula = 1.0:1.3:1.3:1.4 (Fig. 22). Labellum with 3 apical teeth (Fig. 23). Wing (Fig. 24) with short Sc; radial fork apical to medial fork; radial and medial fork complete; R2+3 fused to R4; base of M1+2 with somewhat circular swelling. Male terminalia (Figs. 25–27): Gonostylus with pointed apex having same length as gonocoxite. Tergite 9 rectangular, wider than long, with pseudospiracular opening (Fig. 26). Cercus short, club shaped from ventral view, 2.0X length of gonocoxite, with 1 apical tenaculum. Paramere curved apically, ending beyond apex of aedeagus. Aedeagal apodeme 1.5X length of aedeagus, slender; hypandrial plate triangular.</p> <p> <b>Female.</b> Unknown.</p> <p> <b>Collection.</b> The specimens from Dantilândia were collected in a light trap. The specimens from Itabuna were collected in a Malaise trap.</p> <p> <b>Distribution.</b> Brazil: Bahia (Dantilândia, Itabuna).</p>Published as part of <i>Bravo, Freddy, Cordeiro, Danilo & Chagas, Cinthia, 2006, Two new species and new records of Psychoda Latreille (Diptera: Psychodidae: Psychodinae) from Brazil, with comments on supraspecific classification of the genus, pp. 1-15 in Zootaxa 1298</i> on pages 8-9, DOI: <a href="http://zenodo.org/record/173590">10.5281/zenodo.173590</a>
Verifying multi-threaded software using SMT-based context-bounded model checking
No full textWe describe and evaluate three approaches to model check multi-threaded software with shared variables and locks using bounded model checking based on Satisfiability Modulo Theories (SMT) and our modelling of the synchronization primitives of the Pthread library. In the lazy approach, we generate all possible interleavings and call the SMT solver on each of them individually, until we either find a bug, or have systematically explored all interleavings. In the schedule recording approach, we encode all possible interleavings into one single formula and then exploit the high speed of the SMT solvers. In the underapproximation and widening approach, we reduce the state space by abstracting the number of interleavings from the proofs of unsatisfiability generated by the SMT solvers. In all three approaches, we bound the number of context switches allowed among threads in order to reduce the number of interleavings explored. We implemented these approaches in ESBMC, our SMT-based bounded model checker for ANSI-C programs. Our experiments show that ESBMC can analyze larger problems and substantially reduce the verification time compared to state-of-the-art techniques that use iterative context-bounding algorithms or counter-example guided abstraction refinement
- …
