检索结果-南通市图书馆

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

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

Direct conversion of CO and H_(2)O to hydrocarbons at atmospheric pressure using a TiO_(2-x)/Ni photothermal catalyst

在线全文

学校读者我要写书评

暂无评论

Science China Materials 2024年第3期67卷 1009-1010页

作者： Yan zhu School of Chemistry and Chemical Engineering Nanjing UniversityNanjing 210093China

Generating high-value chemical compounds by catalytically converting carbon resources—typically derived from coal and biomass, etc.—is crucial. It is more meaningful to achieve“carbon neutrality” and lower production costs by utilizing industrial waste carbon sources, such as steel mill waste gases,which are typically intended for direct emission or burning into CO_(2).

关键词： typically utilizing meaningful

CdS/LaFeO_(3) heterojunctions with improved optical properties for visible-light catalytic applications

在线全文

学校读者我要写书评

暂无评论

Journal of Rare Earths 2024年第5期42卷 879-888,I0003页

作者： Jiaqi Wei Wen zhu Xuelian Xu Xiao Xu Junjiang zhu Hubei Key Laboratory of Biomass Fibers and Eco-dyeing&Finishing College of Chemistry and Chemical EngineeringWuhan Textile University ChemistryWuhan430200China

Construction of heterojunctions is a normal and effective strategy to improve the photocatalytic performances of semiconductors,through which both the lifetime and the redox ability of electrons/holes can be improved,as co mpared to the respective *** this basis,we constructed Z-scheme CdS/LaFeO_(3) heterojunctions(CdS/LFO),by in-situ growing different amounts of CdS on the surface of LaFeO_(3),for photocatalytic degradation of tetracycline hydrochloride(TC)in aqueous solution at room *** crystal structure,surface morphology and optoelectronic properties of the COS/LFO heterojunctions were systemically characterized to correlate the reaction *** tests indicate that the CdS/LFO heterojunctions exhibit promising activity for TC degradation under visible light irradiation(λ≥420 nm),with 85%TC conversion obtained at reaction time of 45 min,which is 3.4 and 1.9 times higher than that of CdS and LaFeO_(3).The CdS/LFO heterojunctions are also stable in the reaction and can be reused for four cycles with no appreciable activity *** applicability of CdS/LFO to photocatalytic degradation of organic dyes,as well as the reaction mechanism,was also explored.

关键词： LaFeO_(3) CdS Photocatalytic degradation Tetracycline hydrochloride Reaction mechanism Rare earths

Electron beam lithography on nonplanar and irregular surfaces

在线全文

学校读者我要写书评

暂无评论

Microsystems & Nanoengineering 2024年第2期10卷 1-23页

作者： Chenxu zhu Huseyin Ekinci Aixi Pan Bo Cui Xiaoli zhu Department of Electrical and Computer Engineering and Waterloo Institute for Nanotechnology(WIN) University of WaterlooWaterlooONCanada

E-beam lithography is a powerful tool for generating nanostructures and fabricating nanodevices with fine features approaching a few nanometers in ***,alternative approaches to conventional spin coating and development processes are required to optimize the lithography procedure on irregular *** this review,we summarize the state of the art in nanofabrication on irregular substrates using e-beam *** overcome these challenges,unconventional methods have been *** instance,polymeric and nonpolymeric materials can be sprayed or evaporated to form uniform layers of electron-sensitive materials on irregular ***,chemical bonds can be applied to help form polymer brushes or self-assembled monolayers on these *** addition,thermal oxides can serve as resists,as the etching rate in solution changes after e-beam ***,e-beam lithography tools can be combined with cryostages,evaporation systems,and metal deposition chambers for sample development and lift-off while maintaining low *** nanopyramids can be fabricated on an AFM tip by utilizing ice as a positive ***,Ti/Au caps can be patterned around a carbon ***,3D nanostructures can be formed on irregular surfaces by exposing layers of anisole on organic ice surfaces with a focused *** advances in e-beam lithography on irregular substrates,including uniform film coating,instrumentation improvement,and new pattern transferring method development,substantially extend its capabilities in the fabrication and application of nanoscale structures.

关键词： lithography beam coating

UAV-assisted cooperative offloading energy efficiency system for mobile edge computing

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Digital Communications and Networks 2024年第1期10卷 16-24页

作者： Xue-Yong Yu Wen-Jin Niu Ye zhu Hong-Bo zhu Jiangsu Key Laboratory of Wireless Communications Nanjing University of Posts and Telecommunications Nanjing210003China Engineering Research Centerof Health Service System Based on Ubiquitous Wireless Networks Ministry of EducationNanjng Universityof Posts and Telecommunications Nanjing210003China

Reliable communication and intensive computing power cannot be provided effectively by temporary hot spots in disaster areas and complex terrain ground *** this has greatly developed the application and integration of UAV and Mobile Edge Computing(MEC)to the Internet of Things(loT).However,problems such as multi-user and huge data flow in large areas,which contradict the reality that a single UAV is constrained by limited computing power,still *** to allowing UAV collaboration to accomplish complex tasks,cooperative task offloading between multiple UAVs must meet the interdependence of tasks and realize parallel processing,which reduces the computing power consumption and endurance pressure of *** the computing requirements of the user terminal,delay constraint of a computing task,energy constraint,and safe distance of UAV,we constructed a UAV-Assisted cooperative offloading energy efficiency system for mobile edge computing to minimize user terminal energy ***,the resulting optimization problem is originally nonconvex and thus,difficult to solve *** tackle this problem,we developed an energy efficiency optimization algorithm using Block Coordinate Descent(BCD)that decomposes the problem into three convex ***,we jointly optimized the number of local computing tasks,number of computing offloaded tasks,trajectories of UAV,and offloading matching relationship between multi-UAVs and multiuser *** results show that the proposed approach is suitable for different channel conditions and significantly saves the user terminal energy consumption compared with other benchmark schemes.

关键词： Computation offloading Internet of things(IoT) Mobile edge computing(MEC) Block coordinate descent(BCD)

Benzoyl cyanide, a general radical acylating reagent for photoredox-catalyzed benzylic site-selective acylation reactions

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Chemistry 2024年第11期67卷 3833-3843页

作者： Zhaodong zhu Jingjing Wu Frontiers Science Center for Transformative Molecules Shanghai Key Laboratory for Molecular Engineering of Chiral Drugs School of Chemistry and Chemical Engineering Zhangjiang Institute for Advanced Study Shanghai Jiao Tong University

Based on rational design, benzoyl cyanide, a well-known ionic acylating reagent, has been developed as a general radical acylating reagent for benzylic site-selective acylation reactions for the first time. Using visible-light photoredox-catalyzed single electron transfer(SET) and hydrogen atom transfer(HAT) strategies, two different direct benzylic C–H acylation reactions with high atom economy have been developed. This newly developed radical acylating reagent could also be used to achieve three component acyltrifluoromethylation of styrenes, which is usually challenging to achieve by other means. All of these reactions proceed under mild nickel-free and NHC-free conditions with high functional group tolerance. In addition, based on our detailed mechanistic experiments, the process of radical-radical cross-coupling mechanism was suggested for these transformations.

关键词： photoredox catalysis benzylic C–H acylation radical acylating reagent HAT catalysis acyltrifluoromethylation

A two-field-scan harmonic Hall voltage analysis for fast,accurate quantification of spin-orbit torques in magnetic heterostructures

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2024年第10期67卷 105-112页

作者： Xin Lin Lijun zhu State Key Laboratory of Superlattices and Microstructures Institute of SemiconductorsChinese Academy of SciencesBeijing 100083China College of Materials Science and Opto-Electronic Technology University of Chinese Academy of SciencesBeijing 100049China

We report on the development of a“two-field-scan”harmonic Hall voltage(HHV)analysis,which collects the second HHVas a function of a swept in-plane magnetic field at 45°and 0°relative to the excitation current,for the determination of the spin-orbit torques of transverse spins in magnetic heterostructures without significant perpendicular spins,longitudinal spins,and longitudinal/perpendicular Oersted *** demonstrate that this two-field-scan analysis is as accurate as the well-established but time-consuming angle-scan HHV analysis even in the presence of considerable thermoelectric effects but takes more than a factor of 7 less measurement *** also show that the fit of the HHV data from a single field scan at 0°,which is commonly employed in the literature,is not reliable because the employment of too many free parameters in the fitting of the very slowly varying HHV signal allows erroneous conclusion about the spin-orbit torque efficiencies.

关键词： spin-orbit torque spin current spin-orbit coupling spintronics

The recombinant jasmonate ZIM-domain(JAZ)protein functions as a novel insecticidal protein against Lepidopteran pests

在线全文

学校读者我要写书评

暂无评论

Science China(Life Sciences) 2024年第8期67卷 1777-1778页

作者： Yuxian zhu Institute for Advanced Studies Wuhan UniversityWuhan 430072China

Lepidopterans,including butterflies and moths,make up one-tenth of all described agricultural pests on Earth,and many of them,such as fall armyworm,cotton bollworm,corn borer and rice leaf folder,are major agricultura... 详细信息

关键词： pests agricultural cotton