In this paper,we introduce the real pairwise completely positive(RPCP)matrices with one of them is necessarily positive semidefinite while the other one is necessarily entrywise nonnegative,which has a real pairwise c...In this paper,we introduce the real pairwise completely positive(RPCP)matrices with one of them is necessarily positive semidefinite while the other one is necessarily entrywise nonnegative,which has a real pairwise completely positive(RPCP)decomposition.We study the properties of RPCP matrices and give some necessary and sufficient conditions for a matrix pair to be RPCP.First,we give an equivalent decomposition for the RPCP matrices,which is different from the RPCP-decomposition and show that the matrix pair(X,X)is RPCP if and only if X is completely positive.Besides,we also prove that the RPCP matrices checking problem is equivalent to the separable completion problem.A semidefinite algorithm is also proposed for detecting whether or not a matrix pair is RPCP.The asymptotic and finite convergence of the algorithm are also discussed.If it is RPCP,we can further give a RPCP-decomposition for it;if it is not,we can obtain a certificate for this.展开更多
The major objective of this work was to establish a structural state-space model to estimate the dynamic origin-destination(O-D) matrices for urban rail transit network, using in- and out-flows at each station from au...The major objective of this work was to establish a structural state-space model to estimate the dynamic origin-destination(O-D) matrices for urban rail transit network, using in- and out-flows at each station from automatic fare collection(AFC) system as the real time observed passenger flow counts. For lacking of measurable passenger flow information, the proposed model employs priori O-D matrices and travel time distribution from historical travel records in AFC system to establish the dynamic system equations. An arriving rate based on travel time distribution is defined to identify the dynamic interrelations between time-varying O-D flows and observed flows, which greatly decreases the computational complexity and improve the model's applicability for large-scale network. This methodology is tested in a real transit network from Beijing subway network in China through comparing the predicted matrices with the true matrices. Case study results indicate that the proposed model is effective and applicative for estimating dynamic O-D matrices for large-scale rail transit network.展开更多
The application of protograph low density parity check （LDPC） codes involves the encoding complexity problem. Since the generator matrices are dense, and if the positions of ＂1＂ s are irregularity, the encoder nee...The application of protograph low density parity check （LDPC） codes involves the encoding complexity problem. Since the generator matrices are dense, and if the positions of ＂1＂ s are irregularity, the encoder needs to store every ＂1＂ of the generator matrices by using huge chip area. In order to solve this problem, we need to design the protograph LDPC codes with circular generator matrices. A theorem concerning the circulating property of generator matrices of nonsingular protograph LDPC codes is proposed. The circulating property of generator matrix of nonsingular protograph LDPC codes can be obtained from the corresponding quasi-cyclic parity check matrix. This paper gives a scheme of constructing protograph LDPC codes with circulating generator matrices, and it reveals that the fast encoding algorithm of protograph LDPC codes has lower encoding complexity under the condition of the proposed theorem. Simulation results in ad- ditive white Gaussian noise （AWGN） channels show that the bit error rate （BER） performance of the designed codes based on the proposed theorem is much better than that of GB20600 LDPC codes and Tanner LDPC codes.展开更多
Using semi-tensor product of matrices, the controllability and stabilizability of finite automata are investigated. By expressing the states, inputs, and outputs in vector forms, the transition and output functions ar...Using semi-tensor product of matrices, the controllability and stabilizability of finite automata are investigated. By expressing the states, inputs, and outputs in vector forms, the transition and output functions are represented in matrix forms.Based on this algebraic description, a necessary and sufficient condition is proposed for checking whether a state is controllable to another one. By this condition, an algorithm is established to find all the control sequences of an arbitrary length. Moreover, the stabilizability of finite automata is considered, and a necessary and sufficient condition is presented to examine whether some states can be stabilized. Finally, the study of illustrative examples verifies the correctness of the presented results/algorithms.展开更多
The weighted arithmetical mean complex judgement matrix （WAMCJM） is the most common method for aggregating group opinions, but it has a shortcoming, namely the WAMCJM of the perfectly consistent judgement matrices g...The weighted arithmetical mean complex judgement matrix （WAMCJM） is the most common method for aggregating group opinions, but it has a shortcoming, namely the WAMCJM of the perfectly consistent judgement matrices given by experts canot guarantee its perfect consistency. An upper bound of the WAMCJM＇s consistency is presented. Simultaneously, a compatibility index of judging the aggregating extent of group opinions is also introduced. The WAMCJM is of acceptable consistency and is proved provided the compatibilities of all judgement matrices given by experts are smaller than the threshold value of acceptable consistency. These conclusions are important to group decision making.展开更多
A construction method based on the p-plane to design high-girth quasi-cyclic low-density parity-check （QC-LDPC） codes is proposed. Firstly the good points in every line of the p-plane can be ascertained through filt...A construction method based on the p-plane to design high-girth quasi-cyclic low-density parity-check （QC-LDPC） codes is proposed. Firstly the good points in every line of the p-plane can be ascertained through filtering the bad points, because the designed parity-check matrixes using these points have the short cycles in Tanner graph of codes. Then one of the best points from the residual good points of every line in the p-plane will be found, respectively. The optimal point is also singled out according to the bit error rate （BER） performance of the QC-LDPC codes at last. Explicit necessary and sufficient conditions for the QC-LDPC codes to have no short cycles are presented which are in favor of removing the bad points in the p-plane. Since preventing the short cycles also prevents the small stopping sets, the proposed construction method also leads to QC-LDPC codes with a higher stopping distance.展开更多
With development of web services technology, the number of existing services in the internet is growing day by day. In order to achieve automatic and accurate services classification which can be beneficial for servic...With development of web services technology, the number of existing services in the internet is growing day by day. In order to achieve automatic and accurate services classification which can be beneficial for service related tasks, a rough set theory based method for services classification was proposed. First, the services descriptions were preprocessed and represented as vectors. Elicited by the discernibility matrices based attribute reduction in rough set theory and taking into account the characteristic of decision table of services classification, a method based on continuous discernibility matrices was proposed for dimensionality reduction. And finally, services classification was processed automatically. Through the experiment, the proposed method for services classification achieves approving classification result in all five testing categories. The experiment result shows that the proposed method is accurate and could be used in practical web services classification.展开更多
The existing constructions of quasi-cyclic low-density parity-check （QC-LDPC） codes do not consider the problems of small stopping sets and small girth together in the Tanner graph, while their existences will lead ...The existing constructions of quasi-cyclic low-density parity-check （QC-LDPC） codes do not consider the problems of small stopping sets and small girth together in the Tanner graph, while their existences will lead to the bit error rate （BER） performance of QC-LDPC codes being much poorer than that of randomly constructed LDPC codes even decoding failure. To solve the problem, some theorems of the specific chosen parity-check matrix of QC-LDPC codes without small stopping sets and small girth are proposed. A novel construction for QC-LDPC codes with long block lengths is presented by multiplying mmin or the multiple of mmin, which is the minimum order of the identity matrix for the chosen parity-check matrix. The simulation results show that the specific chosen parity-check matrix of QC-LDPC codes can effectively avoid specified stopping sets and small girth and exhibit excellent BER performance than random LDPC codes with the same longer codes length.展开更多
The weak intercalated soils in redbed soft rocks of Badong formation have obvious creep characters. In order to predict the unsaturated creep behaviors of weak intercalated soils, an unsaturated creep model was establ...The weak intercalated soils in redbed soft rocks of Badong formation have obvious creep characters. In order to predict the unsaturated creep behaviors of weak intercalated soils, an unsaturated creep model was established based on the unsaturated creep tests of weak intercalated soils by using GDS triaxial apparatus. The results show that the creep behaviors of intercalated soils are apparent and significantly affected by matric suction. Based on this, an empirical Mesri creep model for intercalated soils under varying matric suctions was built. The fitting results show that the parameters Ed and m of this model are in good power relations with matric suction s and stress level Dr, respectively. An improved Mesri creep model was established involving stress-matric suction-strain-time, which is more precise than the Mesri creep model in predicting the unsaturated creep behaviors of weak intercalated soils.展开更多
The unsaturated undisturbed quaternary system middle pleistocene loess,a typical unsaturated soil,often occurs in the implementation of western development strategy.To obtain the shearing strength characteristics of t...The unsaturated undisturbed quaternary system middle pleistocene loess,a typical unsaturated soil,often occurs in the implementation of western development strategy.To obtain the shearing strength characteristics of this unsaturated undisturbed loess,based on the analysis of mineral composition,the triaxial shear test of undisturbed quaternary system middle pleistocene loess under different moisture contents is conducted with the specialized triaxial instrument for unsaturated soil.The test results show that the mainly mineral composition of undisturbed quaternary system middle pleistocene loess is quartz and albite.Under the same confining pressure,the matric suction increases with the decrease of moisture content.The smaller the moisture content,the larger the matric suction;the higher the moisture content,the lower the matric suction.Under the same moisture content,the matric suction increases with the confining pressure and reaches a maximum when the confining pressure is 100 kPa,and then decreases with the increase of confining pressure.This phenomenon is closely related to the grain contact tightness of soil mass under high confining pressure.According to the triaxial test of loess,the sample of loess experiences 4 stages from loading to failure:1) compaction stage;2) compression stage;3) microcrack developing stage;4) shear failure stage.The test sample is of brittle failure(weak softening)under low moisture content and confining pressure.With the decrease of matric suction and the increase of consolidated confining pressure,the stress-strain curve changes from softening type to ideal plastic type.In the shearing strength parameters of unsaturated undisturbed loess,the influence of moisture content on internal friction angle is small,but that on cohesive force is obvious.Therefore,the shearing strength of unsaturated undisturbed loess is higher than that of saturated undisturbed loess and varies with the moisture content.展开更多
文摘In this paper,we introduce the real pairwise completely positive(RPCP)matrices with one of them is necessarily positive semidefinite while the other one is necessarily entrywise nonnegative,which has a real pairwise completely positive(RPCP)decomposition.We study the properties of RPCP matrices and give some necessary and sufficient conditions for a matrix pair to be RPCP.First,we give an equivalent decomposition for the RPCP matrices,which is different from the RPCP-decomposition and show that the matrix pair(X,X)is RPCP if and only if X is completely positive.Besides,we also prove that the RPCP matrices checking problem is equivalent to the separable completion problem.A semidefinite algorithm is also proposed for detecting whether or not a matrix pair is RPCP.The asymptotic and finite convergence of the algorithm are also discussed.If it is RPCP,we can further give a RPCP-decomposition for it;if it is not,we can obtain a certificate for this.
基金Project(51478036)supported by the National Natural Science Foundation of ChinaProject(20120009110016)supported by Research Fund for Doctoral Program of Higher EducationChina
文摘The major objective of this work was to establish a structural state-space model to estimate the dynamic origin-destination(O-D) matrices for urban rail transit network, using in- and out-flows at each station from automatic fare collection(AFC) system as the real time observed passenger flow counts. For lacking of measurable passenger flow information, the proposed model employs priori O-D matrices and travel time distribution from historical travel records in AFC system to establish the dynamic system equations. An arriving rate based on travel time distribution is defined to identify the dynamic interrelations between time-varying O-D flows and observed flows, which greatly decreases the computational complexity and improve the model's applicability for large-scale network. This methodology is tested in a real transit network from Beijing subway network in China through comparing the predicted matrices with the true matrices. Case study results indicate that the proposed model is effective and applicative for estimating dynamic O-D matrices for large-scale rail transit network.
基金supported by Beijing Natural Science Foundation(4102050)the National Natural Science of Foundation of China(NSFC)-Korea Science and Engineering Foundation (KOSF) Joint Research Project of China and Korea (60811140343)
文摘The application of protograph low density parity check （LDPC） codes involves the encoding complexity problem. Since the generator matrices are dense, and if the positions of ＂1＂ s are irregularity, the encoder needs to store every ＂1＂ of the generator matrices by using huge chip area. In order to solve this problem, we need to design the protograph LDPC codes with circular generator matrices. A theorem concerning the circulating property of generator matrices of nonsingular protograph LDPC codes is proposed. The circulating property of generator matrix of nonsingular protograph LDPC codes can be obtained from the corresponding quasi-cyclic parity check matrix. This paper gives a scheme of constructing protograph LDPC codes with circulating generator matrices, and it reveals that the fast encoding algorithm of protograph LDPC codes has lower encoding complexity under the condition of the proposed theorem. Simulation results in ad- ditive white Gaussian noise （AWGN） channels show that the bit error rate （BER） performance of the designed codes based on the proposed theorem is much better than that of GB20600 LDPC codes and Tanner LDPC codes.
基金supported by the National Natural Science Foundation of China(1127105011371183+2 种基金61403036)the Science and Technology Development Foundation of CAEP(2013A04030202013B0403068)
基金supported by the National Natural Science Foundation of China(61174094)the Tianjin Natural Science Foundation of China(13JCYBJC1740014JCYBJC18700)
文摘Using semi-tensor product of matrices, the controllability and stabilizability of finite automata are investigated. By expressing the states, inputs, and outputs in vector forms, the transition and output functions are represented in matrix forms.Based on this algebraic description, a necessary and sufficient condition is proposed for checking whether a state is controllable to another one. By this condition, an algorithm is established to find all the control sequences of an arbitrary length. Moreover, the stabilizability of finite automata is considered, and a necessary and sufficient condition is presented to examine whether some states can be stabilized. Finally, the study of illustrative examples verifies the correctness of the presented results/algorithms.
基金the National Natural Science Foundation of China (705250047047103570121001).
文摘The weighted arithmetical mean complex judgement matrix （WAMCJM） is the most common method for aggregating group opinions, but it has a shortcoming, namely the WAMCJM of the perfectly consistent judgement matrices given by experts canot guarantee its perfect consistency. An upper bound of the WAMCJM＇s consistency is presented. Simultaneously, a compatibility index of judging the aggregating extent of group opinions is also introduced. The WAMCJM is of acceptable consistency and is proved provided the compatibilities of all judgement matrices given by experts are smaller than the threshold value of acceptable consistency. These conclusions are important to group decision making.
基金supported by the National Natural Science Foundation of China (60572093)Specialized Research Fund for the Doctoral Program of Higher Education (20050004016)
文摘A construction method based on the p-plane to design high-girth quasi-cyclic low-density parity-check （QC-LDPC） codes is proposed. Firstly the good points in every line of the p-plane can be ascertained through filtering the bad points, because the designed parity-check matrixes using these points have the short cycles in Tanner graph of codes. Then one of the best points from the residual good points of every line in the p-plane will be found, respectively. The optimal point is also singled out according to the bit error rate （BER） performance of the QC-LDPC codes at last. Explicit necessary and sufficient conditions for the QC-LDPC codes to have no short cycles are presented which are in favor of removing the bad points in the p-plane. Since preventing the short cycles also prevents the small stopping sets, the proposed construction method also leads to QC-LDPC codes with a higher stopping distance.
基金Projects(9140A0605,0409JB8102) supported by Weaponry Equipment Pre-Research Foundation of PLA Equipment Ministry of ChinaProject(2009JSJ11) supported by Pre-Research Foundation of PLA University of Science and Technology,China
文摘With development of web services technology, the number of existing services in the internet is growing day by day. In order to achieve automatic and accurate services classification which can be beneficial for service related tasks, a rough set theory based method for services classification was proposed. First, the services descriptions were preprocessed and represented as vectors. Elicited by the discernibility matrices based attribute reduction in rough set theory and taking into account the characteristic of decision table of services classification, a method based on continuous discernibility matrices was proposed for dimensionality reduction. And finally, services classification was processed automatically. Through the experiment, the proposed method for services classification achieves approving classification result in all five testing categories. The experiment result shows that the proposed method is accurate and could be used in practical web services classification.
基金supported by the National Natural Science Foundation of China (60572093)Specialized Research Fund for the Doctoral Program of Higher Education (20050004016)
文摘The existing constructions of quasi-cyclic low-density parity-check （QC-LDPC） codes do not consider the problems of small stopping sets and small girth together in the Tanner graph, while their existences will lead to the bit error rate （BER） performance of QC-LDPC codes being much poorer than that of randomly constructed LDPC codes even decoding failure. To solve the problem, some theorems of the specific chosen parity-check matrix of QC-LDPC codes without small stopping sets and small girth are proposed. A novel construction for QC-LDPC codes with long block lengths is presented by multiplying mmin or the multiple of mmin, which is the minimum order of the identity matrix for the chosen parity-check matrix. The simulation results show that the specific chosen parity-check matrix of QC-LDPC codes can effectively avoid specified stopping sets and small girth and exhibit excellent BER performance than random LDPC codes with the same longer codes length.
基金Project supported by Science&Technology Program of Hubei Traffic and Transport Office,ChinaProject(41272377)supported by the National Natural Science Foundation of China
文摘The weak intercalated soils in redbed soft rocks of Badong formation have obvious creep characters. In order to predict the unsaturated creep behaviors of weak intercalated soils, an unsaturated creep model was established based on the unsaturated creep tests of weak intercalated soils by using GDS triaxial apparatus. The results show that the creep behaviors of intercalated soils are apparent and significantly affected by matric suction. Based on this, an empirical Mesri creep model for intercalated soils under varying matric suctions was built. The fitting results show that the parameters Ed and m of this model are in good power relations with matric suction s and stress level Dr, respectively. An improved Mesri creep model was established involving stress-matric suction-strain-time, which is more precise than the Mesri creep model in predicting the unsaturated creep behaviors of weak intercalated soils.
基金Project(51108485)supported by the National Natural Science Foundation of ChinaProject(20110191120033)supported by the Specialized Research Fund for the Doctoral Program of Higher Education of China+1 种基金Projects(106112013CDJZR200001,CDJZR12200012)supported by the Fundamental Research Funds for the Central Universities,ChinaProject(cstc2013jcyjA30005)supported by the Natural Science Foundation of Chongqing,China
文摘The unsaturated undisturbed quaternary system middle pleistocene loess,a typical unsaturated soil,often occurs in the implementation of western development strategy.To obtain the shearing strength characteristics of this unsaturated undisturbed loess,based on the analysis of mineral composition,the triaxial shear test of undisturbed quaternary system middle pleistocene loess under different moisture contents is conducted with the specialized triaxial instrument for unsaturated soil.The test results show that the mainly mineral composition of undisturbed quaternary system middle pleistocene loess is quartz and albite.Under the same confining pressure,the matric suction increases with the decrease of moisture content.The smaller the moisture content,the larger the matric suction;the higher the moisture content,the lower the matric suction.Under the same moisture content,the matric suction increases with the confining pressure and reaches a maximum when the confining pressure is 100 kPa,and then decreases with the increase of confining pressure.This phenomenon is closely related to the grain contact tightness of soil mass under high confining pressure.According to the triaxial test of loess,the sample of loess experiences 4 stages from loading to failure:1) compaction stage;2) compression stage;3) microcrack developing stage;4) shear failure stage.The test sample is of brittle failure(weak softening)under low moisture content and confining pressure.With the decrease of matric suction and the increase of consolidated confining pressure,the stress-strain curve changes from softening type to ideal plastic type.In the shearing strength parameters of unsaturated undisturbed loess,the influence of moisture content on internal friction angle is small,but that on cohesive force is obvious.Therefore,the shearing strength of unsaturated undisturbed loess is higher than that of saturated undisturbed loess and varies with the moisture content.
