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.

Instabilities of a liquid film flowing down an inclined porous plane

The problem of a film flowing down an inclined porous layer is considered. The fully developed basic flow is driven by gravitation. A careful linear instability analysis is carried out. We use Darcy's law to describe the porous layer and solve the coupling equations of the fluid and the porous medium rather than the decoupled equations of the one-sided model used in previous works. The eigenvalue problem is solved by means of a Chebyshev collocation method. We compare the instability of the two-sided model with the results of the one-sided model. The result reveals a porous mode instability which is completely neglected in previous works. For a falling film on an inclined porous plane there are three instability modes, i.e., the surface mode, the shear mode, and the porous mode. We also study the influences of the depth ratio d, the Darcy number delta, and the Beavers-Joseph coefficient alpha(BJ) on the instability of the system.

Design strategies for ultra-high efficiency photovoltaics

While concentrator photovoltaic cells have shown significant improvements in efficiency in the past ten years, once these cells are integrated into concentrating optics, connected to a power conditioning system and deployed in the field, the overall module efficiency drops to only 34 to 36%. This efficiency is impressive compared to conventional flat plate modules, but it is far short of the theoretical limits for solar energy conversion. Designing a system capable of achieving ultra high efficiency of 50% or greater cannot be achieved by refinement and iteration of current design approaches.

This thesis takes a systems approach to designing a photovoltaic system capable of 50% efficient performance using conventional diode-based solar cells. The effort began with an exploration of the limiting efficiency of spectrum splitting ensembles with 2 to 20 sub cells in different electrical configurations. Incorporating realistic non-ideal performance with the computationally simple detailed balance approach resulted in practical limits that are useful to identify specific cell performance requirements. This effort quantified the relative benefit of additional cells and concentration for system efficiency, which will help in designing practical optical systems.

Efforts to improve the quality of the solar cells themselves focused on the development of tunable lattice constant epitaxial templates. Initially intended to enable lattice matched multijunction solar cells, these templates would enable increased flexibility in band gap selection for spectrum splitting ensembles and enhanced radiative quality relative to metamorphic growth. The III-V material family is commonly used for multijunction solar cells both for its high radiative quality and for the ease of integrating multiple band gaps into one monolithic growth. The band gap flexibility is limited by the lattice constant of available growth templates. The virtual substrate consists of a thin III-V film with the desired lattice constant. The film is grown strained on an available wafer substrate, but the thickness is below the dislocation nucleation threshold. By removing the film from the growth substrate, allowing the strain to relax elastically, and bonding it to a supportive handle, a template with the desired lattice constant is formed. Experimental efforts towards this structure and initial proof of concept are presented.

Cells with high radiative quality present the opportunity to recover a large amount of their radiative losses if they are incorporated in an ensemble that couples emission from one cell to another. This effect is well known, but has been explored previously in the context of sub cells that independently operate at their maximum power point. This analysis explicitly accounts for the system interaction and identifies ways to enhance overall performance by operating some cells in an ensemble at voltages that reduce the power converted in the individual cell. Series connected multijunctions, which by their nature facilitate strong optical coupling between sub-cells, are reoptimized with substantial performance benefit.

Photovoltaic efficiency is usually measured relative to a standard incident spectrum to allow comparison between systems. Deployed in the field systems may differ in energy production due to sensitivity to changes in the spectrum. The series connection constraint in particular causes system efficiency to decrease as the incident spectrum deviates from the standard spectral composition. This thesis performs a case study comparing performance of systems over a year at a particular location to identify the energy production penalty caused by series connection relative to independent electrical connection.

Diálogo institucional e direito à saúde

O trabalho busca analisar os problemas envolvendo a efetivação do direito à saúde no Brasil, os conflitos alocativos subjacentes à temática e o papel das instituições representativas, do Judiciário e da sociedade civil neste processo. Pretende-se reafirmar a importância da proteção do direito à saúde e, ao mesmo tempo, criticar uma certa euforia doutrinária e jurisprudencial que se instalou nos últimos anos e passou a compreender o Judiciário como o último guardião das promessas constitucionais não cumpridas pelos ramos representativos. O trabalho analisa as experiências constitucionais de países que não apostam no dogma da supremacia judicial e tentam conciliar a revisão judicial com mecanismos mais democráticos. A partir daí propõe o marco teórico das teorias do diálogo institucional como uma alternativa menos unilateral para enfrentar os desafios desencadeados no campo sanitário. No trabalho enfatiza-se a importância pelas preocupações com a efetividade da constituição, mas propõe-se uma reflexão sobre qual seria a melhor alternativa para tanto, chegando-se à conclusão contra-intuitiva de que talvez o caminho mais eficaz passe por um controle judicial fraco, que não despreze as potencialidades do Direito, mas que aposte mais na democracia e na interação sinérgica entre os ramos representativos e a sociedade civil.

Influência de diferentes métodos de condicionamento superficial em pinos pré-fabricados resinosos fibro-reforçados em vidro e quartzo na resistência adesiva a compósito de polimerização dual: teste de push-out

O objetivo deste estudo foi realizar uma avaliação tridimensional da rugosidade superficial em 3 tipos de pinos de fibra - DT LightPost, FRC Postec Plus e Transluma Post - submetidos a diferentes tratamentos de superfície e avaliar os efeitos dos pré-tratamentos na resistência adesiva a um compósito de presa dual Biscore. Os tratamentos de superfície foram: imersão em ácido hidrofluorídrico, jateamento com óxido de alumínio a 50m, imersão em peróxido de hidrogênio, jateamento com óxido de alumínio a 50m seguido de imersão em ácido hidrofluorídrico e jateamento com óxido de alumínio a 50m seguido de imersão em peróxido de hidrogênio. No experimento 1, 75 pinos foram divididos em 3 grupos (n = 25), de acordo com seu fabricante e subdivididos em cinco subgrupos. A rugosidade superficial foi medida usando um rugosímetro tridimensional e analisada com o software de análise 3D. Os valores de rugosidade foram obtidos antes e após diferentes tratamentos de superfície na área dos mesmos corpos-de-prova. Para o experimento 2, foram utilizados os mesmos corpos-de-prova, os mesmos grupos e subgrupos do experimento 1, tendo sido adicionado o subgrupo de controle (n=90) e a resistência adesiva a um compósito presa dual Biscore foi mensurada através de um teste push-out. A resistência adesiva foi medida em uma máquina universal de ensaios, com uma célula de carga tipo SLBL-5kN em uma velocidade de 0,5 mm / min. Os resultados do experimento 1 foram analisados através de um teste estatístico t-Student. Jateamento e jateamento seguido de imersão em ácido hidrofluorídrico produziram um aumento estatisticamente significante na rugosidade, contudo somente o tratamento por jateamento proporcionou um aumento significativo nos valores de rugosidade. Os resultados do experimento 2 foram obtidos através de um um teste t-unilateral de hipótese com variância desconhecida. Concluiu-se que o jateamento com óxido de alumínio a 50μm em uma distância de 30 mm a 2,5 bar de pressão por 5 segundos foi suficiente para modificar a topografia dos pinos de fibra de vidro e quartzo e que o jateamento com partículas de 50 μ alumina a distância de 30 mm a 2,5 bar de pressão por 5 segundos foi o único tratamento de superfície que aumentou a resistência adesiva do compósito Biscore aos pinos DT Light Post e Transluma Post. Os pinos FRC Postec Plus não demostraram um aumento estatisticamente significante na resistência adesiva em nenhum grupo.

A cicatriz do Tatarana: o sagrado feminino em Grande sertão: veredas

O trabalho analisa, na obra Grande Sertão: Veredas de João Guimarães Rosa (1956), elementos discursivos indicadores de um modo de narrar que ficcionaliza, tanto na forma quanto no teor de sua mensagem, manifestações do sagrado originárias da Antiguidade grega e da tradição judaico-cristã. A partir da analogia entre a obra de Guimarães Rosa e a Odisseia de Homero, tornam-se evidentes vestígios do épico e de modelos clássicos de narrativa que, revestidos do peculiar trabalho da linguagem rosiana, adensam a complexidade do romance. O paralelismo com as Sagradas Escrituras, mais difuso, projeta as ações num patamar dramático, em que se decidem o destino das personagens e a solenidade do discurso memorável. A fundamentação teórica articula o pensamento de Erich Auerbach, André Jolles, Rudolf Otto e também de estudiosos que se dedicaram à obra do autor mineiro, como Kathrin Rosenfield. Esse recorte mostrou a presença do sagrado em microcélulas entretecidas ao emaranhado de histórias e causos que costuram a obra prima de Rosa. A cicatriz da Tatarana alude à cicatriz de Ulisses, sinal revelador da identidade do herói grego e que, no caso do jagunço Riobaldo, desoculta um amor negado por meio da purgação do passado, elaborada numa conversa "unilateral com um suposto interlocutor. Em linguagem mítica e mágica, a figura nebulosa de Diadorim funciona como índice de ambiguidade e, ao mesmo tempo, da revelação alcançada através da morte. A pesquisa, por seu turno, segue as veredas abertas pelo estudo de Tereza Virgínia Ribeiro Barbosa a respeito das mulheres vestidas de sol, metáfora relacionada a Medeia, mas que se projeta na Virgem Maria e numa linhagem de figuras femininas da América Latina ligadas ao sagrado. Verificamos, na perspectiva das transferências culturais do tipo passado místico-mistérico/posteridade fabular, que o discurso de Riobaldo é atravessado por micronarrativas de longa tradição que sincretizam diferentes símbolos exotéricos. O trabalho encerra sua investigação desvendando a dualidade do sertão rosiano, onde impera o embate entre fé e ceticismo, a dúvida e a razão, o amor e o ódio, o masculino e o feminino, que resulta no inacabado, na travessia, a vida como metáfora, no campo das infinitas possibilidades do homem humano

O contraditório no procedimento fiscal para o lançamento de ofício: legitimação democrática, transparência e eficiência administrativa

Esse trabalho se propõe a demonstração que o atual procedimento fiscal para o lançamento de ofício carece de um realinhado com os valores constitucionais da democracia e eficiência através da introdução do direito ao contraditório antes da constituição do crédito tributário. Apesar da redemocratização do país e o reconhecimento e valorização do constitucionalismo como sistema jurídico, ainda se adota no Brasil um sistema inquisitório no procedimento de constituição dos créditos tributários pelo lançamento de ofício. O que significa a vedação ao contribuinte da iniciativa de manifestação para demonstrar a inocorrência dos fatos lhe imputados pela fiscalização. A sua participação durante o procedimento se caracteriza pela passividade, quando se limita ao atendimento das intimações para a apresentação das provas e esclarecimentos do interesse da administração tributária; portanto, o contribuinte não participa da formação do ato administrativo de lançamento tributário, apenas cumpre deveres legais. Assim, procuramos demonstrar que apesar da existência de um processo administrativo fiscal após o lançamento e a suspensão da cobrança, o crédito tributário constituído provoca efeitos jurídicos imediatos negativos aos contribuintes, o que justifica o contraditório durante o próprio procedimento de lançamento e não apenas durante o processo que se forma posteriormente. Também enfatiza-se o reconhecimento desse direito ao apontar a contradição entre a necessária colaboração do contribuinte para a revelação dos fatos geradores de efeitos tributários contra si mesmo e a adoção no Brasil de um sistema inquisitório tomado emprestado dos inquéritos policiais.

Joint experimental and numerical approach to three-dimensional shock control bump research

Previous studies of transonic shock control bumps have often been either numerical or experimental. Comparisons between the two have been hampered by the limitations of either approach. The present work aims to bridge the gap between computational fluid dynamics and experiment by planning a joint approach from the outset. This enables high-quality validation data to be produced and ensures that the conclusions of either aspect of the study are directly relevant to the application. Experiments conducted with bumps mounted on the floor of a blowdown tunnel were modified to include an additional postshock adverse pressure gradient through the use of a diffuser as well as introducing boundary-layer suction ahead of the test section to enable the in-flow boundary layer to be manipulated. This has the advantage of being an inexpensive and highly repeatable method. Computations were performed on a standard airfoil model, with the flight conditions as free parameters. The experimental and computational setups were then tuned to produce baseline conditions that agree well, enabling confidence that the experimental conclusions are relevant. The methods are then applied to two different shock control bumps: a smoothly contoured bump, representative of previous studies, and a novel extended geometry featuring a continuously widening tail, which spans the wind-tunnel width at the rear of the bump. Comparison between the computational and experimental results for the contour bump showed good agreement both with respect to the flow structures and quantitative analysis of the boundary-layer parameters. It was seen that combining the experimental and numerical data could provide valuable insight into the flow physics, which would not generally be possible for a one-sided approach. The experiments and computational fluid dynamics were also seen to agree well for the extended bump geometry, providing evidence that, even though thebumpinteracts directly with the wind-tunnel walls, it was still possible to observe the key flow physics. The joint approach is thus suitable even for wider bump geometries. Copyright © 2013 by S. P. Colliss, H. Babinsky, K. Nubler, and T. Lutz. Published by the American Institute of Aeronautics and Astronautics, Inc.

Cloning of biologically active genomes from a Helicoverpa armigera single-nucleocapsid nucleopolyhedrovirus isolate by using a bacterial artificial chromosome

Purification of genotypes from baculovirus isolates provides understanding of the diversity of baculoviruses and may lead to the development of better pesticides. Here, we report the cloning of different genotypes from an isolate of Helicoverpa armigera single-nucleocapsid nucleopolyhedrovirus (HaSNPV) by using a bacterial artificial chromosome (BAC). A transfer vector (pHZB10) was constructed which contained an Escherichia coli mini-F replicon cassette within the upstream and downstream arms of HaSNPV polyhedrin gene. Hz2e5 cells were co-transfected with wild-type HaSNPV DNA and pHZB10 to generate recombinant viruses by homologous recombination. The DNA of budded viruses (BVs) was used to transform E. coli. One of the bacmid colonies, HaBacHZ8, has restriction enzyme digestion profiles similar to an in vivo cloned strain HaSNPV-G4, the genome of which has been completely sequenced. For testing the oral infectivity, the polyhedrin gene of HaSNPV was reintroduced into HaBacHZ8 to generate the recombinant bacmid HaBacDF6. The results of one-step growth curves, electron microscopic examination, protein expression analysis and bioassays indicated that HaBacDF6 replicated as well as HaSNPV-G4 in vitro and in vivo. The biologically functional HaSNPV bacmids obtained in this research will facilitate future studies on the function genomics and genetic modification of HaSNPV. (C) 2003 Elsevier B.V. All rights reserved.

A simple route of morphology control and structural and optical properties of ZnO grown by metal-organic chemical vapour deposition

Employing the metal-organic chemical vapour deposition (MOCVD) technique, we prepare ZnO samples with different morphologies from the film to nanorods through conveniently changing the bubbled diethylzinc flux (BDF) and the carrier gas flux of oxygen (OCGF). The scanning electron microscope images indicate that small BDF and OCGF induce two-dimensional growth while the large ones avail quasi-one-dimensional growth. X-ray diffraction (XRD) and Raman scattering analyses show that all of the morphology-dependent ZnO samples are of high crystal quality with a c-axis orientation. From the precise shifts of the 2 theta. locations of ZnO (002) face in the XRD patterns and the E-2(high) locations in the Raman spectra, we deduce that the compressive stress forms in the ZnO samples and is strengthened with the increasing BDF and OCGF. Photoluminescence spectroscopy results show all the samples have a sharp ultraviolet luminescent band without any defects-related emission. Upon the experiments a possible growth mechanism is proposed.

The radio counter-jet of the QSO 3C 48

We present multi- frequency radio observational results of the quasar 3C 48. The observations were carried out with the Very Large Array ( VLA) at five frequencies, 0.33, 1.5, 4.8, 8.4, and 22.5 GHz, and with the Multi- Element Radio Linked Interferometer Network ( MERLIN) at the two frequencies of 1.6 and 5 GHz. The source shows a one- sided jet to the north within 1", which then extends to the northeast and becomes diffuse. Two bright components ( N2 and N3), containing most of the flux density, are present in the northern jet. The spectral index of the two components is alpha(N2) similar to -0.99 +/- 0.12 and alpha(N3) similar to - 0.84 +/- 0.23 ( S proportional to nu(alpha)). Our images show the presence of an extended structure surrounding component N2, suggestive of strong interaction between the jet and the interstellar medium ( ISM) of the host galaxy. A steep- spectrum component, labelled S, located 0.25 " southwest to the flat- spectrum component which could be the core of 3C 48, is detected at a significance of > 15 sigma. Both the location and the steepness of the spectrum of component S suggest the presence of a counter- jet in 3C 48.

川西地区几种优势苔藓植株元素含量及其时空差异性

揭示苔藓植株元素含量及其时空差异性是深入开展利用苔藓植物指示环境和筛选理想监测藓种的科学基础。采用微波消解（ICP-AES）方法对九寨沟自然遗产地原始林景点停车场周围三个采样带：I为停车场植被小岛（PS），向外约120 m半径为II带（D120），再向外距离约1,000 m为III带（D1000）和3个方向上的大羽藓和毛尖青藓2种苔藓中13种元素（A1, S, Ca, P, Cu, Fe, K, Mg, Mn, Pb, Ni,Zn和Cd）含量进行了测定和比较，并对采自边坡方向（PS-3）上2005和2007年的4种苔藓植物（南木藓、大羽藓、平藓和厚角絹藓）也进行了13种元素含量的测定和比较。同时对九寨沟自然遗产地、黄龙自然遗产地、夹金山和梦笔山的冷杉原始林4个地区的3种苔藓中（大羽藓、锦丝藓和塔藓）的A1、Ca、Cu、Fe、K、Mg、P、Zn、C和N 10种元素含量进行测定和比较。 对大羽藓和毛尖青藓2种苔藓植物内13种元素的测定发现：1）同种苔藓对不同元素的富集能力不同。A1、Ca、K、Mg和P的元素含量在苔藓中的富集较其他元素的要高。2）不同种苔藓植物对同种元素的富集能力不同，毛尖青藓较大羽藓能够监测出更多的元素；对于被检测出的元素，毛尖青藓监测出的累积量大于大羽藓，其中累积量最大的元素是Ca为10 874.286 μg.g-1.year-1，最小的是Cu元素为5.438 μg.g-1.year-1。对05年和07年的平藓、大羽藓、南木藓和厚角絹藓元素含量的测定表明：元素在两年中的积累量是不同的。综合分析表明，苔藓生物监测方法可有效监测景点停车场机动车尾气中排放出的典型元素（如Cu、Pb、Ni、Zn、Cd等）含量，而毛尖青藓较大羽藓能更可靠的监测九寨沟自然遗产地单景点汽车尾气金属元素种类及其排放量。 对4个地区3种苔藓10种元素监测发现：1）Ca、Mg、Zn、K和Cu元素在黄龙地区的含量高于在其它地区的含量；P元素在梦笔山地区的含量为最高；Fe和Al元素在夹金山地区的含量高于在其它地区的含量。2）C元素在其它因素一致的情况下，进行不同年龄间的元素含量比较，结果显示元素含量在各年龄间并不存在明显的差异性；N元素含量与年龄的差异出现在黄龙林下及林窗的塔藓、九寨沟林下的锦丝藓及塔藓和梦笔山的塔藓中，而在锦丝藓中未出现元素含量与年龄的差异性；塔藓能检测出更多的元素种类其含量与年龄间存在显著差异，锦丝藓检测到的元素种类次之；除锦丝藓（锦丝藓在林窗中几乎检测不到元素含量与年龄间的差异性）外，其他两种藓在林窗中能检测出的元素种类大于在林下的检测种类。3）元素含量与生境间存在差异性的元素分别有：黄龙大羽藓中的Ca、P和Mg元素；九寨锦丝藓中的Zn元素；夹金山塔藓中的Al、Fe和Zn元素；梦笔山大羽藓中的Al、Fe和Mg元素及锦丝藓中的Ca元素。4）区域、年龄和生境因素对苔藓植株元素含量均达到了显著水平，但两两之间及三者之间的交互作用由于元素种类的不同存在差异。综合分析表明，苔藓植物中的元素含量受年龄、区域的影响较生境的更大。 The revelation of mosses elements content and its spatiotemporal differences is the scientific foundation of moss monitoring. To determine the feasibility of moss monitoring metal depositions derived from travel bus emiss ions in scenic spot, we collected one year-growth samples of two mosses Brachythecim piligerum and Thuidium cymbifolium with different distance (island center, 120m，1000m ) and different direction (north, south and east) far from parking site island from Yuanshilin Spot at Jiuzhaigou World Nature Heritage in the Western Sichuan of China and determined thirteen element （A1, S, Ca, P, Cu, Fe, K, Mg, Mn, Pb, Ni, Zn, Cd）contents by ICP-AES analysis method. And picked 4 kinds of mosses (Macrothamnium macrocarpu m（Reinw. etHornsch.）Fleisch.，Thuidium cymbifolium，Entodon concinnus (De Not.) Par., Neckera pennata) from the direction PS-3 in 2005 and 2007, determined 13 element contents. Collected 3 kinds of moss (Thuidium cymbifo lium, Actinothuidium Hookeri (Mitt.) and Hyolcomium splendens (Hedw.) from Jiuzhaigou natural heritage, Huanglong natural heritage, Mt. Jiajin and Mt. Mengbi in primeval forest with two habitat (undergrowth and forest gap), determined element contents of A1, Ca, Cu, Fe, K, Mg, P, Zn, C and N. We found that, 1) The elements content are difference in same type of moss. Content of A1, Ca, K, Mg and P are higher than others. 2) While the contents of A1, S, Ca, P, Cu, Fe, K and Zn had significant correlation with the different distances from parking site, the nearer the distance was, the more accumulation was; 2) Comparing to Thuidium cymbifolium, Brachythecium piligerum can test more elements which contents show the significant correlation with distances. And Brachythecium piligerum can have greater element accumulation than Thuidium cymbifolium. The element contents in two years (2005 and 2007) are different. The present study found that moss can reliably bio-indicate metal deposition from traffic emissions in one scenic spot and Brachythecium piligerum is a good moss for bio-indicating element content from traffic emissions at Jiuzhaigou World natural Heritage. Determined the 10 element contents in 4 areas through 3 kinds of moss we found that, 1) Ca, Mg, Zn, K and Cu element content is higher in the Huanglong area than in other areas, The P element content in Mt. Jiajin is higher than other areas, Fe and Al element content is higher in the Mt. Jiajin than in other areas. 2) The content of C had no significant correlation with age. As for N, this significant correlation found in Hyolcomium splendens (Hedw.) with 2 habitat in Huanglong, Actinothuidium Hookeri (Mitt.) and Hyolcomium splendens (Hedw.) with undergrowth in Jiuzhai, Hyolcomium splendens (Hedw.) in Mt. Mengbi. The types of elements which content showt he significant correlation are most in Hyolcomium splendens (Hedw.) and least in Thuidium cymbifolium. Except Actinothuidium Hookeri (Mitt.), the types of elements that content had significant correlation with age in forest gap are more than in undergrowth. 3) The elements which content had significant correlation with habitat are P, Ca and Mg in Thuidium cymbifolium in Huanglong, Zn in Actinothuidium Hookeri (Mitt.) in Jiuzhai, Al, Fe and Zn in Hyolcomium splendens (Hedw.) in Mt. Jiajin, in Mt. Mengbi Al, Fe and Mg in Thuidium cymbifolium and Ca in Actinothuidium Hookeri (Mitt.). 4）The region, the age and the habitat factor has coeffect element content. The correlationship between element contents and the age, the region is closer than habitat.

The crystallization behavior of the metastable melts of poly(ethylene terephthalate) from the multiple melting process

During heating of semicrystalline PET, a metastable melt forms far below the equilibrium melting temperature. Crystallization kinetics of this metastable melt is discussed on the basis of DSC results. From the metastable melt almost one-dimensional growth of the crystal occurs through heterogeneous nucleation.

Intravital microscopy evaluation of angiogenesis and its effects on glucose sensor performance.

An optical window model for the rodent dorsum was used to perform chronic and quantitative intravital microscopy and laser Doppler flowmetry of microvascular networks adjacent to functional and non-functional glucose sensors. The one-sided configuration afforded direct, real-time observation of the tissue response to bare (unmodified, smooth surface) sensors and sensors coated with porous poly-L-lactic acid (PLLA). Microvessel length density and red blood cell flux (blood perfusion) within 1 mm of the sensors were measured bi-weekly over 2 weeks. When non-functional sensors were fully implanted beneath the windows, the porous coated sensors had two-fold more vasculature and significantly higher blood perfusion than bare sensors on Day 14. When functional sensors were implanted percutaneously, as in clinical use, no differences in baseline current, neovascularization, or tissue perfusion were observed between bare and porous coated sensors. However, percutaneously implanted bare sensors had two-fold more vascularity than fully implanted bare sensors by Day 14, indicating the other factors, such as micromotion, might be stimulating angiogenesis. Despite increased angiogenesis adjacent to percutaneous sensors, modest sensor current attenuation occurred over 14 days, suggesting that factors other than angiogenesis may play a dominant role in determining sensor function.

Validity, trustworthiness and rigour:reasserting realism in qualitative research

Aim The aim of this paper is to challenge recent sceptical approaches to the possibility of validating qualitative research and to underline the benefits of adopting a realist approach to validity. Background In recent discussion about the methodological bases for qualitative research it has been argued that, because different methodologies take different approaches to validity, attempts to develop a common set of validation criteria are futile. On the basis of this sceptical view, a number of strategies for judging qualitative research have been proposed. These include suggestions that: it should be judged according to aesthetic or rhetorical criteria, rather than epistemological validity; responsibility for appraisal should move from researchers to readers; each methodology should be assessed individually according to its own merits. Discussion None of these suggestions provide a viable alternative to validity, defined as the extent to which research reflects accurately that to which it refers. Because the form of research does not determine its content, replacement of epistemology by aesthetics is unsustainable. Because research reports mediate between writer and reader, a one-sided approach to this relationship constitutes a false dichotomy. If we accept the criterion of practitioner confidence as a means of judging methodological approaches, this involves rejection of judgement according to a methodology�s own merits. Conclusion If qualitative research is actually about something, and if it is required to provide beneficial information, then a realist approach to validity holds out greatest promise.