An essential step for the realization of free-form surface structures is to create an efficient structural gird that satisfies not only the architectural aesthetics,but also the structural performance.Employing the ma...An essential step for the realization of free-form surface structures is to create an efficient structural gird that satisfies not only the architectural aesthetics,but also the structural performance.Employing the main stress trajectories as the representation of force flows on a free-form surface,an automatic grid generation approach is proposed for the architectural design.The algorithm automatically plots the main stress trajectories on a 3D free-form surface,and adopts a modified advancing front meshing technique to generate the structural grid.Based on the proposed algorithm,an automatic grid generator named "St-Surmesh" is developed for the practical architectural design of free-form surface structure.The surface geometry of one of the Sun Valleys in Expo Axis for the Expo Shanghai 2010 is selected as a numerical example for validating the proposed approach.Comparative studies are performed to demonstrate how different structural grids affect the design of a free-form surface structure.展开更多
After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable ...After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning.展开更多
基金Project(51378457)supported by the National Natural Science Foundation of China
文摘An essential step for the realization of free-form surface structures is to create an efficient structural gird that satisfies not only the architectural aesthetics,but also the structural performance.Employing the main stress trajectories as the representation of force flows on a free-form surface,an automatic grid generation approach is proposed for the architectural design.The algorithm automatically plots the main stress trajectories on a 3D free-form surface,and adopts a modified advancing front meshing technique to generate the structural grid.Based on the proposed algorithm,an automatic grid generator named "St-Surmesh" is developed for the practical architectural design of free-form surface structure.The surface geometry of one of the Sun Valleys in Expo Axis for the Expo Shanghai 2010 is selected as a numerical example for validating the proposed approach.Comparative studies are performed to demonstrate how different structural grids affect the design of a free-form surface structure.
基金supported by the Funds of the Chinese Academy of Sciences for Key Topics in Innovation Engineering under Grant No.KJCX2-YW-S02
文摘After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning.
