Floorplan, clock network and power plan are crucial steps in deep sub-micron system-on-chip design. A novel di- agonal floorplan is integrated to enhance the data sharing between different cores in system-on-chip. Cus...Floorplan, clock network and power plan are crucial steps in deep sub-micron system-on-chip design. A novel di- agonal floorplan is integrated to enhance the data sharing between different cores in system-on-chip. Custom clock network con- taining hand-adjusted buffers and variable routing rules is constructed to realize balanced synchronization. Effective power plan considering both IR drop and electromigration achieves high utilization and maintains power integrity in our MediaSoC. Using such methods, deep sub-micron design challenges are managed under a fast prototyping methodology, which greatly shortens the design cycle.展开更多
The Gaussian mixture model (GMM), k-nearest neighbor (k-NN), quadratic discriminant analysis (QDA), and linear discriminant analysis (LDA) were compared to classify wrist motions using surface electromyogram (EMG). Ef...The Gaussian mixture model (GMM), k-nearest neighbor (k-NN), quadratic discriminant analysis (QDA), and linear discriminant analysis (LDA) were compared to classify wrist motions using surface electromyogram (EMG). Effect of feature selection in EMG signal processing was also verified by comparing classification accuracy of each feature, and the enhancement of classification accuracy by normalization was confirmed. EMG signals were acquired from two electrodes placed on the forearm of twenty eight healthy subjects and used for recognition of wrist motion. Features were extracted from the obtained EMG signals in the time domain and were applied to classification methods. The difference absolute mean value (DAMV), difference absolute standard deviation value (DASDV), mean absolute value (MAV), root mean square (RMS) were used for composing 16 double features which were combined of two channels. In the classification methods, the highest accuracy of classification showed in the GMM. The most effective combination of classification method and double feature was (MAV, DAMV) of GMM and its classification accuracy was 96.85%. The results of normalization were better than those of non-normalization in GMM, k-NN, and LDA.展开更多
Lattice constants, total energies and densities of states of transition metals Fe, Ru and Os with BCC, FCC and HCP structures were calculated by the GGA+PBE functional and the ultrasoft pseudo-potential plane wave met...Lattice constants, total energies and densities of states of transition metals Fe, Ru and Os with BCC, FCC and HCP structures were calculated by the GGA+PBE functional and the ultrasoft pseudo-potential plane wave method, and compared with those of the first-principles projector augmented wave (PAW) method, CALPHAD method and experimental data. The results show that the lattice stability of this work is △GBCC-HCP>△GFCC-HCP>0, agreeing well with those of PAW method in the first-principles and CALPHAD method except for BCC-Fe. And the densities of state of HCP-Ru and Os have an obvious character of stable phase, agreeing completely with the results of the total energy calculations. Further analyses of atomic population show that the transition rate of electrons from s to p state for HCP, FCC and BCC crystals increases from Fe to Os, and a stronger cohesion, a higher cohesive energy or a more stable lattice between atoms of heavier metals are formed.展开更多
Based on microscope and image processing, a new method of auto tool setting for micro milling was presented. Firstly, a realtime image of tool setting area was obtained by microscope and CCD camera, then image process...Based on microscope and image processing, a new method of auto tool setting for micro milling was presented. Firstly, a realtime image of tool setting area was obtained by microscope and CCD camera, then image processing was carried out on this image and the gap between the tool and workpiece was calculated. The gap measurement was sent to motion controlling card to make the tool approach to the surface of workpiece. These steps were repeated until the gap is zero, which means that tool setting was finished. Moreover, a reliability verification test was conducted. Results indicated that the precision of tool setting is satisfactory.展开更多
In this communication we start both from a trirectangular trihedral defined by the three coordinate planes and a fourth plane, called the chart or projection, which contains the vertex of the trihedral above. Later we...In this communication we start both from a trirectangular trihedral defined by the three coordinate planes and a fourth plane, called the chart or projection, which contains the vertex of the trihedral above. Later we define the main related views or trihedral views as those produced by the tilt of the three coordinate planes to the outside of their trihedral on the chart plane. For each projection plane there are some unique main related views, regardless of the projection direction. In turn, from the trihedral views we can obtain the axonometric perspective from which they come. These properties can simplify some graphic constructions of the axonometric system, for example, determine the projections of the axes from the main related views or determine the axonometric scales from the axes. It is considered that this new definition of related views allows a simplification as to the understanding of the representation systems and it is intended to be suitable for teaching purposes and programming.展开更多
The phase diagram of ZrO_(2)−CaO−TiO_(2)system was essential for the development of photocatalytic materials and refractory materials.In this work,the ZrO_(2)−CaO−TiO_(2)system was accessed by using the CALPHAD method...The phase diagram of ZrO_(2)−CaO−TiO_(2)system was essential for the development of photocatalytic materials and refractory materials.In this work,the ZrO_(2)−CaO−TiO_(2)system was accessed by using the CALPHAD method.The substitutional solution models were used to describe liquid and solid solution phases,the sub-lattice models were used to describe ternary compounds,and then the thermodynamic parameters were obtained by the least square method combined with literature experiment results.The acquired thermodynamic parameters were used to calculate the isothermal sections of the ZrO_(2)−CaO−TiO_(2)system at 1473 and 1673 K.There existed a good agreement between experimental and predicted phase relationships,the experimental points which were inconsistent with calculated results may be attributed to experimental errors and the sluggish kinetics of cations for ZrO_(2)-based materials.In order to further verify the validity of the database,the thermodynamic parameters were also used to simulate the thermodynamic properties(specific heat capacity,enthalpy,and entropy)of CaZrTi_(2)O_(7) within 5%errors.Good consistency demonstrated that the present thermodynamic database was self-consistent and credible.展开更多
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded ...The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.展开更多
Accurate and objective rust defect assessment is required to maintain good quality steel bridge coating surfaces and make a decision whether a bridge shall completely or partially be repainted. For more objective rust...Accurate and objective rust defect assessment is required to maintain good quality steel bridge coating surfaces and make a decision whether a bridge shall completely or partially be repainted. For more objective rust defect recognition, digital image recognition methods have been developed for the past few years and they are expected to replace or complement conventional painting inspection methods. Efficient image processing methods are also essential for the successful implementation of steel bridge coating warranty contracting where the owner, usually a state agency, and the contractor inspect steel bridge coating conditions regularly and decide whether additional maintenance actions are needed based on the processed data. There are two approaches to develop automated rust defect recognition methods: applying a statistical method or an artificial intelligence technique. This paper presents the application of previously developed image processing methods for defect evaluations on a bridge coating surface and discusses their limitations under three environmental conditions which are often encountered while acquiring digital images.展开更多
In this paper, we establish a surface electromyography(sEMG) signal model and study the signal decomposition method from noisy background. Firstly, single fiber action potential (SFAP), motor unit action potential (MU...In this paper, we establish a surface electromyography(sEMG) signal model and study the signal decomposition method from noisy background. Firstly, single fiber action potential (SFAP), motor unit action potential (MUAP) and motor unit action potential train(MUAPT) are simulated based on the tripolar signal source model, and then the sEMG is obtained; secondly, the simulated sEMG signal is extracted from the mixed signals that consists of white noises, power frequency interference signal and electrocardio signal by independent component analysis (ICA) algorithms; lastly, the spikes corresponding to each motor unit action potential from the simulated sEMG signals were detected by applying the wavelet transform (WT) method. Simulation results showed that sEMG model could describe the physiological process of sEMG, ICA and WT methods could extract the sEMG signal and its features, which will lay a foundation for further classifying the MUAP.展开更多
Human beings use hierarchies to simplify their conceptual models of reality and to perform reasoning more efficiently. Hierarchical structures are conceptually imposed on space and allow performance of complex tasks i...Human beings use hierarchies to simplify their conceptual models of reality and to perform reasoning more efficiently. Hierarchical structures are conceptually imposed on space and allow performance of complex tasks in very large contexts easily. Hierarchical spatial reasoning is an important method for solving spatial problems. This paper briefly discusses the definition and frame of hierarchical spatial reasoning and its application to way-finding of road networks.展开更多
Due to the encephalic tissues are highly irregular, three-dimensional (3D) modeling of brain always leads to compli- cated computing. In this paper, we explore an efficient method for brain surface reconstruction fr...Due to the encephalic tissues are highly irregular, three-dimensional (3D) modeling of brain always leads to compli- cated computing. In this paper, we explore an efficient method for brain surface reconstruction from magnetic reso- nance (MR) images of head, which is helpful to surgery planning and tumor localization. A heuristic algorithm is pro- posed foi" surface triangle mesh generation with preserved features, and the diagonal length is regarded as the heuristic information to optimize the shape of triangle. The experimental results show that our approach not only reduces the computational complexity, but also completes 3D visualization with good quality.展开更多
An efficient novel algorithm was developed to estimate the Density of States(DOS) for large systems by calculating the ensemble means of an extensive physical variable, such as the potential energy, U, in generalized ...An efficient novel algorithm was developed to estimate the Density of States(DOS) for large systems by calculating the ensemble means of an extensive physical variable, such as the potential energy, U, in generalized canonical ensembles to interpolate the interior reverse temperature curve β_s(U)=SU/U, where S(U) is the logarithm of the DOS. This curve is computed with different accuracies in different energy regions to capture the dependence of the reverse temperature on U without setting prior grid in the U space. By combining with a U-compression transformation, we decrease the computational complexity from O(N3/2) in the normal Wang Landau type method to O(N1/2) in the current algorithm, as the degrees of freedom of system N. The efficiency of the algorithm is demonstrated by applying to Lennard Jones fluids with various N, along with its ability to find different macroscopic states, including metastable states.展开更多
We develop a new geometric approach to deal with qubit information systems using colored graph theory. More precisely, we present a one to one correspondence between graph theory, and qubit systems, which may be explo...We develop a new geometric approach to deal with qubit information systems using colored graph theory. More precisely, we present a one to one correspondence between graph theory, and qubit systems, which may be explored to attack qubit information problems using torie geometry considered as a powerful tool to understand modern physics including string theory. Concretely, we examine in some details the cases of one, two, and three qubits, and we find that they are associated with CP1, CP1×CP1 and CP1×CP1× CP1 toric varieties respectively. Using a geometric procedure referred to as a colored toric geometry, we show that the qubit physics can be converted into a scenario handling toric data of such manifolds by help of hypercube graph theory. Operations on toric information can produce universal quantum gates.展开更多
In this paper,the rogue waves of the higher-order dispersive nonlinear Schrdinger(HDNLS) equation are investigated,which describes the propagation of ultrashort optical pulse in optical fibers.The rogue wave solutions...In this paper,the rogue waves of the higher-order dispersive nonlinear Schrdinger(HDNLS) equation are investigated,which describes the propagation of ultrashort optical pulse in optical fibers.The rogue wave solutions of HDNLS equation are constructed by using the modified Darboux transformation method.The explicit first and secondorder rogue wave solutions are presented under the plane wave seeding solution background.The nonlinear dynamics and properties of rogue waves are discussed by analyzing the obtained rational solutions.The influence of little perturbation on the rogue waves is discussed with the help of graphical simulation.展开更多
基金Project supported by the Hi-Tech Research and Development Pro-gram (863) of China (No. 2002AA1Z1140)the Fok Ying TongEducation Foundation (No. 94031), China
文摘Floorplan, clock network and power plan are crucial steps in deep sub-micron system-on-chip design. A novel di- agonal floorplan is integrated to enhance the data sharing between different cores in system-on-chip. Custom clock network con- taining hand-adjusted buffers and variable routing rules is constructed to realize balanced synchronization. Effective power plan considering both IR drop and electromigration achieves high utilization and maintains power integrity in our MediaSoC. Using such methods, deep sub-micron design challenges are managed under a fast prototyping methodology, which greatly shortens the design cycle.
基金Project(NIPA-2012-H0401-12-1007) supported by the MKE(The Ministry of Knowledge Economy), Korea, supervised by the NIPAProject(2010-0020163) supported by Key Research Institute Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology, Korea
文摘The Gaussian mixture model (GMM), k-nearest neighbor (k-NN), quadratic discriminant analysis (QDA), and linear discriminant analysis (LDA) were compared to classify wrist motions using surface electromyogram (EMG). Effect of feature selection in EMG signal processing was also verified by comparing classification accuracy of each feature, and the enhancement of classification accuracy by normalization was confirmed. EMG signals were acquired from two electrodes placed on the forearm of twenty eight healthy subjects and used for recognition of wrist motion. Features were extracted from the obtained EMG signals in the time domain and were applied to classification methods. The difference absolute mean value (DAMV), difference absolute standard deviation value (DASDV), mean absolute value (MAV), root mean square (RMS) were used for composing 16 double features which were combined of two channels. In the classification methods, the highest accuracy of classification showed in the GMM. The most effective combination of classification method and double feature was (MAV, DAMV) of GMM and its classification accuracy was 96.85%. The results of normalization were better than those of non-normalization in GMM, k-NN, and LDA.
基金Project(20070533118) supported by the Doctoral Discipline Foundation of Ministry of Education of ChinaProjects(50471058, 50271085) supported by the National Natural Science Foundation of ChinaProject supported by the Postdoctoral Foundation of Central South University, China
文摘Lattice constants, total energies and densities of states of transition metals Fe, Ru and Os with BCC, FCC and HCP structures were calculated by the GGA+PBE functional and the ultrasoft pseudo-potential plane wave method, and compared with those of the first-principles projector augmented wave (PAW) method, CALPHAD method and experimental data. The results show that the lattice stability of this work is △GBCC-HCP>△GFCC-HCP>0, agreeing well with those of PAW method in the first-principles and CALPHAD method except for BCC-Fe. And the densities of state of HCP-Ru and Os have an obvious character of stable phase, agreeing completely with the results of the total energy calculations. Further analyses of atomic population show that the transition rate of electrons from s to p state for HCP, FCC and BCC crystals increases from Fe to Os, and a stronger cohesion, a higher cohesive energy or a more stable lattice between atoms of heavier metals are formed.
基金Supported by National Natural Science Foundation of China (No. 50935003)
文摘Based on microscope and image processing, a new method of auto tool setting for micro milling was presented. Firstly, a realtime image of tool setting area was obtained by microscope and CCD camera, then image processing was carried out on this image and the gap between the tool and workpiece was calculated. The gap measurement was sent to motion controlling card to make the tool approach to the surface of workpiece. These steps were repeated until the gap is zero, which means that tool setting was finished. Moreover, a reliability verification test was conducted. Results indicated that the precision of tool setting is satisfactory.
文摘In this communication we start both from a trirectangular trihedral defined by the three coordinate planes and a fourth plane, called the chart or projection, which contains the vertex of the trihedral above. Later we define the main related views or trihedral views as those produced by the tilt of the three coordinate planes to the outside of their trihedral on the chart plane. For each projection plane there are some unique main related views, regardless of the projection direction. In turn, from the trihedral views we can obtain the axonometric perspective from which they come. These properties can simplify some graphic constructions of the axonometric system, for example, determine the projections of the axes from the main related views or determine the axonometric scales from the axes. It is considered that this new definition of related views allows a simplification as to the understanding of the representation systems and it is intended to be suitable for teaching purposes and programming.
基金the Open Project of State Key Laboratory of Advanced Special Steel and Shanghai Key Laboratory of Advanced Ferrometallurgy,China(No.SKLASS2019-11)the National Natural Science Foundation of China(No.52104305).
文摘The phase diagram of ZrO_(2)−CaO−TiO_(2)system was essential for the development of photocatalytic materials and refractory materials.In this work,the ZrO_(2)−CaO−TiO_(2)system was accessed by using the CALPHAD method.The substitutional solution models were used to describe liquid and solid solution phases,the sub-lattice models were used to describe ternary compounds,and then the thermodynamic parameters were obtained by the least square method combined with literature experiment results.The acquired thermodynamic parameters were used to calculate the isothermal sections of the ZrO_(2)−CaO−TiO_(2)system at 1473 and 1673 K.There existed a good agreement between experimental and predicted phase relationships,the experimental points which were inconsistent with calculated results may be attributed to experimental errors and the sluggish kinetics of cations for ZrO_(2)-based materials.In order to further verify the validity of the database,the thermodynamic parameters were also used to simulate the thermodynamic properties(specific heat capacity,enthalpy,and entropy)of CaZrTi_(2)O_(7) within 5%errors.Good consistency demonstrated that the present thermodynamic database was self-consistent and credible.
基金supported by the National Natural Science Foundation of China under GrantsNo.61173048,No.61103115
文摘The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.
文摘Accurate and objective rust defect assessment is required to maintain good quality steel bridge coating surfaces and make a decision whether a bridge shall completely or partially be repainted. For more objective rust defect recognition, digital image recognition methods have been developed for the past few years and they are expected to replace or complement conventional painting inspection methods. Efficient image processing methods are also essential for the successful implementation of steel bridge coating warranty contracting where the owner, usually a state agency, and the contractor inspect steel bridge coating conditions regularly and decide whether additional maintenance actions are needed based on the processed data. There are two approaches to develop automated rust defect recognition methods: applying a statistical method or an artificial intelligence technique. This paper presents the application of previously developed image processing methods for defect evaluations on a bridge coating surface and discusses their limitations under three environmental conditions which are often encountered while acquiring digital images.
基金The open project of the State Key Laboratory of Robotics and System(HIT)the open project of the State Key Laboratory of Cognitive Neuroscience and Learning and the Natural science fund for colleges and universities in Jiangsu Province+2 种基金 grant number: 10KJB510003the natural science fund in Changzhou City grant number: CJ20110023
文摘In this paper, we establish a surface electromyography(sEMG) signal model and study the signal decomposition method from noisy background. Firstly, single fiber action potential (SFAP), motor unit action potential (MUAP) and motor unit action potential train(MUAPT) are simulated based on the tripolar signal source model, and then the sEMG is obtained; secondly, the simulated sEMG signal is extracted from the mixed signals that consists of white noises, power frequency interference signal and electrocardio signal by independent component analysis (ICA) algorithms; lastly, the spikes corresponding to each motor unit action potential from the simulated sEMG signals were detected by applying the wavelet transform (WT) method. Simulation results showed that sEMG model could describe the physiological process of sEMG, ICA and WT methods could extract the sEMG signal and its features, which will lay a foundation for further classifying the MUAP.
基金Supported by the National 863 Program of China (No.2006AA12 z202)
文摘Human beings use hierarchies to simplify their conceptual models of reality and to perform reasoning more efficiently. Hierarchical structures are conceptually imposed on space and allow performance of complex tasks in very large contexts easily. Hierarchical spatial reasoning is an important method for solving spatial problems. This paper briefly discusses the definition and frame of hierarchical spatial reasoning and its application to way-finding of road networks.
基金supported by the National Natural Science Foundation of China(No.61202169)
文摘Due to the encephalic tissues are highly irregular, three-dimensional (3D) modeling of brain always leads to compli- cated computing. In this paper, we explore an efficient method for brain surface reconstruction from magnetic reso- nance (MR) images of head, which is helpful to surgery planning and tumor localization. A heuristic algorithm is pro- posed foi" surface triangle mesh generation with preserved features, and the diagonal length is regarded as the heuristic information to optimize the shape of triangle. The experimental results show that our approach not only reduces the computational complexity, but also completes 3D visualization with good quality.
基金supported by the National Natural Science Foundation of China(Grant No.11175250)the Open Project Grant from the StateKey Laboratory of Theoretical PhysicsZhou X thanks the financial support of the Hundred of Talents Program in Chinese Academy of Sciences
文摘An efficient novel algorithm was developed to estimate the Density of States(DOS) for large systems by calculating the ensemble means of an extensive physical variable, such as the potential energy, U, in generalized canonical ensembles to interpolate the interior reverse temperature curve β_s(U)=SU/U, where S(U) is the logarithm of the DOS. This curve is computed with different accuracies in different energy regions to capture the dependence of the reverse temperature on U without setting prior grid in the U space. By combining with a U-compression transformation, we decrease the computational complexity from O(N3/2) in the normal Wang Landau type method to O(N1/2) in the current algorithm, as the degrees of freedom of system N. The efficiency of the algorithm is demonstrated by applying to Lennard Jones fluids with various N, along with its ability to find different macroscopic states, including metastable states.
文摘We develop a new geometric approach to deal with qubit information systems using colored graph theory. More precisely, we present a one to one correspondence between graph theory, and qubit systems, which may be explored to attack qubit information problems using torie geometry considered as a powerful tool to understand modern physics including string theory. Concretely, we examine in some details the cases of one, two, and three qubits, and we find that they are associated with CP1, CP1×CP1 and CP1×CP1× CP1 toric varieties respectively. Using a geometric procedure referred to as a colored toric geometry, we show that the qubit physics can be converted into a scenario handling toric data of such manifolds by help of hypercube graph theory. Operations on toric information can produce universal quantum gates.
基金Supported by the National Natural Science Foundation of China under Grant No.11071164Innovation Program of Shanghai Municipal Education Commission under Grant Nos.12YZ105 and 13ZZ118+1 种基金the Foundation of University Young Teachers Training Program of Shanghai Municipal Education Commission under Grant No.slg11029the National Natural Science Foundation of China under Grant No.11171220
文摘In this paper,the rogue waves of the higher-order dispersive nonlinear Schrdinger(HDNLS) equation are investigated,which describes the propagation of ultrashort optical pulse in optical fibers.The rogue wave solutions of HDNLS equation are constructed by using the modified Darboux transformation method.The explicit first and secondorder rogue wave solutions are presented under the plane wave seeding solution background.The nonlinear dynamics and properties of rogue waves are discussed by analyzing the obtained rational solutions.The influence of little perturbation on the rogue waves is discussed with the help of graphical simulation.