72 resultados para Coq
Resumo:
Digital Image
Resumo:
Con el propósito de determinar el producto más eficaz en el control de la mosquita del sorgo (Contarinia sorghicola Coq). Se realizó un experimento en el periodo comprendido entre los meses de septiembre a diciembre de 1996, en el Centro Nacional de Investigación Agropecuaria (CNIA/INTA), cuyos suelos pertenecen a la serie Sabana Grande con drenaje moderadamente rápido y textura que varia de franco a franco arenoso. El disefto utilizado fue un bloque completo al azar con cuatro repeticiones y seis tratamientos. Los tratamientos estudiados fueron insecticidas a base de (deltametrina) Decis 2.5 EC, (metamidophos) MTD 60 SL, (azadiractina) Nim 20%,(azadhiractina) Nim 80%, EM-5 (microorganismos efectivos) y un testigo absoluto (sin aplicación). La variedad utilizada fue Pinolero-1. Los resultados demuestran que no se presentaron diferencias significativas para ninguna de las variables evaluadas por lo que no hubo efecto de los tratamientos evaluados. Sin embargo el análisis económico de los tratamientos refleja que el testigo absoluto (sin aplicación) presentó la mayor tasa de rentabilidad.
Resumo:
La mosquita de la panojas del sorgo, Stenediplosls sorghicola (Coq.) es una de las plagas mas importantes que atacan al sorgo en Nicaragua. Varios estudios fueron conducidos en el pacifico de Nicaragua durante 1998 y 1999 para determinar hospederos y la actividad de esta plaga durante la segunda fecha de siembra de este cultivo (Postrera). Hembras oviposltaron en sorgo desde mediados de Septiembre hasta los últimos dfas de Diciembre. Cuando sorgo no se encontraba presente, hembras ovipositaron en sorgo escobero, Sorghum bicolor (L.) o pastoJonson, Sorghum halepense L. Pasto Jonson florea durante todo el ano y puede servir como hospedero mientras las otras especies de sorghum no se encuentran en el campo. Cuando estos tres hospederos estaban floreando al mismo tiempo, las hembras exhibieron una fuerte preferencia para ovlpositar en sorgo. Basado en estas observaciones la mosquita de la panoja del sorgo puede estar activa durante todo el ano en el pacifico de Nicaragua. Conocimiento de la ocurrencia y comportamiento de la mosquita en el area, es muy Importante para el desarrollo de estrategias de manejo de esta plaga.
Resumo:
Con el objetivo de evaluar líneas de sorgo por su resistencia a la mosquita, Stenodiplosis sorghicola (Coq.), se introdujo procedente de la Universidad de Texas A & M, en el año 2004 un vivero de 64 líneas de sorgo con resistencia a mosquita. Se seleccionaron las mejores 35 por aspecto de planta para sembrarlas nuevamente en 2005. Además en 2005 se intro dujo otro vivero de 50 líneas. Los tres viveros se sembraron en surcos de 5 m de largo distribuidos en bloques completos al azar con 3 repeticiones en la época de postrera (Agosto – Diciembre) de 2004 en Santa Rosa y 2005 en CNIA, am bas estaciones experimentales del Instituto Nicaragüense de Tecnología Agropecuaria (INTA). El daño de mosquita se evaluó usando la escala visual para daño elaborada por Fre deriksen et al (1981). También las líneas se evaluaron para rendimiento de grano y se tomó datos de días a floración y altura de planta. Los resultados indican que en 2004 Las lí - neas de mayor rendimiento de grano fueron 02CM1137-BK/ LM, 03CM15085-BK, 03CM15038-BK y 03CM15033-BK con 6002, 5194, 5144 y 5066 kg/ha respectivamente y que el daño de mosquita fue muy bajo. En 2005, en la evaluación de 35 líneas seleccionadas en 2004, las de mayor rendimien to fueron 03CM15038-BK, 03CM15033-BK, 03CM15131 y 01LI9278 con 6406, 6396, 6255 y 6215 kg/ha y daño de mosquita de 1.3, 1.0, 1.3 y 1.0 respectivamente. El daño de mosquita fue severo y algunas líneas no produjeron grano. El menor rendimiento se encontró en la línea 01LI9275 con 280 kg/ha y daño de 8.3. En el vivero nuevo introducido en 2005 las líneas de mayor rendimiento fueron 05:03CM15087-BK, 05:04LI4366, 05:00LI1324 y 05LI4042,43 con 7915, 7238, 6625 y 5088 kg/ha respectivamente y daño de mosquita de 1.0 en las primeras tres líneas y 2.0 en la cuarta. En este vi vero, la línea 05:04LI4015,16 no produjo grano y el daño fue de 9.0.
Resumo:
This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.
Resumo:
Référence bibliographique : Rol, 58718
Resumo:
Référence bibliographique : Rol, 59779
Resumo:
Référence bibliographique : Rol, 59601
Resumo:
[Mazarinade. 1649]
Resumo:
Référence bibliographique : Rol, 60390
Resumo:
Référence bibliographique : Rol, 60389
