检索结果-南通市图书馆

Method for Detecting Industrial Defects in Intelligent Manufacturing Using Deep Learning

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第1期78卷 1329-1343页

作者： bowen Yu Chunli Xie College of Mechanical and Electrical Engineering Northeast Forestry UniversityHarbin150040China

With the advent of Industry 4.0,marked by a surge in intelligent manufacturing,advanced sensors embedded in smart factories now enable extensive data collection on equipment *** analysis of such data is pivotal for ensuring production safety,a critical factor in monitoring the health status of manufacturing *** defect detection techniques,typically limited to specific scenarios,often require manual feature extraction,leading to inefficiencies and limited versatility in the overall *** research presents an intelligent defect detection methodology that leverages deep learning techniques to automate feature extraction and defect localization *** proposed approach encompasses a suite of components:the high-level feature learning block(HLFLB),the multi-scale feature learning block(MSFLB),and a dynamic adaptive fusion block(DAFB),working in tandem to extract meticulously and synergistically aggregate defect-related characteristics across various scales and hierarchical *** have conducted validation of the proposed method using datasets derived from gearbox and bearing *** empirical outcomes underscore the superior defect detection capability of our *** demonstrates consistently high performance across diverse datasets and possesses the accuracy required to categorize defects,taking into account their specific locations and the extent of damage,proving the method’s effectiveness and reliability in identifying defects in industrial components.

关键词： Industrial defect detection deep learning intelligent manufacturing

Time-inconsistent stochastic linear-quadratic control problem with indefinite control weight costs

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Mathematics 2024年第1期67卷 211-236页

作者： Qi Lü bowen Ma School of Mathematics Sichuan UniversityChengdu 610064China

A time-inconsistent linear-quadratic optimal control problem for stochastic differential equations is *** introduce conditions where the control cost weighting matrix is possibly *** such conditions,we obtain a family of closed-loop equilibrium strategies via multi-person differential *** result extends Yong’s work(2017) in the case of stochastic differential equations,where a unique closed-loop equilibrium strategy can be derived under standard conditions(namely,the control cost weighting matrix is uniformly positive definite,and the other weighting coefficients are positive semidefinite).

关键词： linear-quadratic optimal control problem time-inconsistent cost functional generalized Riccati equation indefinite control weight cost closed-loop equilibrium strategy

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

Multi-objective Optimization of Integrated Energy Systems Considering Ladder-type Carbon Emission Trading and Refined Load Demand Response

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Modern Power Systems and Clean Energy 2024年第3期12卷 828-839页

作者： Yanhong Luo Haowei Hao Dongsheng Yang bowen Zhou the Department of Electric Engineering Northeastern UniversityShenyang 110004China

In this paper,a novel multi-objective optimization model of integrated energy systems(IESs)is proposed based on the ladder-type carbon emission trading mechanism and refined load demand response ***,the carbon emission trading mechanism is introduced into the optimal scheduling of IESs,and a ladder-type carbon emission cost calculation model based on rewards and penalties is established to strictly control the carbon emissions of the ***,according to different response characteristics of electric load and heating load,a refined load demand response model is built based on the price elasticity matrix and substitutability of energy supply *** these basis,a multi-objective optimization model of IESs is established,which aims to minimize the total operating cost and the renewable energy source(RES)***,based on typical case studies,the simulation results show that the proposed model can effectively improve the economic benefits of IESs and the utilization efficiency of RESs.

关键词： Integrated energy system carbon emission trading load demand response renewable energy source

SnIP-type atomic-scale inorganic double-helix semiconductors: Synthesis, properties, and applications

在线全文

学校读者我要写书评

暂无评论

Nano Research 2024年第3期17卷 2111-2128页

作者： Mudussar Ali bowen Zhang Muhammad Khurram Qingfeng Yan Engineering Research Center of Advanced Rare Earth Materials(Ministry of Education) Department of ChemistryTsinghua UniversityBeijing 100084China

Flexible inorganic double helical semiconductors similar to DNA have fueled the demand for efficient materials with innovative structures and excellent *** recent discovery of tin phosphide iodide(SnIP),the first carbon-free double helical semiconductor at an atomic level,has opened new avenues of research for semiconducting devices such as thermoelectric and sensor devices,solar cells,and *** has drawn significant academic attention due to its high structural flexibility,band gap in the visible spectrum range,and non-toxic ***,the recent progress in developing SnIP,including its prestigious structure,versatile and intriguing properties,and synthesis,is *** analogues of SnIP and SnIP-based hybrid materials and their applications in photocatalysis are also ***,the review concludes with a critical summary and future aspects of this new inorganic semiconductor.

关键词： tin phosphide iodide(SnIP) inorganic semiconductor inorganic double helix SnIP-based hybrids photocatalysis flexible material

Attitude-adjusting dynamical behavior of cubic rover on low-gravity testbed

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Astrodynamics 2024年第1期8卷 149-159页

作者： bowen Jiang Muhammad Talha Hussain Xiangyuan Zeng School of Automation Beijing Institute of TechnologyBeijing100081China

Cubic rovers that traverse by hopping systems are promising in low-gravity *** several analyses of the control methods and mobility of the cubic rover are available,investigations of its attitude-adjusting behavior are still *** study derives the dynamic equations of the two attitude-adjusting modes of the cubic rover,referred to as walking and *** relationships between the speed threshold and rotation angle of the cubic rover were investigated in both rigid and regolith environments using a self-designed low-gravity *** studies were conducted by considering the experimental and simulated *** results of this study can be interesting for roving mission planning when exploring planetary moons and small celestial bodies.

关键词： low-gravitytestbed attitude-adjusting motion cubic rover experimental study

Palladium-Catalyzed anti-Markovnikov Halosulfonamidation of Unactivated Alkene

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Chemistry 2024年第5期42卷 464-470页

作者： bowen Wang Jianxiao Li Wanqing Wu Huanfeng Jiang State Key Laboratory of Pulp and Paper Engineering Key Laboratory of Functional Molecular Engineering of Guangdong ProvinceSchool of Chemistry and Chemical EngineeringSouth China University of TechnologyGuangzhouGuangdong510641 China

Palladium-catalyzed regioselective amination of unactivated alkene remains a challenge and is of great ***,a three-component coupling of unactivated alkene,sulfonamide,and N-halo compounds accessing vicinal haloamine has been *** aminohalogenation represents a modular and regioselective *** electrophilic halogenating agent enables regioselective anti-Markovnikov aminopalladation and facilitates subsequent halogenation *** this protocol is characterized by gram-scale syntheses and late-stage *** note,the recovered byproduct phthalimide allows for reusing by conversion to the starting material.

关键词： Unactivated alkene anti-Markovnikov aminopalladation Vicinal haloamine Palladium catalysis Halosulfonamidation Selectivity N-Halo compounds

Ecological Network Resilience of Shiyang River Basin: An Arid Inland Watershed of Northwest China

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Geographical Science 2024年第5期34卷 951-966页

作者： HE Yangxi LIU Chunfang NI bowen LIAN Hugang School of Management Northwest Normal UniversityLanzhou 730070China Research Center of Land Use and Comprehensive Improvement Engineering of Gansu Province Lanzhou 730070China

Due to the uncertainties posed by climate change,resilience has become an increasingly important variable for evaluating regional ecosystem *** assessment of Ecological Network Resilience(ENR)is crucial for establishing mitigation strategies and sustainable socioeconomic development in arid *** River Basin is an arid watershed in Northwest China with complex characteristics,its ENR and spatial differentiation characteristics in 2020 were investigated in this work based on the Complex Adaptive System(CAS)*** results indicated that the mean Ecological Network Resilience Index(ENRI)value for the Shiyang River Basin was 0.390 in 2020,and the mean values in the southern mountainous,middle oasis,and northern desert regions of the basin were 0.598,0.461,and 0.237,respectively,demonstrating evident spatial ***,the ENR of the basin exhibited distinct distribution characteristics across different dimension,whereas the trend of the integrated ENR of the basin was consistent with that of elemental,structural,and functional resilience,indicating the constructed three-region ENR model based on the logical relationship of element-structure-function was suitable for evaluation of the ENR in arid inland river ***,strategies for enhancing regional ENR were proposed from the perspective of adapting to climate change.

关键词： Ecological Network Resilience(ENR) Complex Adaptive System(CAS) element-structure-function Shiyang River Basin Northwest China

Progress in the application of polymer fibers in solid electrolytes for lithium metal batteries

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第5期92卷 26-42页

作者： Junbao Kang Nanping Deng bowen Cheng Weimin Kang State Key Laboratory of Separation Membranes and Membrane Processes/National Center for International Joint Research on Separation Membranes School of Textile Science and EngineeringTiangong UniversityTianjin 300387China

Solid state lithium metal batteries(SSLMBs)are considered to be one of the most promising battery systems for achieving high energy density and excellent safety for energy storage in the ***,current existed solid-state electrolytes(SSEs)are still difficult to meet the practical application requirements of *** this review,based on the analysis of main problems and challenges faced by the development of SSEs,the ingenious application and latest progresses including specific suggestions of various polymer fibers and their membrane products in solving these issues are emphatically ***,the inherent defects of inorganic and organic electrolytes are pointed ***,the application strategies of polymer fibers/fiber membranes in strengthening strength,reducing thickness,enhancing thermal stability,increasing the film formability,improving ion conductivity and optimizing interface stability are discussed in detail from two aspects of improving physical structure properties and electrochemical ***,the researches and development trends of the intelligent applications of high-performance polymer fibers in SSEs is *** review intends to provide timely and important guidance for the design and development of polymer fiber composite SSEs for SSLMBs.

关键词： Composite solide lectrolytes Polymer fibers Solid-state lithium metal batteries Solid-stateel ectrolytes Nanofiber membranes