|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Geochemical characteristics and metallogenesis of Carlin-type gold deposits in the Sandu-Danzhai metallogenic zone,Guizhou Province,China显示文摘Geochemical studies of the Paiting and Miaolong Carlin-type gold deposits in the Sandu-Danzhai metal-logenic zone,Guizhou Province,have shown that the mineralized-altered rocks show LREE-enrichment patterns,generally displaying negative Eu anomalies(δEu=0.51?0.97) and unobvious negative Ce anomalies(δCe=0.86?0.99).Calcite and fluorite in relation with metallogenesis show MREE-enrichment patterns,generally displaying rather weak negative Eu anomalies(δEu=0.74?0.93) and weak negative Ce(δCe=0.70?0.98) anomalies.The δ13CPDB values of carbon in calcite are-1.61‰?-5.82‰,the δ18OSMOW values of oxygen are 13.97‰?19.24‰,and the δ34SCDT values of sulfur in stibnite are 17.72‰?21.68‰.In regard to δD and δ18O,ore-forming fluids pos-sess the characteristics of metamorphic water.The process of metallogenesis of the Carlin-type gold deposits is con-trolled by the Yanshanian tectonic activities.The Yanshanian movement promoted the migration and mobilization of metamorphic fluids in the extensively developed medium-to high-grade metamorphic rocks in this region,carrying primarily enriched gold and associated elements such as Hg,As,and Sb in the Sinian metamorphosed black shales and Lower Cambrian black shales.The ore-forming fluids found their way into a suitable metallogenic environment along the fault zone,followed by gold precipitation to form gold deposits. | YAN Baowen XIA Yong WANG Zepeng TAN Qingping WU Shourong FAN Erchuan | 2012 | Chinese Journal Of Geochemistry2012，31，3： | 4 |
| 2 | Towards functional verifying a family of SystemC TLMs显示文摘It is often the case that in the development of a system-on-a-chip(SoC)design,a family of SystemC transaction level models(TLM)is created.TLMs in the same family often share common functionalities but differ in their timing,implementation,configuration and performance in various SoC developing phases.In most cases,all the TLMs in a family must be verified for the follow-up design activities.In our previous work,we proposed to call such family TLM product line(TPL),and proposed feature-oriented(FO)design methodology for efficient TPL development.However,developers can only verify TLM in a family one by one,which causes large portion of duplicated verification overhead.Therefore,in our proposed methodology,functional verification of TPL has become a bottleneck.In this paper,we proposed a novel TPL verification method for FO designs.In our method,for the given property,we can exponentially reduce the number of TLMs to be verified by identifying mutefeature-modules(MFM),which will avoid duplicated veri-fication.The proposed method is presented in informal and formal way,and the correctness of it is proved.The theoretical analysis and experimental results on a real design show the correctness and efficiency of the proposed method. | Tun LI Jun YE Qingping TAN | 2020 | Frontiers of Computer Science2020，14，1： | 1 |
| 3 | Enrichment characteristics and sources of the critical metal yttrium in Zhijin rare earth-containing phosphorites, Guizhou Province, China显示文摘Yttrium(Y)is a critical metallic element that is used widely in modern scientific,technological,and industrial applications.Phosphorites in the Zhijin area of Guizhou Province,China,are famous for Y enrichment,but the enrichment characteristics and sources remain unclear.Previous studies suggested that the sources of rare earth elements(REEs,La-Lu)and Y(REYs,La-Lu+Y)were related to hydrothermal deposition.However,this study presents evidence refuting that hypothesis,with major and trace elemental data collected with quadrupoleinductively coupled plasma-mass spectrometry(Q-ICPMS)analysis.These data show that Y in Zhijin REYscontaining phosphorites has a normal distribution and is particularly enriched relative to other REYs.The Y enrichment degree is different at different∑REY intervals.Specifically,the Y enrichment degree is higher at lower∑REY values and lower at higher∑REY values.The REYs-containing phosphorites show features of primary phosphorites.Both REEs and Y have good correlations with P2 O5 in the phosphorites with low REYs contents(total REYs<535 ppm),whereas at high REYs contents(total REYs>535 ppm),REEs have a good correlation with P2 O5 but Y does not.Inconsistent enrichment processes of REYs are suggestive of complex sources of Y.Thus,seafloor hydrothermal fluids were not the direct source of Y.Normal seawater mixed with terrestrial sources might have contributed to the origin of Y here.This study could lead to improvements in Y mineral resource explorations and the situation involving the global REYs supply crisis. | Xingxiang Gong Shengwei Wu Yong Xia Zhengwei Zhang Shan He Zhuojun Xie Jiafei Xiao Haiying Yang Qingping Tan Yi Huang Yuhong Yang | 2021 | Acta Geochimica2021，40，3： | 1 |
| 4 | Formal proof of integer adders using all-prefix-sums operation显示文摘Addition of two binary numbers is a fundamental operation in electronic circuits.Several integer adder architectures have been proposed.Their formal properties are well known,but the proofs are either incomplete or difficult to find.In this paper,we present a formal proof for the correctness of prefix adders.Both sequential and parallel algorithms are formalized and proved.In contrast to previous proofs using higher order functions and rewriting systems,our work is based on first order recursive equations,which are familiar to the computer arithmetic community and are therefore understandable by people working on VLSI circuit design.This study sets up a basis for further work on formal proofs of computer arithmetic algorithms. | LIU Feng TAN QingPing MOHAMED Otmane Ait | 2012 | Science China(Information Sciences)2012，55，9： | 1 |
| 5 | Ultrapermeable membranes based on connected cluster of hollow polydimethylsiloxane nanoparticles for gas separation显示文摘Mixed matrix membranes(MMMs)with the performance between the matrix and the filler is a promising strategy for membranes with excellent gas permeability-selectivity.In this study,the hollow polydimethylsiloxane nanoparticles were synthesized and then incorporated with the poly(oxide ethylene)monomer and tri-functional cross-linker to form mixed matrix membranes by in situ poly-merization.The hollow nanoparticles formed the independent closed nanocavities in membranes,which enhanced the gas permeability contributed by both the improved diffusivity and solubility.At high loading,the hollow polydimethylsiloxane nanoparticle was converted into the continuous phase with the cross-linked poly(oxide ethylene)as the dispersed phase.Gases preferred to permeate through the connected cluster of hollow polydimethylsiloxane nanoparticles,finally leading to ultrahigh gas per-meabilities far going beyond the instinct values of polydimethylsiloxane and the cross-linked poly(oxide ethylene).The optimized membrane with 34 wt%hollow nanoparticles loadings exhibited ultrahigh permeabilities with the values of 44186 Barrer for CO_(2) and 11506 Barrer for O_(2),accompanied with a CO_(2)/N_(2) selectivity of 9.9 and an O_(2)/N_(2) selectivity of 2.6,which exceeded the 2008 Robeson upper bound for O_(2)/N_(2) and located at the 2008 Robeson upper bound for CO_(2)/N_(2). | Xiaoli Ding Fangfang Tan Hongyong Zhao Qingping Xin Yuzhong Zhang | 2023 | Particuology2023，，8： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员