Globally exponential stability （which implies convergence and uniqueness） of their classical iterative algorithm is established using methods of heat equations and energy integral after embedding the discrete iterat...Globally exponential stability （which implies convergence and uniqueness） of their classical iterative algorithm is established using methods of heat equations and energy integral after embedding the discrete iteration into a continuous flow. The stability condition depends explicitly on smoothness of the image sequence, size of image domain, value of the regularization parameter, and finally discretization step. Specifically, as the discretization step approaches to zero, stability holds unconditionally. The analysis also clarifies relations among the iterative algorithm, the original variation formulation and the PDE system. The proper regularity of solution and natural images is briefly surveyed and discussed. Experimental results validate the theoretical claims both on convergence and exponential stability.展开更多
The totally coded method (TCM) reveals the same objective law, which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Base...The totally coded method (TCM) reveals the same objective law, which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm, it is more efficient because figure searching is no longer necessary. The code-series ( CS ), which are organized from node association table, have the holoinformation nature, so that both the content and the sign of each gain-term can be determined via the coded method.The principle of this method is obvious and it is suited for computer programming. The capability of the computeraided analysis for Switched Capacitor (SCN) can be enhanced.展开更多
The QR Code is a 2 dimensional matrix code with high error correction capability. It employs RS codes to generate error correction codewords in encoding and recover errors and damages in decoding. This paper presents ...The QR Code is a 2 dimensional matrix code with high error correction capability. It employs RS codes to generate error correction codewords in encoding and recover errors and damages in decoding. This paper presents several QR Code’s virtues, analyzes RS decoding algorithm and gives a software flow chart of decoding the QR Code with RS decoding algorithm.展开更多
The totally coded method (TCM) reveal the same law which governing the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure ...The totally coded method (TCM) reveal the same law which governing the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm, it is more efficiency because any figure searching is no longer necessary. The code-series (CS), which are organized from node association table, have the holo-information nature, so that both the content and the sign of each gain-term can be determined via the coded method. The principle of this method is obvious and it is suited for computer programming. The capability of the computer-aided analysis for the active network, such as operation amplifier network, can be enhanced.展开更多
When workflow task needs several datasets from different locations m cloud, data transfer becomes a challenge. To avoid the unnecessary data transfer, a graphical-based data placement algo- rithm for cloud workflow is...When workflow task needs several datasets from different locations m cloud, data transfer becomes a challenge. To avoid the unnecessary data transfer, a graphical-based data placement algo- rithm for cloud workflow is proposed. The algorithm uses affinity graph to group datasets while keeping a polynomial time complexity. By integrating the algorithm, the workflow engine can intelligently select locations in which the data will reside to avoid the unnecessary data transfer during the initial stage and runtime stage. Simulations show that the proposed algorithm can effectively reduce data transfer during the workflow＇ s execution.展开更多
The permafrost with the highest altitude and largest area in the mid and low latitude is located in the Qinghad-Tibet Plateau. As most frozen soils contain ice particles which are very sensitive to temperature and oth...The permafrost with the highest altitude and largest area in the mid and low latitude is located in the Qinghad-Tibet Plateau. As most frozen soils contain ice particles which are very sensitive to temperature and other external parameters, thus influencing the stability of the embankment in permafrost regions, it is very important to develop techniques to prevent damages to railway embankments due to thaw settlement. In this paper, the electrical capacitance sensors are designed to study the freezing front movement in a vessel and ice movement in water, which is the first step to apply the ECT system to the study of frozen soil. Two sensor arrangements are put into use. First, the traditional closed electrode sensors are put into use. In this arrangement, the electrodes are attached to the outside of the pipe or vessel, and the cross-sectional distribution of ice and water could be reconstructed from the capacitances measured. Also, the ice moving track at the cross section could be reflected thoroughly.Since the traditional closed electrode sensors can not meet the needs of measuring the ice freezing front move- ment, a new electrode sensors structure, that is, the unclosed electrode sensors are designed to satisfy the specific test of frozen soil. In this arrangement, several pairs of electrodes are arranged along the height of the vessel. A sudden decrease in the measured capacitance is observed when the freezing front advances past the electrodes.Therefore, according to the capacitance variation, the ice movement can be reflected. In summary, electrical capacitance tomography has the advantages of being non-intrusive. With different electrode sensor arrangement, ice movement and ice freezing front can be obtained. The electrical capacitance sensor system can be applied to investigate the complicated phenomena in frozen soil.展开更多
基金Foundation item： Projects（60835005, 90820302） supported by the National Natural Science Foundation of China Project（2007CB311001） supported by the National Basic Research Program of China
文摘Globally exponential stability （which implies convergence and uniqueness） of their classical iterative algorithm is established using methods of heat equations and energy integral after embedding the discrete iteration into a continuous flow. The stability condition depends explicitly on smoothness of the image sequence, size of image domain, value of the regularization parameter, and finally discretization step. Specifically, as the discretization step approaches to zero, stability holds unconditionally. The analysis also clarifies relations among the iterative algorithm, the original variation formulation and the PDE system. The proper regularity of solution and natural images is briefly surveyed and discussed. Experimental results validate the theoretical claims both on convergence and exponential stability.
文摘The totally coded method (TCM) reveals the same objective law, which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm, it is more efficient because figure searching is no longer necessary. The code-series ( CS ), which are organized from node association table, have the holoinformation nature, so that both the content and the sign of each gain-term can be determined via the coded method.The principle of this method is obvious and it is suited for computer programming. The capability of the computeraided analysis for Switched Capacitor (SCN) can be enhanced.
文摘The QR Code is a 2 dimensional matrix code with high error correction capability. It employs RS codes to generate error correction codewords in encoding and recover errors and damages in decoding. This paper presents several QR Code’s virtues, analyzes RS decoding algorithm and gives a software flow chart of decoding the QR Code with RS decoding algorithm.
文摘The totally coded method (TCM) reveal the same law which governing the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm, it is more efficiency because any figure searching is no longer necessary. The code-series (CS), which are organized from node association table, have the holo-information nature, so that both the content and the sign of each gain-term can be determined via the coded method. The principle of this method is obvious and it is suited for computer programming. The capability of the computer-aided analysis for the active network, such as operation amplifier network, can be enhanced.
基金Supported by the National Natural Science Foundation of China(No.60903137,60970132)
文摘When workflow task needs several datasets from different locations m cloud, data transfer becomes a challenge. To avoid the unnecessary data transfer, a graphical-based data placement algo- rithm for cloud workflow is proposed. The algorithm uses affinity graph to group datasets while keeping a polynomial time complexity. By integrating the algorithm, the workflow engine can intelligently select locations in which the data will reside to avoid the unnecessary data transfer during the initial stage and runtime stage. Simulations show that the proposed algorithm can effectively reduce data transfer during the workflow＇ s execution.
基金supported by a grant of the Knowledge Innovation Program of the Chinese Academy of Sciences (grant no. KZCX1-SW-04)the National Natural Science Fund (grant no. 40501017).
文摘The permafrost with the highest altitude and largest area in the mid and low latitude is located in the Qinghad-Tibet Plateau. As most frozen soils contain ice particles which are very sensitive to temperature and other external parameters, thus influencing the stability of the embankment in permafrost regions, it is very important to develop techniques to prevent damages to railway embankments due to thaw settlement. In this paper, the electrical capacitance sensors are designed to study the freezing front movement in a vessel and ice movement in water, which is the first step to apply the ECT system to the study of frozen soil. Two sensor arrangements are put into use. First, the traditional closed electrode sensors are put into use. In this arrangement, the electrodes are attached to the outside of the pipe or vessel, and the cross-sectional distribution of ice and water could be reconstructed from the capacitances measured. Also, the ice moving track at the cross section could be reflected thoroughly.Since the traditional closed electrode sensors can not meet the needs of measuring the ice freezing front move- ment, a new electrode sensors structure, that is, the unclosed electrode sensors are designed to satisfy the specific test of frozen soil. In this arrangement, several pairs of electrodes are arranged along the height of the vessel. A sudden decrease in the measured capacitance is observed when the freezing front advances past the electrodes.Therefore, according to the capacitance variation, the ice movement can be reflected. In summary, electrical capacitance tomography has the advantages of being non-intrusive. With different electrode sensor arrangement, ice movement and ice freezing front can be obtained. The electrical capacitance sensor system can be applied to investigate the complicated phenomena in frozen soil.
