From the early Taoist diagrams of the human body to the end of the Qing dynasty and the beginning of the Republic of China,Taoists exaggerated and deformed the human spine in a shape-shifting manner.It is likely that ...From the early Taoist diagrams of the human body to the end of the Qing dynasty and the beginning of the Republic of China,Taoists exaggerated and deformed the human spine in a shape-shifting manner.It is likely that medical practitioners were influenced by this style of representation,and there are also numerous diagrams of the human body with the curved spine in the lateral-view diagrams of viscera and Ming Tang Tu(明堂图Acupuncture and Moxibustion Chart),which constantly show the human torso in an elliptical“egg shape”.No later than the Ming dynasty,medical practitioners began to depict the actual physiological spinal curve of the human body.By the Qing dynasty,the depiction of the spinal curve in medical diagrams of the human figure showed a tendency to part ways with the Taoist freehand style of the previous generation.Although the representation of the curve of the spine was very crude,later medical images of the human body at least gradually straightened the spine and no longer depicted it in a shape-shifting manner.However,the curved spine in Taoist diagrams of the human body continued to exist,and the presentation of the curved spine never changed.This way of depicting its appearance,which is very different from reality,is shaped by Taoism's special way of perceiving and viewing the body,and may also contain another form of truth.展开更多
We investigate a periodically driven Haldane model subjected to a two-stage driving scheme in the form of a step function.By using the Floquet theory,we obtain the topological phase diagram of the system.We also find ...We investigate a periodically driven Haldane model subjected to a two-stage driving scheme in the form of a step function.By using the Floquet theory,we obtain the topological phase diagram of the system.We also find that anomalous Floquet topological phases exist in the system.Focusing on examining the quench dynamics among topological phases,we analyze the site distribution of the 0-mode and p-mode edge states in long-period evolution after a quench.The results demonstrate that,under certain conditions,the site distribution of the 0-mode can be confined at the edge even in long-period evolution.Additionally,both the 0-mode and p-mode can recover and become confined at the edge in long-period evolution when the post-quench parameters(T,M_(2) /M_(1))in the phase diagram cross away from the phase boundary (M_(2)/ M_(1))=(6√3t2)/ M_(1)−1.Furthermore,we conclude that whether the edge state is confined at the edge in the long-period evolution after a quench depends on the similarity of the edge states before and after the quench.Our findings reveal some new characteristics of quench dynamics in a periodically driven system.展开更多
Ferroelectric phase transition has been identified as a promising avenue for designing high-performanceelectrocaloric materials for zero-emission and solid-state refrigeration. However, extensive research has been lim...Ferroelectric phase transition has been identified as a promising avenue for designing high-performanceelectrocaloric materials for zero-emission and solid-state refrigeration. However, extensive research has been limited todeveloping ferroelectric materials with large electrocaloric effects near room temperature, preventing them from meetingdiverse refrigeration requirements. In this study, by leveraging the room-temperature phase diagram of the (PbLa)(ZrTi)O_(3)solution, we prepared a series of Pb_(0.775)La_(0.15)Zr_(x)Ti_(1−x)O_(3) bulk ceramics spanning the ferroelectric and relaxor ferroelectricphase regions. This enabled the attainment of various phase transition features and temperatures. Finally, largeelectrocaloric effects, coupled with adjustable operation temperatures ranging from 150 to −45℃, are successfullyachieved through manipulation of the Zr/Ti ratio. This comprehensive range of operation temperatures effectively addressesdiverse refrigeration application requirements, ranging from industrial equipment to freezer cabinets. This work not onlyunderscores the expansion of the electrocaloric refrigeration application domain but also proposes a material designstrategy tailored to meet these evolving demands.展开更多
Metal additive manufacturing(MAM)technology has experienced rapid development in recent years.As both equipment and materials progress towards increased maturity and commercialization,material metallurgy technology ba...Metal additive manufacturing(MAM)technology has experienced rapid development in recent years.As both equipment and materials progress towards increased maturity and commercialization,material metallurgy technology based on high energy sources has become a key factor influencing the future development of MAM.The calculation of phase diagrams(CALPHAD)is an essential method and tool for constructing multi-component phase diagrams by employing experimental phase diagrams and Gibbs free energy models of simple systems.By combining with the element mobility data and non-equilibrium phase transition model,it has been widely used in the analysis of traditional metal materials.The development of CALPHAD application technology for MAM is focused on the compositional design of printable materials,the reduction of metallurgical imperfections,and the control of microstructural attributes.This endeavor carries considerable theoretical and practical significance.This paper summarizes the important achievements of CALPHAD in additive manufacturing(AM)technology in recent years,including material design,process parameter optimization,microstructure evolution simulation,and properties prediction.Finally,the limitations of applying CALPHAD technology to MAM technology are discussed,along with prospective research directions.展开更多
Cubic boron nitride and hexagonal boron nitride are the two predominant crystalline structures of boron nitride.They can interconvert under varying pressure and temperature conditions.However,this transformation requi...Cubic boron nitride and hexagonal boron nitride are the two predominant crystalline structures of boron nitride.They can interconvert under varying pressure and temperature conditions.However,this transformation requires overcoming significant potential barriers in dynamics,which poses great difficulty in determining the c-BN/h-BN phase boundary.This study used high-pressure in situ differential thermal measurements to ascertain the temperature of h-BN/c-BN conversion within the commonly used pressure range(3-6 GPa)for the industrial synthesis of c-BN to constrain the P-T phase boundary of h-BN/c-BN in the pressure-temperature range as much as possible.Based on the analysis of the experimental data,it is determined that the relationship between pressure and temperature conforms to the following equation:P=a+1/bT.Here,P denotes the pressure(GPa)and T is the temperature(K).The coefficients are a=-3.8±0.8 GPa and b=229.8±17.1 GPa/K.These findings call into question existing high-pressure and high-temperature phase diagrams of boron nitride,which seem to overstate the phase boundary temperature between c-BN and h-BN.The BN phase diagram obtained from this study can provide critical temperature and pressure condition guidance for the industrial synthesis of c-BN,thus optimizing synthesis efficiency and product performance.展开更多
The article raises the question of what to do with one of the main achievements of metal science in recent years—binary phase diagrams. These diagrams play a key role in the science of alloys and therefore their reli...The article raises the question of what to do with one of the main achievements of metal science in recent years—binary phase diagrams. These diagrams play a key role in the science of alloys and therefore their reliability must be complete. However, the discovery of the “ordering-separation” phase transition, which showed that in binary alloys at certain temperatures the sign of the chemical interatomic interaction changes (and, consequently, the microstructure changes), forces us to reconsider our ideas about those areas. Currently, these areas are designated on diagrams as areas of a “disordered solid solution.” This article proposes, using transmission electron microscopy, to study all the so-called solid solution regions, and apply the results obtained to the studied regions of the phase diagram.展开更多
高温高压相图在物理化学、矿物学、地球科学和极端条件下的材料科学中都具有重要的地位和应用价值,相图计算方法(alculation of phase diagram,CALPHAD)是建立温度-压强热力学相图和热力学数据库的主要方法,可以计算材料体系的相平衡、...高温高压相图在物理化学、矿物学、地球科学和极端条件下的材料科学中都具有重要的地位和应用价值,相图计算方法(alculation of phase diagram,CALPHAD)是建立温度-压强热力学相图和热力学数据库的主要方法,可以计算材料体系的相平衡、组成相的相分数和相成分、热力学性质,一定程度上解决单一实验建立高温高压相图的困难。本文对基于CALPHAD的高温高压相图建模方法进行了详细介绍,并总结其当前面临的问题和下一步研究方向,为极端条件下材料设计和性能评估奠定基础。展开更多
The Dashuigou tellurium deposit is the world’s only known independent tellurium deposit.By restoring metamorphic rocks’protolith,we seek to understand not only the development and evolution trajectory of the region ...The Dashuigou tellurium deposit is the world’s only known independent tellurium deposit.By restoring metamorphic rocks’protolith,we seek to understand not only the development and evolution trajectory of the region but also the origin of the relevant deposits.While there are many ways to restore metamorphic rocks’protolith,we take the host metamorphic rocks of Dashuigou tellurium deposit and leverage various petrochemical eigenvalues and related diagrams previously proposed to reveal the deposit’s host metamorphic rocks’protolith.The petrochemical eigenvalues include molecular number,Niggli’s value,REE parity ratio,CaO/Al_(2)O_(3)ratio,Fe^(3+) /(Fe^(3+) -+Fe^(2+) )ratio,chondrite-normalized REE value,logarithmic REE value,various REE eigenvalues including scandium,Eu/Sm ratio,total REE amount,light and heavy REEs,δEu,Eu anomaly,Sm/Nd ratio,and silicon isotope δ^(30) SiNBS-29‰,etc.The petrochemical plots include ACMs,100 mg-c-(al+alk),SiO_(2)-(Na_(2)O+K_(2)O),(al+fm)-(c+alk)versus Si,FeO+Fe_(2)O^(3+) TiO)-Al_(2)O_(3)-MgO,c-mg,Al_(2)O_(3)-(Na_(2)O+K_(2)O),chondrite-normalized REE model,La/Yb-REE,and Sm/Nd ratio,etc.On the basis of these comprehensive analyses,the following conclusions are drawn,starting from the many mantle-derived types of basalt developed in the study area of different geological ages,combined with the previously published research results on the deposit s fluid inclusions and sulfur and lead isotopes.The deposit is formed by mantle degassing in the form of a mantle plume in the late Yanshanian orogeny.The degassed fluids are rich in nano-sc ale substances including Fe,Te,S,As,Bi,Au,Se,H_(2),CO_(2),N_(2),H_(2)O,and CH_(4),which are enriched by nano-effect,and then rise to a certain part of the crust in the form of mantle plume along the lithospheric fault to form the deposit.The ultimate power for tellurium mineralization was from H_(2)flow with high energy,which was produced through radiation from the melted iron of the Earth’s outer core.The H,flow results in the Earth’s degassing,as well as the mantle and crust’s uplift.展开更多
Railway Point System(RPS)is an important infrastructure in railway industry and its faults may have significant impacts on the safety and efficiency of train operations.For the fault diagnosis of RPS,most existing met...Railway Point System(RPS)is an important infrastructure in railway industry and its faults may have significant impacts on the safety and efficiency of train operations.For the fault diagnosis of RPS,most existing methods assume that sufficient samples of each failure mode are available,which may be unrealistic,especially for those modes of low occurrence frequency but with high risk.To address this issue,this work proposes a novel fault diagnosis method that only requires the power signals generated under normal RPS operations in the training stage.Specifically,the failure modes of RPS are distinguished through constructing a reasoning diagram,whose nodes are either binary logic problems or those that can be decomposed into the problems of the binary logic.Then,an unsupervised method for the signal segmentation and a fault detection method are combined to make decisions for each binary logic problem.Based on the results of decisions,the diagnostic rules are established to identify the failure modes.Finally,the data collected from multiple real-world RPSs are used for validation and the results demonstrate that the proposed method outperforms the benchmark in identifying the faults of RPSs.展开更多
Solving Algebraic Problems with Geometry Diagrams(APGDs)poses a significant challenge in artificial intelligence due to the complex and diverse geometric relations among geometric objects.Problems typically involve bo...Solving Algebraic Problems with Geometry Diagrams(APGDs)poses a significant challenge in artificial intelligence due to the complex and diverse geometric relations among geometric objects.Problems typically involve both textual descriptions and geometry diagrams,requiring a joint understanding of these modalities.Although considerable progress has been made in solving math word problems,research on solving APGDs still cannot discover implicit geometry knowledge for solving APGDs,which limits their ability to effectively solve problems.In this study,a systematic and modular three-phase scheme is proposed to design an algorithm for solving APGDs that involve textual and diagrammatic information.The three-phase scheme begins with the application of the statetransformer paradigm,modeling the problem-solving process and effectively representing the intermediate states and transformations during the process.Next,a generalized APGD-solving approach is introduced to effectively extract geometric knowledge from the problem’s textual descriptions and diagrams.Finally,a specific algorithm is designed focusing on diagram understanding,which utilizes the vectorized syntax-semantics model to extract basic geometric relations from the diagram.A method for generating derived relations,which are essential for solving APGDs,is also introduced.Experiments on real-world datasets,including geometry calculation problems and shaded area problems,demonstrate that the proposed diagram understanding method significantly improves problem-solving accuracy compared to methods relying solely on simple diagram parsing.展开更多
The forming limit diagram plays an important role in predicting the forming limit of sheet metals.Previous studies have shown that,the method to construct the forming limit diagram based on instability theory of the o...The forming limit diagram plays an important role in predicting the forming limit of sheet metals.Previous studies have shown that,the method to construct the forming limit diagram based on instability theory of the original shear failure criterion is efective and simple.The original shear instability criterion can accurately predict the left area of the forming limit diagram but not the right area.In this study,in order to improve the accuracy of the original shear failure criterion,a modifed shear failure criterion was proposed based on in-depth analysis of the original shear failure criterion.The detailed improvement strategies of the shear failure criterion and the complete calculation process are given.Based on the modifed shear failure criterion and diferent constitutive equations,the theoretical forming limit of TRIP780 steel and 5754O aluminum alloy sheet metals are calculated.By comparing the theoretical and experimental results,it is shown that proposed modifed shear failure criterion can predict the right area of forming limit more reasonably than the original shear failure criterion.The efect of the pre-strain and constitutive equation on the forming limits are also analyzed in depth.The modifed shear failure criterion proposed in this study provides an alternative and reliable method to predict forming limit of sheet metals.展开更多
As a payload support system deployed on satellites,the turntable system is often switched among different working modes during the on-orbit operation,which can experience great state changes.In each mode,the missions ...As a payload support system deployed on satellites,the turntable system is often switched among different working modes during the on-orbit operation,which can experience great state changes.In each mode,the missions to be completed are different,consecutive and non-over-lapping,from which the turntable system can be considered to be a phased-mission system(PMS).Reliability analysis for PMS has been widely studied.However,the system mode cycle characteristic has not been taken into account before.In this paper,reliability analysis method of the satellite turntable system is proposed considering its multiple operation modes and mode cycle characteristic.Firstly,the multi-valued decision diagrams(MDD)manipulation rules between two adjacent mission cycles are proposed.On this basis,MDD models for the turntable system in different states are established and the reliability is calculated using the continuous time Markov chains(CTMC)method.Finally,the comparative study is carried out to show the effectiveness of our proposed method.展开更多
随着人工智能技术的发展和海量司法数据的公开,面向“智慧司法”服务的司法判决预测(legal judgment prediction,LJP)任务受到了学术界和工业界的广泛关注,该任务旨在根据有限的案件事实描述文本来预测案件的罪名、法条和刑期。然而,现...随着人工智能技术的发展和海量司法数据的公开,面向“智慧司法”服务的司法判决预测(legal judgment prediction,LJP)任务受到了学术界和工业界的广泛关注,该任务旨在根据有限的案件事实描述文本来预测案件的罪名、法条和刑期。然而,现有工作缺乏对易混淆司法案件的智能决策的研究,且相关模型通常缺乏可解释性,这会导致模型预测严重依赖领域专家,阻碍LJP在不同法律体系中的应用。为此,提出了一种基于因果图分析的司法判决预测(prediction of legal judgment based on causal graph analysis,CGLJ)方法,首先从非结构化的法律事实描述文本中挖掘要素之间的因果关系,然后采用易混淆罪名聚类的构图方法构建因果图,既考虑了相似事实描述之间的差异,又增强了事实描述和法律法规之间的相互作用,最后将构建好的因果图融入深度神经网络进行联合推理,得到判决预测结果。此外,还对模型预测过程中的因果图推理过程进行了可视化,为判决结果提供了更好的可解释性。在2018中国“法研杯”司法人工智能挑战赛(CAIL2018)司法判决预测数据集上的实验结果表明,该方法相比基线模型取得了更好的效果。展开更多
基金financed from the grant of the Fundamental Research Funds for the Central Public Welfare Research Institutes(ZZ-2023001)。
文摘From the early Taoist diagrams of the human body to the end of the Qing dynasty and the beginning of the Republic of China,Taoists exaggerated and deformed the human spine in a shape-shifting manner.It is likely that medical practitioners were influenced by this style of representation,and there are also numerous diagrams of the human body with the curved spine in the lateral-view diagrams of viscera and Ming Tang Tu(明堂图Acupuncture and Moxibustion Chart),which constantly show the human torso in an elliptical“egg shape”.No later than the Ming dynasty,medical practitioners began to depict the actual physiological spinal curve of the human body.By the Qing dynasty,the depiction of the spinal curve in medical diagrams of the human figure showed a tendency to part ways with the Taoist freehand style of the previous generation.Although the representation of the curve of the spine was very crude,later medical images of the human body at least gradually straightened the spine and no longer depicted it in a shape-shifting manner.However,the curved spine in Taoist diagrams of the human body continued to exist,and the presentation of the curved spine never changed.This way of depicting its appearance,which is very different from reality,is shaped by Taoism's special way of perceiving and viewing the body,and may also contain another form of truth.
基金the National Natural Science Foundation of China(Grant No.12004049).
文摘We investigate a periodically driven Haldane model subjected to a two-stage driving scheme in the form of a step function.By using the Floquet theory,we obtain the topological phase diagram of the system.We also find that anomalous Floquet topological phases exist in the system.Focusing on examining the quench dynamics among topological phases,we analyze the site distribution of the 0-mode and p-mode edge states in long-period evolution after a quench.The results demonstrate that,under certain conditions,the site distribution of the 0-mode can be confined at the edge even in long-period evolution.Additionally,both the 0-mode and p-mode can recover and become confined at the edge in long-period evolution when the post-quench parameters(T,M_(2) /M_(1))in the phase diagram cross away from the phase boundary (M_(2)/ M_(1))=(6√3t2)/ M_(1)−1.Furthermore,we conclude that whether the edge state is confined at the edge in the long-period evolution after a quench depends on the similarity of the edge states before and after the quench.Our findings reveal some new characteristics of quench dynamics in a periodically driven system.
基金supported by the National Natural Science Foundation of China(Nos.52302134 and 52173217)the Sichuan Science and Technology Program(No.2023NSFSC0975)+1 种基金the Scientific Research Foundation of Chengdu University of Information Technology(No.KYTZ202246)the open research fund of the Sichuan Province Key Laboratory of Information Materials and Devices Application(No.2023XXCL003).
文摘Ferroelectric phase transition has been identified as a promising avenue for designing high-performanceelectrocaloric materials for zero-emission and solid-state refrigeration. However, extensive research has been limited todeveloping ferroelectric materials with large electrocaloric effects near room temperature, preventing them from meetingdiverse refrigeration requirements. In this study, by leveraging the room-temperature phase diagram of the (PbLa)(ZrTi)O_(3)solution, we prepared a series of Pb_(0.775)La_(0.15)Zr_(x)Ti_(1−x)O_(3) bulk ceramics spanning the ferroelectric and relaxor ferroelectricphase regions. This enabled the attainment of various phase transition features and temperatures. Finally, largeelectrocaloric effects, coupled with adjustable operation temperatures ranging from 150 to −45℃, are successfullyachieved through manipulation of the Zr/Ti ratio. This comprehensive range of operation temperatures effectively addressesdiverse refrigeration application requirements, ranging from industrial equipment to freezer cabinets. This work not onlyunderscores the expansion of the electrocaloric refrigeration application domain but also proposes a material designstrategy tailored to meet these evolving demands.
基金supported by the National Key Research and Development Program of China(No.2021YFB3702500)。
文摘Metal additive manufacturing(MAM)technology has experienced rapid development in recent years.As both equipment and materials progress towards increased maturity and commercialization,material metallurgy technology based on high energy sources has become a key factor influencing the future development of MAM.The calculation of phase diagrams(CALPHAD)is an essential method and tool for constructing multi-component phase diagrams by employing experimental phase diagrams and Gibbs free energy models of simple systems.By combining with the element mobility data and non-equilibrium phase transition model,it has been widely used in the analysis of traditional metal materials.The development of CALPHAD application technology for MAM is focused on the compositional design of printable materials,the reduction of metallurgical imperfections,and the control of microstructural attributes.This endeavor carries considerable theoretical and practical significance.This paper summarizes the important achievements of CALPHAD in additive manufacturing(AM)technology in recent years,including material design,process parameter optimization,microstructure evolution simulation,and properties prediction.Finally,the limitations of applying CALPHAD technology to MAM technology are discussed,along with prospective research directions.
基金supported by the National Key R&D Program of China(Grant No.2023YFA1406200).
文摘Cubic boron nitride and hexagonal boron nitride are the two predominant crystalline structures of boron nitride.They can interconvert under varying pressure and temperature conditions.However,this transformation requires overcoming significant potential barriers in dynamics,which poses great difficulty in determining the c-BN/h-BN phase boundary.This study used high-pressure in situ differential thermal measurements to ascertain the temperature of h-BN/c-BN conversion within the commonly used pressure range(3-6 GPa)for the industrial synthesis of c-BN to constrain the P-T phase boundary of h-BN/c-BN in the pressure-temperature range as much as possible.Based on the analysis of the experimental data,it is determined that the relationship between pressure and temperature conforms to the following equation:P=a+1/bT.Here,P denotes the pressure(GPa)and T is the temperature(K).The coefficients are a=-3.8±0.8 GPa and b=229.8±17.1 GPa/K.These findings call into question existing high-pressure and high-temperature phase diagrams of boron nitride,which seem to overstate the phase boundary temperature between c-BN and h-BN.The BN phase diagram obtained from this study can provide critical temperature and pressure condition guidance for the industrial synthesis of c-BN,thus optimizing synthesis efficiency and product performance.
文摘The article raises the question of what to do with one of the main achievements of metal science in recent years—binary phase diagrams. These diagrams play a key role in the science of alloys and therefore their reliability must be complete. However, the discovery of the “ordering-separation” phase transition, which showed that in binary alloys at certain temperatures the sign of the chemical interatomic interaction changes (and, consequently, the microstructure changes), forces us to reconsider our ideas about those areas. Currently, these areas are designated on diagrams as areas of a “disordered solid solution.” This article proposes, using transmission electron microscopy, to study all the so-called solid solution regions, and apply the results obtained to the studied regions of the phase diagram.
文摘高温高压相图在物理化学、矿物学、地球科学和极端条件下的材料科学中都具有重要的地位和应用价值,相图计算方法(alculation of phase diagram,CALPHAD)是建立温度-压强热力学相图和热力学数据库的主要方法,可以计算材料体系的相平衡、组成相的相分数和相成分、热力学性质,一定程度上解决单一实验建立高温高压相图的困难。本文对基于CALPHAD的高温高压相图建模方法进行了详细介绍,并总结其当前面临的问题和下一步研究方向,为极端条件下材料设计和性能评估奠定基础。
基金supported by Orient Resources Ltd.College of Earth Sciences,Jilin University。
文摘The Dashuigou tellurium deposit is the world’s only known independent tellurium deposit.By restoring metamorphic rocks’protolith,we seek to understand not only the development and evolution trajectory of the region but also the origin of the relevant deposits.While there are many ways to restore metamorphic rocks’protolith,we take the host metamorphic rocks of Dashuigou tellurium deposit and leverage various petrochemical eigenvalues and related diagrams previously proposed to reveal the deposit’s host metamorphic rocks’protolith.The petrochemical eigenvalues include molecular number,Niggli’s value,REE parity ratio,CaO/Al_(2)O_(3)ratio,Fe^(3+) /(Fe^(3+) -+Fe^(2+) )ratio,chondrite-normalized REE value,logarithmic REE value,various REE eigenvalues including scandium,Eu/Sm ratio,total REE amount,light and heavy REEs,δEu,Eu anomaly,Sm/Nd ratio,and silicon isotope δ^(30) SiNBS-29‰,etc.The petrochemical plots include ACMs,100 mg-c-(al+alk),SiO_(2)-(Na_(2)O+K_(2)O),(al+fm)-(c+alk)versus Si,FeO+Fe_(2)O^(3+) TiO)-Al_(2)O_(3)-MgO,c-mg,Al_(2)O_(3)-(Na_(2)O+K_(2)O),chondrite-normalized REE model,La/Yb-REE,and Sm/Nd ratio,etc.On the basis of these comprehensive analyses,the following conclusions are drawn,starting from the many mantle-derived types of basalt developed in the study area of different geological ages,combined with the previously published research results on the deposit s fluid inclusions and sulfur and lead isotopes.The deposit is formed by mantle degassing in the form of a mantle plume in the late Yanshanian orogeny.The degassed fluids are rich in nano-sc ale substances including Fe,Te,S,As,Bi,Au,Se,H_(2),CO_(2),N_(2),H_(2)O,and CH_(4),which are enriched by nano-effect,and then rise to a certain part of the crust in the form of mantle plume along the lithospheric fault to form the deposit.The ultimate power for tellurium mineralization was from H_(2)flow with high energy,which was produced through radiation from the melted iron of the Earth’s outer core.The H,flow results in the Earth’s degassing,as well as the mantle and crust’s uplift.
基金supported by National Key R&D Program of China(2022YFB2602203)Talent Fund of Beijing Jiaotong University(2021RC274,I22L00131)National Natural Science Foundation of China(U1934219,52202392,52022010,U22A2046,52172322,62271486,62120106011,52172323)。
文摘Railway Point System(RPS)is an important infrastructure in railway industry and its faults may have significant impacts on the safety and efficiency of train operations.For the fault diagnosis of RPS,most existing methods assume that sufficient samples of each failure mode are available,which may be unrealistic,especially for those modes of low occurrence frequency but with high risk.To address this issue,this work proposes a novel fault diagnosis method that only requires the power signals generated under normal RPS operations in the training stage.Specifically,the failure modes of RPS are distinguished through constructing a reasoning diagram,whose nodes are either binary logic problems or those that can be decomposed into the problems of the binary logic.Then,an unsupervised method for the signal segmentation and a fault detection method are combined to make decisions for each binary logic problem.Based on the results of decisions,the diagnostic rules are established to identify the failure modes.Finally,the data collected from multiple real-world RPSs are used for validation and the results demonstrate that the proposed method outperforms the benchmark in identifying the faults of RPSs.
基金Project(52071339)supported by the National Natural Science Foundation of ChinaProject(2020JJ4739)supported by the Natural Science Foundation of Hunan Province,ChinaProject(201009-K)supported by the Guangxi Key Laboratory of Information Materials(Guilin University of Electronic Technology),China。
基金supported by the National Natural Science Foundation of China(No.61977029)the Fundamental Research Funds for the Central Universities,CCNU(No.3110120001).
文摘Solving Algebraic Problems with Geometry Diagrams(APGDs)poses a significant challenge in artificial intelligence due to the complex and diverse geometric relations among geometric objects.Problems typically involve both textual descriptions and geometry diagrams,requiring a joint understanding of these modalities.Although considerable progress has been made in solving math word problems,research on solving APGDs still cannot discover implicit geometry knowledge for solving APGDs,which limits their ability to effectively solve problems.In this study,a systematic and modular three-phase scheme is proposed to design an algorithm for solving APGDs that involve textual and diagrammatic information.The three-phase scheme begins with the application of the statetransformer paradigm,modeling the problem-solving process and effectively representing the intermediate states and transformations during the process.Next,a generalized APGD-solving approach is introduced to effectively extract geometric knowledge from the problem’s textual descriptions and diagrams.Finally,a specific algorithm is designed focusing on diagram understanding,which utilizes the vectorized syntax-semantics model to extract basic geometric relations from the diagram.A method for generating derived relations,which are essential for solving APGDs,is also introduced.Experiments on real-world datasets,including geometry calculation problems and shaded area problems,demonstrate that the proposed diagram understanding method significantly improves problem-solving accuracy compared to methods relying solely on simple diagram parsing.
基金Supported by R&D Program of Beijing Municipal Education Commission of China(Grant No.KZ200010009041)Beijing Municipal University Youth Top Talents Training Program of China(Grant No.CIT&TCD201704014)Natural Science Foundation of China(Grant No.51475003).
文摘The forming limit diagram plays an important role in predicting the forming limit of sheet metals.Previous studies have shown that,the method to construct the forming limit diagram based on instability theory of the original shear failure criterion is efective and simple.The original shear instability criterion can accurately predict the left area of the forming limit diagram but not the right area.In this study,in order to improve the accuracy of the original shear failure criterion,a modifed shear failure criterion was proposed based on in-depth analysis of the original shear failure criterion.The detailed improvement strategies of the shear failure criterion and the complete calculation process are given.Based on the modifed shear failure criterion and diferent constitutive equations,the theoretical forming limit of TRIP780 steel and 5754O aluminum alloy sheet metals are calculated.By comparing the theoretical and experimental results,it is shown that proposed modifed shear failure criterion can predict the right area of forming limit more reasonably than the original shear failure criterion.The efect of the pre-strain and constitutive equation on the forming limits are also analyzed in depth.The modifed shear failure criterion proposed in this study provides an alternative and reliable method to predict forming limit of sheet metals.
基金co-supported by the Natural Science Foundation of China(No.61833016)the Shaanxi Out-standing Youth Science Foundation(No.2020JC-34)+1 种基金the Shaanxi Science and Technology Innovation Team(No.2022TD-24)the Natural Science Foundation of Heilongjiang Province of China(No.LH2021F038).
文摘As a payload support system deployed on satellites,the turntable system is often switched among different working modes during the on-orbit operation,which can experience great state changes.In each mode,the missions to be completed are different,consecutive and non-over-lapping,from which the turntable system can be considered to be a phased-mission system(PMS).Reliability analysis for PMS has been widely studied.However,the system mode cycle characteristic has not been taken into account before.In this paper,reliability analysis method of the satellite turntable system is proposed considering its multiple operation modes and mode cycle characteristic.Firstly,the multi-valued decision diagrams(MDD)manipulation rules between two adjacent mission cycles are proposed.On this basis,MDD models for the turntable system in different states are established and the reliability is calculated using the continuous time Markov chains(CTMC)method.Finally,the comparative study is carried out to show the effectiveness of our proposed method.
文摘随着人工智能技术的发展和海量司法数据的公开,面向“智慧司法”服务的司法判决预测(legal judgment prediction,LJP)任务受到了学术界和工业界的广泛关注,该任务旨在根据有限的案件事实描述文本来预测案件的罪名、法条和刑期。然而,现有工作缺乏对易混淆司法案件的智能决策的研究,且相关模型通常缺乏可解释性,这会导致模型预测严重依赖领域专家,阻碍LJP在不同法律体系中的应用。为此,提出了一种基于因果图分析的司法判决预测(prediction of legal judgment based on causal graph analysis,CGLJ)方法,首先从非结构化的法律事实描述文本中挖掘要素之间的因果关系,然后采用易混淆罪名聚类的构图方法构建因果图,既考虑了相似事实描述之间的差异,又增强了事实描述和法律法规之间的相互作用,最后将构建好的因果图融入深度神经网络进行联合推理,得到判决预测结果。此外,还对模型预测过程中的因果图推理过程进行了可视化,为判决结果提供了更好的可解释性。在2018中国“法研杯”司法人工智能挑战赛(CAIL2018)司法判决预测数据集上的实验结果表明,该方法相比基线模型取得了更好的效果。