检索结果-南通市图书馆

Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic

在线全文

学校读者我要写书评

暂无评论

chinese Journal of Electronics 2024年第1期33卷 112-127页

作者： Bowen ZHANG Zhao jin Hanpin WANG Yongzhi CAO Key Laboratory of High Confidence Software Technologies (MOE) School of Computer Science Peking University School of Computer and Artificial Intelligence Zhengzhou University School of Computer Science and Cyber Engineering Guangzhou University

Cloud storage is now widely used, but its reliability has always been a major concern. Cloud block storage(CBS) is a famous type of cloud storage. It has the closest architecture to the underlying storage and can provide interfaces for other types. Data modifications in CBS have potential risks such as null reference or data *** verification of these operations can improve the reliability of CBS to some extent. Although separation logic is a mainstream approach to verifying program correctness, the complex architecture of CBS creates some challenges for verifications. This paper develops a proof system based on separation logic for verifying the CBS data modifications. The proof system can represent the CBS architecture, describe the properties of the CBS system state, and specify the behavior of CBS data modifications. Using the interactive verification approach from Coq, the proof system is implemented as a verification tool. With this tool, the paper builds machine-checked proofs for the functional correctness of CBS data modifications. This work can thus analyze the reliability of cloud storage from a formal perspective.

关键词： Cloud computing Behavioral sciences Reliability Formal verification

Dynamic Scene Graph Generation of Point Clouds with Structural Representation Learning

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2024年第1期29卷 232-243页

作者： chao Qi Jianqin Yin Zhicheng Zhang jin Tang School of Artificial Intelligence Beijing University of Posts and TelecommunicationsBeijing 100876China Standard and Metrology Research Institute China Academy of Railway Sciences Corporation LimitedBeijing 100081China

Scene graphs of point clouds help to understand object-level relationships in the 3D *** graph generation methods work on 2D structured data,which cannot be used for the 3D unstructured point cloud *** point-cloud-based methods generate the scene graph with an additional graph structure that needs labor-intensive manual *** address these problems,we explore a method to convert the point clouds into structured data and generate graphs without given ***,we cluster points with similar augmented features into groups and establish their relationships,resulting in an initial structural representation of the point ***,we propose a Dynamic Graph Generation Network(DGGN)to judge the semantic labels of targets of different *** dynamically splits and merges point groups,resulting in a scene graph with high *** show that our methods outperform other baseline *** output reliable graphs describing the object-level relationships without additional manual labeled data.

关键词： scene graph generation structural representation point cloud

Solid Bi_(2)O_(3)-derived nanostructured metallic bismuth with high formate selectivity for the electrocatalytic reduction of CO_(2)

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Journal of Minerals,Metallurgy and Materials 2024年第4期31卷 803-811页

作者： Xiaoyan Wang Safeer Jan Zhiyong Wang Xianbo jin College of chemistry and Molecular Sciences Hubei Key Laboratory of Electrochemical Power SourcesWuhan UniversityWuhan 430072China Engineering Research Center of Organosilicon Compounds&Materials Ministry of EducationWuhan 430072China

CO_(2) electrochemical reduction(CO_(2)ER)is an important research area for carbon ***,available catalysts for CO_(2) reduction are still characterized by limited stability and ***,metallic bismuth(Bi)has emerged as a promising catalyst for CO_(2) ***,we report the solid cathode electroreduction of commercial micronized Bi2O3as a straightforward approach for the preparation of nanostructured ***-1.1 V versus reversible hydrogen electrode in a KHCO3aqueous electrolyte,the resulting nanostructure Bi delivers a formate current density of~40 mA·cm^(-2) with a current efficiency of~86%,and the formate selectivity reaches97.6% at-0.78 *** nanosized Bi2O3as the precursor can further reduce the primary particle sizes of the resulting Bi,leading to a significantly increased formate selectivity at relatively low *** high catalytic activity of nanostructured Bi is attributable to the ultrafine and interconnected Bi nanoparticles in the nanoporous structure,which exposes abundant active sites for CO_(2) electrocatalytic reduction.

关键词： bismuth carbon dioxide electrocatalysis formate solid electroreduction

Natural products inspired[3+2]cycloaddition enables efficient construction of hydroxylated tetrahydrofuran acetals and concise syntheses of lignans

在线全文

学校读者我要写书评

暂无评论

Science china chemistry 2024年第7期67卷 2306-2313页

作者： Dong-Yue Cai Weiming Shi Zhao-Hui jin Zhi-Xiang Yu jin-Xin Zhao Jian-Min Yue State Key Laboratory of Drug Research Shanghai Institute of Materia MedicaChinese Academy of SciencesShanghai 201203China University of chinese Academy of Sciences Beijing 100049China Beijing National Laboratory for Molecular Sciences(BNLMS) Key Laboratory of Bioorganic Chemistry and Molecular Engineering of Ministry of EducationCollege of ChemistryPeking UniversityBeijing 100871China

Mimicking biosynthetic pathways of hongkonoids led to the development of a new Cu(Ⅰ)-catalyzed[3+2]cycloaddition ofα-hydroxyketone andβ-keto enol ethers,affording tetrahydrofuran acetals in a highly diastereoselective manner and 100%atom *** studies on the mechanism disclosed a concerted but asynchronous Michael addition/aldol *** the same importance,this methodology provides a practical biomimetic approach for one-step construction of the dibenzylbutyrolactol lignan backbone starting from two phenyl propane derivatives,opening up a powerful new approach for lignan synthesis,which is showcased by succinct total syntheses of two biologically important aryltetralin-type lignans,β-apopicropodophyllin and *** the mild and operationally simple conditions,the developed chemistry might have a promising prospect in potential industrial applications.

关键词： [3+2]cycloaddition transition-metal catalysis tetrahydrofuran lignans natural products

Tribological behavior of TiN,AlTiN,and AlTiCrN coatings in atmospheric and vacuum environments

在线全文

学校读者我要写书评

暂无评论

Friction 2024年第11期12卷 2611-2626页

作者： Youn-Hoo HWANG Kuk-jin SEO Tae-Hyeong KIM You jin MIN Yuzhen LIU Dae-Eun KIM Department of Mechanical Engineering Yonsei UniversitySeoul 03722Republic of Korea Department of Mechatronics and Energy Engineering Ningbo Tech UniversityNingbo 315211China

In this study,the tribological characteristics of TiN,AlTiN,and AlTiCrN coatings sliding against a SUS420J1 stainless steel pin were investigated in atmospheric and vacuum *** coatings were deposited on SUS440C substrates using the arc-physical vapor deposition *** friction and wear behavior of the coatings were evaluated based on the systematic analyses of the friction coefficient data as well as the physical and chemical state of the wear *** results revealed that the friction coefficients of the SUS440C specimen and AlTiCrN coatings increased,whereas those of the TiN and AlTiN coatings decreased when the environment was changed from atmospheric to *** was confirmed that the formation of an oxide layer and adsorption of oxides on the surface were dominant factors that influenced the tribological behavior in the atmospheric *** the other hand,the compatibility,oxidation inhibition,and droplets of the surface mainly affected the frictional characteristics in the vacuum *** results of this work are expected to aid in the selection of proper coating materials for tribological systems operating in a vacuum.

关键词： friction wear coating vacuum TiN

Quasi-periodically Forced Logistic Map with Weak Liouvillean Frequency

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2024年第10期40卷 2411-2435页

作者： jin Hao LIANG Lin Lin FU Department of Applied Mathematics Nanjing Forestry University School of Mathematics and Statistics Shaoguan University

Consider a class of quasi-periodically forced logistic maps■whereωis an irrational frequency and c(θ) is a specific bimodal *** prove that under weak Liouvillean condition on frequency,the strange non-chaotic attra... 详细信息

关键词： 37C60 37C70 logistic map Lyapunov exponent Quasi-periodically forced strange non-chaotic attractor weak Liouvillean frequency

THE SUPERCLOSENESS OF THE FINITE ELEMENT METHOD FOR A SINGULARLY PERTURBED CONVECTION-DIFFUSION PROBLEM ON A BAKHVALOV-TYPE MESH IN 2D

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Scientia 2024年第4期44卷 1572-1593页

作者： chunxiao ZHANG jin ZHANG School of Mathematics and Statistics Shandong Normal UniversityJinan 250014China

For singularly perturbed convection-diffusion problems,supercloseness analysis of the finite element method is still open on Bakhvalov-type meshes,especially in the case of *** difficulties arise from the width of the mesh in the layer adjacent to the transition point,resulting in a suboptimal estimate for *** analysis techniques cannot handle these difficulties *** fill this gap,here a novel interpolation is designed delicately for the smooth part of the solution,bringing about the optimal supercloseness result of almost order 2 under an energy norm for the finite element *** theoretical result is uniform in the singular perturbation parameterεand is supported by the numerical experiments.

关键词： singularly perturbed convection-diffusion finite element method supercloseness Bakhvalov-type mesh

A new method of calculating crown projection area and its comparative accuracy with conventional calculations for asymmetric tree crowns

在线全文

学校读者我要写书评

暂无评论

Journal of Forestry Research 2024年第4期35卷 171-188页

作者： Mingrui Zhang Huiquan Bi Xingji jin Michael McLean School of Forestry Northeast Forestry UniversityHarbin 150040People’s Republic of China Forest Science NSW Department of Primary IndustriesLevel 304PSQ12 Darcy StreetParramattaNSW 2150Australia School of Ecosystem and Forest Sciences The University of MelbourneMelbourne 3010Australia

This paper introduces a new method of calculating crown projection area(CPA),the area of level ground covered by a vertical projection of a tree crown from measured crown radii through numerical interpolation and *** novel method and other four existing methods of calculating CPA were compared using detailed crown radius measurements from 30 tall trees of Eucalyptus pilularis variable in crown size,shape,and *** four existing methods included the polygonal approach and three ways of calculating CPA as the area of a circle using the arithmetic,geometric and quadratic mean *** were made across a sequence of eight non-consecutive numbers(from 2 to 16)of measured crown radii for each tree over the range of crown asymmetry of the 30 trees through generalized linear models and multiple comparisons of *** sequence covered the range of the number of crown radii measured for calculating the CPA of a tree in the literature.A crown asymmetry index within the unit interval was calculated for each tree to serve as a normative *** a slight overestimation of 2.2%on average and an overall mean error size of 7.9%across the numbers of crown radii that were compared,our new method was the least biased and most *** CPA as a circle using the quadratic mean crown radius was the second best,which had an average overestimation of 4.5%and overall mean error size of 8.8%.These two methods remained by and large unbiased as crown asymmetry increased,while the other three methods showed larger bias of *** the conventional method of using the arithmetic mean crown radius to calculate CPA as a circle,bias correction factors were developed as a function of crown asymmetry index to delineate the increasing magnitude of bias associated with greater degrees of crown *** study reveals and demonstrates such relationships between the accuracy of CPA calculations and crown asymmetry and will help increase awa

关键词： Crown radius measurements Interpolated crown contour Projected crown area Multiple comparisons of means

A novel fracture-cavity reservoir outcrop geological knowledge base construction method considering parameter collection and processing, mutual transformation of data-knowledge, application and update

在线全文

学校读者我要写书评

暂无评论

Petroleum Science 2024年第4期21卷 2184-2202页

作者： Qi-Qiang Ren jin-Liang Gao Peng Zhu Meng-Ping Li Jian-Wei Feng Qiang jin San Zhang Institute of Sedimentary Geology Chengdu University of Technology Petrochina Research Institute of Petroleum Exploration and Development School of Energy Chengdu University of Technology School of Resources and Geosciences China University of Mining and Technology School of Geosciences China University of Petroleum (East China) School of Geosciences Yangtze University

This study endeavors to formulate a comprehensive methodology for establishing a Geological Knowledge Base(GKB) tailored to fracture-cavity reservoir outcrops within the North Tarim Basin. The acquisition of quantitative geological parameters was accomplished through diverse means such as outcrop observations, thin section studies, unmanned aerial vehicle scanning, and high-resolution cameras. Subsequently, a three-dimensional digital outcrop model was generated, and the parameters were standardized. An assessment of traditional geological knowledge was conducted to delineate the knowledge framework, content, and system of the GKB. The basic parameter knowledge was extracted using multiscale fine characterization techniques, including core statistics, field observations, and microscopic thin section analysis. Key mechanism knowledge was identified by integrating trace elements from filling, isotope geochemical tests, and water-rock simulation experiments. Significant representational knowledge was then extracted by employing various methods such as multiple linear regression, neural network technology, and discriminant classification. Subsequently, an analogy study was performed on the karst fracture-cavity system(KFCS) in both outcrop and underground reservoir settings. The results underscored several key findings:(1) Utilization of a diverse range of techniques,including outcrop observations, core statistics, unmanned aerial vehicle scanning, high-resolution cameras, thin section analysis, and electron scanning imaging, enabled the acquisition and standardization of data. This facilitated effective management and integration of geological parameter data from multiple sources and scales.(2) The GKB for fracture-cavity reservoir outcrops, encompassing basic parameter knowledge, key mechanism knowledge, and significant representational knowledge, provides robust data support and systematic geological insights for the intricate and in-depth examination of the genetic

关键词： Geological knowledge base Karst fracture-cavity system Mutual transformation of data-knowledge Knowledge base content and application Tarim basin