13,803 research outputs found
Recommended from our members
Changes in NDVI and human population in protected areas on the Tibetan Plateau
Understanding the Tibetan Plateau’s role in environmental change has gained increasing scientific
attention in light of warming and changes in landmanagement. We examine changes in greenness over
the Tibetan Plateau using the Normalized Difference Vegetation Index (NDVI) from the Global Inventory
Monitoring and Modeling Study (GIMMS3g) to identify significant changes over the entire plateau, six
ecoregions, and protected areas based on a multiyear time series of July imagery from 1982 to 2015. We
also test whether there have been changes in human populations in protected areas. There has been
relatively little change in mean NDVI over the Tibetan Plateau or ecoregions, however, there were
significant changes at the pixel level. There are sixty-nine protected areas on the Tibetan Plateau; sixtytwo
protected areas had no significant change in mean NDVI and seven protected areas experienced
a significant increase in NDVI. There has been an increase in population within protected areas from
2000 to 2015; however, mean populations significantly increased in two protected areas and significantly
decreased in four protected areas. Results suggest a slow greening of the Tibetan Plateau,
ecoregions, and protected areas, with a more rapid greening in northern Tibet at the pixel level. Most
protected areas are experiencing minor changes in NDVI independent of human population
Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling
The extensive use of digital controllers demands a growing effort to prevent
design errors that appear due to finite-word length (FWL) effects. However,
there is still a gap, regarding verification tools and methodologies to check
implementation aspects of control systems. Thus, the present paper describes an
approach, which employs bounded model checking (BMC) techniques, to verify
fixed-point digital controllers represented by state-space equations. The
experimental results demonstrate the sensitivity of such systems to FWL effects
and the effectiveness of the proposed approach to detect them. To the best of
my knowledge, this is the first contribution tackling formal verification
through BMC of fixed-point state-space digital controllers.Comment: International Symposium on the Foundations of Software Engineering
201
Plasma-Like Negative Capacitance in Nano-Colloids
A negative capacitance has been observed in a nano-colloid between 0.1 and
10^-5 Hz. The response is linear over a broad range of conditions. The
low-omega dispersions of both the resistance and capacitance are consistent
with the free-carrier plasma model, while the transient behavior demonstrates
an unusual energy storage mechanism. A collective excitation, therefore, is
suggested.Comment: 3 pages, 3 figure
Experimentally obtaining the Likeness of Two Unknown Quantum States on an NMR Quantum Information Processor
Recently quantum states discrimination has been frequently studied. In this
paper we study them from the other way round, the likeness of two quantum
states. The fidelity is used to describe the likeness of two quantum states.
Then we presented a scheme to obtain the fidelity of two unknown qubits
directly from the integral area of the spectra of the assistant qubit(spin) on
an NMR Quantum Information Processor. Finally we demonstrated the scheme on a
three-qubit quantum information processor. The experimental data are consistent
with the theoretical expectation with an average error of 0.05, which confirms
the scheme.Comment: 3 pages, 4 figure
Recommended from our members
Calibration Procedures for a Computational Model of Ductile Fracture
A recent extension of the Gurson constitutive model of damage and failure of ductile structural alloys accounts for localization and crack formation under shearing as well as tension. When properly calibrated against a basic set of experiments, this model has the potential to predict the emergence and propagation of cracks over a wide range of stress states. This paper addresses procedures for calibrating the damage parameters of the extended constitutive model. The procedures are demonstrated for DH36 steel using data from three tests: (i) tension of a round bar, (ii) mode I cracking in a compact tension specimen, and (iii) shear localization and mode II cracking in a shear-off specimen. The computational model is then used to study the emergence of the cup-cone fracture mode in the neck of a round tensile bar. Ductility of a notched round bar provides additional validation.Engineering and Applied Science
Barriers to Building Information Modeling (BIM) implementation in China's prefabricated construction: An interpretive structural modeling (ISM) approach
It is widely recognized that Building Information Modeling (BIM) can facilitate the delivery of prefabricated construction. Nevertheless, the actual practice of BIM faces several barriers. A range of existing studies and literature have discussed these barriers extensively, but two research questions remain unanswered. First, what are the unique barriers facing the use of BIM in China's prefabricated construction? Second, how do these barriers interrelate with one another? This research aims to address these two questions. Conducting a two-round literature review and a questionnaire survey ascertained twelve barriers acutely affecting the Chinese experience of applying BIM to prefabricated construction. In addition, Interpretive Structural Modeling (ISM) was used to identify interrelationships among these barriers. The exercise found that, compared with the cost-related issues suggested by previous studies that focused on general BIM implementation barriers, the lack of research about BIM in China and the absence of standards and domestic-oriented tools are likely the biggest hindrances to the practical application of BIM in China's prefabricated construction. This study contributes to the knowledge body by revealing major barriers to BIM implementation in China's prefabricated construction and crafting a corresponding three-level strategy to facilitate the possible implementation. The findings of this study can thus act as a practical reference for future research attempting to provide technological and managerial solutions to improve BIM implementation in China's prefabricated construction
- …