For the feature of complex weapon manufacturing on internet,a coupling model is proposed.By using the model,the correlation between manufacturing cells in an extended manufacturing organization can be evaluated quanti...For the feature of complex weapon manufacturing on internet,a coupling model is proposed.By using the model,the correlation between manufacturing cells in an extended manufacturing organization can be evaluated quantitatively,so an appropriate control plan is determined.A strategy to improve and reduce the coupling relationship of the organization is studied.A correlation matrix of extended tasks is built to analyze the relationship between sub-tasks and manufacturing resources.An optimization method for manufacturing resource configuration is presented based on the coupling model.Finally,a software system for analyzing coupling model about manufacturing organization on internet is developed,and the result shows that the coupling model is effective.展开更多
A method of optimizing the fault management system in power plants based on DD-RCM (resultchain based modeling for digital developing) and TPN (temporal Petri net) is proposed. First, the model of the fault manage...A method of optimizing the fault management system in power plants based on DD-RCM (resultchain based modeling for digital developing) and TPN (temporal Petri net) is proposed. First, the model of the fault management system was set using DD-RCM. Then, it was transformed to the temporal Petri net model by corresponding rules. Secondly, relationships among all the activities, such as choice, conflict, synchronization and concurrency, were confirmed according to the Petri net model and described employing the reengineering algorithm of incidence matrix. Thirdly, the Petri net model was reduced by combining reduction rules and conflict, synchronization relationships to optimize the fault management system in power plants. Finally, the functionality of the reduced net was proved by the temporal logic of the temporal Petri net.展开更多
This paper describes a broad perspective of the application of graph theory to establishment of GPS control networks whereby the GPS network is considered as a connected and directed graph with three components.In thi...This paper describes a broad perspective of the application of graph theory to establishment of GPS control networks whereby the GPS network is considered as a connected and directed graph with three components.In this algorithm the gross error detection is undertaken through loops of different spanning trees using the "Loop Law" in which the individual components Δ X, Δ Y and Δ Z sum up to zero.If the sum of the respective vector components ∑X,∑Y and ∑Z in a loop is not zero and if the error is beyond the tolerable limit (ε>w),it indicates the existence of gross errors in one of the baselines in the loop and therefore the baseline must be removed or re_observed.After successful screening of errors by graph theory,network adjustment can be carried out.In this paper,the GPS data from the control network established as reference system for the HP Dam at Baishan county in Liaoning province is presented to illustrate the algorithm.展开更多
The key of the subspace-based Direction Of Arrival (DOA) estimation lies in the estimation of signal subspace with high quality. In the case of uncorrelated signals while the signals are temporally correlated, a novel...The key of the subspace-based Direction Of Arrival (DOA) estimation lies in the estimation of signal subspace with high quality. In the case of uncorrelated signals while the signals are temporally correlated, a novel approach for the estimation of DOA in unknown correlated noise fields is proposed in this paper. The approach is based on the biorthogonality between a matrix and its Moore-Penrose pseudo inverse, and made no assumption on the spatial covariance matrix of the noise. The approach exploits the structural information of a set of spatio-temporal correlation matrices, and it can give a robust and precise estimation of signal subspace, so a precise estimation of DOA is obtained. Its performances are confirmed by computer simulation results.展开更多
Direction is a common spatial concept that is used in our daily life. It is frequently used as a selection condition in spatial queries. As a result, it is important for spatial databases to provide a mechanism for mo...Direction is a common spatial concept that is used in our daily life. It is frequently used as a selection condition in spatial queries. As a result, it is important for spatial databases to provide a mechanism for modeling and processing direction queries and reasoning. Depending on the direction relation matrix, an inverted direction relation matrix and the concept of direction pre- dominance are proposed to improve the detection of direction relation between objects. Direction predicates of spatial systems are also extended. These techniques can improve the veracity of direction queries and reasoning. Experiments show excellent efficiency and performance in view of direction queries.展开更多
The p-norm joint spectral radius is defined by a bounded collection of square matrices with complex entries and of the same size. In the present paper the author investigates the p-norm joint spectral radius for integ...The p-norm joint spectral radius is defined by a bounded collection of square matrices with complex entries and of the same size. In the present paper the author investigates the p-norm joint spectral radius for integers. The method introduced in this paper yields some basic formulas for these spectral radii. The approach used in this paper provides a simple proof of Berger-Wang' s relation concerning the ∞-norm joint spectral radius.展开更多
Unique correct correspondence cannot be obtained only by use of gray correlation technique, which describes gray similar degree of feature points between the left and right images too unilaterally. The gray correlatio...Unique correct correspondence cannot be obtained only by use of gray correlation technique, which describes gray similar degree of feature points between the left and right images too unilaterally. The gray correlation technique is adopted to extract gray correlation peaks as a coarse matching set called multi-peak set. The disparity gradient limited constraint is utilized to optimize the multi-peak set. Unique match will be obtained by calculating the correlation of hybrid matrices consisting of reference differences and disparities from the multi-peak set. Two of the known corresponding points in the left and right images, respectively, are set as a pair of reference points to determine search direction and search scope at first. After the unique correspondence is obtained by calculating the correlation of the hybrid matrices from the multi-peak set, the obtained match is regarded as a new reference point till all feature points in the left (or right) image have been processed. Experimental results proved that the proposed algorithm was feasible and accurate.展开更多
An n × n real matrix A is called doubly nounegative, if A is entrywise nonnegative and semidefmite positive as well. A is called completely positive if A can be factored as A=BBt,where B is some nonnegative n ...An n × n real matrix A is called doubly nounegative, if A is entrywise nonnegative and semidefmite positive as well. A is called completely positive if A can be factored as A=BBt,where B is some nonnegative n × m matrix. The smallest such number m is called the factorization index (or CP-rank) of A. This paper presents a criteria for a doubly nonnegative matrix realization of a cycle to be completely positive, which is strightforward and effective.展开更多
A brief introduction is given to the topic of Smith normal forms of incidence matrices. A general discussion of techniques is illustrated by some classical examples. Some recent advances are described and the limits o...A brief introduction is given to the topic of Smith normal forms of incidence matrices. A general discussion of techniques is illustrated by some classical examples. Some recent advances are described and the limits of our current understanding are indicated.展开更多
The interval numbers are used to types and observation of sensors, a new fusion represent the characteristic values of object method for multi-sensor object recognition is proposed from the viewpoint of decision makin...The interval numbers are used to types and observation of sensors, a new fusion represent the characteristic values of object method for multi-sensor object recognition is proposed from the viewpoint of decision making theory. The method defines the distance matrix and grey association matrix between all object types and unknown object. After solving the optimization problem of maximizing the standard deviations for all attributes, the weights of the attributes are obtained. Thus, the result of recognition for the unknown object is given by the grey association degree. This method avoids the subjectivity of selecting attributes weights. It is straightforward and can be performed on computer easily. The simulated example demonstrates the feasibility and effectiveness of the proposed method.展开更多
In a recent work of Ayaka Shimizu, she studied an operation named region crossing change on link diagrams, which was proposed by Kishimoto, and showed that a region crossing change is an unknotting operation for knot ...In a recent work of Ayaka Shimizu, she studied an operation named region crossing change on link diagrams, which was proposed by Kishimoto, and showed that a region crossing change is an unknotting operation for knot diagrams. In this paper, we prove that the region crossing change on a 2-component link diagram is an unknotting operation if and only if the linking number of the diagram is even. Besides, we define an incidence matrix of a link diagram via its signed planar graph and its dual graph. By studying the relation between region crossing change and incidence matrix, we prove that a signed planar graph represents an n-component link diagram if and only if the rank of the associated incidence matrix equals c n + 1, where c denotes the size of the graph.展开更多
基金Supported by the National Defense Industrial Technology Development Program of China~~
文摘For the feature of complex weapon manufacturing on internet,a coupling model is proposed.By using the model,the correlation between manufacturing cells in an extended manufacturing organization can be evaluated quantitatively,so an appropriate control plan is determined.A strategy to improve and reduce the coupling relationship of the organization is studied.A correlation matrix of extended tasks is built to analyze the relationship between sub-tasks and manufacturing resources.An optimization method for manufacturing resource configuration is presented based on the coupling model.Finally,a software system for analyzing coupling model about manufacturing organization on internet is developed,and the result shows that the coupling model is effective.
文摘A method of optimizing the fault management system in power plants based on DD-RCM (resultchain based modeling for digital developing) and TPN (temporal Petri net) is proposed. First, the model of the fault management system was set using DD-RCM. Then, it was transformed to the temporal Petri net model by corresponding rules. Secondly, relationships among all the activities, such as choice, conflict, synchronization and concurrency, were confirmed according to the Petri net model and described employing the reengineering algorithm of incidence matrix. Thirdly, the Petri net model was reduced by combining reduction rules and conflict, synchronization relationships to optimize the fault management system in power plants. Finally, the functionality of the reduced net was proved by the temporal logic of the temporal Petri net.
文摘This paper describes a broad perspective of the application of graph theory to establishment of GPS control networks whereby the GPS network is considered as a connected and directed graph with three components.In this algorithm the gross error detection is undertaken through loops of different spanning trees using the "Loop Law" in which the individual components Δ X, Δ Y and Δ Z sum up to zero.If the sum of the respective vector components ∑X,∑Y and ∑Z in a loop is not zero and if the error is beyond the tolerable limit (ε>w),it indicates the existence of gross errors in one of the baselines in the loop and therefore the baseline must be removed or re_observed.After successful screening of errors by graph theory,network adjustment can be carried out.In this paper,the GPS data from the control network established as reference system for the HP Dam at Baishan county in Liaoning province is presented to illustrate the algorithm.
基金Supported by the National Natural Science Foundation of China(No.60372049)
文摘The key of the subspace-based Direction Of Arrival (DOA) estimation lies in the estimation of signal subspace with high quality. In the case of uncorrelated signals while the signals are temporally correlated, a novel approach for the estimation of DOA in unknown correlated noise fields is proposed in this paper. The approach is based on the biorthogonality between a matrix and its Moore-Penrose pseudo inverse, and made no assumption on the spatial covariance matrix of the noise. The approach exploits the structural information of a set of spatio-temporal correlation matrices, and it can give a robust and precise estimation of signal subspace, so a precise estimation of DOA is obtained. Its performances are confirmed by computer simulation results.
文摘Direction is a common spatial concept that is used in our daily life. It is frequently used as a selection condition in spatial queries. As a result, it is important for spatial databases to provide a mechanism for modeling and processing direction queries and reasoning. Depending on the direction relation matrix, an inverted direction relation matrix and the concept of direction pre- dominance are proposed to improve the detection of direction relation between objects. Direction predicates of spatial systems are also extended. These techniques can improve the veracity of direction queries and reasoning. Experiments show excellent efficiency and performance in view of direction queries.
文摘The p-norm joint spectral radius is defined by a bounded collection of square matrices with complex entries and of the same size. In the present paper the author investigates the p-norm joint spectral radius for integers. The method introduced in this paper yields some basic formulas for these spectral radii. The approach used in this paper provides a simple proof of Berger-Wang' s relation concerning the ∞-norm joint spectral radius.
文摘Unique correct correspondence cannot be obtained only by use of gray correlation technique, which describes gray similar degree of feature points between the left and right images too unilaterally. The gray correlation technique is adopted to extract gray correlation peaks as a coarse matching set called multi-peak set. The disparity gradient limited constraint is utilized to optimize the multi-peak set. Unique match will be obtained by calculating the correlation of hybrid matrices consisting of reference differences and disparities from the multi-peak set. Two of the known corresponding points in the left and right images, respectively, are set as a pair of reference points to determine search direction and search scope at first. After the unique correspondence is obtained by calculating the correlation of the hybrid matrices from the multi-peak set, the obtained match is regarded as a new reference point till all feature points in the left (or right) image have been processed. Experimental results proved that the proposed algorithm was feasible and accurate.
基金Supported by Anhui Edncation Committee(LJ990007)
文摘An n × n real matrix A is called doubly nounegative, if A is entrywise nonnegative and semidefmite positive as well. A is called completely positive if A can be factored as A=BBt,where B is some nonnegative n × m matrix. The smallest such number m is called the factorization index (or CP-rank) of A. This paper presents a criteria for a doubly nonnegative matrix realization of a cycle to be completely positive, which is strightforward and effective.
基金supported by the Simons Foundation(Grant No.#204181)
文摘A brief introduction is given to the topic of Smith normal forms of incidence matrices. A general discussion of techniques is illustrated by some classical examples. Some recent advances are described and the limits of our current understanding are indicated.
基金This project is supported by National Natural Science Foundation of China (10626029) Jiangxi Province Natural Science Foundation of China (0611082) Science and Technology Project of Jiangxi province educational department in China (GJJ08350)
文摘The interval numbers are used to types and observation of sensors, a new fusion represent the characteristic values of object method for multi-sensor object recognition is proposed from the viewpoint of decision making theory. The method defines the distance matrix and grey association matrix between all object types and unknown object. After solving the optimization problem of maximizing the standard deviations for all attributes, the weights of the attributes are obtained. Thus, the result of recognition for the unknown object is given by the grey association degree. This method avoids the subjectivity of selecting attributes weights. It is straightforward and can be performed on computer easily. The simulated example demonstrates the feasibility and effectiveness of the proposed method.
基金supported by National Natural Science Foundation of China (Grant No.11171025)
文摘In a recent work of Ayaka Shimizu, she studied an operation named region crossing change on link diagrams, which was proposed by Kishimoto, and showed that a region crossing change is an unknotting operation for knot diagrams. In this paper, we prove that the region crossing change on a 2-component link diagram is an unknotting operation if and only if the linking number of the diagram is even. Besides, we define an incidence matrix of a link diagram via its signed planar graph and its dual graph. By studying the relation between region crossing change and incidence matrix, we prove that a signed planar graph represents an n-component link diagram if and only if the rank of the associated incidence matrix equals c n + 1, where c denotes the size of the graph.