检索结果-南通市图书馆

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

UAV-assisted data collection for wireless sensor networks with dynamic working modes

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Digital Communications and Networks 2024年第3期10卷 805-812页

作者： Jie chen Jianhua Tang Shien-Ming Wu School of Intelligent Engineering South China University of TechnologyGuangzhou511442China

Wireless Sensor Network(WSN)is a cornerstone of Internet of Things(IoT)and has rich application *** this work,we consider a heterogeneous WSN whose sensor nodes have a diversity in their Residual Energy(RE).In this work,to protect the sensor nodes with low RE,we investigate dynamic working modes for sensor nodes which are determined by their RE and an introduced energy ***,we employ an Unmanned Aerial Vehicle(UAV)to collect the stored data from the heterogeneous *** aim to jointly optimize the cluster head selection,energy threshold and sensor nodes’working mode to minimize the weighted sum of energy con-sumption from the WSN and UAV,subject to the data collection rate *** this end,we propose an efficient search method to search for an optimal energy threshold,and develop a penalty-based successive convex approximation algorithm to select the cluster *** we present a low-complexity iterative approach to solve the joint optimization problem and discuss the implementation *** results justify that our proposed approach is able to reduce the energy consumption of the sensor nodes with low RE significantly and also saves energy for the whole WSN.

关键词： Unmanned aerial vehicle Wireless sensor networks Cluster heads Dynamic working modes

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

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

A chaotic spiking backpropagation approach to brain learning

在线全文

学校读者我要写书评

暂无评论

National Science Review 2024年第6期11卷 83-84页

作者： Guanrong chen Department of Electrical Engineering City University of Hong Kong

Spiking neural networks (SNNs)[1] are known for their superior energy efficiency, achieved through spiking signal transmission that mirrors biological nervous systems, thus solving the unsustainable energy-consumption...

关键词：

Global optimization of double protograph LDPC codes for JSCC scheme

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第6期67卷 455-456页

作者： Qiwang chen chen chen Yu-cheng HE Zhiping XU Xiamen Key Laboratory of Mobile Multimedia Communications College of Information Science and EngineeringHuaqiao University Key Laboratory of Underwater Acoustic Communication and Marine Information Technology (Xiamen University) Ministry of Education School of Ocean Information Engineering Jimei University

A double low-density parity-check (D-LDPC) coding system was proposed in[1]as a typical joint source-channel coding(JSCC) scheme[1–5].In this system,two LDPC coding matrices perform source and channel coding,*** important concept in a D-LDPC coding system is the introduction of a linking matrix between the check nodes (CNs)of the source coding matrix and the variable nodes (VNs) of the channel LDPC coding matrix.

关键词： JOINT SOURCE DESIGN

Regulating Anderson localization with structural defect disorder

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Physics B 2024年第10期33卷 102-107页

作者： Mouyang cheng Haoxiang chen Ji chen School of Physics Peking UniversityBeijing 100871China Interdisciplinary Institute of Light-Element Quantum Materials and Research Center for Light-Element Advanced Materials Peking UniversityBeijing 100871China Frontiers Science Center for Nano-Optoelectronics Peking UniversityBeijing 100871China Collaborative Innovation Center of Quantum Matter Beijing 100871China

Localization due to disorder has been one of the most intriguing theoretical concepts that evolved in condensed matter ***,we expand the theory of localization by considering two types of disorders at the same time,namely,the original Anderson’s disorder and the structural defect disorder,which has been suggested to be a key component in recently discovered two-dimensional amorphous *** increasing the degree of both disorders could induce localization of wavefunction in real space,we find that a small degree of structural defect disorder can significantly enhance the *** the degree of structural defect disorder increases,localized states quickly appear within the extended phase to enter a broad crossover region with mixed *** establish two-dimensional diagrams for the wavefunction localization and conductivity to highlight the interplay between the two types of *** theoretical model provides a comprehensive understanding of localization in two-dimensional amorphous materials and highlights the promising tunability of their transport properties.

关键词： Anderson localization structural defect disorder electronic transport properties

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