This paper is focused on the technique for de si gn and realization of the process communications about the computer-aided train diagram network system. The Windows Socket technique is adopted to program for the cli...This paper is focused on the technique for de si gn and realization of the process communications about the computer-aided train diagram network system. The Windows Socket technique is adopted to program for the client and the server to create system applications and solve the problems o f data transfer and data sharing in the system.展开更多
The ram speed and the billet temperature are the primary process variables that determine the quality of the extruded magnesium profile and the productivity of the extrusion operation.The optimization of the extrusion...The ram speed and the billet temperature are the primary process variables that determine the quality of the extruded magnesium profile and the productivity of the extrusion operation.The optimization of the extrusion process concerns the interplay between these two variables in relation to the extrudate temperature and the peak extrusion pressure.The 3D computer simulations were performed to determine the effects of the ram speed and the billet temperature on the extrudate temperature and the peak extrusion pressure,thereby providing guidelines for the process optimization and minimizing the number of trial extrusion runs needed for the process optimization.A case study on the extrusion of an AZ31 X-shaped profile was conducted.The correlations between the process variables and the response from the deformed material,extrudate temperature and peak extrusion pressure,were established from the 3D FEM simulations and verified by the experiment.The research opens up a way to rational selection of the process variables for ensured quality and maximum productivity of the magnesium extrusion.展开更多
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.展开更多
Based on the requirement of the new technology for producing potassium sulfate and N-Mg compound fertilizer,boussingaultite,by the reaction of the mineral shoenite from Kunteyi Salt Lake,Qinghai province,and the indus...Based on the requirement of the new technology for producing potassium sulfate and N-Mg compound fertilizer,boussingaultite,by the reaction of the mineral shoenite from Kunteyi Salt Lake,Qinghai province,and the industrial by-product ammonium sulfate,the solubilities of the quaternary system(NH_(4))_(2)SO_(4)-MgSO_(4)-K_(2)SO_(4)-H_(2)O at 25.0℃in the isothermal evaporation and crystallization process were measured using the isothermal evaporation method,and the corresponding phase diagrams were plotted.According to the diagram,this system contains six saturation points and six solid phase fields of crystallization,which correspond to(K1-m,(NH_(4))m)_(2)SO_(4),(NH_(4))_(2)SO_(4)·MgSO_(4)·6H_(2)O,K_(2)SO_(4)·MgSO_(4)·6H_(2)O,MgSO_(4)·6H_(2)O,(K1-n,(NH_(4))n)_(2)SO_(4)·MgSO_(4)·6H_(2)O and MgSO_(4)·7H_(2)O,respectively.By analyzing and calculating the isothermal evaporation and dissolution phase diagram of this quaternary system at 25.0℃,K_(2)SO_(4)and(NH_(4))_(2)SO_(4)·MgSO_(4)·6H_(2)O can be separated via K_(2)SO_(4)·MgSO_(4)·6H_(2)O and(NH_(4))_(2)SO_(4)as raw materials.Theoretical calculations about the proposed process were carried out and verified by experiment,which indicated that the yield of potassium sulfate was improved and the magnesium resources were fully utilized.展开更多
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.展开更多
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.展开更多
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)司法判决预测数据集上的实验结果表明,该方法相比基线模型取得了更好的效果。展开更多
文摘This paper is focused on the technique for de si gn and realization of the process communications about the computer-aided train diagram network system. The Windows Socket technique is adopted to program for the client and the server to create system applications and solve the problems o f data transfer and data sharing in the system.
基金Project(2006BAE04B03)supported by the Chinese National S&T Program for the 11th Five-year Period
文摘The ram speed and the billet temperature are the primary process variables that determine the quality of the extruded magnesium profile and the productivity of the extrusion operation.The optimization of the extrusion process concerns the interplay between these two variables in relation to the extrudate temperature and the peak extrusion pressure.The 3D computer simulations were performed to determine the effects of the ram speed and the billet temperature on the extrudate temperature and the peak extrusion pressure,thereby providing guidelines for the process optimization and minimizing the number of trial extrusion runs needed for the process optimization.A case study on the extrusion of an AZ31 X-shaped profile was conducted.The correlations between the process variables and the response from the deformed material,extrudate temperature and peak extrusion pressure,were established from the 3D FEM simulations and verified by the experiment.The research opens up a way to rational selection of the process variables for ensured quality and maximum productivity of the magnesium extrusion.
基金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.
基金This project was supported by the National Natural Science Foundation of China(grant No.21576066)the Natural Science Foundation of Hebei Province,China(No.B2017202268)the Research Fund Program of Guangdong Provincial Key Lab of Green Chemical Product Technology(No.GC201816).
文摘Based on the requirement of the new technology for producing potassium sulfate and N-Mg compound fertilizer,boussingaultite,by the reaction of the mineral shoenite from Kunteyi Salt Lake,Qinghai province,and the industrial by-product ammonium sulfate,the solubilities of the quaternary system(NH_(4))_(2)SO_(4)-MgSO_(4)-K_(2)SO_(4)-H_(2)O at 25.0℃in the isothermal evaporation and crystallization process were measured using the isothermal evaporation method,and the corresponding phase diagrams were plotted.According to the diagram,this system contains six saturation points and six solid phase fields of crystallization,which correspond to(K1-m,(NH_(4))m)_(2)SO_(4),(NH_(4))_(2)SO_(4)·MgSO_(4)·6H_(2)O,K_(2)SO_(4)·MgSO_(4)·6H_(2)O,MgSO_(4)·6H_(2)O,(K1-n,(NH_(4))n)_(2)SO_(4)·MgSO_(4)·6H_(2)O and MgSO_(4)·7H_(2)O,respectively.By analyzing and calculating the isothermal evaporation and dissolution phase diagram of this quaternary system at 25.0℃,K_(2)SO_(4)and(NH_(4))_(2)SO_(4)·MgSO_(4)·6H_(2)O can be separated via K_(2)SO_(4)·MgSO_(4)·6H_(2)O and(NH_(4))_(2)SO_(4)as raw materials.Theoretical calculations about the proposed process were carried out and verified by experiment,which indicated that the yield of potassium sulfate was improved and the magnesium resources were fully utilized.
基金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.
基金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.
基金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)司法判决预测数据集上的实验结果表明,该方法相比基线模型取得了更好的效果。