几何化

Linear Algebra is mainly a subject which studies the linear structure of finite dimensional linear space and its linear transformation while linear concept is in itself from the old Euclid Geometry. The concept of "Linear Space" is a kind of algebraic abstract. In many fields of modern engineering project and technology, because of the influence of computer and graph showing, the algebraic disposal of geometric questions, the visual disposal of algebraic questions, algebra and geometry are tightly combined.

线性代数主要是研究有限维线性空间及其线性变换这一代数结构的学科，而线性概念究其根源则是来自古老的Euclid几何，线性空间概念是几何空间的一种代数抽象，在现代工程技术的许多领域里，由于计算机及图形显示的强大威力，几何问题的代数化处理，代数问题的可视化处理，把代数与几何更加紧密地结合在一起。

Moreover, if the optimization problem has certain special feature, the simpler relaxation methods can be provided. For example, considering a generalized geometric programming problem, relevant relaxation linear programming can be obtained using its special structure. Based on the branch and bound method, a linear relaxation algorithm of global optimization is presented for generalized geometric programming, and the convergence of the algorithm is also proven.

此外，当优化问题具有某种特殊性质时，我们能给出更加简便的松弛化方法，如考虑广义几何规划问题，能充分利用其特殊结构，建立了广义几何规划问题的松弛线性规划问题；在分枝定界技术的基础上，提出了一个求广义几何规划全局解的线性松弛算法；证明了算法的收敛性。

This paper presents an IFMC CAD model that consits of a geometry model and a material model, in which the geometry space acts as a base space and the material space acts as a bundle space. In this CAD model, the geometry model is based on the non-manifold model. In addition, a half-face data sturucture, which is derived from the half-edge data structure with the non-manifold feature of IFMC taken into account, is adopted to represent the geometry and topology information of the component. For the material model of IFMC, this paper focuses on the FGM component representation firstly and present a simplex-subdivision based CAD data exchange format, in which the material information is represented as a (n-1) simplex and material distributing feature is represented by the interpolation on the simplex-subdivision. Based on those, a part-building orientation optimization algorithm and an adaptive slicing algorithm for FGM component are presented in the paper. For the IFMC material model, the IFMC material information representation is divided into a meso-scale and a macro-scale representation. In the meso-scale, a concept named parameterized periodic functional meso-structure is presented as a unique form to represent the FGM (the homogeneous materials are regarded as a special FGM), the composite and the functional meso-structure material. The model of PMS is a three-tuple that contains the space state informatation, the material parameter and the material meso-scale distribution feature. The macro-scale material information representation is similar to the FGM components by interpolation of the control parameter of the periodical functional meso-structure based on the simplex-subdivision. Through an example of manufacturing-oriented IFMC CAD data processing, it is proved that the IFMC CAD model and the material information representation and process method proposed in this paper can provide a reliable data support for IFMC digital concurrent design and manufacturing.

本文将理想材料零件CAD模型建立在以几何空间为底空间、以材料空间为丛空间的结构上，使用非流形几何模型作为理想材料零件几何拓扑模型的基础，并在半边数据结构基础上，针对理想材料零件的非流形特征局限内部边界上的特点，给出了一个半面数据结构来表述零件的几何拓扑信息；对于理想材料零件的材料模型，本文先从功能梯度材料零件的信息表述与CAD数据交换和处理入手，将材料信息表述为（n-1）维单纯形，然后通过对三维几何区域的单纯剖分，以插值的方式表述零件材料分布特征；在此基础上，根据功能梯度材料零件分层制造中对CAD数据处理的要求，给出了综合考虑零件几何特征与材料特征的生长方向优化算法和自适应切片算法；而对于文中所定义的理想材料零件，本文将其材料信息表述分解到细观和宏观两个尺度进行，首先给出了细观尺度上参数化的周期性功能细结构概念，以此来统一表述功能梯度材料（单质材料作为特殊的功能梯度材料看待）、复合材料和功能细结构材料；把周期性功能细结构模型化为一个包含空间状态信息、材料构成参数和材料细观分布特征参数的三元组，以表达零件的细观材料特征；对于零件宏观的材料变化特征，则同样在几何区域单纯剖分的基础上，通过对细观尺度上周期性功能细结构控制参数的插值来完成；通过理想材料零件CAD数据处理的算例，验证了本文中理想材料零件CAD模型及材料信息表述与处理方法完全可以为理想材料零件的数字化制造提供可靠的数据支持。

This paper presents an IFMC CAD model that consits of a geometry model and a material model, in which the geometry space acts as a base space and the material space acts as a bundle space. In this CAD model, the geometry model is based on the non-manifold model. In addition, a half-face data sturucture, which is derived from the half-edge data structure with the non-manifold feature of IFMC taken into account, is adopted to represent the geometry and topology information of the component.For the material model of IFMC, this paper focuses on the FGM component representation firstly and present a simplex-subdivision based CAD data exchange format, in which the material information is represented as a (n-1) simplex and material .distributing feature is represented by the interpolation on the simplex-subdivision. Based on those, a part-building orientation optimization algorithm and an adaptive slicing algorithm for FGM component are presented in the paper.For the IFMC material model, the IFMC material information representation is divided into a meso-scale and a macro-scale representation. In the meso-scale, a concept named parameterized periodic functional meso-structure is presented as a unique form to represent the FGM (the homogeneous materials are regarded as a special FGM), the composite and the functional meso-structure material. The model of PMS is a three-tuple that contains the space stateinformatation, the material parameter and the material meso-scale distribution feature. The macro-scale material information representation is similar to the FGM components by interpolation of the control parameter of the periodical functional meso-structure based on the simplex-subdivision.Through an example of manufacturing-oriented IFMC CAD data processing, it is proved that the IFMC CAD model and the material information representation and process method proposed in this paper can provide a reliable data support for IFMC digital concurrent design and manufacturing.

本文将理想材料零件CAD模型建立在以几何空间为底空间、以材料空间为丛空间的结构上，使用非流形几何模型作为理想材料零件几何拓扑模型的基础，并在半边数据结构基础上，针对理想材料零件的非流形特征局限内部边界上的特点，给出了一个半面数据结构来表述零件的几何拓扑信息；对于理想材料零件的材料模型，本文先从功能梯度材料零件的信息表述与CAD数据交换和处理入手，将材料信息表述为(n-1)维单纯形，然后通过对三维几何区域的单纯剖分，以插值的方式表述零件材料分布特征；在此基础上，根据功能梯度材料零件分层制造中对CAD数据处理的要求，给出了综合考虑零件几何特征与材料特征的生长方向优化算法和自适应切片算法；而对于文中所定义的理想材料零件，本文将其材料信息表述分解到细观和宏观两个尺度进行，首先给出了细观尺度上参数化的周期性功能细结构概念，以此来统一表述功能梯度材料(单质材料作为特殊的功能梯度材料看待)、复合材料和功能细结构材料；把周期性功能细结构模型化为一个包含空间状态信息、材料构成参数和材料细观分布特征参数的三元组，以表达零件的细观材料特征；对于零件宏观的材料变化特征，则同样在几何区域单纯剖分的基础上，通过对细观尺度上周期性功能细结构控制参数的插值来完成；通过理想材料零件CAD数据处理的算例，验证了本文中理想材料零件CAD模型及材料信息表述与处理方法完全可以为理想材料零件的数字化制造提供可靠的数据支持。

Automated geometric theorem proving, as a byproduct of the completion of geometric theorems, is further developed into automated quantitative description of geometric relations. The recovery of the geometric meaning of this quantitative description leads to a natural extension of the geometric theorem.

几何定理的机器证明作为几何定理完全化的副产品，被发展成几何定理的关系定量化，这种量化的几何还原就是几何定理的自然推广。

Although detail removal can be carried out in the process of filleting operation and its inverse operation, entities such as vertices, edges and faces with which the simplification operations handle directly lack engineering features, so that the simplification fails to satisfy all the needs of engineering applications.

通过"弧化-还原"，虽然可以实现几何形体的简化，但是这种几何简化是在点、线和面低层次的几何元素上进行的，几何简化的工程意义不明显，难以保证实际应用中的分析几何模型简化的有效性。

The procedure estimating the regularization parameter is the same as that the adaptive Marquardt algorithm used. The Frechet derivative is directly derived from the forward methods: SAM and FEM. With the theory of SAM and Zhang′s geometric factor, the relationship between the Frechet derivative and the geometric factor is established, at the same time, one useful corollary is given, i.

选取正则化因子时，沿用自适应的Marquardt算法中阻尼因子的选取计算方法；计算Frechet导数时，根据逐次逼近解法和张氏几何因子理论，推导出了Frechet导数与张氏几何因子的关系，得出了Frechet导数为张氏一阶积分几何因子的结论。

Part five discusses 3D model parametric representation, which includes 3D geometry parametrization and relative position relationship parametrization. In the former, the sweeping rules are further formalized, the concept of design parameters and modeling parameters is introduced. In the later, constraint transformation matrices of the position relationships between features are deduced, and the lost of model freedom resulted from the correspending constraint is analysed.

在特征几何参数化中，进一步规范化了特征几何的扫描生成规则，引入了设计参数和造型参数的概念，分析了造型参数向设计参数适时转化的必要性；在相对定位约束参数化中，推导了特征间一般位置约束关系的约束变换矩阵，拓宽了约束表示范围，并对约束的自由度亏损情况进行了分析。

The selected image salient features are used to compute geometric transformation parameter of watermarked images. After recovering the size and aspect of watermarked images, the watermark detector is synchronized with embedded watermark. Thus the watermark detector can detect the watermark.

利用提取的图像固有特征点估计水印化图像几何变换参数，恢复经几何变换的水印化图像，同步水印检测器与图像中嵌入的水印信号，使水印检测有效检测嵌入的水印信号。

Many geometric properties of spaces may be pointwise, pointwise geometric properties were the localization and meticulous of properties of spaces.

空间中许多几何性质可以点态化，点态几何性质是空间几何性质的局部化、精细化。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐