The visualization of dynamic graphs is a challenging task owing to the various properties of the underlying relational data and the additional time-varying property.For sparse and small graphs,the most efficient appro...The visualization of dynamic graphs is a challenging task owing to the various properties of the underlying relational data and the additional time-varying property.For sparse and small graphs,the most efficient approach to such visualization is node-link diagrams,whereas for dense graphs with attached data,adjacency matrices might be the better choice.Because graphs can contain both properties,being globally sparse and locally dense,a combination of several visual metaphors as well as static and dynamic visualizations is beneficial.In this paper,a visually and algorithmically scalable approach that provides views and perspectives on graphs as interactively linked node-link and adjacency matrix visualizations is described.As the novelty of this technique,insights such as clusters or anomalies from one or several combined views can be used to influence the layout or reordering of the other views.Moreover,the importance of nodes and node groups can be detected,computed,and visualized by considering several layout and reordering properties in combination as well as different edge properties for the same set of nodes.As an additional feature set,an automatic identification of groups,clusters,and outliers is provided over time,and based on the visual outcome of the node-link and matrix visualizations,the repertoire of the supported layout and matrix reordering techniques is extended,and more interaction techniques are provided when considering the dynamics of the graph data.Finally,a small user experiment was conducted to investigate the usability of the proposed approach.The usefulness of the proposed tool is illustrated by applying it to a graph dataset,such as e co-authorships,co-citations,and a Comprehensible Perl Archive Network distribution.展开更多
Node-link visual representation is a widely used tool that allows decision-makers to see details about a network through the appropriate choice of visual metaphor.However,existing visualization methods are not always ...Node-link visual representation is a widely used tool that allows decision-makers to see details about a network through the appropriate choice of visual metaphor.However,existing visualization methods are not always effective and efficient in representing bivariate graph-based data.This study proposes a novel node-link visual model–visual entropy(Vizent)graph–to effectively represent both primary and secondary values,such as uncertainty,on the edges simultaneously.We performed two user studies to demonstrate the efficiency and effectiveness of our approach in the context of static nodelink diagrams.In the first experiment,we evaluated the performance of the Vizent design to determine if it performed equally well or better than existing alternatives in terms of response time and accuracy.Three static visual encodings that use two visual cues were selected from the literature for comparison:Width-Lightness,Saturation-Transparency,and Numerical values.We compared the Vizent design to the selected visual encodings on various graphs ranging in complexity from 5 to 25 edges for three different tasks.The participants achieved higher accuracy of their responses using Vizent and Numerical values;however,both Width-Lightness and Saturation-Transparency did not show equal performance for all tasks.Our results suggest that increasing graph size has no impact on Vizent in terms of response time and accuracy.The performance of the Vizent graph was then compared to the Numerical values visualization.The Wilcoxon signed-rank test revealed that mean response time in seconds was significantly less when the Vizent graphs were presented,while no significant difference in accuracy was found.The results from the experiments are encouraging and we believe justify using the Vizent graph as a good alternative to traditional methods for representing bivariate data in the context of node-link diagrams.展开更多
We investigated the properties of the phase diagram of high-order susceptibilities,speed of sound,and polytropic index based on an extended Nambu-Jona-Lasinio model with an eight-quark scalar-vector interaction.Non-mo...We investigated the properties of the phase diagram of high-order susceptibilities,speed of sound,and polytropic index based on an extended Nambu-Jona-Lasinio model with an eight-quark scalar-vector interaction.Non-monotonic behavior was observed in all these quantities around the phase transition boundary,which also revealed the properties of the critical point.Further,this study indicated that the chiral phase transition boundary and critical point could vary depending on the scalarvector coupling constant G_(SV).At finite densities and temperatures,the negative G_(SV)term exhibited attractive interactions,which enhanced the critical point temperature and reduced the chemical potential.The G_(SV)term also affected the properties of the high-order susceptibilities,speed of sound,and polytropic index near the critical point.The non-monotonic(peak or dip)structures of these quantities shifted to a low baryon chemical potential(and high temperature)with a negative G_(SV).G_(SV)also changed the amplitude and range of the nonmonotonic regions.Therefore,the scalar-vector interaction was useful for locating the phase boundary and critical point in QCD phase diagram by comparing the experimental data.The study of the non-monotonic behavior of high-order susceptibilities,speed of sound,and polytropic index is of great interest,and further observations related to high-order susceptibilities,speed of sound,and polytropic index being found and applied to the search for critical points in heavy-ion collisions and the study of compact stars are eagerly awaited.展开更多
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.展开更多
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.展开更多
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)司法判决预测数据集上的实验结果表明,该方法相比基线模型取得了更好的效果。展开更多
文摘The visualization of dynamic graphs is a challenging task owing to the various properties of the underlying relational data and the additional time-varying property.For sparse and small graphs,the most efficient approach to such visualization is node-link diagrams,whereas for dense graphs with attached data,adjacency matrices might be the better choice.Because graphs can contain both properties,being globally sparse and locally dense,a combination of several visual metaphors as well as static and dynamic visualizations is beneficial.In this paper,a visually and algorithmically scalable approach that provides views and perspectives on graphs as interactively linked node-link and adjacency matrix visualizations is described.As the novelty of this technique,insights such as clusters or anomalies from one or several combined views can be used to influence the layout or reordering of the other views.Moreover,the importance of nodes and node groups can be detected,computed,and visualized by considering several layout and reordering properties in combination as well as different edge properties for the same set of nodes.As an additional feature set,an automatic identification of groups,clusters,and outliers is provided over time,and based on the visual outcome of the node-link and matrix visualizations,the repertoire of the supported layout and matrix reordering techniques is extended,and more interaction techniques are provided when considering the dynamics of the graph data.Finally,a small user experiment was conducted to investigate the usability of the proposed approach.The usefulness of the proposed tool is illustrated by applying it to a graph dataset,such as e co-authorships,co-citations,and a Comprehensible Perl Archive Network distribution.
基金the Ministry of National Education,Turkey for financially supporting the first author’s PhD study at Newcastle University,UK.
文摘Node-link visual representation is a widely used tool that allows decision-makers to see details about a network through the appropriate choice of visual metaphor.However,existing visualization methods are not always effective and efficient in representing bivariate graph-based data.This study proposes a novel node-link visual model–visual entropy(Vizent)graph–to effectively represent both primary and secondary values,such as uncertainty,on the edges simultaneously.We performed two user studies to demonstrate the efficiency and effectiveness of our approach in the context of static nodelink diagrams.In the first experiment,we evaluated the performance of the Vizent design to determine if it performed equally well or better than existing alternatives in terms of response time and accuracy.Three static visual encodings that use two visual cues were selected from the literature for comparison:Width-Lightness,Saturation-Transparency,and Numerical values.We compared the Vizent design to the selected visual encodings on various graphs ranging in complexity from 5 to 25 edges for three different tasks.The participants achieved higher accuracy of their responses using Vizent and Numerical values;however,both Width-Lightness and Saturation-Transparency did not show equal performance for all tasks.Our results suggest that increasing graph size has no impact on Vizent in terms of response time and accuracy.The performance of the Vizent graph was then compared to the Numerical values visualization.The Wilcoxon signed-rank test revealed that mean response time in seconds was significantly less when the Vizent graphs were presented,while no significant difference in accuracy was found.The results from the experiments are encouraging and we believe justify using the Vizent graph as a good alternative to traditional methods for representing bivariate data in the context of node-link diagrams.
基金supported by the National Natural Science Foundation of China(Nos.12205158 and 11975132)the Shandong Provincial Natural Science Foundation,China(Nos.ZR2021QA037,ZR2022JQ04 and ZR2019YQ01)。
文摘We investigated the properties of the phase diagram of high-order susceptibilities,speed of sound,and polytropic index based on an extended Nambu-Jona-Lasinio model with an eight-quark scalar-vector interaction.Non-monotonic behavior was observed in all these quantities around the phase transition boundary,which also revealed the properties of the critical point.Further,this study indicated that the chiral phase transition boundary and critical point could vary depending on the scalarvector coupling constant G_(SV).At finite densities and temperatures,the negative G_(SV)term exhibited attractive interactions,which enhanced the critical point temperature and reduced the chemical potential.The G_(SV)term also affected the properties of the high-order susceptibilities,speed of sound,and polytropic index near the critical point.The non-monotonic(peak or dip)structures of these quantities shifted to a low baryon chemical potential(and high temperature)with a negative G_(SV).G_(SV)also changed the amplitude and range of the nonmonotonic regions.Therefore,the scalar-vector interaction was useful for locating the phase boundary and critical point in QCD phase diagram by comparing the experimental data.The study of the non-monotonic behavior of high-order susceptibilities,speed of sound,and polytropic index is of great interest,and further observations related to high-order susceptibilities,speed of sound,and polytropic index being found and applied to the search for critical points in heavy-ion collisions and the study of compact stars are eagerly awaited.
基金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.
基金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.
基金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.
基金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)司法判决预测数据集上的实验结果表明,该方法相比基线模型取得了更好的效果。