搜索结果: 1-5 共查到“系统工程方法论 GEOMETRY”相关记录5条 . 查询时间(0.078 秒)
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 ...
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...
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...