搜索结果: 1-7 共查到“信息科学与系统科学 Geometry”相关记录7条 . 查询时间(0.016 秒)
SCAN-TO-BIM vs 3D IDEAL MODEL HBIM: PARAMETRIC TOOLS TO STUDY DOMES GEOMETRY
Procedural Modeling HBIM Domes Parametric tools
2019/3/1
The contribution is part of an interdisciplinary research that aims to address the problems of knowledge, interpretation and documentation of vulnerable structures such as the brick Renaissance domes ...
CLUSTERING OF WALL GEOMETRY FROM UNSTRUCTURED POINT CLOUDS
Building Information Modeling Clustering Wall Building Point Clouds
2019/3/1
The automated reconstruction of Building Information Modeling (BIM) objects from point cloud data is still ongoing research. A key aspect is retrieving the proper observations for each object. After s...
A method for mechanical geometry theorem proving is presented. By using this method, if the ascending chains derived via Wu-Ritt's well ordering algorithm satisfy a condition, all the irreducible char...
SOME NEW CONSTRUCTIONS OF CARTESIAN AUTHENTICATION CODES FROM SYMPLECTIC GEOMETRY
Cartesian authentication code construct
2007/8/7
Two new constructions of Cartesian authentication codes from symplectic geometry are presented and their size parameters are computed.
AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves
Mechanical theorem proving metric differ
2007/8/7
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving for differential geometry. ...
A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS Ⅳ.SOME THEOREMS IN PLANAR KINEMATICS
Mathematics mechanization Mechanical th
2007/8/7
Let a moving plane MP over a fixed plane FP occupy four different positions. Eachpair of such positions is associated with a center of rotation called pole so that we have a 6-pole configuration. As a...
This is the third paper of the series entitled “A mechanization method of geometryand its applications”, cf.[WU3—5]. In the present paper it is shown how inequalities can be proved by means of the aut...