169,220 research outputs found
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
No full textPsychoda serraorobonensis Bravo, Cordeiro & Chagas (Figs 32–33) Psychoda serraorobonensis Bravo, Cordeiro & Chagas, 2006: 10. Type locality: Brazil (Bahia, Serra do Orobó). Diagnosis. Eyes separated by 1.5 –2.0 facet diameters; antenna with 14 flagellomeres, the 3 apical subequal, 11 th, 12 th and 13 th fused, 14 th flagellomere separated and spherical; ascoids in Y; median fork incomplete; female subgenital plate pilose on distal half and with lateral margins convex. Additional characters. hair patch of frons extending to facet row 1, almost reaching hair patch of vertex; eyes separated by 1.5 –2.0 facet diameters; 5–6 supra-ocular setae; interocular suture absent; clypeus with 2 or 3 stronger lateral alveoli; frontoclypeal suture absent; 11 th, 12 th and 13 th flagellomeres fused (only 11 th and 12 th on original description), spines present on 11 th and 13 th; palpal formula 1: 1.2 (1.1–1.3): 1.1 (1.1–1.3): 1.4 (1.3–1.5); labellum with 3 apical teeth, 1 subapical tooth and 2 lateral setae; distitarsus without apical projection (Fig. 32); female subgenital plate pilose on distal half, internally with a micropilose structure goblet shaped and a pair of lateral sclerotized lines just lateral to the digit (Fig. 33); genital chamber oval, with posterior apodeme. Male. Unknown. Material examined. Type material: holotype Ƥ BRAZIL, Bahia, Serra do Orobó, 29.xii. 2004, col. F. Bravo (MZUEFS). Others specimens: 2 Ƥ BRAZIL, Amazonas, Pitinga, Grota (c), 29.vi.1991, 12cdc/m, no collector name, (1 Ƥ INPA, 1 Ƥ MZUEFS); 1 Ƥ Amazonas, Silves, Saracá, área alterada, 17.xii.1997, 6 cdc - m, col. RF / FLS/LMC (INPA); 1 Ƥ Bahia, Senhor do Bonfim, Serra de Santana, 28.viii. 2006, col. R. Vieira & C. Chagas (MZUEFS); 1 Ƥ Bahia, Senhor do Bonfim, Serra de Santana, 29.viii. 2006, col. R. Vieira & C. Chagas (MZUEFS); 1 Ƥ Bahia, Cachoeira, Faz. Villa Rial, 13–27.vi. 2007, Malaise trap, col. E. Alvim & I. Castro (MZUEFS); 1 Ƥ BRAZIL, Paraná, Antonina, Res. Sapitanduva, 02.iii. 1987, Malaise trap, Profaupar 4.5 (DZUP). Distribution. Brazil (Amazonas, Bahia and Paraná). Comments. This species is morphologically similar to species of the subgenus Psycha, mainly in the number of flagellomeres and the type of fusion of the last flagellomeres, but different from Psycha by the globular format of the apical flagellomere, which in all species of Psycha is drop shaped. This is the first record of this species to Amazonas and Paraná.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 pages 15-16, DOI: 10.5281/zenodo.20524
[Report to Chief J. E. Curry, by an unknown author #1]
No full textReport to Chief J. E. Curry, by an unknown author. The report contains a list of officers who gave depositions to the United States Attorney
[Report to Chief J. E. Curry, by an unknown author #2]
No full textReport to Chief J. E. Curry, by an unknown author. The report contains a list of officers who gave depositions to the United States Attorney
Débat sur les communications de J. Costa-Lascoux , A.M. Faidutti, C. Wihtol de Wenden-Didier, R. Verhaeren, J , Andrian, A. Cordeiro, J. Singer-Kerel.
No full textDébat sur les communications de J. Costa-Lascoux , A.M. Faidutti, C. Wihtol de Wenden-Didier, R. Verhaeren, J , Andrian, A. Cordeiro, J. Singer-Kerel.. In: Hommes et Terres du Nord, numéro hors-série 1981/2. Migrations internes et externes en Europe Occidentale. Tome 2. pp. 692-694
Débat sur les communications de J. Costa-Lascoux , A.M. Faidutti, C. Wihtol de Wenden-Didier, R. Verhaeren, J , Andrian, A. Cordeiro, J. Singer-Kerel.
No full textDébat sur les communications de J. Costa-Lascoux , A.M. Faidutti, C. Wihtol de Wenden-Didier, R. Verhaeren, J , Andrian, A. Cordeiro, J. Singer-Kerel.. In: Hommes et Terres du Nord, numéro hors-série 1981/2. Migrations internes et externes en Europe Occidentale. Tome 2. pp. 692-694
Alepia janjezeki Cordeiro & Bravo 2015, sp. nov.
No full textAlepia janjezeki Cordeiro & Bravo, sp. nov. (Figs 28–36) Type material. HOLOTYPE: ♁, BRAZIL: BAHIA: Piatã, Cachoeira do Patrício, light trap, 5.xi.2013, cols. Menezes E., Nascimento F., Carvalho J., Cordeiro D. & Bravo F. (MZFS). PARATYPE: 1 ♀, same place, data and collectors as holotype (MZFS). Diagnosis. Eyes widely separated; wing membrane with setae on base of costal cell; cercus conical, with dark area at base bearing 25 long clavate tenacula; pair of well sclerotized parameres lateral to aedeagus. Description. Head. Frons seta patch slightly divided (Figs 28 and 29); eye bridge short, eyes widely separated; no larger alveoli on area of supraocular setae and occipital setae (Figs 28–30); interocular suture present; clypeus wider than long; antenna with cylindrical scape 2× (male, Fig. 28) or 2.5× (female, Fig. 29) length of spherical pedicel, 14 flagellomeres with pair of digitiforme ascoids on the same side, apical flagellomere with apiculus around 0.4× length of whole flagellomere (Fig. 31); palpal formula 1.0: 2.1: 2.1: 2.3. Labellum bulbous, with short spines on inner margin and several lateral setae. Thorax (Fig. 32). Pre-sutural setae separated from supraalar setae; seta patch of anepisternum divided. Wing (Fig. 33). Wing membrane bare except on veins and base of cell C, with pattern of infuscation as illustrated; vein Sc short; R1 ending beyond level of CuA2; radial fork complete and basal to complete medial fork; base of M 2 weakened. Legs. Distitarsi with apical projection (Fig. 34). Male terminalia (Fig. 35). Hypandrium straight, separating gonocoxites; gonostylus spatulate with several small setae sparsely distributed throughout its length; gonocoxal apodemes large, expanding anteriorly and meeting at midline to form gonocoxal bridge; cercus conical, with dark area at base bearing 25 long clavate tenacula; aedeagus symmetric; aedeagal apodeme large; pair of well sclerotized parameres lateral to aedeagus; parameres have continuous apodemes at base, dorsally to aedeagus. Female terminalia (Fig. 36). Subgenital plate bilobed; ovipositor almost reaching 1.4 length of subgenital plate; genital chamber with expansion on lateral margin. Differential diagnosis. This species is morphologically close to Alepia copelata Quate, 1999, in the eyes widely separated, and the shape of aedeagal complex, with two large well sclerotized parameres, but they can be differentiated by the shape of gonostylus and the number of tenacula in the dark area at the base of cercus. Etymology. The species epithet is given in honor to Dr. Jan Ježek for his enormous contribution to the taxonomy of family Psychodidae. Distribution. Brazil (Bahia).Published as part of Cordeiro, Danilo, Bravo, Freddy & Chagas, Cínthia, 2015, Four new species of Psychodinae (Diptera: Psychodidae) from the Brazilian semiarid region, with contributions to supraspecific classification of Trichopsychodina and a redefinition of Feuerborniella, pp. 457-472 in Acta Entomologica Musei Nationalis Pragae 55 (2) on pages 469-470, DOI: 10.5281/zenodo.450387
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
Psychoda serrana Cordeiro, Bravo & De, 2011, sp. nov.
No full textPsychoda serrana, sp. nov. (Figs 123–131) Etymology. The species name, serrana, is based on type locality. Diagnosis. Antenna with 14 flagellomeres, the 3 apical reduced and separated, 12 th and 13 th subequal, 14 th shorter; palpal formula 1.0: 1.2:1.0: 1.1; subgenital plate subrectangular, longer than wide, pilose on distal half, internally with a lateral curved line and a large bilobed structure; genital digit present. Female. Head (Fig. 123): vertex, frons and clypeus pilose; hair patch of frons extending to facet row 1; eye bridge with 4 facets; eyes separated by 1.0 facet diameter; 6 supra-ocular setae; interocular suture absent; clypeus with 2 stronger lateral alveoli; frontoclypeal suture absent; antenna with 14 flagellomeres, the 3 apical reduced and separated, 12 th and 13 th subequal, 14 th shorter (Fig. 124); spine present on 11 th flagellomere; scape cylindrical, 2.0 the length of the subspherical pedicel (Fig. 125); ascoids in Y; palpal formula 1.0: 1.2:1.0: 1.1 (Fig. 126); labellum with 4 apical teeth and 2 lateral setae (Fig. 127). Wing (Fig. 128): Sc vein ending just beyond base of vein Rs; radial and medial forks complete. Distitarsus with apical projection (Fig. 129). Terminalia: subgenital plate subrectangular, longer than wide, bilobed, pilose on distal half (Fig. 130); genital digit present; subgenital plate internally with a lateral curved line and a large bilobed structure (Fig. 131); genital chamber damaged during preparation. Male. Unknown. Material examined. Holotype Ƥ BRAZIL, Paraná, São José dos Pinhais, Serra do Mar, BR 277 km 54, 15.xii. 1986, Profaupar 2.2 (DZUP). Distribution. Brazil (Paraná). Comments. This species is morphologically similar to the species of the subgenus Psychodocha, except for the presence of spine on 11 th flagellomere.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 30, DOI: 10.5281/zenodo.20524
Psychoda serrana Cordeiro, Bravo & De, 2011, sp. nov.
No full textPsychoda serrana, sp. nov. (Figs 123–131) Etymology. The species name, serrana, is based on type locality. Diagnosis. Antenna with 14 flagellomeres, the 3 apical reduced and separated, 12 th and 13 th subequal, 14 th shorter; palpal formula 1.0: 1.2:1.0: 1.1; subgenital plate subrectangular, longer than wide, pilose on distal half, internally with a lateral curved line and a large bilobed structure; genital digit present. Female. Head (Fig. 123): vertex, frons and clypeus pilose; hair patch of frons extending to facet row 1; eye bridge with 4 facets; eyes separated by 1.0 facet diameter; 6 supra-ocular setae; interocular suture absent; clypeus with 2 stronger lateral alveoli; frontoclypeal suture absent; antenna with 14 flagellomeres, the 3 apical reduced and separated, 12 th and 13 th subequal, 14 th shorter (Fig. 124); spine present on 11 th flagellomere; scape cylindrical, 2.0 the length of the subspherical pedicel (Fig. 125); ascoids in Y; palpal formula 1.0: 1.2:1.0: 1.1 (Fig. 126); labellum with 4 apical teeth and 2 lateral setae (Fig. 127). Wing (Fig. 128): Sc vein ending just beyond base of vein Rs; radial and medial forks complete. Distitarsus with apical projection (Fig. 129). Terminalia: subgenital plate subrectangular, longer than wide, bilobed, pilose on distal half (Fig. 130); genital digit present; subgenital plate internally with a lateral curved line and a large bilobed structure (Fig. 131); genital chamber damaged during preparation. Male. Unknown. Material examined. Holotype Ƥ BRAZIL, Paraná, São José dos Pinhais, Serra do Mar, BR 277 km 54, 15.xii. 1986, Profaupar 2.2 (DZUP). Distribution. Brazil (Paraná). Comments. This species is morphologically similar to the species of the subgenus Psychodocha, except for the presence of spine on 11 th flagellomere.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 30, DOI: 10.5281/zenodo.20524
- …
