The article raises the question of what to do with one of the main achievements of metal science in recent years—binary phase diagrams. These diagrams play a key role in the science of alloys and therefore their reli...The article raises the question of what to do with one of the main achievements of metal science in recent years—binary phase diagrams. These diagrams play a key role in the science of alloys and therefore their reliability must be complete. However, the discovery of the “ordering-separation” phase transition, which showed that in binary alloys at certain temperatures the sign of the chemical interatomic interaction changes (and, consequently, the microstructure changes), forces us to reconsider our ideas about those areas. Currently, these areas are designated on diagrams as areas of a “disordered solid solution.” This article proposes, using transmission electron microscopy, to study all the so-called solid solution regions, and apply the results obtained to the studied regions of the phase diagram.展开更多
The binary decision diagrams （BDDs） can give canonical representation to Boolean functions; they have wide applications in the design and verification of digital systems. A new method based on cultural algorithms fo...The binary decision diagrams （BDDs） can give canonical representation to Boolean functions; they have wide applications in the design and verification of digital systems. A new method based on cultural algorithms for minimizing the size of BDDs is presented in this paper. First of all, the coding of an individual representing a BDDs is given, and the fitness of an individual is defined. The population is built by a set of the individuals. Second, the implementations based on cultural algorithms for the minimization of BDDs, i.e., the designs of belief space and population space, and the designs of acceptance function and influence function, are given in detail. Third, the fault detection approaches using BDDs for digital circuits are studied. A new method for the detection of crosstalk faults by using BDDs is presented. Experimental results on a number of digital circuits show that the BDDs with small number of nodes can be obtained by the method proposed in this paper, and all test vectors of a fault in digital circuits can also be produced.展开更多
In this paper we present a new version of Chen＇s system： a piecewise linear （PWL） Chert system of fractional-order. Via a sigmoid-like function, the discontinuous system is transformed into a continuous system. By...In this paper we present a new version of Chen＇s system： a piecewise linear （PWL） Chert system of fractional-order. Via a sigmoid-like function, the discontinuous system is transformed into a continuous system. By numerical simulations, we reveal chaotic behaviors and also multistability, i.e., the existence of small pararheter windows where, for some fixed bifurcation parameter and depending on initial conditions, coexistence of stable attractors and chaotic attractors is possible. Moreover, we show that by using an algorithm to switch the bifurcation parameter, the stable attractors can be numerically approximated.展开更多
文摘The article raises the question of what to do with one of the main achievements of metal science in recent years—binary phase diagrams. These diagrams play a key role in the science of alloys and therefore their reliability must be complete. However, the discovery of the “ordering-separation” phase transition, which showed that in binary alloys at certain temperatures the sign of the chemical interatomic interaction changes (and, consequently, the microstructure changes), forces us to reconsider our ideas about those areas. Currently, these areas are designated on diagrams as areas of a “disordered solid solution.” This article proposes, using transmission electron microscopy, to study all the so-called solid solution regions, and apply the results obtained to the studied regions of the phase diagram.
基金supported by Natural Science Foundation of Guangdong Provincial of China (No.7005833)
文摘The binary decision diagrams （BDDs） can give canonical representation to Boolean functions; they have wide applications in the design and verification of digital systems. A new method based on cultural algorithms for minimizing the size of BDDs is presented in this paper. First of all, the coding of an individual representing a BDDs is given, and the fitness of an individual is defined. The population is built by a set of the individuals. Second, the implementations based on cultural algorithms for the minimization of BDDs, i.e., the designs of belief space and population space, and the designs of acceptance function and influence function, are given in detail. Third, the fault detection approaches using BDDs for digital circuits are studied. A new method for the detection of crosstalk faults by using BDDs is presented. Experimental results on a number of digital circuits show that the BDDs with small number of nodes can be obtained by the method proposed in this paper, and all test vectors of a fault in digital circuits can also be produced.
基金funded by the European Regional Development Funding via RISC projectby CPER Region Haute Normandie France,the Australian Research Council via a Future Fellowship(FT110100896)Discovery Project(DP140100203)
文摘In this paper we present a new version of Chen＇s system： a piecewise linear （PWL） Chert system of fractional-order. Via a sigmoid-like function, the discontinuous system is transformed into a continuous system. By numerical simulations, we reveal chaotic behaviors and also multistability, i.e., the existence of small pararheter windows where, for some fixed bifurcation parameter and depending on initial conditions, coexistence of stable attractors and chaotic attractors is possible. Moreover, we show that by using an algorithm to switch the bifurcation parameter, the stable attractors can be numerically approximated.
