检索结果-南通市图书馆

The source of lithium in Lakkor Co Salt Lake on qinghai-Tibet Plateau,China:evidence from hydrochemical characteristics and boron isotope

引用

Acta Geochimica 2024年第5期43卷 933-946页

作者： Zheng Yan Li Bin Kai Li mao-Yong He xue qin Wen Jiang Di Zhou Department of Geoscience and Technology Taiyuan University of TechnologyYingzexi StreetTaiyuan 030024Shanxi ProvinceChina State Key Laboratory of Loess and Quaternary Geology Institute of Earth EnvironmentChinese Academy of SciencesXi’an 710061China qinghai Provincial Key Laboratory of Geology and Environment of Salt Lakes Qinghai Institute of Salt LakesChinese Academy of SciencesXining 810008QinghaiChina School of Earth Science and Resources Chang’an UniversityXi’an 710000ShaanxiChina qinghai Normal University Academy of Plateau Science and SustainabilityXining 810016China

The availability of lithium resources is of great significance for the development of modern technologies,as well as for civil and military *** qinghai-Tibet Plateau is a region known for its abundance of lithium-rich salt ***,the specific origin of lithium in these lakes is still unknown,which hinders the advancement of the lithium resource business in this *** research this issue,this study involved the collection of 20 samples from Lakkor Co Salt Lake on qinghai-Tibet Plateau,encompassing samples of surface brine,cold springs,fresh lakes,and recharge *** composition of anions and cations in these samples was ***,the analysis extensivelyutilizedthePiperthree-linediagram,Gibbs model,and ion proportion *** findings of this study indicate that as the moves from the recharge water system to salt lake,there is a transition in water type from strong carbonate to moderate carbonate and weak carbonate,as well as Na *** research based on a similar source of both lithium and boron,utilized ion correlation analysis and boron isotope study in the Lakkor Co area,and analyzed the source and transporting process of *** main origin of lithium in Lakkor Co is the dissolution of lithiumrich rocks,recharge water systems,and deep hydrothermal *** findings are highly significant in enhancing the foundational data of lithium-rich brine resources in the qinghai-Tibet Plateau and are beneficial for assessing the future development of such deposits.

关键词： Lithium Hydrochemical Li-rich Salt lake Boron isotope

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

UNCONDITIONAL CONVERGENCE AND ERROR ESTIMATES OF A FULLY DISCRETE FINITE ELEMENT METHOD FOR THE MICROPOLAR NAVIER-STOKES EQUATIONS

引用

Journal of Computational Mathematics 2024年第1期42卷 71-110页

作者： Shipeng mao Jiaao Sun Wendong xue NCMIS LSECInstitute of Computational Mathematics and Scientific/Enginnering ComputingAcademy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100049China

In this paper,we consider the initial-boundary value problem(IBVP)for the micropolar Naviers-Stokes equations(MNSE)and analyze a first order fully discrete mixed finite element *** first establish some regularity results for the solution of MNSE,which seem to be not available in the ***,we study a semi-implicit time-discrete scheme for the MNSE and prove L2-H1 error estimates for the time discrete ***,certain regularity results for the time discrete solution are establishes *** on these regularity results,we prove the unconditional L2-H1 error estimates for the finite element solution of ***,some numerical examples are carried out to demonstrate both accuracy and efficiency of the fully discrete finite element scheme.

关键词： Micropolar fluids Regularity estimates Euler semi-implicit scheme Mixed finite element methods Unconditional convergence

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

ContextAug:model-domain failing test augmentation with contextual information

引用

Frontiers of Computer Science 2024年第2期18卷 43-60页

作者： Zhuo ZHANG Jianxin xue Deheng YANG Xiaoguang mao School of Information Technology and Engineering Guangzhou College of CommerceGuangzhou 511363China School of Computer and Information Engineering Institute for Artificial IntelligenceShanghai Polytechnic UniversityShanghai 201209China College of Computer National University of Defense TechnologyChangsha 410073China

In the process of software development,the ability to localize faults is crucial for improving the efficiency of *** speaking,detecting and repairing errant behavior at an early stage of the development cycle considerably reduces costs and development *** have tried to utilize various methods to locate the faulty ***,failing test cases usually account for a small portion of the test suite,which inevitably leads to the class-imbalance phenomenon and hampers the effectiveness of fault ***,in this work,we propose a new fault localization approach named *** obtaining dynamic execution through test cases,ContextAug traces these executions to build an information model;subsequently,it constructs a failure context with propagation dependencies to intersect with new model-domain failing test samples synthesized by the minimum variability of the minority feature *** contrast to traditional test generation directly from the input domain,ContextAug seeks a new perspective to synthesize failing test samples from the model domain,which is much easier to augment test *** conducting empirical research on real large-sized programs with 13 state-of-the-art fault localization approaches,ContextAug could significantly improve fault localization effectiveness with up to 54.53%.Thus,ContextAug is verified as able to improve fault localization effectiveness.

关键词： context fault localization test cases

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Random Forest-Based Fatigue Reliability-Based Design Optimization for Aeroengine Structures

引用

Computer Modeling in Engineering & Sciences 2024年第7期140卷 665-684页

作者： xue-qin Li Lu-Kai Song School of Energy and Power Engineering Beihang UniversityBeijing100191China Department of Mechanical Engineering The Hong Kong Polytechnic UniversityKowloonHong Kong999077China Research Institute of Aero-Engine Beihang UniversityBeijing100191China

Fatigue reliability-based design optimization of aeroengine structures involves multiple repeated calculations of reliability degree and large-scale calls of implicit high-nonlinearity limit state function,leading to the traditional direct Monte Claro and surrogate methods prone to unacceptable computing efficiency and *** this case,by fusing the random subspace strategy and weight allocation technology into bagging ensemble theory,a random forest(RF)model is presented to enhance the computing efficiency of reliability degree;moreover,by embedding the RF model into multilevel optimization model,an efficient RF-assisted fatigue reliability-based design optimization framework is *** the low-cycle fatigue reliability-based design optimization of aeroengine turbine disc as a case,the effectiveness of the presented framework is *** reliabilitybased design optimization results exhibit that the proposed framework holds high computing accuracy and computing *** current efforts shed a light on the theory/method development of reliability-based design optimization of complex engineering structures.

关键词： Random forest reliability-based design optimization ensemble learning machine learning

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Improving fault localization with pre-training

引用

Frontiers of Computer Science 2024年第1期18卷 247-249页

作者： Zhuo ZHANG Ya LI Jianxin xue Xiaoguang mao School of Information Technology and Engineering Guangzhou College of CommerceGuangzhou 511363China Ningbo Artificial Intelligence Institute Shanghai Jiao Tong UniversityNingbo 315000China Institute for Artificial Intelligence Shanghai Polytechnic UniversityShanghai 210209China College of Computer National University of Defense TechnologyChangsha 410073China

1 Introduction For developers,fault localization is the most tedious and time-consuming *** order to reduce the burden of developers,researchers have developed various techniques to help reduce the cost of locating faults based on possibility of containing a fault in program statements[1].Among them,coverage-based fault localization is one of the most studied automated fault localization ***-based fault localization methods utilize a type of preliminary information to localize the faults in programs,which is a matrix of statements’coverage *** value of each element is 1 or 0,in which 1 means a statement is executed and 0 denotes a statement is not executed[1].

关键词： fault statement utilize

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Fault Analysis on AES:A Property-Based Verification Perspective

引用

Tsinghua Science and Technology 2024年第2期29卷 576-588页

作者： Xiaojie Dai Xingxin Wang xue Qu Baolei mao Wei Hu School of Cybersecurity Northwestern Polytechnical UniversityXi’an 710072China School of Cyber Science and Engineering Zhengzhou UniversityZhengzhou 450001China

Fault analysis is a frequently used side-channel attack for ***,existing fault attack methods usually involve complex fault fusion analysis or computation-intensive statistical analysis of massive fault *** this work,we take a property-based formal verification approach to fault *** derive fine-grained formal models for automatic fault propagation and fusion,which establish a mathematical foundation for precise measurement and formal reasoning of fault *** extract the correlations in fault effects in order to create properties for fault *** further propose a method for key recovery,by formally checking when the extracted properties can be satisfied with partial keys as the search *** results using both unprotected and masked advanced encryption standard(AES)implementations show that our method has a key search complexity of 216,which only requires two correct and faulty ciphertext pairs to determine the secret key,and does not assume knowledge about fault location or pattern.

关键词： side-channel attack fault analysis fault propagation model property extraction fault verification

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Fluorescent co-localization of PTS1 and PTS2 and its application in analysis of the gene function and the peroxisomal dynamic in Magnaporthe oryzae

引用

Journal of Zhejiang University-Science B(Biomedicine & Biotechnology) 2008年第10期9卷 802-810页

作者： Jiao-yu WANG Xiao-yan WU Zhen ZHANG Xin-fa DU Rong-yao CHAI Xiao-hong LIU xue-qin mao Hai-ping QIU Yan-li WANG Fu-cheng LIN Guo-chang SUN Zhejiang Academy ofA gricultural Sciences Hangzhou 310021 China College of Plant Protection Northwest Agriculture and Forest University Yangling 712100 China State Key Laboratory for Rice Biology College of Agriculture and Biotechnology Zhejiang University Hangzhou 310029 China

The peroxisomal matrix proteins involved in many important biological metabolism pathways in eukaryotic cells are encoded by nucleal genes, synthesized in the cytoplasm and then transported into the organelles. Targeting and import of these proteins depend on their two peroxisomal targeting signals （PTS 1 and PTS2） in sequence as we have known so far. The vectors of the fluorescent fusions with PTS, i.e., green fluorescence protein （GFP）-PTS1, GFP-PTS2 and red fluorescence protein （RFP）-PTS1, were constructed and introduced into Magnaporthe oryzae Guy ll cells. Transformants containing these fusions emitted fluorescence in a punctate pattern, and the locations of the red and green fluorescence overlapped exactly in RFP-PTS 1 and GFP-PTS2 co-transformed strains. These data indicated that both PTS1 and PTS2 fusions were imported into peroxisomes. A probable higher efficiency of PTS1 machinery was revealed by comparing the fluorescence backgrotmds in GFP-PTS1 and GFP-PTS2 transformants. By introducing both RFP-PTS1 and GFP-PTS2 into Amgpex6 mutants, the involvement of MGPEX6 gene in both PTS1 and PTS2 pathways was proved. In addition, using these transformants, the inducement ofperoxisomes and the dynamic of peroxisomal number during the pre-penetration processes were investigated as well. In summary, by the localization and co-localization of PTS1 and PTS2, we provided a useful tool to evaluate the biological roles of the peroxisomes and the related genes.

关键词： Peroxisomal targeting signal (PTS) Peroxisomal localization MGPEX6 gene Magnaporthe oryzae

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

SAR regional all-azimuth observation orbit design for target 3D reconstruction

引用

Journal of Systems Engineering and Electronics 2024年第3期35卷 609-618页

作者： WANG Yanan ZHOU Chaowei LIU Aifang mao qin Beijing Institute of Tracking and Communication Technology Beijing 100094China Nanjing Research Institute of Electronics Technology Nanjing 210012China Shanghai Aerospace Electronic Technology Institute Shanghai 201109China

Three-dimensional(3D) synthetic aperture radar(SAR)extends the conventional 2D images into 3D features by several acquisitions in different aspects. Compared with 3D techniques via multiple observations in elevation, e.g. SAR interferometry(InSAR) and SAR tomography(TomoSAR), holographic SAR can retrieve 3D structure by observations in azimuth. This paper focuses on designing a novel type of orbit to achieve SAR regional all-azimuth observation(AAO) for embedded targets detection and holographic 3D reconstruction. The ground tracks of the AAO orbit separate the earth surface into grids. Target in these grids can be accessed with an azimuth angle span of360°, which is similar to the flight path of airborne circular SAR(CSAR). Inspired from the successive coverage orbits of optical sensors, several optimizations are made in the proposed method to ensure favorable grazing angles, the performance of 3D reconstruction, and long-term supervision for SAR sensors. Simulation experiments show the regional AAO can be completed within five hours. In addition, a second AAO of the same area can be duplicated in two days. Finally, an airborne SAR data process result is presented to illustrate the significance of AAO in 3D reconstruction.

关键词： synthetic aperture radar(SAR) orbit design all-azimuth observation(AAO) three-dimensional(3D)reconstruction successive coverage

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Critical environmental factors affecting mountain geohazards in a warming climate in Southwest China

引用

Advances in Climate Change Research 2024年第4期15卷 695-707页

作者： Xiao-Ming XU Peng CUI xue-qin ZHANG Key Lab of Land Surface Pattern and Simulation Institute of Geographic Sciences and Natural Resources ResearchChinese Academy of SciencesBeijing 10010lChina University of Chinese Academy of Sciences Beijing 100049China China-Pakistan Joint Research Center on Earth Sciences Chinese Academy of Sciences and Higher Education CommissionIslamabad 45320Pakistan

Environmental factors are essential input variables for susceptibility assessment models of mountain ***,the existing literature provides a limited understanding of the relative contribution of these factors to the occurrence of geohazards with a warming climate,posing tremendous challenges for risk management in mountainous ***'an city is susceptible to hazards because of its steep terrain,abundant precipitation and active seismic *** this regard,we utilise the GeoDetector model to extract critical environmental factors affecting the spatial patterns of mountain geohazards(i.e.,landslide,debris flow and rockfall)in Southwest *** analysis indicates that the factors with the highest explanatory power for the spatial distribution of landslides,debris flows,and rockfalls are soil property,extreme precipitation and extreme temperature,***,we revealed the synergistic effects among factors given their larger q-value than individual *** further explored the responses of mountain geohazards to climate change,including the rising temperature and precipitation,because the frequent occurrence of mountain geohazards is closely related to a warming *** variation in snow water equivalent caused by antecedent snowfall and snowdrifts acts as a crucial indicator for geohazards,highlighting the significance of snow and wind observations in meteorological nowcasting and disaster *** disclose the phenomenon of the geohazard hysteresis to the precipitation peak resulting from the top-down(i.e.,precipitation-runoff and surface-deep soil moisture)peak *** work is expected to enhance the precision of susceptibility assessment models and the reliability of short-term forecasts for mountain geohazards.

关键词： Mountain geohazards Environmental factors Climate change GeoDetector Southwest China

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Intensified warming suppressed the snowmelt in the Tibetan Plateau

引用

Advances in Climate Change Research 2024年第3期15卷 452-463页

作者： Xiang LI Peng CUI xue-qin ZHANG Fang ZHANG Key Lab of Land Surface Pattern and Simulation Institute of Geographic Sciences and Natural Resources ResearchBeijing 100101China University of Chinese Academy of Sciences Beijing 100049China China‒Pakistan Joint Research Center on Earth Sciences Chinese Academy of Sciences and Higher Education CommissionIslamabad 45320Pakistan

Understanding how hydrological factors interrelate is crucial when examining the impact of climate warming on ***,these connections are often overlooked,leading to an unclear relationship between temperature and *** study investigates the complex interplay between temperature and snowmelt in the Tibetan Plateau from 1961 to 2020,focusing on how extreme high-temperature events affect the frequency of extreme *** a structural equation model,we detected three temperature-related factors that predominantly influenced snowmelt and extreme *** annual average temperature was found to have a significant indirect impact on snowmelt,mediated by changes in snowfall,snow depth and snow *** contrast,high-temperature days(daily maximum temperatures exceeding the 90th percentile)and heat waves(at least three consecutive high-temperature days)negatively affected extreme snowmelt directly or *** direct effect of increasing extreme temperature events was associated with an earlier onset of high-temperature periods,which accelerated snowmelt and shortened the duration of extreme snowmelt ***,the reduction in snow cover owing to warming emerged as a main factor suppressing snowmelt and extreme snowmelt *** also revealed spatiotemporal variations in the temperature‒snowmelt relationship that highly depended on changes in snowmelt *** study elucidated why warming suppresses snowmelt and extreme snowmelt events in the Tibetan Plateau,highlighting the mediating roles of snow-related and phenological *** findings will provide scientific support for climate simulation and water management policymaking in alpine regions worldwide.

关键词： Climate change Extreme temperature Snowmelt Structural equation model Tibetan Plateau

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：