The local cause bisimulation is the behavior equivalence between processes enriched with local cause information. This paper proposes a full abstraction between observation theories of the local cause CCS and π-calcu...
详细信息
Combined with the deformation between the slider and slide of linear rolling guide (LRG), the analytical model of static stiffness can be put forward. By the ANSYS, the deformation can be gained, which come from the s...
详细信息
With the growing trend of software systems in enterprises, normal approaches for software development could not satisfy these systems expectations. Service oriented architecture is proposed as a solution to this probl...
详细信息
The distribution of coal seams and coal quality of the coal face is depicted using the coal seam samples from airway, converyer roadway and working face. Then the coal property data of the mined area and the related g...
详细信息
In this paper, the main answer extraction methods applied in automatic question-answer systems are introduced briefly. Then, an answer generating method based on focus information extraction is proposed. In the method...
详细信息
In view of the limitations of traditional uncorrelated Linear Discriminant Analysis (uLDA) of failure with singular within-scatter matrix and computationally expensive in solving the optimal discriminant vectors for a...
详细信息
In order to improve robotic harvesting for strawberry and reduce production cost, the harvesting robot system was designed for table-top culture, which was able to harvest fruits on both sides of itself, and it was su...
详细信息
In this work we propose a new method for detecting the moving objects using pixel-level change by coupling the belief propagation(BP) method in the 3D MRF(Markov Random Field) model and Clausius Entropy model. The BP ...
详细信息
Registration is an important problem and a fundamental task in image processing. Recently, quantum-inspired evolutionary algorithms(QEA) have been proposed and applied to many optimization problems. However, few peopl...
详细信息
3d-geological modeling is a means of improving data interpretation through visualization, as well as a way to generate support for numerical simulations of complex phenomena. Reconstructing horizons from scattered poi...
详细信息
暂无评论