As the risks associated with air turbulence are intensified by climate change and the growth of the aviation industry,it has become imperative to monitor and mitigate these threats to ensure civil aviation safety.The ...As the risks associated with air turbulence are intensified by climate change and the growth of the aviation industry,it has become imperative to monitor and mitigate these threats to ensure civil aviation safety.The eddy dissipation rate(EDR)has been established as the standard metric for quantifying turbulence in civil aviation.This study aims to explore a universally applicable symbolic classification approach based on genetic programming to detect turbulence anomalies using quick access recorder(QAR)data.The detection of atmospheric turbulence is approached as an anomaly detection problem.Comparative evaluations demonstrate that this approach performs on par with direct EDR calculation methods in identifying turbulence events.Moreover,comparisons with alternative machine learning techniques indicate that the proposed technique is the optimal methodology currently available.In summary,the use of symbolic classification via genetic programming enables accurate turbulence detection from QAR data,comparable to that with established EDR approaches and surpassing that achieved with machine learning algorithms.This finding highlights the potential of integrating symbolic classifiers into turbulence monitoring systems to enhance civil aviation safety amidst rising environmental and operational hazards.展开更多
The opaque property plays an important role in the operation of a security-critical system,implying that pre-defined secret information of the system is not able to be inferred through partially observing its behavior...The opaque property plays an important role in the operation of a security-critical system,implying that pre-defined secret information of the system is not able to be inferred through partially observing its behavior.This paper addresses the verification of current-state,initial-state,infinite-step,and K-step opacity of networked discrete event systems modeled by labeled Petri nets,where communication losses and delays are considered.Based on the symbolic technique for the representation of states in Petri nets,an observer and an estimator are designed for the verification of current-state and initial-state opacity,respectively.Then,we propose a structure called an I-observer that is combined with secret states to verify whether a networked discrete event system is infinite-step opaque or K-step opaque.Due to the utilization of symbolic approaches for the state-based opacity verification,the computation of the reachability graphs of labeled Petri nets is avoided,which dramatically reduces the computational overheads stemming from networked discrete event systems.展开更多
Dear Editor,This letter concerns the development of approximately bi-similar symbolic models for a discrete-time interconnected switched system(DT-ISS).The DT-ISS under consideration is formed by connecting multiple s...Dear Editor,This letter concerns the development of approximately bi-similar symbolic models for a discrete-time interconnected switched system(DT-ISS).The DT-ISS under consideration is formed by connecting multiple switched systems known as component switched systems(CSSs).Although the problem of constructing approximately bi-similar symbolic models for DT-ISS has been addressed in some literature,the previous works have relied on the assumption that all the subsystems of CSSs are incrementally input-state stable.展开更多
We consider dual Toeplitz operators on the orthogonal complements of the FockSobolev spaces of all nonnegative real orders.First,for symbols in a certain class containing all bounded functions,we study the problem of ...We consider dual Toeplitz operators on the orthogonal complements of the FockSobolev spaces of all nonnegative real orders.First,for symbols in a certain class containing all bounded functions,we study the problem of when an operator which is finite sums of the dual Toeplitz products is compact or zero.Next,for bounded symbols,we construct a symbol map and exhibit a short exact sequence associated with the C^(*)-algebra generated by all dual Toeplitz operators with bounded symbols.展开更多
Software security analysts typically only have access to the executable program and cannot directly access the source code of the program.This poses significant challenges to security analysis.While it is crucial to i...Software security analysts typically only have access to the executable program and cannot directly access the source code of the program.This poses significant challenges to security analysis.While it is crucial to identify vulnerabilities in such non-source code programs,there exists a limited set of generalized tools due to the low versatility of current vulnerability mining methods.However,these tools suffer from some shortcomings.In terms of targeted fuzzing,the path searching for target points is not streamlined enough,and the completely random testing leads to an excessively large search space.Additionally,when it comes to code similarity analysis,there are issues with incomplete code feature extraction,which may result in information loss.In this paper,we propose a cross-platform and cross-architecture approach to exploit vulnerabilities using neural network obfuscation techniques.By leveraging the Angr framework,a deobfuscation technique is introduced,along with the adoption of a VEX-IR-based intermediate language conversion method.This combination allows for the unified handling of binary programs across various architectures,compilers,and compilation options.Subsequently,binary programs are processed to extract multi-level spatial features using a combination of a skip-gram model with self-attention mechanism and a bidirectional Long Short-Term Memory(LSTM)network.Finally,the graph embedding network is utilized to evaluate the similarity of program functionalities.Based on these similarity scores,a target function is determined,and symbolic execution is applied to solve the target function.The solved content serves as the initial seed for targeted fuzzing.The binary program is processed by using the de-obfuscation technique and intermediate language transformation method,and then the similarity of program functions is evaluated by using a graph embedding network,and symbolic execution is performed based on these similarity scores.This approach facilitates cross-architecture analysis of executable programs without their source codes and concurrently reduces the risk of symbolic execution path explosion.展开更多
Cultural symbols,a manifestation of cities’cultural resources,are not only signs that frame concepts but also forms that express meanings.Exploring the international communication of cities from the perspective of sy...Cultural symbols,a manifestation of cities’cultural resources,are not only signs that frame concepts but also forms that express meanings.Exploring the international communication of cities from the perspective of symbols,this paper analyzes in depth how cities create their cultural symbols in the dynamic process of international communication in an era of symbol-based digital media,and how they develop their narratives and explain meanings through the dissemination of symbols when telling their stories to international audiences,thus enhancing the efficiency and effectiveness of their international communication efforts.展开更多
William Butler Yeats ranks among the most widely admired and intensively studied poets of the 20th century.This paper intends to explore the women who have exerted the most critical influences upon Yeats,namely Gonne,...William Butler Yeats ranks among the most widely admired and intensively studied poets of the 20th century.This paper intends to explore the women who have exerted the most critical influences upon Yeats,namely Gonne,Lady Gregory,and Georgie Hyde-Lees.Even in Yeats’s poetry involved with symbolism,it is worth noting that his employment of symbols has used these women as the archetypes,and that the historical context rendered Yeats’s representations of them in his poetry all the more interesting.展开更多
On December 17,2020,the United Nations Educational,Scientific and Cultural Organization(UNESCO)inscribed China's Taijiquan,also known as Tai Chi,on the Representative List of the Intangible Cultural Heritage of Hu...On December 17,2020,the United Nations Educational,Scientific and Cultural Organization(UNESCO)inscribed China's Taijiquan,also known as Tai Chi,on the Representative List of the Intangible Cultural Heritage of Humanity.Nowadays,Taijiquan,as a symbol of traditional Chinese culture,has become an important bridge and bond for China's cultural exchanges with other countries,inheriting the cultural gene of the Chinese nation.展开更多
Many countries list the Spring Festival as a national holiday,and about one-fifth of humanity celebrates this festival in various ways.THE Chinese New Year,also known as the Spring Festival,is a time-honored social an...Many countries list the Spring Festival as a national holiday,and about one-fifth of humanity celebrates this festival in various ways.THE Chinese New Year,also known as the Spring Festival,is a time-honored social and cultural tradition that has been celebrated for thousands of years.It is a festival that not only marks the inception of a new year in Chinese lunar calendar,but also acts as a symbolic bridge to connect individuals from different cultures and backgrounds.展开更多
Water Governance in China-Perspectives of Xi Jinping Author:Ministry of Water Resources Hardcover,512 pages Published by Foreign Languages Press Water has a vital symbolic significance in Chinese culture.Over 2,000 ye...Water Governance in China-Perspectives of Xi Jinping Author:Ministry of Water Resources Hardcover,512 pages Published by Foreign Languages Press Water has a vital symbolic significance in Chinese culture.Over 2,000 years ago,Lao Zi,the philosopher and founder of Taoism in the late Spring and Autumn Period(770-476 BC),noted,“The greatest virtue is like water,nurturing all living things without competing with them,”conveying the idea that true virtue,like flowing water,benefits all.展开更多
F.Scott Fitzgerald’s The Great Gatsby successfully portrays the“Jazz Age”.In the early 20th century,the United States transitioned from a production-based society to a consumer-based society,leading to an era of un...F.Scott Fitzgerald’s The Great Gatsby successfully portrays the“Jazz Age”.In the early 20th century,the United States transitioned from a production-based society to a consumer-based society,leading to an era of unparalleled prosperity.However,in the context of consumer culture,individuals often transition from being masters of their possessions to becoming enslaved by them.As a result,their behaviours and values become increasingly associated with extravagance and consumption.This paper uses Baudrillard’s theory of consumer society and textual analysis to explore the impact of consumer culture on human beings through the symbolization of men and objectification of women in The Great Gatsby.The meanings embedded in the novel are revealed from a different perspective.展开更多
The article takes the famous modern American Jewish writer Bernard Malamud’s novel The Magic Barrel as the object of study,and uses symbolism to interpret it,analyzing it one by one in terms of the magic barrel,the c...The article takes the famous modern American Jewish writer Bernard Malamud’s novel The Magic Barrel as the object of study,and uses symbolism to interpret it,analyzing it one by one in terms of the magic barrel,the colors,the seasons and the windows,respectively,so as to reveal the process of getting rid of the childishness within the novel’s male protagonist,Leo Finkel,who is maturing,as well as the novel’s Jewish theme of searching for the soul of the self.展开更多
This article delves into the significance of Guido Reni’s Infant Bacchus,created during the Italian Baroque period.By examining historical and iconographic elements,the study aims to interpret the symbolism depicted ...This article delves into the significance of Guido Reni’s Infant Bacchus,created during the Italian Baroque period.By examining historical and iconographic elements,the study aims to interpret the symbolism depicted in the painting.The historical aspects include the birth of Dionysus or Bacchus in classical and Italian Renaissance imagery and literary and visual sources that influenced Reni’s solo painting.The iconographic components encompass the infant’s nude body,the child’s bodily functions,and the attributes associated with Bacchus,the God of Agriculture,Revelry,and Wine,such as the grapevines,grapes,ivy,glass flask,kantharos(wine cup),and wine barrel.The emblematic and cosmological associations of Bacchus’s divinity are considered as well.展开更多
The Altomani&Sons Collection owns a remarkable newly discovered portrait of Guidobaldo II della Rovere,Duke of Urbino(1514-1574),a historical military figure who was a condottiere,ruler of Urbino,Commander-in-chie...The Altomani&Sons Collection owns a remarkable newly discovered portrait of Guidobaldo II della Rovere,Duke of Urbino(1514-1574),a historical military figure who was a condottiere,ruler of Urbino,Commander-in-chief of the Papal Estate,and Perfect of Rome,as well as a collector and patron of the Fine Arts.Camilla Guerrieri Nati(1628-1694),a seventeenth-century Italian painter from Fossombrone(in the province of Pesaro and Urbino),portrayed this heroic personage surrounded by emblems associated with his military courage and leadership,including his plumed burgonet helmet,metal gilded armor,a necklace with the golden fleece,and batons of secular and religious dominions.This oil painting on copper-considered a precious metal at the time-emphasizes the importance of the commission.The material and technique also reveals a unique artistic achievement in that it provides the painting with a smooth,reflective surface and vibrant coloration,symbolizing precious imagery.展开更多
Activity 1 Think about the following questions and write down your answers before reading the text.1.Can flowers symbolize personalities?2.Do you know your grandparentspersonalities?
Nanyang,a city with a long history,offers many kinds of delicious food.Xinye board noodles stand out as a remarkable(显著的)one.With unique taste and local features,they have become a significant(重要的)symbol of Nany...Nanyang,a city with a long history,offers many kinds of delicious food.Xinye board noodles stand out as a remarkable(显著的)one.With unique taste and local features,they have become a significant(重要的)symbol of Nanyang cuisine.展开更多
A caféin the ancient city of Kashgar has become a symbol of cross-cultural bonding.Strolling through the winding streets of the ancient city of Kashgar in northwest China’s Xinjiang Uygur Autonomous Region,you w...A caféin the ancient city of Kashgar has become a symbol of cross-cultural bonding.Strolling through the winding streets of the ancient city of Kashgar in northwest China’s Xinjiang Uygur Autonomous Region,you will come across a cozy cafécalled Dili&Diya.The aroma of freshly brewed coffee drifts through the air,much like the heart-warming love story of the café’s owners,spreading warmth to all who visit.展开更多
Nanyang pyrography is a special art from Nanyang that is important in the art world.It has a unique way of showing things with good skills.This art shows the deep culture and beauty of Nanyang and is a famous symbol o...Nanyang pyrography is a special art from Nanyang that is important in the art world.It has a unique way of showing things with good skills.This art shows the deep culture and beauty of Nanyang and is a famous symbol of its culture.展开更多
Machine learning(ML)has powerful nonlinear processing and multivariate learning capabilities,so it has been widely utilised in the fatigue field.However,most ML methods are inexplicable black-box models that are diffi...Machine learning(ML)has powerful nonlinear processing and multivariate learning capabilities,so it has been widely utilised in the fatigue field.However,most ML methods are inexplicable black-box models that are difficult to apply in engineering practice.Symbolic regression(SR)is an interpretable machine learning method for determining the optimal fitting equation for datasets.In this study,domain knowledge-guided SR was used to determine a new fatigue crack growth(FCG)rate model.Three terms of the variable subtree ofΔK,R-ratio,andΔK_(th)were obtained by analysing eight traditional semi-empirical FCG rate models.Based on the FCG rate test data from other literature,the SR model was constructed using Al-7055-T7511.It was subsequently extended to other alloys(Ti-10V-2Fe-3Al,Ti-6Al-4V,Cr-Mo-V,LC9cs,Al-6013-T651,and Al-2324-T3)using multiple linear regression.Compared with the three semi-empirical FCG rate models,the SR model yielded higher prediction accuracy.This result demonstrates the potential of domain knowledge-guided SR for building the FCG rate model.展开更多
Rational design of high-performance electrocatalysts for hydrogen evolution reaction(HER)is vital for future renewable energy systems.The incorporation of foreign metal ions into catalysts can be an effective approach...Rational design of high-performance electrocatalysts for hydrogen evolution reaction(HER)is vital for future renewable energy systems.The incorporation of foreign metal ions into catalysts can be an effective approach to optimize its performance.However,there is a lack of systematic theoretical studies to reveal the quantitative relationships at the electronic level.Here,we develop a multi-level screening methodology to search for highly stable and active dopants for CoP catalysts.The density functional theory(DFT)calculations and symbolic regression(SR)were performed to investigate the relationship between the adsorption free energy(ΔG_(H^(*)))and 10 electronic parameters.The mathematic formulas derived from SR indicate that the difference of work function(ΔΦ)between doped metal and the acceptor plays the most important role in regulatingΔG_(H^(*)),followed by the d-band center(d-BC)of doped system.The descriptor of HER can be expressed asΔG_(H^(*))=1.59×√|0.188ΔΦ+d BC+0.120|1/2-0.166 with a high determination coefficient(R^(2)=0.807).Consistent with the theoretical prediction,experimental results show that the Al-CoP delivers superior electrocatalytic HER activity with a low overpotential of75 m V to drive a current density of 10 mA cm^(-2),while the overpotentials for undoped CoP,Mo-CoP,and V-CoP are 206,134,and 83 m V,respectively.The current work proves that theΔΦis the most significant regulatory parameter ofΔG_(H^(*))for ion-doped electrocatalysts.This finding can drive the discovery of high-performance ion-doped electrocatalysts,which is crucial for electrocatalytic water splitting.展开更多
基金supported by the Meteorological Soft Science Project(Grant No.2023ZZXM29)the Natural Science Fund Project of Tianjin,China(Grant No.21JCYBJC00740)the Key Research and Development-Social Development Program of Jiangsu Province,China(Grant No.BE2021685).
文摘As the risks associated with air turbulence are intensified by climate change and the growth of the aviation industry,it has become imperative to monitor and mitigate these threats to ensure civil aviation safety.The eddy dissipation rate(EDR)has been established as the standard metric for quantifying turbulence in civil aviation.This study aims to explore a universally applicable symbolic classification approach based on genetic programming to detect turbulence anomalies using quick access recorder(QAR)data.The detection of atmospheric turbulence is approached as an anomaly detection problem.Comparative evaluations demonstrate that this approach performs on par with direct EDR calculation methods in identifying turbulence events.Moreover,comparisons with alternative machine learning techniques indicate that the proposed technique is the optimal methodology currently available.In summary,the use of symbolic classification via genetic programming enables accurate turbulence detection from QAR data,comparable to that with established EDR approaches and surpassing that achieved with machine learning algorithms.This finding highlights the potential of integrating symbolic classifiers into turbulence monitoring systems to enhance civil aviation safety amidst rising environmental and operational hazards.
基金supported by the National R&D Program of China(2018YFB 1700104)the Science and Technology Development FundMacao Special Administrative Region(MSAR)(0029/2023/RIA1)。
文摘The opaque property plays an important role in the operation of a security-critical system,implying that pre-defined secret information of the system is not able to be inferred through partially observing its behavior.This paper addresses the verification of current-state,initial-state,infinite-step,and K-step opacity of networked discrete event systems modeled by labeled Petri nets,where communication losses and delays are considered.Based on the symbolic technique for the representation of states in Petri nets,an observer and an estimator are designed for the verification of current-state and initial-state opacity,respectively.Then,we propose a structure called an I-observer that is combined with secret states to verify whether a networked discrete event system is infinite-step opaque or K-step opaque.Due to the utilization of symbolic approaches for the state-based opacity verification,the computation of the reachability graphs of labeled Petri nets is avoided,which dramatically reduces the computational overheads stemming from networked discrete event systems.
基金supported by the Natural Science Foundation of Shanghai Municipality(21ZR1423400)the National Natural Science Funds of China(62173217)NSFC/Royal Society Cooperation and Exchange Project(62111530154,IEC\NSFC\201107).
文摘Dear Editor,This letter concerns the development of approximately bi-similar symbolic models for a discrete-time interconnected switched system(DT-ISS).The DT-ISS under consideration is formed by connecting multiple switched systems known as component switched systems(CSSs).Although the problem of constructing approximately bi-similar symbolic models for DT-ISS has been addressed in some literature,the previous works have relied on the assumption that all the subsystems of CSSs are incrementally input-state stable.
基金supported by the NSFC(12271134,11771401)supported by the Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry of Education(NRF-2019R1I1A3A01041943)。
文摘We consider dual Toeplitz operators on the orthogonal complements of the FockSobolev spaces of all nonnegative real orders.First,for symbols in a certain class containing all bounded functions,we study the problem of when an operator which is finite sums of the dual Toeplitz products is compact or zero.Next,for bounded symbols,we construct a symbol map and exhibit a short exact sequence associated with the C^(*)-algebra generated by all dual Toeplitz operators with bounded symbols.
文摘Software security analysts typically only have access to the executable program and cannot directly access the source code of the program.This poses significant challenges to security analysis.While it is crucial to identify vulnerabilities in such non-source code programs,there exists a limited set of generalized tools due to the low versatility of current vulnerability mining methods.However,these tools suffer from some shortcomings.In terms of targeted fuzzing,the path searching for target points is not streamlined enough,and the completely random testing leads to an excessively large search space.Additionally,when it comes to code similarity analysis,there are issues with incomplete code feature extraction,which may result in information loss.In this paper,we propose a cross-platform and cross-architecture approach to exploit vulnerabilities using neural network obfuscation techniques.By leveraging the Angr framework,a deobfuscation technique is introduced,along with the adoption of a VEX-IR-based intermediate language conversion method.This combination allows for the unified handling of binary programs across various architectures,compilers,and compilation options.Subsequently,binary programs are processed to extract multi-level spatial features using a combination of a skip-gram model with self-attention mechanism and a bidirectional Long Short-Term Memory(LSTM)network.Finally,the graph embedding network is utilized to evaluate the similarity of program functionalities.Based on these similarity scores,a target function is determined,and symbolic execution is applied to solve the target function.The solved content serves as the initial seed for targeted fuzzing.The binary program is processed by using the de-obfuscation technique and intermediate language transformation method,and then the similarity of program functions is evaluated by using a graph embedding network,and symbolic execution is performed based on these similarity scores.This approach facilitates cross-architecture analysis of executable programs without their source codes and concurrently reduces the risk of symbolic execution path explosion.
文摘Cultural symbols,a manifestation of cities’cultural resources,are not only signs that frame concepts but also forms that express meanings.Exploring the international communication of cities from the perspective of symbols,this paper analyzes in depth how cities create their cultural symbols in the dynamic process of international communication in an era of symbol-based digital media,and how they develop their narratives and explain meanings through the dissemination of symbols when telling their stories to international audiences,thus enhancing the efficiency and effectiveness of their international communication efforts.
文摘William Butler Yeats ranks among the most widely admired and intensively studied poets of the 20th century.This paper intends to explore the women who have exerted the most critical influences upon Yeats,namely Gonne,Lady Gregory,and Georgie Hyde-Lees.Even in Yeats’s poetry involved with symbolism,it is worth noting that his employment of symbols has used these women as the archetypes,and that the historical context rendered Yeats’s representations of them in his poetry all the more interesting.
文摘On December 17,2020,the United Nations Educational,Scientific and Cultural Organization(UNESCO)inscribed China's Taijiquan,also known as Tai Chi,on the Representative List of the Intangible Cultural Heritage of Humanity.Nowadays,Taijiquan,as a symbol of traditional Chinese culture,has become an important bridge and bond for China's cultural exchanges with other countries,inheriting the cultural gene of the Chinese nation.
文摘Many countries list the Spring Festival as a national holiday,and about one-fifth of humanity celebrates this festival in various ways.THE Chinese New Year,also known as the Spring Festival,is a time-honored social and cultural tradition that has been celebrated for thousands of years.It is a festival that not only marks the inception of a new year in Chinese lunar calendar,but also acts as a symbolic bridge to connect individuals from different cultures and backgrounds.
文摘Water Governance in China-Perspectives of Xi Jinping Author:Ministry of Water Resources Hardcover,512 pages Published by Foreign Languages Press Water has a vital symbolic significance in Chinese culture.Over 2,000 years ago,Lao Zi,the philosopher and founder of Taoism in the late Spring and Autumn Period(770-476 BC),noted,“The greatest virtue is like water,nurturing all living things without competing with them,”conveying the idea that true virtue,like flowing water,benefits all.
文摘F.Scott Fitzgerald’s The Great Gatsby successfully portrays the“Jazz Age”.In the early 20th century,the United States transitioned from a production-based society to a consumer-based society,leading to an era of unparalleled prosperity.However,in the context of consumer culture,individuals often transition from being masters of their possessions to becoming enslaved by them.As a result,their behaviours and values become increasingly associated with extravagance and consumption.This paper uses Baudrillard’s theory of consumer society and textual analysis to explore the impact of consumer culture on human beings through the symbolization of men and objectification of women in The Great Gatsby.The meanings embedded in the novel are revealed from a different perspective.
文摘The article takes the famous modern American Jewish writer Bernard Malamud’s novel The Magic Barrel as the object of study,and uses symbolism to interpret it,analyzing it one by one in terms of the magic barrel,the colors,the seasons and the windows,respectively,so as to reveal the process of getting rid of the childishness within the novel’s male protagonist,Leo Finkel,who is maturing,as well as the novel’s Jewish theme of searching for the soul of the self.
文摘This article delves into the significance of Guido Reni’s Infant Bacchus,created during the Italian Baroque period.By examining historical and iconographic elements,the study aims to interpret the symbolism depicted in the painting.The historical aspects include the birth of Dionysus or Bacchus in classical and Italian Renaissance imagery and literary and visual sources that influenced Reni’s solo painting.The iconographic components encompass the infant’s nude body,the child’s bodily functions,and the attributes associated with Bacchus,the God of Agriculture,Revelry,and Wine,such as the grapevines,grapes,ivy,glass flask,kantharos(wine cup),and wine barrel.The emblematic and cosmological associations of Bacchus’s divinity are considered as well.
文摘The Altomani&Sons Collection owns a remarkable newly discovered portrait of Guidobaldo II della Rovere,Duke of Urbino(1514-1574),a historical military figure who was a condottiere,ruler of Urbino,Commander-in-chief of the Papal Estate,and Perfect of Rome,as well as a collector and patron of the Fine Arts.Camilla Guerrieri Nati(1628-1694),a seventeenth-century Italian painter from Fossombrone(in the province of Pesaro and Urbino),portrayed this heroic personage surrounded by emblems associated with his military courage and leadership,including his plumed burgonet helmet,metal gilded armor,a necklace with the golden fleece,and batons of secular and religious dominions.This oil painting on copper-considered a precious metal at the time-emphasizes the importance of the commission.The material and technique also reveals a unique artistic achievement in that it provides the painting with a smooth,reflective surface and vibrant coloration,symbolizing precious imagery.
文摘Activity 1 Think about the following questions and write down your answers before reading the text.1.Can flowers symbolize personalities?2.Do you know your grandparentspersonalities?
文摘Nanyang,a city with a long history,offers many kinds of delicious food.Xinye board noodles stand out as a remarkable(显著的)one.With unique taste and local features,they have become a significant(重要的)symbol of Nanyang cuisine.
文摘A caféin the ancient city of Kashgar has become a symbol of cross-cultural bonding.Strolling through the winding streets of the ancient city of Kashgar in northwest China’s Xinjiang Uygur Autonomous Region,you will come across a cozy cafécalled Dili&Diya.The aroma of freshly brewed coffee drifts through the air,much like the heart-warming love story of the café’s owners,spreading warmth to all who visit.
文摘Nanyang pyrography is a special art from Nanyang that is important in the art world.It has a unique way of showing things with good skills.This art shows the deep culture and beauty of Nanyang and is a famous symbol of its culture.
基金Supported by Sichuan Provincial Science and Technology Program(Grant No.2022YFH0075)Opening Project of State Key Laboratory of Performance Monitoring and Protecting of Rail Transit Infrastructure(Grant No.HJGZ2021113)Independent Research Project of State Key Laboratory of Traction Power(Grant No.2022TPL_T03).
文摘Machine learning(ML)has powerful nonlinear processing and multivariate learning capabilities,so it has been widely utilised in the fatigue field.However,most ML methods are inexplicable black-box models that are difficult to apply in engineering practice.Symbolic regression(SR)is an interpretable machine learning method for determining the optimal fitting equation for datasets.In this study,domain knowledge-guided SR was used to determine a new fatigue crack growth(FCG)rate model.Three terms of the variable subtree ofΔK,R-ratio,andΔK_(th)were obtained by analysing eight traditional semi-empirical FCG rate models.Based on the FCG rate test data from other literature,the SR model was constructed using Al-7055-T7511.It was subsequently extended to other alloys(Ti-10V-2Fe-3Al,Ti-6Al-4V,Cr-Mo-V,LC9cs,Al-6013-T651,and Al-2324-T3)using multiple linear regression.Compared with the three semi-empirical FCG rate models,the SR model yielded higher prediction accuracy.This result demonstrates the potential of domain knowledge-guided SR for building the FCG rate model.
基金Financial support from the National Natural Science Foundation of China(21676216)the Special project of Shaanxi Provincial Education Department(20JC034)+1 种基金GHfund B(202202022563)Hefei Advanced Computing Center。
文摘Rational design of high-performance electrocatalysts for hydrogen evolution reaction(HER)is vital for future renewable energy systems.The incorporation of foreign metal ions into catalysts can be an effective approach to optimize its performance.However,there is a lack of systematic theoretical studies to reveal the quantitative relationships at the electronic level.Here,we develop a multi-level screening methodology to search for highly stable and active dopants for CoP catalysts.The density functional theory(DFT)calculations and symbolic regression(SR)were performed to investigate the relationship between the adsorption free energy(ΔG_(H^(*)))and 10 electronic parameters.The mathematic formulas derived from SR indicate that the difference of work function(ΔΦ)between doped metal and the acceptor plays the most important role in regulatingΔG_(H^(*)),followed by the d-band center(d-BC)of doped system.The descriptor of HER can be expressed asΔG_(H^(*))=1.59×√|0.188ΔΦ+d BC+0.120|1/2-0.166 with a high determination coefficient(R^(2)=0.807).Consistent with the theoretical prediction,experimental results show that the Al-CoP delivers superior electrocatalytic HER activity with a low overpotential of75 m V to drive a current density of 10 mA cm^(-2),while the overpotentials for undoped CoP,Mo-CoP,and V-CoP are 206,134,and 83 m V,respectively.The current work proves that theΔΦis the most significant regulatory parameter ofΔG_(H^(*))for ion-doped electrocatalysts.This finding can drive the discovery of high-performance ion-doped electrocatalysts,which is crucial for electrocatalytic water splitting.
