Retrieval and Multi-scale Validation of Soil Moisture from Multi-temporal SAR Data in a Semi-Arid Tropical Region

The current study presents an algorithm to retrieve surface Soil Moisture (SM) from multi-temporal Synthetic Aperture Radar (SAR) data. The developed algorithm is based on the Cumulative Density Function (CDF) transformation of multi-temporal RADARSAT-2 backscatter coefficient (BC) to obtain relative SM values, and then converts relative SM values into absolute SM values using soil information. The algorithm is tested in a semi-arid tropical region in South India using 30 satellite images of RADARSAT-2, SMOS L2 SM products, and 1262 SM field measurements in 50 plots spanning over 4 years. The validation with the field data showed the ability of the developed algorithm to retrieve SM with RMSE ranging from 0.02 to 0.06 m(3)/m(3) for the majority of plots. Comparison with the SMOS SM showed a good temporal behaviour with RMSE of approximately 0.05 m(3)/m(3) and a correlation coefficient of approximately 0.9. The developed model is compared and found to be better than the change detection and delta index model. The approach does not require calibration of any parameter to obtain relative SM and hence can easily be extended to any region having time series of SAR data available.

Multi-agent Reinforcement Learning for Traffic Signal Control

Optimal control of traffic lights at junctions or traffic signal control (TSC) is essential for reducing the average delay experienced by the road users amidst the rapid increase in the usage of vehicles. In this paper, we formulate the TSC problem as a discounted cost Markov decision process (MDP) and apply multi-agent reinforcement learning (MARL) algorithms to obtain dynamic TSC policies. We model each traffic signal junction as an independent agent. An agent decides the signal duration of its phases in a round-robin (RR) manner using multi-agent Q-learning with either is an element of-greedy or UCB 3] based exploration strategies. It updates its Q-factors based on the cost feedback signal received from its neighbouring agents. This feedback signal can be easily constructed and is shown to be effective in minimizing the average delay of the vehicles in the network. We show through simulations over VISSIM that our algorithms perform significantly better than both the standard fixed signal timing (FST) algorithm and the saturation balancing (SAT) algorithm 15] over two real road networks.

Optical-Phonon-Limited High-Field Transport in Layered Materials

An optical-phonon-limited velocity model has been employed to investigate high-field transport in a selection of layered 2-D materials for both, low-power logic switches with scaled supply voltages, and high-power, high-frequency transistors. Drain currents, effective electron velocities, and intrinsic cutoff frequencies as a function of carrier density have been predicted, thus providing a benchmark for the optical-phonon-limited high-field performance limits of these materials. The optical-phonon-limited carrier velocities for a selection of multi-layers of transition metal dichalcogenides and black phosphorus are found to be modest compared to their n-channel silicon counterparts, questioning the utility of biasing these devices in the source-injection dominated regime. h-BN, at the other end of the spectrum, is shown to be a very promising material for high-frequency, high-power devices, subject to the experimental realization of high carrier densities, primarily due to its large optical-phonon energy. Experimentally extracted saturation velocities from few-layer MoS2 devices show reasonable qualitative and quantitative agreement with the predicted values. The temperature dependence of the measured v(sat) is discussed and compared with the theoretically predicted dependence over a range of temperatures.

Avances en algoritmos de estimación de distribuciones. Alternativas en el aprendizaje y representación de problemas

131 p.: graf.

Kinetic investigations of heterogeneously catalyzed reactions on the Ru(001) and Pt(110)-(1x2) surfaces

The initial probabilities of activated, dissociative chemisorption of methane and ethane on Pt(110)-(1 x 2) have been measured. The surface temperature was varied from 450 to 900 K with the reactant gas temperature constant at 300 K. Under these conditions, we probe the kinetics of dissociation via trapping-mediated (as opposed to 'direct') mechanism. It was found that the probabilities of dissociation of both methane and ethane were strong functions of the surface temperature with an apparent activation energies of 14.4 kcal/mol for methane and 2.8 kcal/mol for ethane, which implys that the methane and ethane molecules have fully accommodated to the surface temperature. Kinetic isotope effects were observed for both reactions, indicating that the C-H bond cleavage was involved in the rate-limiting step. A mechanistic model based on the trapping-mediated mechanism is used to explain the observed kinetic behavior. The activation energies for C-H bond dissociation of the thermally accommodated methane and ethane on the surface extracted from the model are 18.4 and 10.3 kcal/mol, respectively.

The studies of the catalytic decomposition of formic acid on the Ru(001) surface with thermal desorption mass spectrometry following the adsorption of DCOOH and HCOOH on the surface at 130 and 310 K are described. Formic acid (DCOOH) chemisorbs dissociatively on the surface via both the cleavage of its O-H bond to form a formate and a hydrogen adatom, and the cleavage of its C-O bond to form a carbon monoxide, a deuterium adatom and an hydroxyl (OH). The former is the predominant reaction. The rate of desorption of carbon dioxide is a direct measure of the kinetics of decomposition of the surface formate. It is characterized by a kinetic isotope effect, an increasingly narrow FWHM, and an upward shift in peak temperature with Ɵ_T, the coverage of the dissociatively adsorbed formic acid. The FWHM and the peak temperature change from 18 K and 326 K at Ɵ_T = 0.04 to 8 K and 395 K at Ɵ_T = 0.89. The increase in the apparent activation energy of the C-D bond cleavage is largely a result of self-poisoning by the formate, the presence of which on the surface alters the electronic properties of the surface such that the activation energy of the decomposition of formate is increased. The variation of the activation energy for carbon dioxide formation with Ɵ_T accounts for the observed sharp carbon dioxide peak. The coverage of surface formate can be adjusted over a relatively wide range so that the activation energy for C-D bond cleavage in the case of DCOOH can be adjusted to be below, approximately equal to, or well above the activation energy for the recombinative desorption of the deuterium adatoms. Accordingly, the desorption of deuterium was observed to be governed completely by the desorption kinetics of the deuterium adatoms at low Ɵ_T, jointly by the kinetics of deuterium desorption and C-D bond cleavage at intermediate Ɵ_T, and solely by the kinetics of C-D bond cleavage at high Ɵ_T. The overall branching ratio of the formate to carbon dioxide and carbon monoxide is approximately unity, regardless the initial coverage Ɵ_T, even though the activation energy for the production of carbon dioxide varies with Ɵ_T. The desorption of water, which implies C-O bond cleavage of the formate, appears at approximately the same temperature as that of carbon dioxide. These observations suggest that the cleavage of the C-D bond and that of the C-O bond of two surface formates are coupled, possibly via the formation of a short-lived surface complex that is the precursor to to the decomposition.

The measurement of steady-state rate is demonstrated here to be valuable in determining kinetics associated with short-lived, molecularly adsorbed precursor to further reactions on the surface, by determining the kinetic parameters of the molecular precursor of formaldehyde to its dissociation on the Pt(110)-(1 x 2) surface.

Overlayers of nitrogen adatoms on Ru(001) have been characterized both by thermal desorption mass spectrometry and low-energy electron diffraction, as well as chemically via the postadsorption and desorption of ammonia and carbon monoxide.

The nitrogen-adatom overlayer was prepared by decomposing ammonia thermally on the surface at a pressure of 2.8 x 10^(-6) Torr and a temperature of 480 K. The saturated overlayer prepared under these conditions has associated with it a (√247/10 x √247/10)R22.7° LEED pattern, has two peaks in its thermal desorption spectrum, and has a fractional surface coverage of 0.40. Annealing the overlayer to approximately 535 K results in a rather sharp (√3 x √3)R30° LEED pattern with an associated fractional surface coverage of one-third. Annealing the overlayer further to 620 K results in the disappearance of the low-temperature thermal desorption peak and the appearance of a rather fuzzy p(2x2) LEED pattern with an associated fractional surface coverage of approximately one-fourth. In the low coverage limit, the presence of the (√3 x √3)R30° N overlayer alters the surface in such a way that the binding energy of ammonia is increased by 20% relative to the clean surface, whereas that of carbon monoxide is reduced by 15%.

A general methodology for the indirect relative determination of the absolute fractional surface coverages has been developed and was utilized to determine the saturation fractional coverage of hydrogen on Ru(001). Formaldehyde was employed as a bridge to lead us from the known reference point of the saturation fractional coverage of carbon monoxide to unknown reference point of the fractional coverage of hydrogen on Ru(001), which is then used to determine accurately the saturation fractional coverage of hydrogen. We find that ƟSAT/H = 1.02 (±0.05), i.e., the surface stoichiometry is Ru : H = 1 : 1. The relative nature of the method, which cancels systematic errors, together with the utilization of a glass envelope around the mass spectrometer, which reduces spurious contributions in the thermal desorption spectra, results in high accuracy in the determination of absolute fractional coverages.

Estudo dos efeitos da exposição materna à nicotina na lactação sobre a função da medula adrenal e dos adipócitos de ratos machos e fêmeas

Alterações nutricionais, hormonais e ambientais nos períodos críticos do desenvolvimento como a gestação e/ou lactação podem influenciar a estrutura e a fisiologia de órgãos e tecidos, predispondo ao aparecimento de doenças na vida adulta. Esse fenômeno é conhecido como programação metabólica. O fumo materno na gestação/lactação tem sido associado ao sobrepeso/obesidade na infância e na vida adulta em ambos os sexos. Porém, estudos evidenciam diferenças entre os gêneros em resposta a exposição à nicotina. Já foi demonstrado que muitas mulheres param de fumar na gestação, mas a maioria destas volta a fumar na lactação. Anteriormente, mostramos que machos adultos cujas mães foram expostas à nicotina na lactação, desenvolveram obesidade central, hiperleptinemia e hipotireoidismo. Como a nicotina afeta a função adrenal e como catecolaminas e glicocorticóides têm efeitos bem conhecidos sobre o tecido adiposo, avaliamos a função da medula adrenal e o conteúdo de leptina no tecido adiposo e músculo de machos e fêmeas cujas mães foram expostas à nicotina na lactação. Dois dias pós-parto, implantamos minibombas osmóticas nas ratas lactantes dividas em: NIC infusão de nicotina (6mg/Kg/dia s.c.) por 14 dias, e C infusão de salina pelo mesmo período. Estas lactantes foram divididas de acordo com o sexo das proles. O sacrifício das proles de ambos os sexos ocorreu aos 15 (fim da exposição à nicotina) e 180 dias de vida. Aos 15 dias, os machos da prole NIC apresentaram aumento de MGV absoluta e relativa ao peso corporal (+72% e +73% respectivamente), hiperleptinemia (+35%), hipercorticosteronemia (+67%), maior peso adrenal (+39%), conteúdo de catecolaminas totais (absoluto: +69% e relativo: +41%), embora diminuição da enzima TH (-33%). Quando adultos, os machos programados exibiram maior massa corporal (+10%), MGV absoluta (+47%) e relativa (+33%), além de hiperleptinemia (+41%) e maior conteúdo de leptina no TAV (+23%). Esses animais também apresentaram hipercorticosteronemia (+77%), maior conteúdo de catecolaminas totais absoluto e relativo (+79% e +89% respectivamente) e de TH (+38%) embora tenham menor secreção de catecolaminas in vitro estimulada por cafeína (-19%) e maior expressão do ADRB3 no TAV (+59%). Em relação as fêmeas da prole NIC aos 15 dias de vida, estas apresentaram menor massa corporal (-6%) e hiperleptinemia (+41%) embora sem alteração da MGV. Aos 180 dias, as fêmeas da prole NIC apresentaram menor conteúdo de leptina no TAS (-46%) e maior conteúdo de leptina no músculo solear (+22%) e diminuição da expressão do ADRB3 no TAV (-39%). Concluímos que a nicotina materna afeta ambos, medula adrenal e tecido adiposo de forma gênero dependente, tanto em curto prazo (quando a nicotina está presente no leite materno), quanto em longo prazo (repercussões na vida adulta). De forma geral, as fêmeas da prole NIC apresentam alterações mais discretas do que os machos em ambos os períodos estudados.

Effects of PbF2 on the spectroscopic, lasing and structural properties of Yb3+-doped fluorophosphate glass

Effect of PbF2 on Yb3+ -doped fluorophosphate glasses is studied. Results indicate that proper amount of PbF2 has absolute advantages in improving the crystallization stability of fluorophosphate glasses. T, value performs a decreasing and increasing tendency with 25 mol% PbF2 as the turning-point. And the spectroscopic properties such as absorption and emission cross section, effective fluorescence linewidth are apparently enhanced with PbF2 over 25 mol%. Lasing parameters beta, I-sat and I-min increase slightly with the addition of PbF2. Raman analysis proves that over 20 mol% PbF2, destroys the phosphate vibration groups greatly. (c) 2005 Elsevier Ltd. All rights reserved.

Effects of Yb ion concentration on the spectral properties of lead silica glasses

The spectral properties in different concentration of Yb ions (0.5-5 mol%)-doped silica glasses are explored in this paper. The glasses are prepared by traditional melting method. The absorption spectra and the fluorescent lifetime (tau(f)) are measured at room temperature and low temperature (18 K). The stimulated cross-section (sigma(emi)) and potential laser properties (beta(min), I-sat, I-min) are calculated based on the absorption spectra. The absorption cross-section (sigma(abs)) are in the range 1.08 x 10(-20) - 1.18 x 10(-20) cm(2) in different glasses, the fluorescence lifetime (tau(f)) change from 1.9 to 1.2 ms with the increase of Yb3+ concentration. The potential laser properties indicate that lead silica glass is a good host for highly Yb ion doping glass. (c) 2005 Elsevier B.V. All rights reserved.

Dos prelos da impressão régia, a cultura científica do período joanino (1808-1821)

O presente estudo examina o momento fundador da imprensa no Brasil em 1808 e a rotina de funcionamento da Impressão Régia, no Rio de Janeiro, entre 1808 e 1821. Qual era sua estrutura administrativa, sua ordem de despesas, a natureza das ocupações funcionais, enfim, qual era a lógica de funcionamento da casa impressora oficial da Corte no início do Oitocentos? Qual o lugar ocupado pelos impressos naquele contexto?Para melhor compreender a estrutura, a rotina administrativa e de funcionamento da Impressão Régia no Rio de Janeiro, mas, principalmente, os usos e funções da régia tipografia no momento de seu estabelecimento por iniciativa do príncipe regente d. João, foi analisada também parte de sua produção, qual seja, os títulos dedicados às Ciências e às Artes. A partir desses livros, localizados no acervo da Biblioteca Nacional do Rio de Janeiro e na Biblioteca Guita e José Mindlin, em São Paulo, foram estudadas as características biobibliográficas de seus autores e a relação dos mesmos com o poder oficial.Foi possível identificar que os autores dos títulos examinados eram herdeiros da tradição ilustrada portuguesa. Partilhando de uma mesma cultura política, possuíam laços estreitos com membros da Corte, prestando obediência ao príncipe, sendo alguns autores, inclusive, integrantes da junta diretora da Impressão Régia.Assim, além da rotina e funcionamento da casa impressora da Corte, no Rio de Janeiro de d. João, o presente trabalho examina tomando como fonte de análise sua produção editorial no campo das Ciências e das Artes a formação da cultura científica do período Joanino e a rede de sociabilidades existente no Rio de Janeiro, entre 1808 e 1821.

History of a Systematics Odyssey: The Marine Flora and Fauna of the Eastern United States

On an early fall day in September 1962 I sat quietly, thoughtfully, at my large desk in a newly renovated corner office in the old Crane wing of the Lillie Building, Marine Biological Laboratory (MBL), Woods Hole, Massachusetts. Looking out through high, ancient windows, I could see the busy main street of Woods Hole in the foreground, Martha's Vineyard beyond, behind me the MBL Stone Candle House, across the street the Woods Hole Oceanographic Institution (WHOI) and to the far right, the Biological Laboratory of the Bureau of Commercial Fisheries (BCF)(Fig. 1). Down the inner hall from my office stretched renovated quarters for the fledgling, ongoing, year-round MBL Systematics-Ecology Program (SEP), which I had been invited to direct.

Construction and Operation of a Two-place Diver's Sled

Fisheries gear researchers have employed scuba diver-operated sleds to evaluate towed fishing systems since the early 1950's. One of the earliest sled designs was a converted Stokes litter in which two divers sat tandem with the forward diver operating the diving controls (Sand, 1956). The litter was relatively easy to maneuver and provided a comfortable platform for observing operational fishing gear. However, the use of underwater photographic equipment to document gear performance was difficult due to the limited mobility of the observer-cameraman.

An investigation of the kinetics of CO2 uptake by a synthetic calcium based sorbent

This study examines the kinetics of carbonation by CO2 at temperatures of ca. 750 °C of a synthetic sorbent composed of 15 wt% mayenite (Ca12Al14O33) and CaO, designated HA-85-850, and draws comparisons with the carbonation of a calcined limestone. In-situ XRD has verified the inertness of mayenite, which neither interacts with the active CaO nor does it significantly alter the CaO carbonation–calcination equilibrium. An overlapping grain model was developed to predict the rate and extent of carbonation of HA-85-850 and limestone. In the model, the initial microstructure of the sorbent was defined by a discretised grain size distribution, assuming spherical grains. The initial input to the model – the size distribution of grains – was a fitted parameter, which was in good agreement with measurements made with mercury porosimetry and by the analysis of SEM images of sectioned particles. It was found that the randomly overlapping spherical grain assumption offered great simplicity to the model, despite its approximation to the actual porous structure within a particle. The model was able to predict the performance of the materials well and, particularly, was able to account for changes in rate and extent of reaction as the structure evolved after various numbers of cycles of calcination and carbonation.

An investigation of the kinetics of CO 2 uptake by a synthetic calcium based sorbent

This study examines the kinetics of carbonation by CO 2 at temperatures of ca. 750°C of a synthetic sorbent composed of 15wt% mayenite (Ca 12Al 14O 33) and CaO, designated HA-85-850, and draws comparisons with the carbonation of a calcined limestone. In-situ XRD has verified the inertness of mayenite, which neither interacts with the active CaO nor does it significantly alter the CaO carbonation-calcination equilibrium. An overlapping grain model was developed to predict the rate and extent of carbonation of HA-85-850 and limestone. In the model, the initial microstructure of the sorbent was defined by a discretised grain size distribution, assuming spherical grains. The initial input to the model - the size distribution of grains - was a fitted parameter, which was in good agreement with measurements made with mercury porosimetry and by the analysis of SEM images of sectioned particles. It was found that the randomly overlapping spherical grain assumption offered great simplicity to the model, despite its approximation to the actual porous structure within a particle. The model was able to predict the performance of the materials well and, particularly, was able to account for changes in rate and extent of reaction as the structure evolved after various numbers of cycles of calcination and carbonation. © 2011 Elsevier Ltd.

Improving model quality through computer controlled saturation

In dynamic centrifuge modelling, fluids with enhanced viscosity are often used to correct for the discrepancy in time scaling. However, great care must be taken when using a high viscosity fluid that hydraulic gradients during saturation do not become high enough to cause excessive model disturbance. This paper introduces the CAM-Sat system which aims to improve the saturation process by continually controlling the fluid flow into the model, limiting it to rates low enough to avoid model disturbance. A new method for measuring the fluid flow rate is then described, and its implementation & improvement to the system is discussed. © 2010 Taylor & Francis Group, London.

限界模型检测方法及其应用

形式化验证主要是通过精确的分析来证明或证伪硬件或软件系统中一些明确的声明或者性质。形式化验证方法在广义上可以分成两大类：模型检测和定理证明。模型检测由对模型的所有状态和迁移做详尽访问的自动检测机制组成。这种机制是通过对适当的抽象模型进行直接或间接的状态枚举技术来实现的，从而证明模型中存在或者不存在所谓的“瑕疵”状态。定理证明则是运用数学推理和逻辑推论来证明系统的正确性。本文所讨论的就是模型检测方法中的限界模型检测方法及其相关的改进和应用。近些年来，基于可满足性求解（SAT）的限界模型检测方法作为基于BDD的模型检测方法的一种有效的补充，已经有了一定的发展。A. Biere等人最先提出了对于线性时序逻辑公式（LTL）的限界模型检测方法，进而，W.Penczek又提出了对于全局计算树逻辑（ACTL）的限界模型检测方法。由于模型检测方法具有很高的复杂性，因此，其效率问题始终倍受关注。论文第一个方面的重要贡献就体现在提高限界模型检测效率方面的相关研究上。我们对Penczek提出的限界模型检测方法进行了两方面的改进，以提高其求解效率。第一方面的改进是通过改进所需路径条数计算函数，将时序操作符EX和其它时序操作符区分开来，以减少编码时所需的迁移关系和变量数目；第二方面的改进则是采用统一路径编码的方式来简化公式的编码。通过这两方面的改进，公式在最坏情况下的编码复杂度得到了有效的降低。同时，我们还在工具BMV中实现了改进后的方法。随着实时系统的应用日益广泛，在对全局计算树逻辑的限界模型检测方法做了改进，提高了其求解效率以后，我们又将目光转移到了对实时系统的限界模型检测上。如何将限界模型检测方法高效的运用到对实时系统的检测当中成为了本文第二个方面的重要贡献。基于SAT的限界模型检测方法在对实时系统的模型和描述性质的公式进行编码时，需要对时间变量和时钟约束进行布尔编码，由于时间的连续性和不确定性，使得在对它进行布尔编码时，往往会相当的复杂，不仅耗费大量的时间，而且还不利于SAT的求解，即使是使用改进后的限界模型检测方法，整个验证过程的效率还是很低。所以，在对实时系统进行限界模型检测方面，我们转而考虑采用基于可满足性模块理论（SMT）的方法来对实时系统的模型和描述性质的公式进行编码。由于SMT可以直接处理基于整数或者实数的线性算术表达式，因此，我们可以直接用整型或者实型变量来表示时间变量，用线性算术表达式来表示时钟约束。与基于SAT的限界模型检测方法相比，基于SMT的限界模型检测方法在处理实时系统方面，不仅简化了编码过程，而且大大提高了求解效率。在此基础上，我们运用基于SAT的对全局计算树逻辑的限界模型检测方法中的改进思想，对基于SMT的实时系统的限界模型检测方法也做了相应的改进，使其求解效率较之改进前有了较大的提升。最后，我们就基于SAT的限界模型检测方法和基于SMT的限界模型检测方法以及它们的改进方法进行了一系列的实验对比。从实验结果可以看出，改进后的方法比改进前的方法在时间效率和空间效率上都有明显的提升，同时就实时系统来说，采用了SMT和限界模型检测相结合的方法以后，效率也比没有采用这两者的方法要高很多。