MEGARA: the future IFU and MOS of the 10.4 M GTC

In these proceedings we summarize the characteristics and current status of MEGARA, the future optical IFU and MOS for the 10.4 m GTC. MEGARA is being built by a Consortium led by the UCM (Spain) that also includes the INAOE (Mexico), the IAA-CSIC (Spain) and the UPM (Spain). The MEGARA IFU offers two different bundles, one called LCB with a field-of-view of 14 x 12 arcsec^2 and a spaxel size of 0.685 arcsec yielding spectral resolutions between R=6000-19000 and another one called SCB covering 10 x 8 arcsec^2 with 0.48 arcsec spaxels and resolutions R=8000-25000. The MOS component allows observing up to 100 targets in 3.5x3.5 arcmin^2. In September 2010 MEGARA was selected as the next optical spectrograph for GTC. Its PDR is scheduled for March 2012 with First Light on 2015.

Development of data reduction pipelines for GTC instruments at the UCM

The UCM Instrumentation Group (GUAIX) is developing currently Data Reduction Pipelines (DRP) for four instruments of the GTC: EMIR, FRIDA, MEGARA and MIRADAS. The purpose of the DRPs is to provide astronomers scientific quality data, removing instrumental biases, calibrating the images in physical units and providing a estimation of the associated uncertainties.

Making observations with GTC/MEGARA easier: the MEGARA observing preparation software suite

MEGARA (Multi-Espectrografo en GTC de Alta Resolucion para Astronomia) is an optical Integral-Field Unit (IFU) and Multi-Object Spectrograph (MOS) designed for the GTC 10.4 m telescope in La Palma. Its relatively complex layout makes necessary a set of tools to facilitate the observation preparation to the user. The MEGARA Observing Preparation Software Suite (MOPSS) consists on three software components designed to assist observers to optimally plan their observations with GTC/MEGARA: the Exposure Time Calculator, the Image Simulator, and the Fiber MOS Positioning tool. We describe these software tools and the status of their prototypes up to the date.

Stars and brown dwarfs in the σ Orionis cluster (Research Note) III. OSIRIS/GTC low-resolution spectroscopy of variable sources

Context. Although many studies have been performed so far, there are still dozens of low-mass stars and brown dwarfs in the young σ Orionis open cluster without detailed spectroscopic characterisation. Aims. We look for unknown strong accretors and disc hosts that were undetected in previous surveys. Methods. We collected low-resolution spectroscopy (R ~ 700) of ten low-mass stars and brown dwarfs in σ Orionis with OSIRIS at the Gran Telescopio Canarias under very poor weather conditions. These objects display variability in the optical, infrared, Hα, and/or X-rays on time scales of hours to years. We complemented our spectra with optical and near-/mid-infrared photometry. Results. For seven targets, we detected lithium in absorption, identified Hα, the calcium doublet, and forbidden lines in emission, and/or determined spectral types for the first time. We characterise in detail a faint, T Tauri-like brown dwarf with an 18 h-period variability in the optical and a large Hα equivalent width of –125  ±  15 Å, as well as two M1-type, X-ray-flaring, low-mass stars, one with a warm disc and forbidden emission lines, the other with a previously unknown cold disc with a large inner hole. Conclusions. New unrevealed strong accretors and disc hosts, even below the substellar limit, await discovery among the list of known σ Orionis stars and brown dwarfs that are variable in the optical and have no detailed spectroscopic characterisation yet.

Data reduction pipeline for emir, the near-IR multi-object spectrograph for GTC

EMIR (Balcells et al. 2000) is a near-infrared wide-field camera and multi-object spectrograph being built for the GTC. The Data Reduction Pipeline (DRP) will be optimized for handling and reducing near-infrared data acquired with EMIR.

Emission-line galaxy surveys with GTC: The Hα Universe

Emission line galaxies are the most easily detected and studied objects in the high redshift Universe. They are being used to trace the evolution of critical observables of the Universe such as Star Formation Rate densities, starburst properties and abundances. Most of the research is being done using [OII]3727 and UV lines, but Hα is still one the best tracers for Star Formation Rate and physical properties of current star-forming galaxies. As a complementary contribution to studies of galaxy evolution, our team has focused into a long-term project to study the population of Hα-selected star-forming galaxies of the Universe at different redshifts. In 1995 we first determined the local Hα luminosity function, and from it the Star Formation Rate density (SFRd) of the local Universe. We then, using narrow-band imaging in the optical, extended this measurement to z ≃ 0.24 and z ≃ 0.4. Working in the near-infrared, GTC will be a very powerful tool to study the evolution of the Hα emission-line galaxy populations at different redshifts. We will both quantify the SFRd evolution and characterize the star-forming galaxy populations by directly comparing the same observables at all redshifts up to z ≃ 2.5.

Diseño del plan de acción de los riesgos identificados en la fábrica de pan – Delika Pan a partir de la aplicación de la Norma GTC 45 de Icontec

Bogotá (Colombia): Universidad de La Salle. Facultad de Ciencias Administrativas y Contables. Programa de Administración de Empresas

Gestión territorial del conocimiento (GTC) y desarrollo rural en América Latina y el Caribe

Introducción El estudio sobre la situación de los sistemas institucionales rurales, la extensión y los servicios de asistencia técnica en América Latina y el Caribe (ALC), encuentran en el análisis del entorno regional y global elementos sustanciales para tratar de explicar los cambios y determinar las posibilidades existentes para impulsar su definición o reconstrucción…

Implications of climate change on mitigation potential estimates for forest sector in India

Climate change is projected to impact forest ecosystems, including biodiversity and Net Primary Productivity (NPP). National level carbon forest sector mitigation potential estimates are available for India; however impacts of projected climate change are not included in the mitigation potential estimates. Change in NPP (in gC/m(2)/yr) is taken to represent the impacts of climate change. Long term impacts of climate change (2085) on the NPP of Indian forests are available; however no such regional estimates are available for short and medium terms. The present study based on GCM climatology scenarios projects the short, medium and long term impacts of climate change on forest ecosystems especially on NPP using BIOME4 vegetation model. We estimate that under A2 scenario by the year 2030 the NPP changes by (-5) to 40% across different agro-ecological zones (AEZ). By 2050 it increases by 15% to 59% and by 2070 it increases by 34 to 84%. However, under B2 scenario it increases only by 3 to 25%, 3.5 to 34% and (-2.5) to 38% respectively, in the same time periods. The cumulative mitigation potential is estimated to increase by up to 21% (by nearly 1 GtC) under A2 scenario between the years 2008 and 2108, whereas, under B2 the mitigation potential increases only by 14% (646 MtC). However, cumulative mitigation potential estimates obtained from IBIS-a dynamic global vegetation model suggest much smaller gains, where mitigation potential increases by only 6% and 5% during the period 2008 to 2108.

Differential binding of ppGpp and pppGpp to E-coli RNA polymerase: photo-labeling and mass spectral studies

(p) ppGpp, a secondary messenger, is induced under stress and shows pleiotropic response. It binds to RNA polymerase and regulates transcription in Escherichia coli. More than 25 years have passed since the first discovery was made on the direct interaction of ppGpp with E. coli RNA polymerase. Several lines of evidence suggest different modes of ppGpp binding to the enzyme. Earlier cross-linking experiments suggested that the beta-subunit of RNA polymerase is the preferred site for ppGpp, whereas recent crystallographic studies pinpoint the interface of beta'/omega-subunits as the site of action. With an aim to validate the binding domain and to follow whether tetra-and pentaphosphate guanosines have different location on RNA polymerase, this work was initiated. RNA polymerase was photo-labeled with 8-azido-ppGpp/8-azido-pppGpp, and the product was digested with trypsin and subjected to mass spectrometry analysis. We observed three new peptides in the trypsin digest of the RNA polymerase labeled with 8-azido-ppGpp, of which two peptides correspond to the same pocket on beta'-subunit as predicted by X-ray structural analysis, whereas the third peptide was mapped on the beta-subunit. In the case of 8-azido-pppGpp-labeled RNA polymerase, we have found only one cross-linked peptide from the beta'-subunit. However, we were unable to identify any binding site of pppGpp on the beta-subunit. Interestingly, we observed that pppGpp at high concentration competes out ppGpp bound to RNA polymerase more efficiently, whereas ppGpp cannot titrate out pppGpp. The competition between tetraphosphate guanosine and pentaphosphate guanosine for E. coli RNA polymerase was followed by gel-based assay as well as by a new method known as DRaCALA assay.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Genetic diversity of Saccostrea cucullata population in the northern coast in Persian Gulf and Oman Sea

Genetic diversity of Saccostrea cucullata in the northern coast lines of the Persian Gulf and the Sea of Oman were determined using DNA extraction and RAPD - PCR. A total of 300 samples were collected from 6 station along the coastline. Two out of six primers showed positive results namely GCG - ATC - CCC - A (Primer 1) and GTC - CAC - ACG - C (Primer 5) which were in accordance with morphometric analysis. The number of bands in the two above - mentioned primers in Khor - Tang and Chabahar station (Province of Sistan and Balouchestan) was significantly different from the number of produced bands in Dayer and Bushehr station (Province of Bushehr) as well as Gheshm and Bandar - Lengeh station (Province of Hormozgan). The cluster analisys was used to confirm the above variations. The results showed that the oyster population can be divided into two separate clusters. The first cluster included Bushehr Dayer Gheshm and Bandar - Lengeh species. The second cluster included Khor - Tang and Chabahar species. The analysis also showed that the first cluster can be divided into two Sub — cluster. Bushehr and Dayer belong to one Sub - cluster whereas Gheshm and Bandar - Lengeh form the other Sub — cluster. The formation of different vluster can be related to Physico - Chemical properties of water and climatic variations in different habitats along the Persion Gulf and the Sea of Oman. Key words: Molecular genetics, Population, RAND, PCR' Saccostrea cucullata

中国植被净生产力的比较研究

利用3个光能利用率模式(CASA,GLOPEM和GEOLUE)和2个生态过程机理模式(CEVSA和GEOPRO)以不同空间分辨率和不同输入参数对中国植被净生产力(NetPrimaryProduction,NPP)进行时空模拟,对5个模式模拟的中国的NPP进行了时间序列和空间格局的对比分析所得结论如下:CASA,GLOPEM及CEVSA3个模式对中国NPP的月、季和年的时空模拟符合中国植被季节变化规律和季风气候下的中国植被的空间变化规律,近20a来中国NPP变化趋势以增长为主;5个模式模拟的中国平均NPP季节的值为春季约为(0.571±0.2)GtC左右,夏季约为(1.573±0.4)GtC左右,秋季约为(0.6±0.2)GtC左右,冬季约为(0.12±0.1)GtC左右;中国植被净生产力年值约为(2.864±1)GtC/a;5个模式较好地模拟了中国不同类型生态群落的生物量的季节特征和空间格局状况.研究为中国利用造林、再造林、森林和农田管理等人为活动引起的碳增汇用于抵消中国承诺的温室气体减排指标的计算及碳收支平衡的研究提供参考,为植被净生产力总量的国家本底的确定提供了依据.

Simulation study of China's net primary production

Spatial and temporal distribution of vegetation net primary production (NPP) in China was studied using three light-use efficiency models (CASA, GLOPEM and GEOLUE) and two mechanistic ecological process models (CEVSA, GEOPRO). Based on spatial and temporal analysis (e.g. monthly, seasonally and annually) of simulated results from ecological process mechanism models of CASA, GLOPEM and CEVSA, the following conclusions could be made: (1) during the last 20 years, NPP change in China followed closely the seasonal change of climate affected by monsoon with an overall trend of increasing; (2) simulated average seasonal NPP was: 0.571 +/- 0.2 GtC in spring, 1.573 +/- 0.4 GtC in summer, 0.6 +/- 0.2 GtC in autumn, and 0.12 +/- 0.1 GtC in winter. Average annual NPP in China was 2.864 +/- 1 GtC. All the five models were able to simulate seasonal and spatial features of biomass for different ecological types in China. This paper provides a baseline for China's total biomass production. It also offers a means of estimating the NPP change due to afforestation, reforestation, conservation and other human activities and could aid people in using for-mentioned carbon sinks to fulfill China's commitment of reducing greenhouse gases.

A versatile characterization of causal relationships

This paper introduces a framework for representing versatile temporal relationships between events and their effects. The framework is based on a simple time model which characterizes each time element as a subset of the set of real numbers and allows expression of both absolute time values and relative temporal relations. The formalism presented here formally specifies the so-called most general temporal constraint (GTC), which guarantees the common-sense assertion that “the beginning of the effect cannot precede the beginning of the cause”. It is shown that there are in fact 8 possible causal relationships which satisfy GTC, including cases where, on the one hand, effects start simultaneously with, during, immediately after, or some time after their causes, and on the other hand, events end before, simultaneously with, or after their causes. The causal relationships characterized in this paper are versatile enough to subsume those representatives in the literature.