查询词典 based on

3D reconstruction is one of the most challenging problems in computer vision. This project uses CAD model to increase the accuracy,robustness and speed of 3D reconstruction and five different works are conducted: 1 research on space curve 3D reconstruction method based on high curvature point nad turning point; 2 free-form curve 3D reconstruction based on B-spline and BURBS; 3 Active surface affine reconstruction based on single frame; 4 Matching and reconstruction of 3D sparse points; Data fitting method based on the iteration of nearest point.

三维重建是计算机视觉中公认的难题，本项目使用CAD模型来提高三维重建的精度、稳健性和速度的思路，围绕着空间曲线和曲面的三维重建和匹配开展了以下五个方面的研究：1）基于高曲率点和拐点分割的空间曲线三维重建方法研究；2）基于B样条和NURBS表示的空间自由曲线三维重建方法研究；3）基于单帧图像的有源曲面仿射重建；4）三维离散数据的匹配与重建；5）基于迭代最近点的数据拟合方法。

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模型及材料信息表述与处理方法完全可以为理想材料零件的数字化制造提供可靠的数据支持。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Based on investigating the short and intermittent structural plane, surrounding rockmass of the huge underground powerhouse in Three Gorge has been divided into five statistical similar areas according to its characteristic of rockmass structure by applying structure plane network simulation. Distributed characteristic of structural plane has been studied and based on it mechanics macrocharacteristic has been studied:(1) It is the first time that based on the result of structural plane network simulation rockmass quality of every structure area has been studied with applying blurred information optimum seeking technique and be compared with and RQD method. The result indicated that it has better effect to evaluate rock quality with blurred information optimum seeking technique.(2) It is the first time that the interrelated relationship of the result of in-suit rockmass deformation test and fractal characteristic of structure on test point has been applied to determine rockmass deformation parameter. The question of evaluating deformation parameters of engineering rockmass has been solved.(3) Anisotropy strength parameters have been determined by applying shear zones simulating method. The result indicated that there are different strength parameters in every structural area, after comparing the result of Fast Lagranian Analysis in continua number simulation method with that of method of weighted mean according to continuity. The result indicated that when a suitable reduction coefficient is been considered rockmass strength parameters can be simply and fast determined with method of weighted mean according to continuity where there is not enough test result.(4) Damage characteristic has been studied based on analysis fractal characteristic of structural plane network by applying fractal-damage coupling method. It is the first time that the concept of damage degree has been set up to evaluate rockmass quality according to the biggest principal damage.

通过对短小、断续性结构面统计特征的研究，将地下厂房区划分为五个岩体结构统计均质区，应用结构面网络模拟技术研究了各个岩体结构均质区结构面的发育分布特征，并以此为基础对岩体宏观力学特性进行了深入研究：(1)首次通过在结构面网络模拟计算结果的基础上，应用模糊信息优化技术研究了厂房区各个岩体结构分区的岩体质量并与岩体基本质量指标研究法、岩体质量指标RQD值研究法作了对比，结果表明以结构面网络模拟结果为基础，应用模糊信息优化技术进行岩体质量评价能够取得很好的效果，解决了工程岩体质量的定量评价问题；(2)首次通过对已有的现场大型岩体变形试验结果的分析及相应试验点岩体结构分形特征的研究，建立了结构面分布的分形维数和岩体变形指标间的相关关系，并首次应用这种相关关系根据结构面网络模拟及分形维数计算结果确定了缺少试验结果的地下厂房各工程部位的岩体变形指标而且应用于围岩稳定性计算，解决了工程岩体宏观变形参数的评价问题；(3)应用在结构面模拟网络图上模拟岩体剪切破坏带的方法，得出了岩体在不同方向上的强度参数，结果表明岩体的强度特性与结构面的发育方向和程度有着明显的关系，各个岩体结构均质区具有不同的强度参数；同时还通过应用拉格朗日差分法对岩体强度指标的数值分析并与按连通率加权平均计算法对比表明，按连通率加权平均计算法在考虑合理的折减系数情况下，可以简单快速地对缺少现场大型试验结果的具体工程部位实现岩体强度指标的估计，通过以上研究解决了工程岩体抗剪强度参数的评价问题；(4)通过结构面网络分形维数的研究，应用分形损伤耦合分析方法，研究了厂房区岩体的损伤特征，并首次引入"损伤度"的概念，建立了应用最大主损伤评价岩体质量的指标体系。

On the design of algorithms, a novel exact hierarchical delay analysis method for general circuits is proposed; based on the sensitization theorem for sequential circuits, an exact minimizing clocking method is proposed; based on Boolean process, a waveform simulation method considering interconnecting delay for logic circuit and a parallel waveform simulation method are proposed; a new method that transforms bit-level waveform polynomial to word-level polynomial model is proposed; a multiple valued synthesis algorithm based on multiple valued Boolean process and a wire-centered delay synthesis policy are proposed, in which timing planning, floorplanning, wire planning and optimal clock skew in early design are considered; a two-layers channel routing method for minimizing crosstalk under grid mode is proposed; based on the transition numbers theorems for waveform polynomial, a new method for generation of test with noise effects is proposed.

算法设计方面，提出了一种精确的通用电路层次化延时分析方法；基于时序电路的敏化定理提出时序电路最小时钟周期精确确定方法；提出基于Boolean过程论的考虑互连延迟的逻辑电路波形模拟方法，在分析了波形模拟适合并行化基础上，进一步提出一种并行波形模拟算法；提出一种将位级电路波形多项式描述转化成字级多项式描述的新方法；提出一种基于多值Boolean过程的多值电路综合算法以及一种将前期设计定时规划、前期设计的布局规划和线网结构化方法及低偏移的时钟分配等技术相结合的面向互连延时的综合策略；提出一种串绕最小化的网格模式下的双层通道布线方法；从波形多项式描述跳变数的定理出发提出了一种考虑噪声效应的测试生成新方法。

Firstly, the paper, combining the characteristic of synchronous pulse bursts and inhibition with the modified PCNN model, presents a way of finding the foveation points in the images adaptively and effectively, and simulates the human vision system. Secondly, PCNN is extended to PCNNs, based on the properties of information couple and transmission, an algorithm that is used to fuse images of the same target got by several sensors to an image is presented to simulate the human vision system. Thirdly, combining the properties of synchronous pulse bursts, capture, and transmission and competition of waves, the paper presents two ways of classification, one is an algorithm based on the properties of neuron to capture and inhibit to classify the data taking on any complex unlinear distribution robustly, the other is based on the restricted distance and modified of the former to remove the influence of inferior samples in classification; Finally, based on the accumulative difference pictures, and the forming and transmission of PCNN wave, selecting and controlling the direction of autowave by connecting the neighbouring neurons selectively, the paper presents a way to simulate the tracks of moving object and detect the moving direction.

首先结合PCNN的同步脉冲发放和侧抑制特性，提出了基于改进型PCNN的图像凹点检测算法，该算法是一种自适应而有效的图像凹点检测方法，并且较好地仿真了人类视觉系统；然后，结合信息传递和信息耦合特性，将PCNN扩展成PCNNs，提出了一种基于PCNNs的图像融合算法，能够将多个传感器获取的同一目标的图像信息融合到一幅图像中，有效模拟了人类视觉系统；另外，结合PCNN的同步脉冲发放特性、捕获特性和波的传播竞争特性，开拓地将PCNN用于模式分类中，提出了基于耦合神经元点火捕获／抑制特性的分类方法和改进的约束距离下的PCNN分类方法，前者可实现对样本空间中任意复杂分布训练样本的稳健非线性分类，而后者能够消除训练样本中刺点对分类的影响；最后，结合累积差分图像思想、PCNN波的形成与传播特性，通过各神经元之间连接取向来选择与控制自动波的流向，将PCNN用于运动视觉分析中的运动轨迹模拟及运动方向检测。

First, based on the measurements of absorption cross-section, the absorption characters of the main polluted gases in flue gas were deeply studied, and found that SO_2、 NO、 NO_2、 NH_3 had a character of approximate periods absorption at some wave band, which is a good chance of a new measurement introduced. Secondly, the factors about absorption cross-section of the gases measured, which affect on the measurement precision of DOAS, is studied deeply. The influence of pressure and temperature on absorption cross-section was given special research, and the compensated measures were given to the gases based on the character of the gases. Thirdly, in practical measurement, it must have been satisfied that the monochromator was consisted with the reference spectrum, which was based on absorption cross-section. In order to satisfy the consistency, the technique of reversion in the image was introduced, the reversions of spectrums were realized with wiener filter and noise elimination based on wavelet transform.

首先从吸收截面的测量入手，对烟气中主要的污染气体SO_2、NO、NO_2、NH_3的吸收特性进行详细研究，发现这些气体在局部区域具有准周期吸收特征，这为引入新的测量方法提供了契机；其次，对决定DOAS测量精度的被测气体吸收截面的诸多问题进行了深入研究，重点研究了压力、温度对被测气体吸收截面的影响，并针对被测气体的特征提出了相应的修正措施；再次，在实际测量中，要求所使用的光谱仪必须与以吸收截面为基础的参考光谱相匹配，为了满足匹配这一条件，文中将图像复原技术引入到光谱复原，使用维纳滤波和小波消噪实现了光谱的复原，将复原后的光谱与所使用光谱仪的仪器函数卷积，即可实现；最后，在对DOAS测量原理详细分析的基础上，对传统的最小二乘—差分吸收光谱法进行了详细的阐述，通过实验证实两点：1。

Based on an analysis on the present situation and development of three kinds of signal systems (the point system based on interrogator responsor, the quasi moving block system based on digital track circuit and the moving block system based on wireless data transmission) in urban rail transit, some suggestions on the localization of signal system of urban rail transit are put forward.

在分析三种城市轨道交通信号系统制式(基于查询应答器的点式系统、基于数字轨道电路的准移动闭塞和基于无线数据传输的移动闭塞)的现状和发展基础上，对实现我国城市轨道交通信号系统国产化提出建议。

Based on the characteristics of parameterized design and key technologies of knowledge based engineering, and specially according to the characteristics of the construction, figure, assembly-parameter of bicycle frame design, the article has achieved repeated using of experiential parameter and knowledge by adopting methods such as automatic reading experiential datasheet, computing parameter by making use of program, manual data-input or modifying and so on. Based on analyzing the characteristics of Rear End design and the associated characteristics with Chain Stay and Seat Stay, different design methods are analyzed in detail, and rapidly assembling of Rear End, Chain Stay and Seat Stay is achieved by using the method of combining top-down-assembly with down-top-assembly method. Based on analyzing special technologies and UDF characteristics, the repeated using of different sectional shapes by using UDF technology on the tube section design is also achieved, and this will greatly shorten the time spent on fixing the dimensions and orientations on sketches.

在探讨了参数化设计技术特点和知识工程关键技术的基础上，针对自行车车架设计中的结构、形状、装配参数特点，分别采用了读入经验数据表、参数程序求解、手工录入或修改方法实现车架设计经验参数和知识的重复利用；在分析自行车后叉片设计特点及与平、立叉的关联特性的基础上，对不同的设计方案进行了详细分析，并采用自顶向下和自底向上相结合的方法，实现了后叉片的快速装配定位与平、立叉设计相关联；在分析了特征技术和UDF特点的基础上，将UDF用于管件截面的设计上，使各种截面形状能不断重复利用，大大节省了约束草图尺寸和位置的时间。

I'm strongly against the death penalty — it's an eye for an eye.

我不赞成死刑——这是以牙还牙的报复行为。

And to get you the support you need, we're enlisting all elements of our national power: our diplomacy and development, our economic might and our moral suasion, so that you and the rest of our military do not bear the burden of our security alone.

并给你们所须的支援，我们正徵召国家所有各种的力量：我们的外交及发展，我们的经济力量与道德劝说，所以你们与其他军人不须要孤独地负起国家安全的责任。