6,662 research outputs found

    Remarks on automorphism and cohomology of finite cyclic coverings of projective spaces

    Get PDF
    For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that its group of automorphisms faithfully acts on its cohomology except for a few cases. In characteristic zero, we study the equivariant deformation theory and groups of automorphisms for complex cyclic coverings. The proof uses the decomposition of the sheaf of differential forms due to Esnault and Viehweg. In positive characteristic, a lifting criterion of automorphisms reduce the faithfulness problem to characteristic zero. To apply this criterion, we prove the degeneration of the Hodge-de Rham spectral sequences for a family of smooth cfinite yclic coverings, and the infinitesimal Torelli theorem for finite cyclic coverings defined over an arbitrary field

    Prediction and analysis of the residual capacity of concrete-filled steel tube stub columns under axial compression subjected to combined freeze-thaw cycles and acid rain corrosion

    Get PDF
    © 2019 by the authors. This paper presents a theoretical investigation on the safety evaluation, stability evaluation, and service life prediction of concrete-filled steel tube (CFST) structures in a Northern China area with acid rain. The finite element software ABAQUS was used to establish a numerical model, which was used to simulate the axial compression behavior of CFST columns subjected to the combined actions of freeze-thaw cycles and acid rain corrosion. The model performance was validated using the experimental results of the evaluation of mechanical properties, including the failure mode and load-displacement curve. Then, the effects of the section size, material strength, steel ratio, and combined times on the residual capacity were studied. The results show that the section size has a smaller influence on the residual strength than the other parameters and can be neglected in the design procedure. However, the other parameters, including the material strength, steel ratio, and combined times have relatively large influences on the axial compressive performance of CFST stub columns subjected to a combination of freeze-thaw cycles and acid rain corrosion. Finally, design formulae for predicting the residual strength of CFST stub columns that are under axial compression and the combined effect of freeze-thaw cycles and acid rain corrosion are proposed, and their results agree well with the numerical results

    Connection stiffness identification of historic timber buildings using Temperature-based sensitivity analysis

    Full text link
    © 2016 Elsevier Ltd The beam-column connection, called ‘Que Ti’, is the key component of historic Tibetan timber buildings to transfer shear, compression and bending loads from one structural element to another. This kind of connections can reduce the internal forces and improve the structure's ability to resist earthquakes. Its structure is very complicated and there is little information about the behaviour of this kind of semi-rigid connections. In this paper, a temperature-based response sensitivity method is proposed to identify the connection stiffness of the ‘Que-Ti’ in typical historical Tibetan buildings from temperature and strain response measurements. The semi-rigid connection is modeled as two rotational springs and one compressive spring. The temperature is treated as a measurable input and the thermal loading on the structure can be determined from the temperature variation. The numerical results show the method is effective and reliable to identify both unknown boundary conditions and the connection stiffness of the structure accurately even with 10% noise in measurements. A long-term monitoring system has also been installed in a typical historical Tibetan building and the monitoring data are used to further verify the proposed method. The experimental results show that the identified stiffnesses by the proposed method are consistent with that by finite element model updating from ambient vibration measurements

    Condition assessment of heritage timber buildings in operational environments

    Full text link
    © 2017, Springer-Verlag GmbH Germany. Due to changing environments and aging, the structural resistance of the heritage buildings has been reduced significantly. It has become crucial to monitor and protect the architectural heritage buildings. The objective of this research is to monitor and assess the performance of the heritage Tibetan timber building in operational environments. A three-storey corridor part of the typical heritage building was chosen in the study. A long-term monitoring system was installed in the building to collect the structural response and temperature. Detailed finite element model was built based on site investigation and existing documents, and updated based on the temperature-based response sensitivity using the field-monitoring data. The updated model was further evaluated using the static and dynamic analysis for condition assessment of the building in operational environments. The results show that the updated model is effective and accurate to predict the structural behaviour of the building in operational environments. Based on temperature-based response sensitivity, it is capable of tracking structure performance throughout the life-cycle allowing for condition-based maintenance and structural protection

    Multi-Level Cross Residual Network for Lung Nodule Classification.

    Full text link
    Computer-aided algorithm plays an important role in disease diagnosis through medical images. As one of the major cancers, lung cancer is commonly detected by computer tomography. To increase the survival rate of lung cancer patients, an early-stage diagnosis is necessary. In this paper, we propose a new structure, multi-level cross residual convolutional neural network (ML-xResNet), to classify the different types of lung nodule malignancies. ML-xResNet is constructed by three-level parallel ResNets with different convolution kernel sizes to extract multi-scale features of the inputs. Moreover, the residuals are connected not only with the current level but also with other levels in a crossover manner. To illustrate the performance of ML-xResNet, we apply the model to process ternary classification (benign, indeterminate, and malignant lung nodules) and binary classification (benign and malignant lung nodules) of lung nodules, respectively. Based on the experiment results, the proposed ML-xResNet achieves the best results of 85.88% accuracy for ternary classification and 92.19% accuracy for binary classification, without any additional handcrafted preprocessing algorithm

    Extracted BERT Model Leaks More Information than You Think!

    Get PDF
    The collection and availability of big data, combined with advances in pre-trained models (e.g. BERT), have revolutionized the predictive performance of natural language processing tasks. This allows corporations to provide machine learning as a service (MLaaS) by encapsulating fine-tuned BERT-based models as APIs. Due to significant commercial interest, there has been a surge of attempts to steal remote services via model extraction. Although previous works have made progress in defending against model extraction attacks, there has been little discussion on their performance in preventing privacy leakage. This work bridges this gap by launching an attribute inference attack against the extracted BERT model. Our extensive experiments reveal that model extraction can cause severe privacy leakage even when victim models are facilitated with advanced defensive strategies

    TSS-Net: Two-stage with Sample selection and Semi-supervised Net for deep learning with noisy labels

    Get PDF
    The significant success of Deep Neural Networks (DNNs) relies on the availability of annotated large-scale datasets. However, it is time-consuming and expensive to obtain the available annotated datasets of huge size, which hinders the development of DNNs. In this paper, a novel two-stage framework is proposed for learning with noisy labels, called Two-Stage Sample selection and Semi-supervised learning Network (TSS-Net). It combines sample selection with semi-supervised learning. The first stage divides the noisy samples from the clean samples using cyclic training. The second stage uses the noisy samples as unlabelled data and the clean samples as labelled data for semi-supervised learning. Unlike previous approaches, TSS-Net does not require specifically designed robust loss functions and complex networks. It achieves decoupling of the two stages, which means that each stage can be replaced with a superior method to achieve better results, and this improves the inclusiveness of the network. Our experiments are conducted on several benchmark datasets in different settings. The experimental results demonstrate that TSS-Net outperforms many state-of-the-art methods

    A new model for comprehensive service-Learning : a case study in Long-chi Village

    Get PDF
    Version of RecordPublishe

    Environmental cost and impacts of chemicals used in agriculture: An integration of emergy and Life Cycle Assessment

    Get PDF
    Modern intensive agriculture worldwide is generating increasing environmental pressure, which prevents its sustainable development. A number of agricultural sustainability assessment approaches and methodological frameworks have been developed by research worldwide to assess the environmental costs and impacts of resources used in agricultural production. A joint use of Life Cycle Assessment (LCA, to assess a process' performance and environmental impacts) and Emergy Accounting (EMA, to estimate environmental support to resource generation and provision) is proposed in this study. The goal is not only to ascertain the environmental ‘cost’ of production of selected chemical resources used in agricultural processes, but also to develop a reliable calculation procedure capable to integrate the two approaches (LCA and EMA), while considering their different allocation algebra and space-time scales of application. Specifically, the UEVs of glyphosate and urea, which are respectively the most used herbicide and nitrogen fertilizer used in worldwide agriculture, are calculated, yielding values of 2.47E+13 sej/kg and 7.07E+12 sej/kg, respectively. In order to do so, UEVs of intermediate process chemicals such as ammonia, acetic anhydride, chlorine gas, formaldehyde, phosphorous chloride, and sodium hydroxide have also been calculated or updated, thus providing at the same time a procedure and a set of values potentially useful for future studies. The LCA impacts of agro-chemicals in China are compared to worldwide averages from the Ecoinvent database, and the UEVs for several chemicals are also compared to previous estimates from published emergy literature
    corecore