检索结果-南通市图书馆

Plasma spray coating on interconnector toward promoted solid oxide fuel cells and solid oxide electrolysis cells

在线全文

学校读者我要写书评

暂无评论

Frontiers in Energy 2024年第3期18卷 390-398页

作者： Junwen cao Yun ZHENG Wenqiang ZHANG Bo YU Institute of Nuclear and New Energy Technology(INET) Collaborative Innovation Center of Advanced Nuclear Energy TechnologyTsinghua UniversityBeijing 100084China Department of Chemical Engineering University of WaterlooWaterlooOntario N2L 3G1Canada Institute of New Energy Materials and Engineering School of Materials Science and EngineeringFuzhou UniversityFuzhou 350108China

Interconnector is a critical component to construct solid oxide cells (SOCs) stack. Oxidation of metallic interconnectors and Cr poisoning caused by oxidation are important factors that lead to long-term performance degradation of SOCs. Coating on the interconnector surface is an important approach to inhibit the oxidation and Cr migration of the interconnector. Herein, (La0.75Sr0.25)0.95MnO3–δ (LSM) and Mn1.5Co1.5O4 (MCO) are used to fabricate the coatings of interconnector. Two advanced thermal spray technology, atmospheric plasma spraying (APS) and low-pressure plasma spray (LPPS), are adopted for the coating preparation. The electrochemical performance, rising and cooling cycle stability, and Cr diffusion inhibition performance of the coatings are tested and evaluated. The result indicates that MCO can generate more uniform and denser coatings than LSM. In addition, MCO coatings prepared by LPPS shows the best electrochemical performance, rising and cooling cycle stability, and Cr diffusion inhibition. The initial area specific resistance (ASR) is 0.0027 Ω·cm2 at 800 °C. After 4 cooling cycle tests, the ASR increases to 0.0032 Ω·cm2 but lower than other samples. Meanwhile, the relative intense of Cr at the interface of SUS430 with MCO coatings fabricated by LPPS is lower than that of MCO fabricated by APS after 4 rising and cooling cycle operations, showing more favorable Cr diffusion inhibition performance.

关键词： interconnector coating plasma spray electrochemical performance Cr diffusion inhibition solid oxide cells(SOCs)

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

The Investigation of Data Voting Algorithm for Train Air-Braking System Based on Multi-Classification SVM and ANFIS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 274-281页

作者： Juhan WANG Ying GAO Yuan cao Tao TANG School of Electronics and Information Engineering Beijing Jiaotong University Graduate Department China Academy of Railway Science National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University

The pressure data of the train air braking system is of great significance to accurately evaluate its operation state. In order to overcome the influence of sensor fault on the pressure data of train air braking system, it is necessary to design a set of sensor fault-tolerant voting mechanism to ensure that in the case of a pressure sensor fault, the system can accurately identify and locate the position of the faulty sensor, and estimate the fault data according to other normal data. A fault-tolerant mechanism based on multi-classification support vector machine(SVM) and adaptive network-based fuzzy inference system(ANFIS) is introduced. Multi-classification SVM is used to identify and locate the system fault state, and ANFIS is used to estimate the real data of the fault sensor. After estimation, the system will compare the real data of the fault sensor with the ANFIS estimated data. If it is similar,the system will recognize that there is a false alarm and record it. Then the paper tests the whole mechanism based on the real data. The test shows that the system can identify the fault samples and reduce the occurrence of false alarms.

关键词： Support vector machines Fault diagnosis Pressure sensors Fuzzy logic Fault tolerance Adaptive systems Fault tolerant systems

An Online Q-Learning Method for Linear-Quadratic Nonzero-Sum Stochastic Differential Games with Completely Unknown Dynamics

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2024年第5期37卷 1907-1922页

作者： ZHANG Bao-Qiang WANG Bing-Chang cao Ying School of Control Science and Engineering Shandong University

In this paper, the authors design a reinforcement learning algorithm to solve the adaptive linear-quadratic stochastic n-players non-zero sum differential game with completely unknown dynamics. For each player, a critic network is used to estimate the Q-function, and an actor network is used to estimate the control input. A model-free online Q-learning algorithm is obtained for solving this kind of problems. It is proved that under some mild conditions the system state and weight estimation errors can be uniformly ultimately bounded. A simulation with five players is given to verify the effectiveness of the algorithm.

关键词： Actor-critic algorithm model-free adaptive control nonzero-sum stochastic game reinforcement learning

Influence of bolt dynamic installation on topography characteristics and mechanical behaviors of CFRP interference-fit bolted joints

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2024年第2期37卷 482-500页

作者： Xiaohe WANG Zengqiang cao Yuehaoxuan WANG Yingjiang GUO School of Mechanical Engineering Northwestern Polytechnical UniversityXi’an 710072China NPU Xuhang Electromagnetic Technology Co. Ltd.Xi’an 710100China

As the controlled research of Dynamic Installation(DI)and Static Installation(SI),a new interference installation method was developed based on electromagnetic loading to enhance the mechanical properties of composite *** different interference-fit sizes were considered,ranging from a net fit to 2.0%.The experiments were conducted to evaluate the installation resistance and the mechanical behavior of the joint under external ***,an FFA model to model the stress distribution and damage behavior of the bolt-hole contact interface was *** load-displacement curve and damage modes of experiments were used to verify the FEA *** results show that the installation resistance during DI process was remarkably lower than that of SI process corresponding to all interference-fit sizes,and the stress amplitudes induced by interference were larger and widely *** damage of the hole wall was positively correlated with interference fit size,but DI can significantly reduce the damage compared to *** performance tests,DI enhanced the static bearing capacity and extended longer fatigue life of the joints than *** methods can be an effective way to achieve highly reliable interference joints in composite structures.

关键词： Carbon Fiber-Reinforced Polymer(CFRP) Bolted joints Interference-fit Electromagnetic installation Finite Element Analysis(FEA) Damage mechanics Bearing behavior

Resilience-incorporated seismic risk assessment of precast concrete frames with“dry”connections

在线全文

学校读者我要写书评

暂无评论

Earthquake Engineering and Engineering Vibration 2024年第2期23卷 403-425页

作者： Wu Chenhao Tang Yuchuan cao Xuyang Wu Gang Key Laboratory of Concrete and Prestressed Concrete Structures of the Ministry of Education Nanjing 211102China Department of Civil and Environmental Engineering University of CaliforniaLos AngelesCA 90095USA School of Civil Engineering Southeast UniversityNanjing 211102China College of Civil and Transportation Engineering Hohai UniversityNanjing 210024China

A resilience-incorporated risk assessment framework is proposed and demonstrated in this study to manifest the advantageous seismic resilience of precast concrete frame(PCF)structures with“dry”connections in terms of their low damage and rapid *** framework integrates various uncertainties in the seismic hazard,fragility,capacity,demand,loss functions,and post-earthquake *** this study,the PCF structures are distinguished from ordinary reinforced concrete frame(RCF)structures by characterizing multiple limit states for the PCF based on its unique damage ***,probabilistic story-wise pushover analyses are performed to yield story-wise capacities for the predefined limit *** the seismic resilience analysis,a step-wise recovery model is proposed to idealize the functionality recovery process,with separate considerations of the repair and non-repair *** recovery model leverages the economic loss and downtime to delineate the stochastic post-earthquake recovery curves for the resilience loss *** such,contingencies in the probabilistic post-earthquake repairs are incorporated and the empirical judgments on the recovery parameters are largely *** proposed framework is demonstrated through a comparative study between two“dry”connected PCFs and one RCF designed as alternative structural systems for a prototype *** results from the risk quantification indicate that the PCFs show reduced loss hazards and lower expected losses relative to the ***,the PCF equipped with energy dissipation devices at the“dry”connections largely reduces the expected economic loss,downtime,and resilience loss by 29%,56%,and 60%,respectively,compared to the RCF.

关键词： precast concrete frame non-emulative precast system seismic resilience seismic risk functional recovery

Multi-Robot Collaborative Hunting in Cluttered Environments With Obstacle-Avoiding Voronoi Cells

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第7期11卷 1643-1655页

作者： Meng Zhou Zihao Wang Jing Wang Zhengcai cao the School of Electrical and Control Engineering North China University of TechnologyBeijing 100144China IEEE the College of Information Science and Technology Beijing University of Chemical TechnologyBeijing 100029China

This work proposes an online collaborative hunting strategy for multi-robot systems based on obstacle-avoiding Voronoi cells in a complex dynamic environment. This involves firstly designing the construction method using a support vector machine(SVM) based on the definition of buffered Voronoi cells(BVCs). Based on the safe collision-free region of the robots, the boundary weights between the robots and the obstacles are dynamically updated such that the robots are tangent to the buffered Voronoi safety areas without intersecting with the obstacles. Then, the robots are controlled to move within their own buffered Voronoi safety area to achieve collision-avoidance with other robots and obstacles. The next step involves proposing a hunting method that optimizes collaboration between the pursuers and evaders. Some hunting points are generated and distributed evenly around a circle. Next, the pursuers are assigned to match the optimal points based on the Hungarian ***, a hunting controller is designed to improve the containment capability and minimize containment time based on collision risk. Finally, simulation results have demonstrated that the proposed cooperative hunting method is more competitive in terms of time and travel distance.

关键词： Dynamic obstacle avoidance multi-robot collaborative hunting obstacle-avoiding Voronoi cells task allocation

Identification of rural courtyards’utilization status using deep learning and machine learning methods on unmanned aerial vehicle images in north China

在线全文

学校读者我要写书评

暂无评论

Building Simulation 2024年第5期17卷 799-818页

作者： Maojun Wang Wenyu Xu Guangzhong cao Tao Liu College of Resource Environment and Tourism Capital Normal UniversityBeijing 100048China College of Urban and Environmental Sciences Peking UniversityBeijing 100871China

The issue of unoccupied or abandoned homesteads(courtyards)in China emerges given the increasing aging population,rapid urbanization and massive rural-urban *** the aspect of rural vitalization,land-use planning,and policy making,determining the number of unoccupied courtyards is *** and questionnaire-based surveys were currently the main approaches,but these traditional methods were often expensive and laborious.A new workflow is explored using deep learning and machine learning algorithms on unmanned aerial vehicle(UAV)***,features of the built environment were extracted using deep learning to evaluate the courtyard management,including extracting complete or collapsed farmhouses by Alexnet,detecting solar water heaters by YOLOv5s,calculating green looking ratio(GLR)by *** precisions exceeded 98%.Then,seven machine learning algorithms(Adaboost,binomial logistic regression,neural network,random forest,support vector machine,decision trees,and XGBoost algorithms)were applied to identify the rural courtyards’utilization *** Adaboost algorithm showed the best performance with the comprehensive consideration of most metrics(Accuracy:0.933,Precision:0.932,Recall:0.984,F1-score:0.957).Results showed that identifying the courtyards’utilization statuses based on the courtyard built environment is *** is transferable and cost-effective for large-scale village surveys,and may contribute to the intensive and sustainable approach to rural land use.

关键词： unoccupied homesteads courtyard built environment inner courtyard management GLR solar water heaters machine learning algorithms

Experimental and Numerical Investigation of Non-synchronous Blade Vibration Excitation in a Transonic Axial Compressor

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Thermal Science 2024年第2期33卷 602-610页

作者： WANG Songbai WU Yadong CHEN Yong cao Zhipeng School of Mechanical Engineering Shanghai Jiao Tong UniversityShanghai200240China AECC Sichuan Gas Turbine Establishment Chengdu610500China

The complex flow phenomenon of rotating instability(RI) and its induced non-synchronous vibration(NSV) have become a significant challenge as they continuously increase aerodynamic *** study aims to provide an understanding of the non-synchronous blade vibration phenomenon caused by the rotating instability of a transonic axial compressor *** this case,blade vibrations and non-synchronous excitation are captured by strain gauges and unsteady wall pressure transducer *** numerical simulations for a full-annulus configuration are used to obtain the non-synchronous flow *** results show that the first-stage rotor blade exhibits an NSV close to the first bending mode;NSV is accompanied by a sharp increase in pressure pulsation;amplitude can reach 20%,and unsteady aerodynamic frequency will lock in a structural mode frequency when the blade vibrates in a large-amplitude *** predicted NSV frequency aligns well with the experimental *** dominant mode of circumferential instability flow structure is approximately 47% of the number blades,and the cell size occupies 2-3 pitches in the circumferential *** full-annulus unsteady simulations demonstrate that the streamwise oscillation of the shedding and reattachment vortex structure is the main cause of NSV owing to the strong interaction between the tip leakage and separation vortices near the suction surface.

关键词： non-synchronous vibration transonic axial compressor rotor blade rotating instabilities unsteady flow