检索结果-南通市图书馆

Experimental Study of Temperature Control Based on Composite Phase Change Materials during Charging and Discharging of Battery

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Thermal Science 2024年第2期33卷 578-590页

作者： LI Xiaolin WANG Jun cao Wenxiang ZHANG Xuesong School of Automotive and Traffic Engineering Jiangsu UniversityZhenjiang212013China

This study is to utilize the heat-absorbing and releasing capabilities of phase change materials(PCM)to regulate the surface temperature fluctuations of batteries during charging and discharging.The goal is to keep the battery within the optimal operating temperature range.The impact of PCM thickness and phase change temperature on battery temperature is investigated by encircling a cylindrical battery with a PCM ring.To improve the thermal conductivity of PCM,expanded graphite(EG) is added to make a composite phase change material(CPCM),and the effects of various EG mass ratios on battery surface temperature and CPCM utilization level are investigated.The findings indicate that increasing PCM thickness effectively extends temperature control time,but its impact is limited.The difference in phase change temperature of PCM controls the battery temperature in different temperature ranges.Lower phase change temperatures are unsuitable for controlling battery temperature in high temperature environments.The addition of EG enhances the thermal conductivity of PCM,leading to further control of battery temperature.The results show that the addition of 6%(mass ratio) EG to CPCM extends the effective temperature control time by 11 min and improves by 28% compared to a single PCM.The CPCM utilization is also more satisfactory and achieved a balance between heat storage and thermal conductivity in a battery thermal management system(BTMS) based on PCM.

关键词： phase change material expanded graphite thermal management system effective control time

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 loss.Formal 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.

关键词： Formal verification Separation logic Cloud block storage Verification tool Coq

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.

关键词： Multi-classification support vector machine Adaptive network-based fuzzy inference system Train air braking system Fault-tolerant voting Multi-sensors

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 structures.Four 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 loads.Meanwhile,an FFA model to model the stress distribution and damage behavior of the bolt-hole contact interface was established.The load-displacement curve and damage modes of experiments were used to verify the FEA results.The 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 distributed.The damage of the hole wall was positively correlated with interference fit size,but DI can significantly reduce the damage compared to SI.In performance tests,DI enhanced the static bearing capacity and extended longer fatigue life of the joints than SI.DI 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

H∞ Robustness for Distributed Control in Autonomous Microgrids Considering Cyber Disturbances

在线全文

学校读者我要写书评

暂无评论

CSEE Journal of Power and Energy Systems 2024年第2期10卷 696-706页

作者： Ge cao Guannan Lou Wei Gu Lina Sheng School of Electrical Engineering Southeast UniversityNanjing 210096China

The physical connections and logical relationships between microgrids and communication networks allow microgrids to develop into typical cyber-physical systems(CPSs).With the extensive use of open communication mechanisms,the impact of cyber disturbances in public communication networks cannot be diminshed.In this paper,a parameter optimal method for a distributed secondary controller based on the robust control theory and consensus algorithm is presented to enhance the robustness of a secondary control system under data disturbance,parameter perturbation,and time delay.First,a distributed secondary control strategy of microgrids is demonstrated that coordinates frequency and voltage restoration and power sharing.Then,considering the impact of cyber events on the secondary control,a distributed robust controller gain design method is proposed to satisfy the H∞ performance index.The solution of the distributed robust control is transformed into a linear matrix in equation problem and latency margin is simultaneously obtained.Finally,a test microgrid CPS is simulated with and without time delay to investigate the impact of cyber events on system operational states and the effectiveness and robustness of the proposed method.

关键词： Cyber disturbance cyber-physical lsystem distributed control microgrid robust H∞control

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 load.This study aims to provide an understanding of the non-synchronous blade vibration phenomenon caused by the rotating instability of a transonic axial compressor rotor.In this case,blade vibrations and non-synchronous excitation are captured by strain gauges and unsteady wall pressure transducer sensors.Unsteady numerical simulations for a full-annulus configuration are used to obtain the non-synchronous flow excitation.The 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 motion.The predicted NSV frequency aligns well with the experimental results.The 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 direction.The 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

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 recovery.The framework integrates various uncertainties in the seismic hazard,fragility,capacity,demand,loss functions,and post-earthquake recovery.In 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 mechanisms.Accordingly,probabilistic story-wise pushover analyses are performed to yield story-wise capacities for the predefined limit states.In 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 events.The recovery model leverages the economic loss and downtime to delineate the stochastic post-earthquake recovery curves for the resilience loss estimation.As such,contingencies in the probabilistic post-earthquake repairs are incorporated and the empirical judgments on the recovery parameters are largely circumvented.The proposed framework is demonstrated through a comparative study between two“dry”connected PCFs and one RCF designed as alternative structural systems for a prototype building.The results from the risk quantification indicate that the PCFs show reduced loss hazards and lower expected losses relative to the RCF.Particularly,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

Numerical study of the influence of the atmospheric pressure on the thermal environment in the passenger cabin

在线全文

学校读者我要写书评

暂无评论

Building Simulation 2024年第2期17卷 253-265页

作者： Xin Su Yu Guo Zhengwei Long Yi cao Tianjin Key Lab.of Indoor Air Environmental Quality Control School of Environmental Science and EngineeringTianjin UniversityTianjin300072China Shanghai Aircraft Design and Research Institute Jinke RoadPudong DistrictShanghai201210China

The cabin air pressure remains lower than the horizontal atmospheric pressure when the airplane is in flight.Air pressure is one of the parameters that must be taken into consideration while studying the thermal environment of an airplane cabin.There are still no reference values for aircraft cabins despite the fact that numerous studies on low pressure heat transfer have demonstrated the connection between convective heat transfer coefficient(CHTC)and air pressure.In this paper,a correction method for CHTC under low pressure conditions was established by using the dummy heat dissipation in the low-pressure cabin experiment.On this basis,a thermal environment simulation model was developed,then was applied to the simulation of a seven-row aircraft cabin containing 42 passengers,and the CHTC and heat loss of dummy surface in the cabin were obtained.Finally,the results of PMV calculated by using heat dissipation and air parameters at sampling points were compared.The results show that the modified CHTC can accurately reflect the cabin thermal environment under low pressure conditions,and the correction of CHTC can be realized by adjusting the turbulent Prandtl number,which is nonlinear correlated with the pressure.The simulation results of the thermal environment in the seven-row cabin show that the CHTC changes by about 42%before and after modification.The air pressure decreases during take-off,which reduces the average CHTC of the crew surface from 5.09 W/(m^(2)·K)to 4.56 W/(m^(2)·K),but the air temperature rises by about 0.2°C as a whole.The deviation of PMV results calculated by using simulated heat loss data and using air parameters of measuring points in space is up to 0.5,but the latter is representative for calculating the thermal comfort level of the whole cabin.

关键词： low pressure aircraft cabin simulation heat dissipation convective heat transfer coefficient

Estimation of Hammerstein nonlinear systems with noises using filtering and recursive approaches for industrial control

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Information Technology & Electronic Engineering 2024年第2期25卷 260-271页

作者： Mingguang ZHANG Feng LI Yang YU Qingfeng cao School of Electrical&Information Engineering Jiangsu University of TechnologyChangzhou213001China College of Electrical Energy and Power EngineeringYangzhou UniversityYangzhou225127China

This paper discusses a strategy for estimating Hammerstein nonlinear systems in the presence of measurement noises for industrial control by applying filtering and recursive approaches.The proposed Hammerstein nonlinear systems are made up of a neural fuzzy network(NFN)and a linear state`-space model.The estimation of parameters for Hammerstein systems can be achieved by employing hybrid signals,which consist of step signals and random signals.First,based on the characteristic that step signals do not excite static nonlinear systems,that is,the intermediate variable of the Hammerstein system is a step signal with different amplitudes from the input,the unknown intermediate variables can be replaced by inputs,solving the problem of unmeasurable intermediate variable information.In the presence of step signals,the parameters of the state-space model are estimated using the recursive extended least squares(RELS)algorithm.Moreover,to effectively deal with the interference of measurement noises,a data filtering technique is introduced,and the filtering-based RELS is formulated for estimating the NFN by employing random signals.Finally,according to the structure of the Hammerstein system,the control system is designed by eliminating the nonlinear block so that the generated system is approximately equivalent to a linear system,and it can then be easily controlled by applying a linear controller.The effectiveness and feasibility of the developed identification and control strategy are demonstrated using two industrial simulation cases.

关键词： Hammerstein nonlinear systems Neural fuzzy network Data filtering Hybrid signals Industrial control