检索结果-南通市图书馆

Plastic Deformation Mechanism in Double-Roller Clamping Spinning of Flanged Thin-Walled Cylinder

Chinese Journal of Mechanical Engineering 2018年第3期31卷 76-84页

作者： shu-qin fan Sheng-Dun Zhao Chao Chen School of Mechanical Engineering Xi’an Jiaotong University

Double?roller clamping spinning(DRCS) is a new process for forming a thin?walled cylinder with a complex surface flange. The process requires a small spinning force,and can visibly improve forming quality and production e ciency. However,the deformation mechanism of the process has not been completely understood. Therefore,both a finite element numerical simulation and experimental research on the DRCS process are carried out. The results show that both radial force and axial force dominate the forming process of DRCS. The deformation area elongates along the radial direction and bends along the axial direction under the action of the two forces. Both the outer edge and round corner of the flange show the tangential tensile stress and radial compressive stress. The middle region shows tensile tangential stress and radial stress,while the inner edge shows compressive tangential stress and radial stress. Tan?gential tensile strain causes a wall thickness reduction in the outer edge and middle regions of the flange. The large compressive thickness strain causes material accumulation and thus,an increase in the wall thickness of the round corner. Because of bending deformation,the round corner shows a large radial tensile strain in addition. The inner edge of the flange shows small radial compressive strain and tensile strain in thickness. Thus,the wall thickness on the inner edge of the flange continues to increase,although the increment is small. Furthermore,microstructure analysis and tensile test results show that the flanged thin?walled cylinder formed by DRCS has good mechanical properties. The results provide instructions for the application of the DRCS process.

关键词： Flange Double?roller clamping spinning Plastic deformation Cylinder

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Survey on Interactive Theorem Proving Based Concurrent Program Verification

引用

Ruan Jian Xue Bao/Journal of Software 2024年第9期35卷

作者： Wang, Zhong-Ye Wu, shu-shu Cao, qin-Xiang School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University Shanghai 200240 China

Concurrent programs and systems are usually highly efficient and respond faster than serial systems, making them widely used in practice. However, concurrent programs and systems are often prone to error, which could bring fatal consequences in real world applications. Moreover, the non-determinism brought by concurrency is a major difficulty in the verification of concurrent programs. With formal verification, people could use interactive theorem provers to rigorously prove the correctness of a concurrent program. This study presents several correctness criteria for concurrent programs, which can be verified by interactive theorem proof techniques. The criteria include Hoare triple, linearizability, contextual refinement, and logical atomicity. Researchers usually use program logic to verify programs in an interactive theorem prover. This study summarizes the usage of concurrent separation logic, rely-guarantee-based logic, and relational Hoare logic in concurrent program verifications. It also surveys existing foundational verification tools and verification results by these techniques. © 2024 Chinese Academy of Sciences. All rights reserved.

关键词： Formal verification

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A progressive framework for rotary motion deblurring

引用

Defence Technology（防务技术） 2024年第2期32卷 159-172页

作者： Jinhui qin Yong Ma Jun Huang fan fan You Du School of Electronic Information Wuhan UniversityWuhan430072China

The rotary motion deblurring is an inevitable procedure when the imaging seeker is mounted in the rotating *** rotary motion deblurring methods suffer from ringing artifacts and noise,especially for large blur *** solve the above problems,we propose a progressive rotary motion deblurring framework consisting of a coarse deblurring stage and a refinement *** the first stage,we design an adaptive blur extents factor(BE factor)to balance noise suppression and details *** a novel deconvolution model is proposed based on BE *** the second stage,a triplescale deformable module CNN(TDM-CNN)is designed to reduce the ringing artifacts,which can exploit the 2D information of an image and adaptively adjust spatial sampling *** establish a standard evaluation benchmark,a real-world rotary motion blur dataset is proposed and released,which includes rotary blurred images and corresponding ground truth images with different blur *** results demonstrate that the proposed method outperforms the state-of-the-art models on synthetic and real-world rotary motion blur *** code and dataset are available at https://***/Jinhuiqin/RotaryDeblurring.

关键词： Rotary motion deblurring Progressive framework Blur extents factor TDM-CNN

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Energy-Function Based Pilot Protection Scheme for Hybrid UHVDC Transmission Applying Improved Hausdorff Distance

引用

CSEE Journal of Power and Energy Systems 2024年第3期10卷 891-902页

作者： Zijiang Wang Youping fan Ben Shang Yinbiao shu School of Electrical Engineering and Automation Wuhan UniversityWuhan 430072China Institute of Next Generation Power Systems&International Standards Wuhan UniversityWuhan 430072China CSEE IEEE

A hybrid UHVDC transmission system applying LCC as the rectifier and MMC as the inverter combines the advantages of both converter types,which makes this protection scheme more complicated.A new pilot protection scheme for a three-terminal hybrid DC transmission system applying energy functions is *** energy function for LCC is applied to MMC to derive the energy level of the hybrid ***,an improved Hausdorff distance(IHD)algorithm is proposed to detect the difference in energy levels between the normal and fault *** abrupt change in energy level is characterized by IHD change *** points at which the IHD change rate exceeds the threshold at converter stations are applied to determine the fault line and to estimate the fault *** proposed protection scheme is then verified by a simulation model of the Wudongde±800 kV three-terminal hybrid UHVDC transmission *** appropriate sampling frequency is selected for a real-time calculation,and the threshold is selected considering the effect of *** show the proposed scheme can identify and trip fault lines quickly and effectively,even for a 600Ωgrounding *** waveshape similarity algorithms are compared and *** with existing protection schemes,the proposed scheme transmits less data to improve communication speed and reliability.

关键词： Energy function Hausdorff distance pilot protection UHVDC transmission

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

On self-affine tiles that are homeomorphic to a ball

引用

Science China Mathematics 2024年第1期67卷 45-76页

作者： Jorg M.Thuswaldner shu-qin Zhang Mathematics and Statistics University of LeobenLeoben 8700Austria School of Mathematics and Statistics Zhengzhou UniversityZhengzhou 450001China

Let M be a 3×3 integer matrix which is expanding in the sense that each of its eigenvalues is greater than 1 in modulus and let D?Z^(3)be a digit set containing|det M|*** the unique nonempty compact set T=T(M,D)defined by the set equation MT=T+D is called an integral self-affine tile if its interior is *** D is of the form D={0,v,...,(|det M|-1)v},we say that T has a collinear digit *** present paper is devoted to the topology of integral self-affine tiles with collinear digit *** particular,we prove that a large class of these tiles is homeomorphic to a closed 3-dimensional ***,we show that in this case,T carries a natural CW complex structure that is defined in terms of the intersections of T with its neighbors in the lattice tiling{T+z:z∈Z^(3)}induced by *** CW complex structure is isomorphic to the CW complex defined by the truncated octahedron.

关键词： self-afine sets tiles and tilings low-dimensional topology truncated octahedron

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Cu-substituted nickel hexacyanoferrate with tunable reaction potentials for superior ammonium ion storage

引用

Journal of Materials Science & Technology 2024年第2期169卷 19-27页

作者： Leiyu fan Guangchang shu Yiwen Liu Haoxiang Yu Lei Yan Liyuan Zhang Jie shu School of Materials Science and Chemical Engineering Ningbo UniversityNingbo 315211China

In this work,a variety of Cu_(x)Ni_(2-x)Fe(CN)_(6)(x=0,0.4,0.8,1.2,1.6,2)cathodes for ammonium ion batteries are prepared and their electrochemical performances are *** the introduction of copper in nickel hexacyanoferrate,the electrochemical performance varies without changing the structure of nickel *** increase of Cu content in nickel hexacyanoferrate leads to the enhancement of reaction potential and *** results suggest that the substitution of Cu for Ni has a positive effect on improving the cycling stability and rate capacity of nickel hexacyanoferrate when x in Cu_(x)Ni_(2-x)Fe(CN)_(6)is less than ***,Cu_(0.4)Ni_(1.6)Fe(CN)_(6)exhibits the best cycling per-formance(capacity retention of 97.54%at 0.3 C)and the highest rate capacity(41.4 mAh g^(-1)at 10 C)in Cu_(x)Ni_(2-x)Fe(CN)_(6).Additionally,the X-ray diffraction(XRD)and X-ray photoelectron spectroscopy(XPS)tests also reveal that the structural evolution of Cu_(0.4)Ni_(1.6)Fe(CN)_(6)is highly reversible upon NH_(4)^(+)***,this work proposes a candidate material for ammoniumion batteries and offers a novel avenue for adjusting the operating potential of the material.

关键词： Nickel hexacyanoferrate Copper hexacyanoferrate NH_(4)^(+)storage Ammonium ion batteries Aqueous batteries

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Associative Tasks Computing Offloading Scheme in Internet of Medical Things with Deep Reinforcement Learning

引用

China Communications 2024年第4期21卷 38-52页

作者： Jiang fan qin Junwei Liu Lei Tian Hui School of Communications and Information Engineering Xi’an University of Posts and TelecommunicationsXi’an 710121China State Key Laboratory of Networking and Switching Technology Beijing University of Posts and TelecommunicationsBeijing 100876China

The Internet of Medical Things(Io MT) is regarded as a critical technology for intelligent healthcare in the foreseeable 6G era. Nevertheless, due to the limited computing power capability of edge devices and task-related coupling relationships, Io MT faces unprecedented challenges. Considering the associative connections among tasks, this paper proposes a computing offloading policy for multiple-user devices(UDs) considering device-to-device(D2D) communication and a multi-access edge computing(MEC)technique under the scenario of Io MT. Specifically,to minimize the total delay and energy consumption concerning the requirement of Io MT, we first analyze and model the detailed local execution, MEC execution, D2D execution, and associated tasks offloading exchange model. Consequently, the associated tasks’ offloading scheme of multi-UDs is formulated as a mixed-integer nonconvex optimization problem. Considering the advantages of deep reinforcement learning(DRL) in processing tasks related to coupling relationships, a Double DQN based associative tasks computing offloading(DDATO) algorithm is then proposed to obtain the optimal solution, which can make the best offloading decision under the condition that tasks of UDs are associative. Furthermore, to reduce the complexity of the DDATO algorithm, the cacheaided procedure is intentionally introduced before the data training process. This avoids redundant offloading and computing procedures concerning tasks that previously have already been cached by other UDs. In addition, we use a dynamic ε-greedy strategy in the action selection section of the algorithm, thus preventing the algorithm from falling into a locally optimal solution. Simulation results demonstrate that compared with other existing methods for associative task models concerning different structures in the Io MT network, the proposed algorithm can lower the total cost more effectively and efficiently while also providing a tradeoff between delay and energy co

关键词： associative tasks cache-aided procedure double deep Q-network Internet of Medical Things(IoMT) multi-access edge computing(MEC)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

MOF-derived porous graphitic carbon with optimized plateau capacity and rate capability for high performance lithium-ion capacitors

引用

International Journal of Minerals,Metallurgy and Materials 2024年第2期31卷 395-404页

作者： Ge Chu Chaohui Wang Zhewei Yang Lin qin Xin fan College of Materials Science&Engineering Guilin University of TechnologyGuilin 541004China Institute of Energy Innovation College of Materials Science and EngineeringTaiyuan University of TechnologyTaiyuan 030024China

The development of anode materials with high rate capability and long charge-discharge plateau is the key to improve per-formance of lithium-ion capacitors(LICs).Herein,the porous graphitic carbon(PGC-1300)derived from a new triply interpenetrated co-balt metal-organic framework(Co-MOF)was prepared through the facile and robust carbonization at 1300°C and washing by HCl *** as-prepared PGC-1300 featured an optimized graphitization degree and porous framework,which not only contributes to high plateau capacity(105.0 mAh·g^(−1)below 0.2 V at 0.05 A·g^(−1)),but also supplies more convenient pathways for ions and increases the rate capability(128.5 mAh·g^(−1)at 3.2 A·g^(−1)).According to the kinetics analyses,it can be found that diffusion regulated surface induced capa-citive process and Li-ions intercalation process are coexisted for lithium-ion ***,LIC PGC-1300//AC constructed with pre-lithiated PGC-1300 anode and activated carbon(AC)cathode exhibited an increased energy density of 102.8 Wh·kg^(−1),a power dens-ity of 6017.1 W·kg^(−1),together with the excellent cyclic stability(91.6%retention after 10000 cycles at 1.0 A·g^(−1)).

关键词： metal-organic framework porous graphitic carbon optimized plateau capacity kinetic analysis lithium-ion capacitor

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Rapid Energy Exchange between In Situ Formed Bromine Vacancies and CO_(2)Molecules Enhances CO_(2)Photoreduction

引用

Research 2024年第2期2023卷 763-771页

作者： qin Ren Ye He Hong Wang Yanjuan Sun fan Dong Research Center for Environmental and Energy Catalysis Institute of Fundamental and Frontier SciencesUniversity of Electronic Science and Technology of ChinaChengdu 611731China School of Resources and Environment University of Electronic Science and Technology of ChinaChengdu 611731China

Photocatalytic reduction of CO_(2)into fuels provides a prospective tactic for regulating the global carbon balance utilizing renewable solar ***,CO_(2)molecules are difficult to activate and reduce due to the thermodynamic stability and chemical *** this work,we develop a novel strategy to promote the adsorption and activation of CO_(2)molecules via the rapid energy exchange between the photoinduced Br vacancies and CO_(2)*** in situ continuous wave-electron paramagnetic resonance(cw-EPR)and pulsed EPR technologies,we observe that the spin-spin relaxation time(T_(2))of BiOBr is decreased by 198 ns during the CO_(2)photoreduction reaction,which is further confirmed by the broadened EPR *** result reveals that there is an energy exchange interaction between in situ formed Br vacancies and CO_(2)molecules,which promotes the formation of high-energy CO_(2)molecules to facilitate the subsequent reduction *** addition,theoretical calculations indicate that the bended CO_(2)adsorption configuration on the surface of BiOBr with Br vacancies caused the decrease of the lowest unoccupied molecular orbital of the CO_(2)molecule,which makes it easier for CO_(2)molecules to acquire electrons and get *** situ diffuse reflectance infrared Fourier transform spectroscopy further shows that the activated CO_(2)molecules are favorably converted to key intermediates of COOH*,resulting in a CO generation rate of 9.1μmol g^(-1)h^(-1)and a selectivity of 100%.This study elucidates the underlying mechanism of CO_(2)activation at active sites and deepens the understanding of CO_(2)photoreduction reaction.

关键词： reaction. adsorption activation

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Network pharmacology and molecular dynamics study of the effect of the Astragalus-Coptis drug pair on diabetic kidney disease

引用

World Journal of Diabetes 2024年第7期15卷 1562-1588页

作者： Mo-Yan Zhang shu-qin Zheng Liaoning University of Traditional Chinese Medicine Liaoning University of Traditional Chinese MedicineShenyang 110847Liaoning ProvinceChina Department of Endocrinology The Affiliated Hospital of Liaoning University of Traditional Chinese MedicineShenyang 110032Liaoning ProvinceChina

BACKGROUND Diabetic kidney disease(DKD)is the primary cause of end-stage renal *** Astragalus-Coptis drug pair is frequently employed in the management of ***,the precise molecular mechanism underlying its therapeutic effect remains *** To investigate the synergistic effects of multiple active ingredients in the Astragalus-Coptis drug pair on DKD through multiple targets and *** The ingredients of the Astragalus-Coptis drug pair were collected and screened using the TCMSP database and the SwissADME *** targets were predicted using the SwissTargetPrediction database,while the DKD differential gene expression analysis was obtained from the Gene Expression Omnibus *** targets were acquired from the GeneCards,Online Mendelian Inheritance in Man database,and DisGeNET databases,with common targets identified through the Venny *** protein-protein interaction network and the“disease-active ingredient-target”network of the common targets were constructed utilizing the STRING database and Cytoscape software,followed by the analysis of the interaction relationships and further screening of key targets and core active *** Ontology(GO)function and Kyoto Encyclopedia of Genes and Genomes(KEGG)pathway enrichments were performed using the DAVID *** tissue and organ distributions of key targets were *** and AutoDock software validate the molecular docking between the core ingredients and key ***,molecular dynamics(MD)simulations were conducted to simulate the optimal complex formed by interactions between core ingredients and key target *** A total of 27 active ingredients and 512 potential targets of the Astragalus-Coptis drug pair were *** were 273 common targets between DKD and the Astragalus-Coptis drug *** protein-protein interaction network topology analysis,we identified 9 core active ingredients and 10 key *** and KEGG pathwa

关键词： Astragalus membranaceus Coptis chinensis Franch Diabetic kidney disease Network pharmacology Molecular docking Molecular dynamics simulation

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：