Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic

A framework based on the notion of "conflict-tolerance" was proposed in as a compositional methodology for developing and reasoning about systems that comprise multiple independent controllers. A central notion in this framework is that of a "conflict-tolerant" specification for a controller. In this work we propose a way of defining conflict-tolerant real-time specifications in Metric Interval Temporal Logic (MITL). We call our logic CT-MITL for Conflict-Tolerant MITL. We then give a clock optimal "delay-then-extend" construction for building a timed transition system for monitoring past-MITL formulas. We show how this monitoring transition system can be used to solve the associated verification and synthesis problems for CT-MITL.

Conflict-Free Coloring for Rectangle Ranges Using O(n.382) Colors

Given a set of points P ⊆ R2, a conflict-free coloring of P w.r.t. rectangle ranges is an assignment of colors to points of P, such that each nonempty axisparallel rectangle T in the plane contains a point whose color is distinct from all other points in P ∩ T . This notion has been the subject of recent interest and is motivated by frequency assignment in wireless cellular networks: one naturally would like to minimize the number of frequencies (colors) assigned to base stations (points) such that within any range (for instance, rectangle), there is no interference. We show that any set of n points in R2 can be conflict-free colored with O(nβ∗+o(1)) colors in expected polynomial time, where β∗ = 3−√5 2 < 0.382.

Dung as a potential medium for inter-sexual chemical signaling in Asian elephants (Elephas maximus)

Chemical signaling is a prominent mode of male-female communication among elephants, especially during their sexually active periods. Studies on the Asian elephant in zoos have shown the significance of a urinary pheromone (Z7-12:Ac) in conveying the reproductive status of a female toward the opposite sex. We investigated the additional possibility of an inter-sexual chemical signal being conveyed through dung. Sixteen semi-captive adult male elephants were presented with dung samples of three female elephants in different reproductive phases. Each male was tested in 3 separate trials, within an interval of 1-3 days. The trials followed a double-blind pattern as the male and female elephants used in the trials were strangers, and the observer was not aware of the reproductive status of females during the period of bioassays. Males responded preferentially (P < 0.005), in terms of higher frequency of sniff, check and place behavior toward the dung of females close to pre-ovulatory period (follicular-phase) as compared to those in post-ovulatory period (luteal-phase). The response toward the follicular phase samples declined over repeated trials though was still significantly higher than the corresponding response toward the non-ovulatory phase in each of the trials performed. This is the first study to show that male Asian elephants were able to distinguish the reproductive phase of the female by possibly detecting a pre-ovulatory pheromone released in dung. (C) 2012 Elsevier B.V. All rights reserved.

Reproductive queue without overt conflict in the primitively eusocial wasp Ropalidia marginata

Colonies of the primitively eusocial wasp Ropalidia marginata consist of a single egg layer (queen) and a number of non-egg-laying workers. Although the queen is a docile individual, not at the top of the behavioral dominance hierarchy of the colony, she maintains complete reproductive monopoly. If the queen is lost or removed, one and only one of the workers potential queen (PQ)] becomes hyperaggressive and will become the next queen of the colony. The PQ is almost never challenged because she first becomes hyperaggressive and then gradually loses her aggression, develops her ovaries, and starts laying eggs. Although we are unable to identify the PQ when the queen is present, she appears to be a ``cryptic heir designate.'' Here, we show that there is not just one heir designate but a long reproductive queue and that PQs take over the role of egg-laying, successively, without overt conflict, as the queen or previous PQs are removed. The dominance rank of an individual is not a significant predictor of its position in the succession hierarchy. The age of an individual is a significant predictor, but it is not a perfect predictor because PQs often bypass older individuals to become successors. We suggest that such a predesignated reproductive queue that is implemented without overt conflict is adaptive in the tropics, where conspecific usurpers from outside the colony, which can take advantage of the anarchy prevailing in a queenless colony and invade it, are likely to be present throughout the year.

A landscape-level assessment of Asian elephant habitat, its population and elephant-human conflict in the Anamalai hill ranges of southern Western Ghats, India

Spatial information at the landscape scale is extremely important for conservation planning, especially in the case of long-ranging vertebrates. The biodiversity-rich Anamalai hill ranges in the Western Ghats of southern India hold a viable population for the long-term conservation of the Asian elephant. Through rapid but extensive field surveys we mapped elephant habitat, corridors, vegetation and land-use patterns, estimated the elephant population density and structure, and assessed elephant-human conflict across this landscape. GIS and remote sensing analyses indicate that elephants are distributed among three blocks over a total area of about 4600 km(2). Approximately 92% remains contiguous because of four corridors; however, under 4000 km2 of this area may be effectively used by elephants. Nine landscape elements were identified, including five natural vegetation types, of which tropical moist deciduous forest is dominant. Population density assessed through the dung count method using line transects covering 275 km of walk across the effective elephant habitat of the landscape yielded a mean density of 1.1 (95% Cl = 0.99-1.2) elephant/km(2). Population structure from direct sighting of elephants showed that adult male elephants constitute just 2.9% and adult females 42.3% of the population with the rest being subadults (27.4%), juveniles (16%) and calves (11.4%). Sex ratios show an increasing skew toward females from juvenile (1:1.8) to sub-adult (1:2.4) and adult (1:14.7) indicating higher mortality of sub-adult and adult males that is most likely due to historical poaching for ivory. A rapid questionnaire survey and secondary data on elephant-human conflict from forest department records reveals that villages in and around the forest divisions on the eastern side of landscape experience higher levels of elephant-human conflict than those on the western side; this seems to relate to a greater degree of habitat fragmentation and percentage farmers cultivating annual crops in the east. We provide several recommendations that could help maintain population viability and reduce elephant-human conflict of the Anamalai elephant landscape. (C) 2013 Deutsche Gesellschaft far Saugetierkunde. Published by Elsevier GmbH. All rights reserved.

Conflict-tolerant specifications for hybrid systems

We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a ``conflict tolerant'' specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict-tolerant specifications for general hybrid systems, using ``acceptor'' and ``advisor'' components. We also give a decision procedure for verifying whether a controller satisfies its conflict-tolerant specification, in the special case when the components are modeled using initialized rectangular hybrid automata.

Evaluación de semilla sexual hibrida de papa (Solanum tuberosum L.) provenientes del Centro Internacional de la Papa e India en la zona de Miraflor, Esteli

Con el objetivo de seleccionar progenies promisorias de semilla sexual de papa, procedentes del CIP (11) y Programa de la India (3) se estableció este ensayo el 21 de septiembre de 1994, utilizando un diseño de Bloques Completos al Azar (BCA) con cuatro repeticiones, en la estación experimental del Instituto Nicaragüense de Tecnología Agropecuaria (INTA-RB-3), ubicada a 1 350 msnm, humedad relativa del 91 por ciento, temperatura promedio mínima 15 °C/máx 26 °C, cuyos suelos son de textura franca bien drenada, medianamente profundo a profundo, con una precipitación durante el ensayo de 622 mm. Los resultados obtenidos muestran que todas las progenies híbridas enviadas por el CIP mostraron buena velocidad de emergencia en especial SERRANA x LT-7, con respecto a los lubridos de la India. En general el porcentaje de sobrevivencia fue mayor del 80 por ciento para la mayoría de las progenies el cual es un índice aceptable, a excepción de 104.12 LB x TS-4.En la altura final de la planta no hubieron diferencias significativas entre híbridos, solo fueron superiores a KATADIN x TS-10. En cuanto al rendimiento, la progenie HPS­ II/67 mostró ser superior a las demás con 6.2 kg/m2. El número total de tubérculos por metro cuadrado {740) y tubérculos por planta (7) fue superior en la progenie TS-6 x TPS-67. Las progenies de ambos programas mostraron rendimientos por metro cuadrado de más del 50 por ciento con tubérculos mayores de 5 gramos. No se presentó incidencia de virus para ambas progenies, las tres progenies provenientes del Programa de la India presentaron mayor resistencia a tizón tardío (Phytophthora infestans, Mont. D.bary).

Evaluacion de diferentes niveles de fertilizantes NPK en la produccion de minituberculos de papa (Solanum tuberosum L.) en semillero para la producción comercial, proveniente de semilla sexual, variedad ATZIMBA

La papa es una fuente de alimentación importante a nivel mundial, en Nicaragua los altos costos de importación de semilla de buena calidad, tiene como efecto, la dificultad de los productores de aumentar áreas de siembra y el bajo consumo con respecto a otros países por el costo de este producto. La falta de un programa nacional de producción de semilla contribuye al problema, ya que muchos productores no tienen acceso a semilla, pero al introducir la semilla botánica de papa para producción de minituberculos, hace que el productor demande nuevos conocimientos, por tanto hay que desarrollarlos, uno de estos conocimientos es la dosis de fertilización adecuada en semillero de papa para la producción de minituberculos. Existen estudios en otros países como Perú, pero no son adaptables a nuestras condiciones, por tal motivo se estableció un ensayo en el Mojón, Jinotega, el cual comprendió de septiembre a diciembre del 2002, el diseño utilizado fue el de Bloques Completos al Azar (BCA), donde se evaluaron cinco dosis de fertilizantes. El área experimental fue de 105 m2, la comparación de medias se realizo por Duncan al 0.05 de probabilidad. Los objetivos del ensayo fueron: objetivo general: Evaluar el efecto de distintos niveles de fertilización sobre la producción de mini tubérculos de papa (Solanum tuberosum L.) en semillero, proveniente de semilla sexual o semilla verdadera. Objetivos específicos: Estudiar el efecto de diferentes dosis de fertilizantes en almacigo para la producción de minituberculos de papa, determinar la dosis con las que se obtienen los mejores rendimientos en la producción de minituberculos de papa, y realizar un análisis Beneficio–Costo de los resultados obtenidos para determinar cual es el tratamiento que económica y productivamente es el más rentable. Los parámetros evaluados fueron: altura de plantas, plantas cosechadas, cuatro categorías de peso de tubérculos y número de tubérculos totales por hectárea, además el rendimiento de minitubérculos de papa. No se encontró evidencia estadísticas que alguna dosis aumente el numero de tubérculos por hectárea, pero, se demostró que la aplicación de 300 a 450 kilogramos de urea, 270 a 420 kilogramos del fertilizante 18-46-00 y 80 a 130 kilogramos de sulfato de amonio aumenta el rendimiento en peso de minitubérculos, y la ganancia de los productores aumenta de 133 000 a 139 300 córdobas por hectárea. Aplicaciones mayores de fertilizantes causan perdidas hasta en 41 600 córdobas por hectárea con respecto a la aplicación de los productores.