With the continuous development of 3D LiDAR (Light Detection And Ranging) mapping algorithm and its application in various fields, size point cloud map becomes a bottleneck that limits from running for long time. In this paper, method based on scan-to-map variable resolution NDT (normal-distributions transform) registration is proposed. When updating global map, processing can reduce improve ac...

This paper presents a CNF SAT-formulae transformation technique employing Gröbner bases as a means to analyze the problem structure. Gröbnerbases have been applied in the past for SAT; however, their use was primarily restricted to analyzing entire problems for proof-refutation. In contrast, this technique analyzes limited subsets of problems, and uses the derived Gröbner bases to yield new con...

In this paper, a new method for estimating the linear regression coefficients approximation is presented based on Z-numbers. In this model, observations are real numbers, regression coefficients and dependent variables (y) have values ​​for Z-numbers. To estimate the coefficients of this model, we first convert the linear regression model based on Z-numbers into two fuzzy linear regression mode...

Congenital factor X deficiency is a rare autosomal recessive bleeding disorder that presents with variable bleeding tendency and prolonged coagulation tests, prothrombin time, and partial thromboplastin time. Thromboembolic events have not been reported in patients with factor X deficiency yet. Herein, we report a patient with factor X deficiency who had recurrent venous thromboembolic events.