检索结果-南通市图书馆

Process synthesis for the separation of coal-to-ethanol products

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Chemical Engineering 2024年第5期69卷 263-278页

作者： Qingping qu Daoyan Liu Hao Lyu Jinsheng sun School of Chemical Engineering and Technology Tianjin UniversityTianjin 300072China Sustainable Energy and Environment Thrust The Hong Kong University of Science and Technology(Guangzhou)Nansha 511400China

The coal-to-ethanol process,as the clean coal utilization,faces challenges from the energy-intensive distillation that separates multi-component effluents for pure *** to at least eight columns,the synthesis of the ethanol distillation system is impracticable for exhaustive comparison and difficult for conventional superstructure-based optimization as rigorous models are *** work adopts a superstructure-based framework,which combines the strategy that adaptively selects branches of the state-equipment network and the parallel stochastic algorithm for process ***-performance computing significantly reduces time consumption,and the adaptive strategy substantially lowers the complexity of the superstructure ***,parallel computing,elite search,population redistribution,and retention strategies for irrelevant parameters are used to improve the optimization efficiency *** optimization terminates after 3000 generations,providing a flowsheet solution that applies two non-sharp splitting options in its distillation *** a result,the 59-dimension superstructure-based optimization was solved efficiently via a differential evolution algorithm,and a high-quality solution with a 28.34%lower total annual cost than the benchmark was ***,the solution of the superstructure-based optimization is comparable to that obtained by optimizing a single specific configuration one by *** indicates that the superstructure-based optimization that combines the adaptive strategy can be a promising approach to handling the process synthesis of large-scale and complex chemical processes.

关键词： Coal-to-ethanol Process synthesis Superstructure-based optimization Differential evolution algorithm Distillation

Refinement modeling and verification of secure operating systems for communication in digital twins

在线全文

学校读者我要写书评

暂无评论

Digital Communications and Networks 2024年第2期10卷 304-314页

作者： Zhenjiang Qian Gaofei sun Xiaoshuang xing Gaurav Dhiman School of Computer Science and Engineering Changshu Institute of TechnologySuzhou215500China University Centre for Research and Development Department of Computer Science and EngineeringChandigarh UniversityMohali140413India Department of Computer Science and Engineering Graphic Era Deemed to be UniversityDehradun248002India

In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely *** verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented *** this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly *** verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.

关键词： Theorem proving Isabelle/HOL Formal verification System modeling Correctness verification

Resilient performance of self-centering hybrid rocking walls with curved interface under pseudo-static loading

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Earthquake Engineering and Engineering Vibration 2024年第1期23卷 65-85页

作者： Su xing Yan Shi sun Xianglei Wang Tao School of Civil Engineering Shenyang Jianzhu UniversityShenyang 110168China PetroChina East China Design Institute Co. Ltd.Qingdao 266000China Qingdao Country Garden Bolin Real Estate Co. Ltd.Qingdao 266100China

Frame and rocking wall(FRW)structures have excellent resilient performance during ***,the concrete at interfacial corners of rocking walls(RWs)is easily crushed due to local extreme compression during the rocking *** innovative RW with a curved interface is proposed to prevent interfacial corners from producing local damage,enhancing its earthquake resilient performance(ERP).The precast wall panel with a curved interface is assembled into an integral self-centering hybrid rocking wall(SCRW)by two post-tensioned unbonded prestressed ***,two ordinary energy dissipation steel rebars and two shear reinforcements are arranged to increase the energy dissipation capacity and lateral *** SCRW specimens and one monolithic reinforced concrete(RC)shear wall(SW)were tested under pseudo-static loading to compare the ERPs of the proposed SCRW and the SW,focusing on studying the effect of the curved interface on the *** key resilient performance of rocking effects,failure modes,and hysteretic properties of the SCRW were *** results show that nonlinear deformations of the SCRW are concentrated along the interface between the SCRW and the foundation,avoiding damage within the *** restoring force provided by the prestressed tendons can effectively realize self-centering capacity with small residual deformation,and the resilient performance of the SCRW is better than that of monolithic *** addition,the curved interface of the SCRW makes the rocking center change and move inward,partially relieving the stress concentration and crush of *** rocking range of the rocking center is about 41.4%of the width of the SCRW.

关键词： self-centering hybrid rocking wall(SCRW) monolithic shear wall(SW) earthquake resilient performance(ERP) curved interface rocking center

Improving the high cycle fatigue property of Ti6Al4V ELI alloy by optimizing the surface integrity through electric pulse combined with ultrasonic surface rolling process

在线全文

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2024年第3期170卷 103-121页

作者： Pengfei sun Shengguan qu Chenfeng Duan Xiongfeng Hu Xiaoqiang Li National Engineering Research Center of Near-Net-Shape Forming for Metallic Materials South China University of TechnologyGuangzhou 510640China School of Mechanical and Automotive Engineering South China University of TechnologyGuangzhou 510640China

To improve the surface integrity and high cycle fatigue property of Ti6Al4V ELI alloy,the electric pulse has been introduced into the ultrasonic surface rolling process(USRP),which is called electric pulse-assisted ultrasonic surface rolling process(EUSRP).With the help of“electroplasticity”of the electric pulse,the thickness of the surface gradient deformation layer was about three times of the USRP specimens by adjusting the pulse current ***,the surface hardness decreases due to the continuous effect of the pulse current and the“skin effect”during *** is worth noting that the higher the applied pulse current,the more severe the *** paradox causes the fatigue performance of EUSRP specimens lower than that of USRP *** break this paradox,the EUSRP treatment is followed by a USRP *** EUSRP-2(with a pulse current of 200 A)+USRP specimens exhibit excellent surface hardness,a gradient deformation layer thickness of about 400μm,low surface roughness and high compressive residual compressive ***,the hardening mechanisms of the different surface strengthening specimens have been quantitatively analyzed in combination with microstructure *** fatigue life of Ti6Al4V ELI alloy can be improved by about 25 times at 780 MPa using the EUSRP-2+USRP treatment,the main reason for the highest fatigue life is the deepest surface gradient layer and the deepest crack initiation *** fatigue limit of the EUSRP-2+USRP specimens is not the highest because too much surface hardening causes compressive residual stress relaxation during cycling and the beneficial effect of compressive residual stress is eliminated.

关键词： Ti6Al4V ELI alloy Combined surface treatment Transmission electron microscopy Residual stress Fatigue performance

A New Random Sampling Method and Its Application in Improving Progressive BKZ Algorithm

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2024年第5期37卷 2262-2292页

作者： sun Minghao WANG Shixiong CHEN Hao qu Longjiang College of Sciences National University of Defense Technology Academy of Military Sciences College of Information Science and Technology/Cyber Security Jinan University

Random sampling algorithm was proposed firstly by Schnorr in 2003 to find short lattice vectors, as an alternative to enumeration. The follow-up developments in random sampling were mainly proposed by Fukase and Kashiwabara in 2015 and Aono and Nguyen in 2017. Although they extended the sampling space compared to Schnorr's work through the natural number representation, they did not show how to sample specifically in practice and what vectors should be sampled, in order to find short enough lattice vectors. In this paper, the authors firstly introduce a practical random sampling algorithm under some reasonable assumptions which can find short enough lattice vectors ***, as an application of this new random sampling algorithm, the authors show that it can improve the performance of progressive BKZ algorithm in practice. Finally, the authors solve the Darmstadt's Lattice Challenge and get a series of new records in the dimension from 500 to 825, using the improved progressive BKZ algorithm.

关键词： Darmstadt’s lattice challenge lattice lattice reduction algorithm post-quantum cryptography random sampling

Analysis of Extended Fisher-Kolmogorov Equation in 2D Utilizing the Generalized Finite Difference Method with Supplementary Nodes

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Computer Modeling in Engineering & Sciences 2024年第10期141卷 267-280页

作者： Bingrui Ju Wenxiang sun Wenzhen qu Yan Gu Key Laboratory of Road Construction Technology and Equipment of MOE Chang’an UniversityXi’an710018China School of Mathematics and Statistics Qingdao UniversityQingdao266071China

In this study,we propose an efficient numerical framework to attain the solution of the extended Fisher-Kolmogorov(EFK)*** temporal derivative in the EFK equation is approximated by utilizing the Crank-Nicolson *** temporal discretization,the generalized finite difference method(GFDM)with supplementary nodes is utilized to address the nonlinear boundary value problems at each time *** supplementary nodes are distributed along the boundary to match the number of boundary *** incorporating supplementary nodes,the resulting nonlinear algebraic equations can effectively satisfy the governing equation and boundary conditions of the EFK *** demonstrate the efficacy of our approach,we present three numerical examples showcasing its performance in solving this nonlinear problem.

关键词： Generalized finite difference method nonlinear extended Fisher-Kolmogorov equation Crank-Nicolson scheme

Stability and Time-Step Constraints of Implicit-Explicit Runge-Kutta Methods for the Linearized Korteweg-de Vries Equation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Communications on Applied Mathematics and Computation 2024年第1期6卷 658-687页

作者： Joseph Hunter Zheng sun Yulong xing Department of Mathematics The Ohio State UniversityColumbusOH43210USA Department of Mathematics The University of AlabamaTuscaloosaAL35487USA

This paper provides a study on the stability and time-step constraints of solving the linearized Korteweg-de Vries(KdV)equation,using implicit-explicit(IMEX)Runge-Kutta(RK)time integration methods combined with either finite difference(FD)or local discontinuous Galerkin(DG)spatial *** analyze the stability of the fully discrete scheme,on a uniform mesh with periodic boundary conditions,using the Fourier *** the linearized KdV equation,the IMEX schemes are stable under the standard Courant-Friedrichs-Lewy(CFL)conditionτ≤λ***,λis the CFL number,τis the time-step size,and h is the spatial mesh *** study several IMEX schemes and characterize their CFL number as a function ofθ=d/h^(2)with d being the dispersion coefficient,which leads to several interesting *** also investigate the asymptotic behaviors of the CFL number for sufficiently refined meshes and derive the necessary conditions for the asymptotic stability of the IMEX-RK *** numerical experiments are provided in the paper to illustrate the performance of IMEX methods under different time-step constraints.

关键词： Linearized Korteweg-de Vries(KdV)equation Implicit-explicit(IMEX)Runge-Kutta(RK)method Stability Courant-Friedrichs-Lewy(CFL)condition Finite difference(FD)method Local discontinuous Galerkin(DG)method

Potential evaluation of saline aquifers for the geological storage of carbon dioxide: A case study of saline aquifers in the Qian-5 member in northeastern Ordos Basin

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

China Geology 2024年第1期7卷 12-25页

作者： Yan Li Peng Li Hong-jun qu Gui-wen Wang Xiao-han sun Chang Ma Tian-xing Yao Guoneng Jinjie Energy Co. Ltd.Shenmu 719319China Department of Geology Northwest UniversityXi’an 710069China Carbon Neutrality College(Yulin) Northwest UniversityXi’an 710069China National&Local Joint Engineering Research Center of Carbon Capture and Storage Technology Xi’an 710069China

The well-developed coal electricity generation and coal chemical industries have led to huge carbon dioxide(CO_(2))emissions in the northeastern Ordos *** geological storage of CO_(2) in saline aquifers is an effective backup way to achieve carbon *** this case,the potential of saline aquifers for CO_(2) storage serves as a critical basis for subsequent geological storage *** study calculated the technical control capacities of CO_(2) of the saline aquifers in the fifth member of the Shiqianfeng Formation(the Qian-5 member)based on the statistical analysis of the logging and the drilling and core data from more than 200 wells in the northeastern Ordos Basin,as well as the sedimentary facies,formation lithology,and saline aquifer development patterns of the Qian-5 *** results show that(1)the reservoirs of saline aquifers in the Qian-5 member,which comprise distributary channel sand bodies of deltaic plains,feature low porosities and permeabilities;(2)The study area hosts three NNE-directed saline aquifer zones,where saline aquifers generally have a single-layer thickness of 3‒8 m and a cumulative thickness of 8‒24 m;(3)The saline aquifers of the Qian-5 member have a total technical control capacity of CO_(2) of 119.25×10^(6) *** the largest scale and the highest technical control capacity(accounting for 61%of the total technical control capacity),the Jinjie-Yulin saline aquifer zone is an important prospect area for the geological storage of CO_(2) in the saline aquifers of the Qian-5 member in the study area.

关键词： Carbon burial Carbon neutral CO_(2) storage in saline aquifer Distributary channel sand body Potential evaluation Technical control capacity CO_(2)geological storage engineering Ordos Basin

High-Precision DOA Estimation Method Based on Synthetic Aperture Technique

在线全文

学校读者我要写书评

暂无评论

Journal of Beijing Institute of Technology 2024年第2期33卷 111-118页

作者： Yongjia Dou Guangcai sun Yuqi Wang Mengdao xing National Key Laboratory of Radar Signal Processing Xidian UniversityXi’an 710071China School of Communication and Information Engineering Xi’an University of Science and TechnologyXi’an 710054China

The existing direction-of-arrival(DOA)estimation methods only utilize the current received signals,which are susceptible to *** this paper,a method for DOA estimation based on a motion platform is proposed to achieve high-precision DOA estimation by utilizing past and present *** concept of synthetic aperture is introduced to construct a linear DOA estima-tion model.A DOA fine-tuning method based on the linear model is proposed to eliminate the lin-ear DOA variation,achieving a non-coherent accumulation of DOA ***,the baseband modulation and the phase modulation caused by the range history are compensated to achieve the coherent accumulation of all the DOA *** results show that the proposed method can significantly improve the DOA estimated accuracy at low signal-to-noise ratios(SNR).

关键词： synthetic aperture direction-of-arrival(DOA)estimation coherent accumulation

同方期刊数据库