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.展开更多
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.展开更多
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.展开更多
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.展开更多
Software testing has been attracting a lot of attention for effective software development.In model driven approach,Unified Modelling Language(UML)is a conceptual modelling approach for obligations and other features ...Software testing has been attracting a lot of attention for effective software development.In model driven approach,Unified Modelling Language(UML)is a conceptual modelling approach for obligations and other features of the system in a model-driven methodology.Specialized tools interpret these models into other software artifacts such as code,test data and documentation.The generation of test cases permits the appropriate test data to be determined that have the aptitude to ascertain the requirements.This paper focuses on optimizing the test data obtained from UML activity and state chart diagrams by using Basic Genetic Algorithm(BGA).For generating the test cases,both diagrams were converted into their corresponding intermediate graphical forms namely,Activity Diagram Graph(ADG)and State Chart Diagram Graph(SCDG).Then both graphs will be combined to form a single graph called,Activity State Chart Diagram Graph(ASCDG).Both graphs were then joined to create a single graph known as the Activity State Chart Diagram Graph(ASCDG).Next,the ASCDG will be optimized using BGA to generate the test data.A case study involving a withdrawal from the automated teller machine(ATM)of a bank was employed to demonstrate the approach.The approach successfully identified defects in various ATM functions such as messaging and operation.展开更多
Rational use of blast furnace gas(BFG) in steel industry can raise economic profit, save fossil energy resources and alleviate the environment pollution. In this paper, a causality diagram is established to describe t...Rational use of blast furnace gas(BFG) in steel industry can raise economic profit, save fossil energy resources and alleviate the environment pollution. In this paper, a causality diagram is established to describe the causal relationships among the decision objective and the variables of the scheduling process for the industrial system, based on which the total scheduling amount of the BFG system can be computed by using a causal fuzzy C-means(CFCM) clustering algorithm. In this algorithm,not only the distances among the historical samples but also the effects of different solutions on the gas tank level are considered.The scheduling solution can be determined based on the proposed causal probability of the causality diagram calculated by the total amount and the conditions of the adjustable units. The causal probability quantifies the impact of different allocation schemes of the total scheduling amount on the BFG system. An evaluation method is then proposed to evaluate the effectiveness of the scheduling solutions. The experiments by using the practical data coming from a steel plant in China indicate that the proposed approach can effectively improve the scheduling accuracy and reduce the gas diffusion.展开更多
Salt lake brine is a complex salt-water system under natural environment.Although many models can express the thermodynamic properties and phase equilibrium of electrolyte aqueous solution,the multi-temperature charac...Salt lake brine is a complex salt-water system under natural environment.Although many models can express the thermodynamic properties and phase equilibrium of electrolyte aqueous solution,the multi-temperature characteristics and predictability are still the goals of model development.In this study,a comprehensive thermodynamic model system is re-established based on the eNRTL model and some improvements:(1) new expression of long-range electrostatic term with symmetrical reference state is proposed to handle the electrolyte solution covering entire concentration range;(2) the temperature dependence of the binary interaction parameters is formulated with a Gibbs Helmholtz expression containing three temperature coefficients,the liquid parameters,which associated with Gibbs energy,enthalpy,and heat capacity contribution;and(3) liquid parameters and solid species data are regressed from properties and solubility data at full temperature range.Together the activity coefficient model,property models and parameters of liquid and solid offer a comprehensive thermodynamic model system for the typical bittern of MgCl2-CaCl2-H2 O binary and ternary systems,and it shows excellent agreement with the literature data for the ternary and binary systems.The successful prediction of complete phase diagram of ternary system shows that the model has the ability to deal with high concentration and high non-idealitv system,and the ability to extrapolate the temperature.展开更多
New formulae for calculating activities and activity coefficients from binary phase diagrams containing solidsolution are presented. In the new formulae, a parameterθ is introduced. It seems be more efficient The app...New formulae for calculating activities and activity coefficients from binary phase diagrams containing solidsolution are presented. In the new formulae, a parameterθ is introduced. It seems be more efficient The application ofthese formulae to system Ag-Pb proves its efficiency.展开更多
The comprehensive utilization and environment-friendliness of processes for recovering fresh water or valuable salt from seawater, salt-lakes, or mineral deposits are of utmost importance for sustainable development.O...The comprehensive utilization and environment-friendliness of processes for recovering fresh water or valuable salt from seawater, salt-lakes, or mineral deposits are of utmost importance for sustainable development.One primitive sustainable process for recovering salt from sodium-sulfate-type brine in Yuncheng salt lake had been considered one of the greatest inventions of ancient China, however, the replaced process of mass extraction of single Na_2SO_4 in recent years, has reduced a large amount of residual brine.In this research, relying on the salt-forming diagram in the non-equilibrium state, the technical secrets of ancient salt processes were uncovered, and a new comprehensive utilization system was proposed and tested experimentally.The new system includes a vacuum salt-making process and a normal pressure kieserite process, which can gradually eliminate the existed waste liquid and aid in the sustainable development of the Yuncheng salt-lake.The continuous experiment of salt-making process running stably in the double salt region without double salt formation, which proves the feasibility of salt-forming diagram applied in industrial process.Thus salt-forming diagram would be extremely valuable to industry process design and control, especially, the treatment of concentrated brine.展开更多
It is still a challenging task to accurately and temperature-continuously express the thermodynamic properties and phase equilibrium behaviors of the salt-lake brine with multi-component,multitemperature and high conc...It is still a challenging task to accurately and temperature-continuously express the thermodynamic properties and phase equilibrium behaviors of the salt-lake brine with multi-component,multitemperature and high concentration.The essential subsystem of sulfate type brine,aqueous Li^(+)-Na^(+)-K^(+)-SO_(4)^(2-) and its subsystems across a temperature range from 250 K to 643 K are investigated with the improved comprehensive thermodynamic model.Liquid parameters(Δg_(IJ),Δh_(IJ),and ΔC_(p,IJ))associated with the contributions of Gibbs energy,enthalpy,and heat capacity to the binary interaction parameters,i.e.the temperature coefficients of eNRTL parameters formulated with a Gibbs Helmholtz expression,are determined via multi-objective optimization method.The solid constantsΔ_(f)G_(k)°^((298.15))andΔ_(f)H_(k)°^((298.15))of11 solid species occurred in the quaternary system are rebuilt from multi-temperature solubilities.The modeling results show the accurate representation of(1)solution properties and binary phase diagram at temperature ranges from eutectic points to 643 K;(2)isothermal phase diagrams for Li_(2)SO_(4)-Na_(2)SO_(4)-H_(2)O,Li_(2)SO_(4)-K_(2)SO_(4)-H_(2)O and Na_(2)SO_(4)-K_(2)SO_(4)-H_(2)O ternary systems.The predicted results of complete structure and polythermal phase diagram of ternary systems and the isothermal phase diagrams of quaternary system excellently match with the experimental data.展开更多
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 clien...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.展开更多
Purpose:In this paper, we combined the method of co-word analysis and alluvial diagram to detect hot topics and illustrate their dynamics. Design/methodology/approach: Articles in the field of scientometrics were chos...Purpose:In this paper, we combined the method of co-word analysis and alluvial diagram to detect hot topics and illustrate their dynamics. Design/methodology/approach: Articles in the field of scientometrics were chosen as research cases in this study. A time-sliced co-word network was generated and then clustered.Afterwards, we generated an alluvial diagram to show dynamic changes of hot topics,including their merges and splits over time.Findings: After analyzing the dynamic changes in the field of scientometrics from 2011 to 2015, we found that two clusters being merged did not mean that the old topics had disappeared and a totally new one had emerged. The topics were possibly still active the following year, but the newer topics had drawn more attention. The changes of hot topics reflected the shift in researchers' interests. Research topics in scientometrics were constantly subdivided and re-merged. For example, a cluster involving "industry" was divided into several topics as research progressed. Research limitations: When examining longer time periods, we encounter the problem of dealing with bigger data sets. Analyzing data year by year would be tedious, but if we combine,e.g. two years into one time slice, important details would be missed.Practical implications: This method can be applied to any research field to illustrate the dynamics of hot topics. It can indicate the promising directions for researchers and provide guidance to decision makers.Originality/value: The use of alluvial diagrams is a distinctive and meaningful approach to detecting hot topics and especially to illustrating their dynamics.展开更多
Mg-rare earth(RE)based systems provide several important commercial alloys and many alloy development opportunities for high strength applications,especially in aerospace and defense industries.The phase diagrams,micr...Mg-rare earth(RE)based systems provide several important commercial alloys and many alloy development opportunities for high strength applications,especially in aerospace and defense industries.The phase diagrams,microstructure,and strengthening mechanisms of these multicomponent systems are very complex and often not well understood in literature.We have calculated phase diagrams of important binary,ternary,and multicomponent RE-containing alloy systems,using CALPHAD(CALculation of PHAse Diagrams).Based on these phase diagrams,this paper offers a critical overview on phase equilibria and strengthening mechanisms in these alloy systems,including precipitation,long period stacking order(LPSO),and other intermetallic phases.This review also summarized several promising Mg-RE based cast alloys in comparison with commercial WE54 and WE43 alloys;and explored new strategies for future alloy development for high strength applications.It is pointed out that the combination of precipitation and LPSO phases can lead to superior strength and ductility in Mg-RE based cast alloys.The precipitates and LPSO phases can form a complex three-dimensional network that effectively impedes dislocation motion on the basal and non-basal planes.The LPSO phases can also prevent the coarsening of precipitates when they interact,thus providing good thermal stability at elevated temperatures.Future research is needed to determine how the combination of these two types of phases can be used in alloy design and industrial scale applications.展开更多
Hydrodynamic features of gas-solid generalized fluidization can be well expressed in the form of phase diagrams,which are important for engineering design.Mesoscale structure presents almost universally in generalized...Hydrodynamic features of gas-solid generalized fluidization can be well expressed in the form of phase diagrams,which are important for engineering design.Mesoscale structure presents almost universally in generalized fluidization and should be considered in such phase diagrams.However,current phase diagrams were mainly proposed for cocurrent upward flow according to experimental data or empirical correlations with homogeneous assumption.The energy-minimization multiscale(EMMS)model has shown the capability of capturing mesoscale structure in generalized fluidization,so EMMS-based phase diagrams of generalized fluidization were proposed in this article,which describe more reasonable global hydrodynamics over all regimes including the important engineering phenomena of choking and flooding.These characteristics were also found in discrete particle simulation under various conditions.For wider range of application,the typical hydrodynamic parameters of the phase diagrams were correlated to non-dimensional numbers reflecting the effects of material properties and operation conditions.This study thus shows a possible route to develop a unified phase diagram in the future.展开更多
A simple model, i.e. sodium di(2-ethylhexyl) sulfosuccinate (AOT) represented by one-head and two-tail beads tied together by a harmonic spring and water or isooctane by one bead, was put forward via Dissipative Parti...A simple model, i.e. sodium di(2-ethylhexyl) sulfosuccinate (AOT) represented by one-head and two-tail beads tied together by a harmonic spring and water or isooctane by one bead, was put forward via Dissipative Particles Dynamics (DPD) simulation method. Using the changes of interfacial tension between water and oil phase, a ternary phase diagram of AOT/water/isooctane system was drawn. From the simulation, one conclusion is shown that DPD simulation can be considered as an adjunct to experiments.展开更多
A set of correct expressions for calculating activities and activity coefficients from binary phase diagramsinvolving intermediate compounds are presented in this paper by the introduction of a correct parameter θ.Th...A set of correct expressions for calculating activities and activity coefficients from binary phase diagramsinvolving intermediate compounds are presented in this paper by the introduction of a correct parameter θ.The application of these expressions to system Mg-Sn shows that they are quite feasible.展开更多
基金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 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.
基金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.
基金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.
基金support from the Deanship of Scientific Research,University of Hail,Saudi Arabia through the project Ref.(RG-191315).
文摘Software testing has been attracting a lot of attention for effective software development.In model driven approach,Unified Modelling Language(UML)is a conceptual modelling approach for obligations and other features of the system in a model-driven methodology.Specialized tools interpret these models into other software artifacts such as code,test data and documentation.The generation of test cases permits the appropriate test data to be determined that have the aptitude to ascertain the requirements.This paper focuses on optimizing the test data obtained from UML activity and state chart diagrams by using Basic Genetic Algorithm(BGA).For generating the test cases,both diagrams were converted into their corresponding intermediate graphical forms namely,Activity Diagram Graph(ADG)and State Chart Diagram Graph(SCDG).Then both graphs will be combined to form a single graph called,Activity State Chart Diagram Graph(ASCDG).Both graphs were then joined to create a single graph known as the Activity State Chart Diagram Graph(ASCDG).Next,the ASCDG will be optimized using BGA to generate the test data.A case study involving a withdrawal from the automated teller machine(ATM)of a bank was employed to demonstrate the approach.The approach successfully identified defects in various ATM functions such as messaging and operation.
基金supported by the National Natural Sciences Foundation of China(61473056,61533005,61522304,61603068,U1560102)
文摘Rational use of blast furnace gas(BFG) in steel industry can raise economic profit, save fossil energy resources and alleviate the environment pollution. In this paper, a causality diagram is established to describe the causal relationships among the decision objective and the variables of the scheduling process for the industrial system, based on which the total scheduling amount of the BFG system can be computed by using a causal fuzzy C-means(CFCM) clustering algorithm. In this algorithm,not only the distances among the historical samples but also the effects of different solutions on the gas tank level are considered.The scheduling solution can be determined based on the proposed causal probability of the causality diagram calculated by the total amount and the conditions of the adjustable units. The causal probability quantifies the impact of different allocation schemes of the total scheduling amount on the BFG system. An evaluation method is then proposed to evaluate the effectiveness of the scheduling solutions. The experiments by using the practical data coming from a steel plant in China indicate that the proposed approach can effectively improve the scheduling accuracy and reduce the gas diffusion.
基金financial support of the National Natural Science Foundation of China(U1407204,U1707602)the Yangtze Scholars and Innovative Research Team in University of Education of China+1 种基金the Innovative Research Team of Tianjin Municipal Education Commission(TD12-5004)Foundation of Tianjin Key Laboratory of Marine Resources and Chemistry(201602)。
文摘Salt lake brine is a complex salt-water system under natural environment.Although many models can express the thermodynamic properties and phase equilibrium of electrolyte aqueous solution,the multi-temperature characteristics and predictability are still the goals of model development.In this study,a comprehensive thermodynamic model system is re-established based on the eNRTL model and some improvements:(1) new expression of long-range electrostatic term with symmetrical reference state is proposed to handle the electrolyte solution covering entire concentration range;(2) the temperature dependence of the binary interaction parameters is formulated with a Gibbs Helmholtz expression containing three temperature coefficients,the liquid parameters,which associated with Gibbs energy,enthalpy,and heat capacity contribution;and(3) liquid parameters and solid species data are regressed from properties and solubility data at full temperature range.Together the activity coefficient model,property models and parameters of liquid and solid offer a comprehensive thermodynamic model system for the typical bittern of MgCl2-CaCl2-H2 O binary and ternary systems,and it shows excellent agreement with the literature data for the ternary and binary systems.The successful prediction of complete phase diagram of ternary system shows that the model has the ability to deal with high concentration and high non-idealitv system,and the ability to extrapolate the temperature.
文摘New formulae for calculating activities and activity coefficients from binary phase diagrams containing solidsolution are presented. In the new formulae, a parameterθ is introduced. It seems be more efficient The application ofthese formulae to system Ag-Pb proves its efficiency.
基金Supported by the National Natural Science Foundation of China(U1407204)the Yangtze Scholarsand Research Team in university of Ministry of Education of China(IRT_17R81)+1 种基金the Innovative Research Team of Tianjin Municipal Education Commission(TD12-5004)the Foundation of Tianjin Key Laboratory of Marine Resources and Chemistry(201602)
文摘The comprehensive utilization and environment-friendliness of processes for recovering fresh water or valuable salt from seawater, salt-lakes, or mineral deposits are of utmost importance for sustainable development.One primitive sustainable process for recovering salt from sodium-sulfate-type brine in Yuncheng salt lake had been considered one of the greatest inventions of ancient China, however, the replaced process of mass extraction of single Na_2SO_4 in recent years, has reduced a large amount of residual brine.In this research, relying on the salt-forming diagram in the non-equilibrium state, the technical secrets of ancient salt processes were uncovered, and a new comprehensive utilization system was proposed and tested experimentally.The new system includes a vacuum salt-making process and a normal pressure kieserite process, which can gradually eliminate the existed waste liquid and aid in the sustainable development of the Yuncheng salt-lake.The continuous experiment of salt-making process running stably in the double salt region without double salt formation, which proves the feasibility of salt-forming diagram applied in industrial process.Thus salt-forming diagram would be extremely valuable to industry process design and control, especially, the treatment of concentrated brine.
基金financial support of the National Natural Science Foundation of China(U1707602,U1407204)Yangtze Scholars and Innovative Research Team in University of Education of China,the Innovative Research Team of Tianjin Municipal Education Commission(TD125004)。
文摘It is still a challenging task to accurately and temperature-continuously express the thermodynamic properties and phase equilibrium behaviors of the salt-lake brine with multi-component,multitemperature and high concentration.The essential subsystem of sulfate type brine,aqueous Li^(+)-Na^(+)-K^(+)-SO_(4)^(2-) and its subsystems across a temperature range from 250 K to 643 K are investigated with the improved comprehensive thermodynamic model.Liquid parameters(Δg_(IJ),Δh_(IJ),and ΔC_(p,IJ))associated with the contributions of Gibbs energy,enthalpy,and heat capacity to the binary interaction parameters,i.e.the temperature coefficients of eNRTL parameters formulated with a Gibbs Helmholtz expression,are determined via multi-objective optimization method.The solid constantsΔ_(f)G_(k)°^((298.15))andΔ_(f)H_(k)°^((298.15))of11 solid species occurred in the quaternary system are rebuilt from multi-temperature solubilities.The modeling results show the accurate representation of(1)solution properties and binary phase diagram at temperature ranges from eutectic points to 643 K;(2)isothermal phase diagrams for Li_(2)SO_(4)-Na_(2)SO_(4)-H_(2)O,Li_(2)SO_(4)-K_(2)SO_(4)-H_(2)O and Na_(2)SO_(4)-K_(2)SO_(4)-H_(2)O ternary systems.The predicted results of complete structure and polythermal phase diagram of ternary systems and the isothermal phase diagrams of quaternary system excellently match with the experimental data.
文摘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.
基金supported by the National Social Science Foundation of China (Grant No.: 14BTQ030)
文摘Purpose:In this paper, we combined the method of co-word analysis and alluvial diagram to detect hot topics and illustrate their dynamics. Design/methodology/approach: Articles in the field of scientometrics were chosen as research cases in this study. A time-sliced co-word network was generated and then clustered.Afterwards, we generated an alluvial diagram to show dynamic changes of hot topics,including their merges and splits over time.Findings: After analyzing the dynamic changes in the field of scientometrics from 2011 to 2015, we found that two clusters being merged did not mean that the old topics had disappeared and a totally new one had emerged. The topics were possibly still active the following year, but the newer topics had drawn more attention. The changes of hot topics reflected the shift in researchers' interests. Research topics in scientometrics were constantly subdivided and re-merged. For example, a cluster involving "industry" was divided into several topics as research progressed. Research limitations: When examining longer time periods, we encounter the problem of dealing with bigger data sets. Analyzing data year by year would be tedious, but if we combine,e.g. two years into one time slice, important details would be missed.Practical implications: This method can be applied to any research field to illustrate the dynamics of hot topics. It can indicate the promising directions for researchers and provide guidance to decision makers.Originality/value: The use of alluvial diagrams is a distinctive and meaningful approach to detecting hot topics and especially to illustrating their dynamics.
基金partially funded by the United States Army Research Laboratory (ARL)Terves LLC。
文摘Mg-rare earth(RE)based systems provide several important commercial alloys and many alloy development opportunities for high strength applications,especially in aerospace and defense industries.The phase diagrams,microstructure,and strengthening mechanisms of these multicomponent systems are very complex and often not well understood in literature.We have calculated phase diagrams of important binary,ternary,and multicomponent RE-containing alloy systems,using CALPHAD(CALculation of PHAse Diagrams).Based on these phase diagrams,this paper offers a critical overview on phase equilibria and strengthening mechanisms in these alloy systems,including precipitation,long period stacking order(LPSO),and other intermetallic phases.This review also summarized several promising Mg-RE based cast alloys in comparison with commercial WE54 and WE43 alloys;and explored new strategies for future alloy development for high strength applications.It is pointed out that the combination of precipitation and LPSO phases can lead to superior strength and ductility in Mg-RE based cast alloys.The precipitates and LPSO phases can form a complex three-dimensional network that effectively impedes dislocation motion on the basal and non-basal planes.The LPSO phases can also prevent the coarsening of precipitates when they interact,thus providing good thermal stability at elevated temperatures.Future research is needed to determine how the combination of these two types of phases can be used in alloy design and industrial scale applications.
基金financial supports from the Strategic Priority Research Program of the Chinese Academy of Sciences(XDA21040400)the Innovation Academy for Green manufacture,the Chinese Academy of Sciences(IAGM-2019-A03)the National Natural Science Foundation of China(91834303)。
文摘Hydrodynamic features of gas-solid generalized fluidization can be well expressed in the form of phase diagrams,which are important for engineering design.Mesoscale structure presents almost universally in generalized fluidization and should be considered in such phase diagrams.However,current phase diagrams were mainly proposed for cocurrent upward flow according to experimental data or empirical correlations with homogeneous assumption.The energy-minimization multiscale(EMMS)model has shown the capability of capturing mesoscale structure in generalized fluidization,so EMMS-based phase diagrams of generalized fluidization were proposed in this article,which describe more reasonable global hydrodynamics over all regimes including the important engineering phenomena of choking and flooding.These characteristics were also found in discrete particle simulation under various conditions.For wider range of application,the typical hydrodynamic parameters of the phase diagrams were correlated to non-dimensional numbers reflecting the effects of material properties and operation conditions.This study thus shows a possible route to develop a unified phase diagram in the future.
文摘A simple model, i.e. sodium di(2-ethylhexyl) sulfosuccinate (AOT) represented by one-head and two-tail beads tied together by a harmonic spring and water or isooctane by one bead, was put forward via Dissipative Particles Dynamics (DPD) simulation method. Using the changes of interfacial tension between water and oil phase, a ternary phase diagram of AOT/water/isooctane system was drawn. From the simulation, one conclusion is shown that DPD simulation can be considered as an adjunct to experiments.
文摘A set of correct expressions for calculating activities and activity coefficients from binary phase diagramsinvolving intermediate compounds are presented in this paper by the introduction of a correct parameter θ.The application of these expressions to system Mg-Sn shows that they are quite feasible.
