A mathematical model of perceptual symbol system is developed. This development requires new mathematical methods of dynamic logic (DL), which have overcome limitations of classical artificial intelligence and connect...A mathematical model of perceptual symbol system is developed. This development requires new mathematical methods of dynamic logic (DL), which have overcome limitations of classical artificial intelligence and connectionist approaches. The paper discusses these past limitations, relates them to combinatorial complexity (exponential explosion) of algorithms in the past, and relates it further to the static nature of classical logic. DL is a process-logic;its salient property is evolution of vague representations into crisp. We first consider one aspect of PSS: situation learning from object perceptions. Next DL is related to PSS mechanisms of concepts, simulators, grounding, embodiment, productiveity, binding, recursion, and to the mechanisms relating embodied-grounded and amodal symbols. We discuss DL capability for modeling cognition on multiple levels of abstraction. PSS is extended toward interaction between cognition and language. Experimental predictions of the theory are discussed. They might influence experimental psychology and impact future theoretical developments in cognitive science, including knowledge representation, and mechanisms of interaction between perception, cognition, and language. All mathematical equations are also discussed conceptually, so mathematical understanding is not required. Experimental evidence for DL and PSS in brain imaging is discussed as well as future research directions.展开更多
In cellular systems,establishing the initial symbol timing of potential preambles is the first step of a cell search.The envelope fluctuation of the downlink signal hinders the successful timing of conventional symbol...In cellular systems,establishing the initial symbol timing of potential preambles is the first step of a cell search.The envelope fluctuation of the downlink signal hinders the successful timing of conventional symbol timing methods.To solve this problem,a hybrid timing strategy is proposed with two novel detectors,namely the normalized replica-based detector and normalized differential detector.The strategy first detects all potential preambles via the normalized replica-based detector and then employs the normalized differential detector to verify the target preamble,which comes from the target cell and has the highest power.The strategy is unaffected by envelope fluctuation and has computational complexity comparable to that of conventional methods.Simu-lations and real-data tests show that the hybrid timing strategy is robust and practical for initial symbol timing.展开更多
In order to reduce the physical impairment caused by signal distortion,in this paper,we investigate symbol detection with Deep Learning(DL)methods to improve bit-error performance in the optical communication system.M...In order to reduce the physical impairment caused by signal distortion,in this paper,we investigate symbol detection with Deep Learning(DL)methods to improve bit-error performance in the optical communication system.Many DL-based methods have been applied to such systems to improve bit-error performance.Referring to the speech-to-text method of automatic speech recognition,this paper proposes a signal-to-symbol method based on DL and designs a receiver for symbol detection on single-polarized optical communications modes.To realize this detection method,we propose a non-causal temporal convolutional network-assisted receiver to detect symbols directly from the baseband signal,which specifically integrates most modules of the receiver.Meanwhile,we adopt three training approaches for different signal-to-noise ratios.We also apply a parametric rectified linear unit to enhance the noise robustness of the proposed network.According to the simulation experiments,the biterror-rate performance of the proposed method is close to or even superior to that of the conventional receiver and better than the recurrent neural network-based receiver.展开更多
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.展开更多
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.展开更多
In this paper,we propose a joint channel estimation and symbol detection(JCESD)algorithm relying on message-passing algorithms(MPA)for orthogonal frequency division multiple access(OFDMA)systems.The channel estimation...In this paper,we propose a joint channel estimation and symbol detection(JCESD)algorithm relying on message-passing algorithms(MPA)for orthogonal frequency division multiple access(OFDMA)systems.The channel estimation and symbol detection leverage the framework of expectation propagation(EP)and belief propagation(BP)with the aid of Gaussian approximation,respectively.Furthermore,to reduce the computation complexity involved in channel estimation,the matrix inversion is transformed into a series of diagonal matrix inversions through the Sherman-Morrison formula.Simulation experiments show that the proposed algorithm can reduce the pilot overhead by about 50%,compared with the traditional linear minimum mean square error(LMMSE)algorithm,and can approach to the bit error rate(BER)performance bound of perfectly known channel state information within 0.1 dB.展开更多
The periodic window is researched by means of the symbolic dynamics and formal language. Firstly, the proper sampling period is taken and the orbital points of periodic motion are obtained through Poincar6 mapping. Se...The periodic window is researched by means of the symbolic dynamics and formal language. Firstly, the proper sampling period is taken and the orbital points of periodic motion are obtained through Poincar6 mapping. Secondly, according to the method of symbolic dynamics of one-dimensional discrete mapping, the symbolic sequence describing the periodic orbit is obtained. Finally, based on the symbolic sequence, the corresponding model of minimal finite automation is constructed and the entropy is obtained by calculating the maximal eigenvalue of Stefan matrix. The results show that the orbits in periodic windows can be strictly marked by using the method of symbolic dynamics, thus a foundation for control of switching between target orbits is provided.展开更多
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.展开更多
In the EasyDyn multibody open source project, computer algebra has been used from the beginning to generate the expressions of velocities and accelerations of the bodies, by symbolic differentiation of their position....In the EasyDyn multibody open source project, computer algebra has been used from the beginning to generate the expressions of velocities and accelerations of the bodies, by symbolic differentiation of their position. Originally, the MuPAD computer algebra system had been retained because it was freely available for non commercial purposes and showed very good technical features.Unfortunately, MuPAD is nowadays only available through commercial channels and needs to be replaced to keep EasyDyn publicly available. This paper presents why Xcas/Giac is finally selected,among other long-term promising projects like Axiom, Maxima, Sage or Yacas. Among the choice criteria, the accessibility, the portability, the ease of use, the automatic export to C language, and the similarity with the -MuPAD language are all considered. The performances of the MuPAD and Xcas/Giac implementations are also compared on some examples.C 2013 The Chinese Society of Theoretical and Applied Mechanics. [doi:10.1063/2.13013012]展开更多
A symbolic computation method to decide whether the solutions to the system Of linear partial differential equation is complete via using differential algebra and characteristic set is presented. This is a mechanizati...A symbolic computation method to decide whether the solutions to the system Of linear partial differential equation is complete via using differential algebra and characteristic set is presented. This is a mechanization method, and it can be carried out on the computer in the Maple environment.展开更多
As the combining form of the orthogonal frequency-division multiplexing (OFDM) technique and the vertical Bell Labs layered space-time (V-BLAST) architecture, the V-BLAST OFDM system can better meet the demand of next...As the combining form of the orthogonal frequency-division multiplexing (OFDM) technique and the vertical Bell Labs layered space-time (V-BLAST) architecture, the V-BLAST OFDM system can better meet the demand of next-generation (NextG) broadband mobile wireless multimedia communications. The symbols detection problem of the V-BLAST OFDM system is investigated under the frequency-selective fading environment. The joint space-frequency demultiplexing operation is proposed in the V-BLAST OFDM system. Successively, one novel half-rate rotational invariance joint space-frequency coding scheme for the V-BLAST OFDM system is proposed. By elegantly exploiting the above rotational invariance property, we derive one direct symbols detection scheme without knowing channels state information (CSI) for the frequency-selective V-BLAST OFDM system. Extensive simulation results demonstrate the validity of the novel half-rate rotational invariance joint space-frequency coding scheme and the performance of the direct symbols detection scheme.展开更多
Heuristic and metaheuristic techniques are used for solving computationally hard optimization problems. Local search is a heuristic technique while Ant colony optimization (ACO), inspired by the ants' foraging beh...Heuristic and metaheuristic techniques are used for solving computationally hard optimization problems. Local search is a heuristic technique while Ant colony optimization (ACO), inspired by the ants' foraging behavior, is one of the most recent metaheuristic technique. These techniques are used for solving optimization problems. Multiple-Input Multiple-Output (MIMO) detection problem is an NP-hard combinatorial optimization problem. We present heuristic and metaheuristic approaches for symbol detection in multi-input multi-output (MIMO) system. Since symbol detection is an NP-hard problem so ACO is particularly attractive as ACO algorithms are one of the most successful strands of swarm intelligence and are suitable for applications where low complexity and fast convergence is of absolute importance. Maximum Likelihood (ML) detector gives optimal results but it uses exhaustive search technique. We show that 1-Opt and ACO based detector can give near-optimal bit error rate (BER) at much lower complexity levels. Comparison of ACO with another nature inspired technique, Particle Swarm Optimization (PSO) is also discussed. The simulation results suggest that the proposed detectors give an acceptable performance complexity trade-off in comparison with ML and VBLAST detectors.展开更多
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.展开更多
A symbol is an expression of meaning,while blank symbols express special meanings.By focusing on the application of blank symbols in Japanese architecture and indoor designs,we analyzed the aesthetic principles in Jap...A symbol is an expression of meaning,while blank symbols express special meanings.By focusing on the application of blank symbols in Japanese architecture and indoor designs,we analyzed the aesthetic principles in Japanese architecture and indoor designs from the perspective of semiotics,such as“Kongji,”“Emptiness,”and“Dying out,”and their minimalist and pure design concepts.Traditional Chinese culture was also further explored,especially the profound influence of the“Chan sect”and the philosophy of“unity of heaven and mankind”on Japanese architecture and designs.This study aims to facilitate the coexistence and mutual appreciation of Chinese and Japanese architectural designs.展开更多
Radial Basis Function Neural Network(RBFNN)ensembles have long suffered from non-efficient training,where incorrect parameter settings can be computationally disastrous.This paper examines different evolutionary algor...Radial Basis Function Neural Network(RBFNN)ensembles have long suffered from non-efficient training,where incorrect parameter settings can be computationally disastrous.This paper examines different evolutionary algorithms for training the Symbolic Radial Basis Function Neural Network(SRBFNN)through the behavior’s integration of satisfiability programming.Inspired by evolutionary algorithms,which can iteratively find the nearoptimal solution,different Evolutionary Algorithms(EAs)were designed to optimize the producer output weight of the SRBFNN that corresponds to the embedded logic programming 2Satisfiability representation(SRBFNN-2SAT).The SRBFNN’s objective function that corresponds to Satisfiability logic programming can be minimized by different algorithms,including Genetic Algorithm(GA),Evolution Strategy Algorithm(ES),Differential Evolution Algorithm(DE),and Evolutionary Programming Algorithm(EP).Each of these methods is presented in the steps in the flowchart form which can be used for its straightforward implementation in any programming language.With the use of SRBFNN-2SAT,a training method based on these algorithms has been presented,then training has been compared among algorithms,which were applied in Microsoft Visual C++software using multiple metrics of performance,including Mean Absolute Relative Error(MARE),Root Mean Square Error(RMSE),Mean Absolute Percentage Error(MAPE),Mean Bias Error(MBE),Systematic Error(SD),Schwarz Bayesian Criterion(SBC),and Central Process Unit time(CPU time).Based on the results,the EP algorithm achieved a higher training rate and simple structure compared with the rest of the algorithms.It has been confirmed that the EP algorithm is quite effective in training and obtaining the best output weight,accompanied by the slightest iteration error,which minimizes the objective function of SRBFNN-2SAT.展开更多
In the novels, the clothing worn by the characters are symbols made and used by the authors to express the characters’ personality and deepen the theme, and grasping their symbolism helps to enter into the interior o...In the novels, the clothing worn by the characters are symbols made and used by the authors to express the characters’ personality and deepen the theme, and grasping their symbolism helps to enter into the interior of the novels and understand their essence. This paper will analyze and interpret the clothing of typical female characters in The Scarlet Letter, Daisy Miller and Dry September from the perspective of symbolism, so as to illustrate how the symbolism of clothing, as a kind of symbols, shapes the image of the main characters.展开更多
In the Italian novel Lacci,the young husband abandoned his wife and lived with another woman.Although the marriage has been maintained under the stress of tense relations,friction and cracks have long existed and brok...In the Italian novel Lacci,the young husband abandoned his wife and lived with another woman.Although the marriage has been maintained under the stress of tense relations,friction and cracks have long existed and broken their peaceful life.This betrayal story restores the whole story from three perspectives through the eyes of the husband,the wife,and the memory of two children.It also reveals the indifferent and uncommunicable situations experienced by everyone in the family.The shoelace that appeared repeatedly in this article not only symbolizes the entangled and chaotic relationship between husband and wife,but also symbolizes the parent-child relationship that has long been broken but still tied up with each other;another image,the cat,not only symbolizes the seductive lover in the eyes of the husband,but also represents himself who pursues the satisfaction of desire.At the same time,cat also implies the disintegration of this marriage from inside to outside.In short,in this suffocating marriage novel,shoelace symbolizes order,while cat symbolizes chaos.The cat who keeps breaking in wore away their trust and emotion,and in the end,the two people in marriage can only bind reluctantly with shoelaces and hurt each other.展开更多
Araby is a short story by the famous Irish stream-of-consciousness writer James Joyce.Through a series of images,the novel expresses the theme of the story:the“mental paralysis”of Dubliners and the“spiritual Epiph...Araby is a short story by the famous Irish stream-of-consciousness writer James Joyce.Through a series of images,the novel expresses the theme of the story:the“mental paralysis”of Dubliners and the“spiritual Epiphany”of the little boy,which reflects the spiritual barren of Dubliners at that time.Through the analysis of the symbolic meaning of many images in the work,this paper reveals the social background and religious significance hidden behind the images.展开更多
Spectral efficiency and energy efficiency are two important performance indicators of satellite systems. The Quasi-Constant Envelope Orthogonal Frequency Division Multiplexing(QCE-OFDM) technique can achieve both high...Spectral efficiency and energy efficiency are two important performance indicators of satellite systems. The Quasi-Constant Envelope Orthogonal Frequency Division Multiplexing(QCE-OFDM) technique can achieve both high spectral efficiency and low peak-to-average power ratio(PAPR). Therefore, the QCE-OFDM technique is considered as a promising candidate multi-carrier technique for satellite systems. However, the Doppler effect will cause the carrier frequency offset(CFO), and the non-ideal oscillator will cause the carrier phase offset(CPO) in satellite systems. The CFO and CPO will further result in the bit-error-rate(BER) performance degradation. Hence, it is important to estimate and compensate the CFO and CPO. This paper analyzes the effects of both CFO and CPO in QCE-OFDM satellite systems. Furthermore, we propose a joint CFO and CPO estimation method based on the pilot symbols in the frequency domain. In addition, the optimal pilot symbol structure with different pilot overheads is designed according to the minimum Cramer-Rao bound(CRB) criterion. Simulation results show that the estimation accuracy of the proposed method is close to the CRB.展开更多
While getting a chance to visit the Great Wall of China may not be easy,it is a memorable experience for everyone who manages to get there.And the value of the Great Wall is not confined to tourists;it is also signifi...While getting a chance to visit the Great Wall of China may not be easy,it is a memorable experience for everyone who manages to get there.And the value of the Great Wall is not confined to tourists;it is also significant for those interested in learning about the preservation of the historic site as a unique symbol of Chinese civilisation.展开更多
文摘A mathematical model of perceptual symbol system is developed. This development requires new mathematical methods of dynamic logic (DL), which have overcome limitations of classical artificial intelligence and connectionist approaches. The paper discusses these past limitations, relates them to combinatorial complexity (exponential explosion) of algorithms in the past, and relates it further to the static nature of classical logic. DL is a process-logic;its salient property is evolution of vague representations into crisp. We first consider one aspect of PSS: situation learning from object perceptions. Next DL is related to PSS mechanisms of concepts, simulators, grounding, embodiment, productiveity, binding, recursion, and to the mechanisms relating embodied-grounded and amodal symbols. We discuss DL capability for modeling cognition on multiple levels of abstraction. PSS is extended toward interaction between cognition and language. Experimental predictions of the theory are discussed. They might influence experimental psychology and impact future theoretical developments in cognitive science, including knowledge representation, and mechanisms of interaction between perception, cognition, and language. All mathematical equations are also discussed conceptually, so mathematical understanding is not required. Experimental evidence for DL and PSS in brain imaging is discussed as well as future research directions.
基金supported in part by the National Natural Science Foundation of China(61931015,62071335)in part by the Natural Science Foundation of Hubei Province of China(2021CFA002)+2 种基金in part by the Fundamental Research Funds for the Central Universitiesin part by the Technological Innovation Project of Hubei Province of China(2019AAA061)in part by the Science and Technology Program of Shenzhen(JCYJ20170818112037398).
文摘In cellular systems,establishing the initial symbol timing of potential preambles is the first step of a cell search.The envelope fluctuation of the downlink signal hinders the successful timing of conventional symbol timing methods.To solve this problem,a hybrid timing strategy is proposed with two novel detectors,namely the normalized replica-based detector and normalized differential detector.The strategy first detects all potential preambles via the normalized replica-based detector and then employs the normalized differential detector to verify the target preamble,which comes from the target cell and has the highest power.The strategy is unaffected by envelope fluctuation and has computational complexity comparable to that of conventional methods.Simu-lations and real-data tests show that the hybrid timing strategy is robust and practical for initial symbol timing.
基金supported by the National Key R&D Program of China under Grant 2018YFB1801500.
文摘In order to reduce the physical impairment caused by signal distortion,in this paper,we investigate symbol detection with Deep Learning(DL)methods to improve bit-error performance in the optical communication system.Many DL-based methods have been applied to such systems to improve bit-error performance.Referring to the speech-to-text method of automatic speech recognition,this paper proposes a signal-to-symbol method based on DL and designs a receiver for symbol detection on single-polarized optical communications modes.To realize this detection method,we propose a non-causal temporal convolutional network-assisted receiver to detect symbols directly from the baseband signal,which specifically integrates most modules of the receiver.Meanwhile,we adopt three training approaches for different signal-to-noise ratios.We also apply a parametric rectified linear unit to enhance the noise robustness of the proposed network.According to the simulation experiments,the biterror-rate performance of the proposed method is close to or even superior to that of the conventional receiver and better than the recurrent neural network-based receiver.
基金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.
文摘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.
文摘In this paper,we propose a joint channel estimation and symbol detection(JCESD)algorithm relying on message-passing algorithms(MPA)for orthogonal frequency division multiple access(OFDMA)systems.The channel estimation and symbol detection leverage the framework of expectation propagation(EP)and belief propagation(BP)with the aid of Gaussian approximation,respectively.Furthermore,to reduce the computation complexity involved in channel estimation,the matrix inversion is transformed into a series of diagonal matrix inversions through the Sherman-Morrison formula.Simulation experiments show that the proposed algorithm can reduce the pilot overhead by about 50%,compared with the traditional linear minimum mean square error(LMMSE)algorithm,and can approach to the bit error rate(BER)performance bound of perfectly known channel state information within 0.1 dB.
基金This project is supported by National Natural Science Foundation of China(No.50075070).
文摘The periodic window is researched by means of the symbolic dynamics and formal language. Firstly, the proper sampling period is taken and the orbital points of periodic motion are obtained through Poincar6 mapping. Secondly, according to the method of symbolic dynamics of one-dimensional discrete mapping, the symbolic sequence describing the periodic orbit is obtained. Finally, based on the symbolic sequence, the corresponding model of minimal finite automation is constructed and the entropy is obtained by calculating the maximal eigenvalue of Stefan matrix. The results show that the orbits in periodic windows can be strictly marked by using the method of symbolic dynamics, thus a foundation for control of switching between target orbits is provided.
基金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.
文摘In the EasyDyn multibody open source project, computer algebra has been used from the beginning to generate the expressions of velocities and accelerations of the bodies, by symbolic differentiation of their position. Originally, the MuPAD computer algebra system had been retained because it was freely available for non commercial purposes and showed very good technical features.Unfortunately, MuPAD is nowadays only available through commercial channels and needs to be replaced to keep EasyDyn publicly available. This paper presents why Xcas/Giac is finally selected,among other long-term promising projects like Axiom, Maxima, Sage or Yacas. Among the choice criteria, the accessibility, the portability, the ease of use, the automatic export to C language, and the similarity with the -MuPAD language are all considered. The performances of the MuPAD and Xcas/Giac implementations are also compared on some examples.C 2013 The Chinese Society of Theoretical and Applied Mechanics. [doi:10.1063/2.13013012]
文摘A symbolic computation method to decide whether the solutions to the system Of linear partial differential equation is complete via using differential algebra and characteristic set is presented. This is a mechanization method, and it can be carried out on the computer in the Maple environment.
文摘As the combining form of the orthogonal frequency-division multiplexing (OFDM) technique and the vertical Bell Labs layered space-time (V-BLAST) architecture, the V-BLAST OFDM system can better meet the demand of next-generation (NextG) broadband mobile wireless multimedia communications. The symbols detection problem of the V-BLAST OFDM system is investigated under the frequency-selective fading environment. The joint space-frequency demultiplexing operation is proposed in the V-BLAST OFDM system. Successively, one novel half-rate rotational invariance joint space-frequency coding scheme for the V-BLAST OFDM system is proposed. By elegantly exploiting the above rotational invariance property, we derive one direct symbols detection scheme without knowing channels state information (CSI) for the frequency-selective V-BLAST OFDM system. Extensive simulation results demonstrate the validity of the novel half-rate rotational invariance joint space-frequency coding scheme and the performance of the direct symbols detection scheme.
文摘Heuristic and metaheuristic techniques are used for solving computationally hard optimization problems. Local search is a heuristic technique while Ant colony optimization (ACO), inspired by the ants' foraging behavior, is one of the most recent metaheuristic technique. These techniques are used for solving optimization problems. Multiple-Input Multiple-Output (MIMO) detection problem is an NP-hard combinatorial optimization problem. We present heuristic and metaheuristic approaches for symbol detection in multi-input multi-output (MIMO) system. Since symbol detection is an NP-hard problem so ACO is particularly attractive as ACO algorithms are one of the most successful strands of swarm intelligence and are suitable for applications where low complexity and fast convergence is of absolute importance. Maximum Likelihood (ML) detector gives optimal results but it uses exhaustive search technique. We show that 1-Opt and ACO based detector can give near-optimal bit error rate (BER) at much lower complexity levels. Comparison of ACO with another nature inspired technique, Particle Swarm Optimization (PSO) is also discussed. The simulation results suggest that the proposed detectors give an acceptable performance complexity trade-off in comparison with ML and VBLAST detectors.
基金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.
基金Department of Education in Yunnan Province Fund for Scientific Research,Research on the Origin Tracing of the Traditional Architectures of Limi People of Yunnan Yi Ethnic Group(No.2022Y658).
文摘A symbol is an expression of meaning,while blank symbols express special meanings.By focusing on the application of blank symbols in Japanese architecture and indoor designs,we analyzed the aesthetic principles in Japanese architecture and indoor designs from the perspective of semiotics,such as“Kongji,”“Emptiness,”and“Dying out,”and their minimalist and pure design concepts.Traditional Chinese culture was also further explored,especially the profound influence of the“Chan sect”and the philosophy of“unity of heaven and mankind”on Japanese architecture and designs.This study aims to facilitate the coexistence and mutual appreciation of Chinese and Japanese architectural designs.
基金This work is supported by Ministry of Higher Education(MOHE)through Fundamental Research Grant Scheme(FRGS)(FRGS/1/2020/STG06/UTHM/03/7).
文摘Radial Basis Function Neural Network(RBFNN)ensembles have long suffered from non-efficient training,where incorrect parameter settings can be computationally disastrous.This paper examines different evolutionary algorithms for training the Symbolic Radial Basis Function Neural Network(SRBFNN)through the behavior’s integration of satisfiability programming.Inspired by evolutionary algorithms,which can iteratively find the nearoptimal solution,different Evolutionary Algorithms(EAs)were designed to optimize the producer output weight of the SRBFNN that corresponds to the embedded logic programming 2Satisfiability representation(SRBFNN-2SAT).The SRBFNN’s objective function that corresponds to Satisfiability logic programming can be minimized by different algorithms,including Genetic Algorithm(GA),Evolution Strategy Algorithm(ES),Differential Evolution Algorithm(DE),and Evolutionary Programming Algorithm(EP).Each of these methods is presented in the steps in the flowchart form which can be used for its straightforward implementation in any programming language.With the use of SRBFNN-2SAT,a training method based on these algorithms has been presented,then training has been compared among algorithms,which were applied in Microsoft Visual C++software using multiple metrics of performance,including Mean Absolute Relative Error(MARE),Root Mean Square Error(RMSE),Mean Absolute Percentage Error(MAPE),Mean Bias Error(MBE),Systematic Error(SD),Schwarz Bayesian Criterion(SBC),and Central Process Unit time(CPU time).Based on the results,the EP algorithm achieved a higher training rate and simple structure compared with the rest of the algorithms.It has been confirmed that the EP algorithm is quite effective in training and obtaining the best output weight,accompanied by the slightest iteration error,which minimizes the objective function of SRBFNN-2SAT.
文摘In the novels, the clothing worn by the characters are symbols made and used by the authors to express the characters’ personality and deepen the theme, and grasping their symbolism helps to enter into the interior of the novels and understand their essence. This paper will analyze and interpret the clothing of typical female characters in The Scarlet Letter, Daisy Miller and Dry September from the perspective of symbolism, so as to illustrate how the symbolism of clothing, as a kind of symbols, shapes the image of the main characters.
文摘In the Italian novel Lacci,the young husband abandoned his wife and lived with another woman.Although the marriage has been maintained under the stress of tense relations,friction and cracks have long existed and broken their peaceful life.This betrayal story restores the whole story from three perspectives through the eyes of the husband,the wife,and the memory of two children.It also reveals the indifferent and uncommunicable situations experienced by everyone in the family.The shoelace that appeared repeatedly in this article not only symbolizes the entangled and chaotic relationship between husband and wife,but also symbolizes the parent-child relationship that has long been broken but still tied up with each other;another image,the cat,not only symbolizes the seductive lover in the eyes of the husband,but also represents himself who pursues the satisfaction of desire.At the same time,cat also implies the disintegration of this marriage from inside to outside.In short,in this suffocating marriage novel,shoelace symbolizes order,while cat symbolizes chaos.The cat who keeps breaking in wore away their trust and emotion,and in the end,the two people in marriage can only bind reluctantly with shoelaces and hurt each other.
文摘Araby is a short story by the famous Irish stream-of-consciousness writer James Joyce.Through a series of images,the novel expresses the theme of the story:the“mental paralysis”of Dubliners and the“spiritual Epiphany”of the little boy,which reflects the spiritual barren of Dubliners at that time.Through the analysis of the symbolic meaning of many images in the work,this paper reveals the social background and religious significance hidden behind the images.
基金supported by the National Natural Science Foundation of China(No.91438114,No.61372111 and No.61601045)
文摘Spectral efficiency and energy efficiency are two important performance indicators of satellite systems. The Quasi-Constant Envelope Orthogonal Frequency Division Multiplexing(QCE-OFDM) technique can achieve both high spectral efficiency and low peak-to-average power ratio(PAPR). Therefore, the QCE-OFDM technique is considered as a promising candidate multi-carrier technique for satellite systems. However, the Doppler effect will cause the carrier frequency offset(CFO), and the non-ideal oscillator will cause the carrier phase offset(CPO) in satellite systems. The CFO and CPO will further result in the bit-error-rate(BER) performance degradation. Hence, it is important to estimate and compensate the CFO and CPO. This paper analyzes the effects of both CFO and CPO in QCE-OFDM satellite systems. Furthermore, we propose a joint CFO and CPO estimation method based on the pilot symbols in the frequency domain. In addition, the optimal pilot symbol structure with different pilot overheads is designed according to the minimum Cramer-Rao bound(CRB) criterion. Simulation results show that the estimation accuracy of the proposed method is close to the CRB.
文摘While getting a chance to visit the Great Wall of China may not be easy,it is a memorable experience for everyone who manages to get there.And the value of the Great Wall is not confined to tourists;it is also significant for those interested in learning about the preservation of the historic site as a unique symbol of Chinese civilisation.