检索结果-南通市图书馆

A proof system of the CaIT calculus

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第2期18卷 123-137页

作者： Ningning chen Huibiao ZHU Shanghai Key Laboratory of Trustworthy Computing East China Normal UniversityShanghai 200062China

The Internet of Things(IoT)can realize the interconnection of people,machines,and things anytime,*** of the existing research mainly focuses on the practical applications of IoT,and there is a lack of research on modeling and reasoning about IoT systems from the perspective of formal ***,the Calculus of the Internet of Things(CaIT)has been proposed to specify and analyze IoT systems before the actual implementation,which can effectively improve development efficiency,and enhance system quality and *** verify the correctness of IoT systems described by CaIT,this paper presents a proof system for CaIT,in which specifications and verifications are based on the extended Hoare Logic with ***,we explore the cooperation between isolated proofs to validate the postconditions of the communication actions occurring in these proofs,with a particular focus on broadcast *** also demonstrate the soundness of our proof system.A simple“smart home”is given to illustrate the availability of our proof system.

关键词： Internet of Things(loT) Calculus of the Internet of Things(CalT) extended hoare logic cooperation smart home

Dominant woody plant species recognition with a hierarchical model based on multimodal geospatial data for subtropical forests

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Forestry Research 2024年第3期35卷 111-130页

作者： Xin chen Yujun Sun State Forestry&Grassland Administration Key Laboratory of Forest Resources&Environmental Management Beijing Forestry UniversityBeijing 100083People's Republic of China

Since the launch of the Google Earth Engine(GEE)cloud platform in 2010,it has been widely used,leading to a wealth of valuable ***,the potential of GEE for forest resource management has not been fully *** extract dominant woody plant species,GEE combined Sen-tinel-1(S1)and Sentinel-2(S2)data with the addition of the National Forest Resources Inventory(NFRI)and topographic data,resulting in a 10 m resolution multimodal geospatial dataset for subtropical forests in southeast *** and texture features,red-edge bands,and vegetation indices of S1 and S2 data were computed.A hierarchical model obtained information on forest distribution and area and the dominant woody plant *** results suggest that combining data sources from the S1 winter and S2 yearly ranges enhances accuracy in forest distribution and area extraction compared to using either data source ***,for dominant woody species recognition,using S1 winter and S2 data across all four seasons was *** terrain factors and removing spatial correlation from NFRI sample points further improved the recognition *** optimal forest extraction achieved an overall accuracy(OA)of 97.4%and a maplevel image classification efficacy(MICE)of 96.7%.OA and MICE were 83.6%and 80.7%for dominant species extraction,*** high accuracy and efficacy values indicate that the hierarchical recognition model based on multimodal remote sensing data performed extremely well for extracting information about dominant woody plant *** the results using the GEE application allows for an intuitive display of forest and species distribution,offering significant convenience for forest resource monitoring.

关键词： Google Earth Engine Sentinel Forest resource inventory data Dominant woody plant species Subtropics Model performance

Efficient Removal of Phosphate from Aqueous Solutions Using Corundum-hollow-spheres Supported Caclined Hydrotalcite Porous Thin Films

在线全文

学校读者我要写书评

暂无评论

Journal of Wuhan University of Technology(Materials Science) 2024年第1期39卷 44-49页

作者：刘云才 ZHU chen School of Architecture and Materials Engineering Hubei Second Normal UniversityWuhan 430205China

Phosphate was removed from aqueous environment by corundum-hollow-spheres supported caclined hydrotalcite (cHT) thin films. Mg-Al-CO3 hydrotalcite (HT) thin films were deposited on corundumhollow-sphere substrates by hydrothermal homogeneous precipitation at 120℃for 30-240 min and cHT thin films were obtained by annealing of the HT thin films at 500℃for 180 min. Their crystal phase, morphology and microstructure were characterized by X-ray diffraction (XRD) and scanning electron microscopy (SEM).The results show that homogeneous, well-crystallized and hierarchical flower-like thin films were deposited firmly on the surface of the corundum. The mechanism of nucleation and growth of the HT thin films was fitted well with the anion coordination polyhedron growth unit model. To determine the absorption of phosphate by this adsorbent, different bed depth (10-30 cm) and flow rate (1.0-3.0 m L/min) were examined by column experiments. The highest removal efficiency of phosphate amounted to 98.5%under optimum condition (pH=7.2). The adsorption capacity increased as the bed depth increased and decreased as the flow rate increased.

关键词： adsorption phosphate hydrotalcite corundum-hollow-sphere hydrothermal homogeneous precipitation thermal anneal

在线全文

学校读者我要写书评

暂无评论

PCB制程中膨胀废液处理研究

印制电路信息 2022年第S1期30卷 247-252页

作者：冯鑫朱月明陈业全生益电子股份有限公司公共设施部广东东莞523127

化学沉铜(PNP)是印制线路板(PCB)的重要处理工艺环节之一,其中膨胀药水处理亦是化学沉铜工艺的重要环节之一。目前行业膨胀废液常规处理工艺相对不成熟,容易导致污水处理环节COD、总氮等污染因子处理较差等问题,此类问题对环保达标排放... 详细信息

化学沉铜(PNP)是印制线路板(PCB)的重要处理工艺环节之一,其中膨胀药水处理亦是化学沉铜工艺的重要环节之一。目前行业膨胀废液常规处理工艺相对不成熟,容易导致污水处理环节COD、总氮等污染因子处理较差等问题,此类问题对环保达标排放的可靠性影响极大。文章通过对膨胀废液常规处理目前存在的能力问题进行深入研究,提出提升膨胀废液自行处理工艺能力的有效方法,改善工艺稳定性。

关键词：吹脱化学需氧量氨氮

Molybdenum isotope composition of the upper mantle and its origin:insight from mid-ocean ridge basalt

在线全文

学校读者我要写书评

暂无评论

Journal of Oceanology and Limnology 2024年第3期42卷 705-708页

作者： Shuo chen Key Laboratory of Marine Geology and Environment Institute of OceanologyChinese Academy of SciencesQingdao 266071China

The molybdenum(Mo)isotope system is pivotal in reconstructing marine redox changes throughout Earth’s history and has emerged as a promising tracer for igneous and metamorphic *** its composition and variation across major geochemical reservoirs is essential for its application in investigating high-temperature ***,there is debate regarding theδ^(98/95)Mo value of the Earth’s mantle,with estimates ranging from sub-chondritic to super-chondritic *** analyses of global mid-ocean ridge basalt(MORB)glasses revealed significantδ^(98/95)Mo variations attributed to mantle heterogeneity,proposing a two-component mixing model to explain the observed *** studies confirmed the sub-chondriticδ^(98/95)Mo of the depleted upper mantle,suggesting remixing of subduction-modified oceanic crust as a plausible *** findings underscore the role of Mo isotopes as effective tracers for understanding dynamic processes associated with mantle-crustal recycling.

关键词： molybdenum(Mo)isotope mantle crustal recycling mid-ocean ridge basalt(MORB)

TDP-43 is a key molecule accelerating development of Alzheimer’s disease following traumatic brain injury

在线全文

学校读者我要写书评

暂无评论

Neural Regeneration Research 2024年第5期19卷 955-956页

作者： Chu chen Department of Cellular and Integrative Physiology Long School of MedicineUniversity of Texas Health Science Center at San AntonioSan AntonioTXUSA

Currently,more than 55 million people have dementia worldwide and Alzheimer’s disease(AD)is one of the most common causes of dementia in ***,no effective therapies are currently available for the prevention and treatment of *** is largely due to our limited understanding of the mechanisms underlying the neuropathogenesis of *** has widely been recognized that AD is heterogeneous and that multi-factors are contributing to the pathogenesis of *** evidence suggests that traumatic brain injury(TBI)is an important risk factor for the development of AD and dementia later in life(Guo et al.,2000;Johnson et al.,2010).However,the precise mechanism by which TBI contributes to developing AD has yet to be elucidated.

关键词： Alzheimer traumatic

Stable hydrogen isoscape in precipitation generated using data fusion for East China

在线全文

学校读者我要写书评

暂无评论

Science China Earth Sciences 2024年第9期67卷 2972-2988页

作者： Jiacheng chen Jie chen Xunchang John ZHANG Peiyi PENG State Key Laboratory of Water Resources Engineering and Management Wuhan UniversityWuhan 430072China Hubei Key Laboratory of Water System Science for Sponge City Construction Wuhan UniversityWuhan 430072China USDA-ARS Oklahoma and Central Plains Agricultural Research Center El Reno OK 73036USA Southwest Research Institute for Hydraulic and Water Transport Engineering Chongqing Jiaotong UniversityChongqing 400016China

The stable hydrogen isotope in precipitation is an effective environmental tracer for climatic and hydrologic ***,accurate and high-precision precipitation hydrogen isoscapes are currently unavailable in *** this study,a data fusion method based on Convolutional Neural Networks(CNN)is used to fuse the hydrogen isotopic composition(δ^(2)H_(p))of observations and isotope-equipped general circulation model(iGCM)simulations.A precipitation hydrogen isoscape with a temporal resolution of monthly and a spatial resolution of 50-60 km is established for East China for the 1969-2017 *** to building the isoscape,the performance of three data fusion methods(DFMs)and two bias correction methods(BCMs)is *** results indicate that the CNN fusion method performs the best with a correlation coefficient larger than 0.90 and root mean square error smaller than 10.5‰ when using observation as a *** fusion methods based on back propagation and long short-term memory neural network perform similarly,while slightly outperforming the bias correction ***,the CNN method is used to generate the hydrogen isoscape,and the temporal and spatial distribution characteristics of the hydrogen isotope in precipitation are analyzed based on this *** generated isoscape shows similar spatial and temporal distribution characteristics to *** general,the distribution pattern of δ^(2)H_(p) is consistent with the temperature effect in northern China,and consistent with the precipitation amount effect in southern *** trend of the δ^(2)H_(p) time series is consistent with that of observed precipitation and ***,the generated isoscape effectively reproduces the observations,and has the characteristics of time continuity and relative spatial regularity,which can provide valuable data support for tracking atmospheric and hydrological processes.

关键词： Precipitation Precipitation isotope General circulation model Data fusion Dataset

同方期刊数据库

Double Moving Extremes Ranked Set Sampling Design

在线全文

学校读者我要写书评

暂无评论

Acta Mathematicae Applicatae Sinica 2024年第1期40卷 75-90页

作者： Meng chen Wang-xue chen Rui Yang Department of Mathematics and Statistics Jishou UniversityJishou416000China

The traditional simple random sampling(SRS)design method is inefficient in many *** proposed some new designs to increase *** this paper,as a variation of moving extremes ranked set sampling(MERSS),double MERSS(DMERSS)is proposed and its properties for estimating the population mean are *** turns out that,when the underlying distribution is symmetric,DMERSS gives unbiased estimators of the population ***,it is found that DMERSS is more efficient than the SRS and MERSS methods for usual symmetric distributions(normal and uniform).For asymmetric distributions considered in this study,the DMERSS has a small bias and it is more efficient than SRS for usual asymmetric distribution(exponential)for small sample sizes.

关键词： double moving extremes ranked set sampling symmetric distribution efficiency

Sources appointment and health risks of PM_(2.5)-bound trace elements in a coastal city of southeastern China

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2024年第4期138卷 561-571页

作者： Ziyi Lin Xiaolong Fan Gaojie chen Youwei Hong Mengren Li Lingling Xu Baoye Hu chen Yang Yanting chen Zhiqian Shao Jinsheng chen Center for Excellence in Regional Atmospheric Environment Institute of Urban EnvironmentChinese Academy of SciencesXiamen 361021China Key Lab of Urban Environment and Health Institute of Urban EnvironmentChinese Academy ofSciencesXiamen 361021China University of Chinese Academy of Sciences Beijing 100049China Minnan Normal University Zhangzhou 363000China

To gain a comprehensive understanding of sources and health risks of trace elements in an area of China with high population densities and low PM_(2.5)concentrations,15 trace elements(Al,K,Ca,Ti,V,Cr,Mn,Fe,Ni,Cu,Zn,As,Sn,Ba,Pb)in PM_(2.5)were monitored from December 2020 to November 2021 in a representative city,*** concentrations of trace elements in Xiamen displayed an obvious seasonal variation and were dominated by K,Fe,Al,Ca and *** on Positive Matrix Factorization analysis,source appointment revealed that the major sources of trace elements in Xiamen were traffic,dust,biomass and firework combustion,industrial manufacture and shipping *** to health risk assessment combined with the source appointment results,it indicated that the average noncarcinogenic risk was below the threshold and cancer risk of four hazardous metals(Cr,Ni,As,Pb)exceeded the threshold(10^(-6)).Traffic-related source had almost half amount of contribution to the health risk induced by PM_(2.5)-bound trace *** the dust transport period or Spring Festival period,the health risks exceeded an acceptable threshold even an order of magnitude higher,suggesting that the serious health risks still existed in low PM_(2.5)environment at certain *** risk assessment reminded that the health risk reduction in PM_(2.5)at southeastern China should prioritize traffic-related hazardous trace elements and highlighted the importance of controlling vehicles emissions in the future.

关键词： PM_(2.5)-bound trace elements Seasonal variations Source appointment Health risks Traffic-related source