Other

This is a large Chinese commonsense knowledge base, which is translated from ConceptNet 5.6, with around 2 million triples and an accuracy of 89.6%.

The current maturity of autonomous underwater vehicles (AUVs) has made their deployment practical and cost-effective, such that many scientific, industrial and military applications now include AUV operations. However, the logistical difficulties and high costs of operating at-sea are still critical limiting factors in further technology development, the benchmarking of new techniques and the reproducibility of research results. To overcome this problem, we present a freely available dataset suitable to test control, navigation, sensor processing algorithms and others tasks.

This paper concerns static output feedback stabilization of polytopic discrete LTI systems. The previous related studies were mainly based on LMI approaches which are naturally conservative. In this paper, a novel design algorithm is presented that iteratively partitions a primary design space to subspaces. Then, by assessing stabilizability status of each generated subspace, the algorithm determines the total stabilizable parts and removes the undesired parts of the design space.

A high level of monitoring is necessary for the safety and product quality of the electrical fused magnesia furnace (EFMF). In this paper, a monitoring method based on latent subspace for EFMF is proposed to fully mine the effective information of multi-source heterogeneous data in the process. By minimizing the distance of different types of data in the subspace, the corresponding projection matrix is obtained. Then the data is projected into the obtained subspace to estimate whether fault occurs.In summary, the main contributions of this paper are threefold.