对偶的

In this paper, firstly, the embeddability of near-triangular graphs on the orientable surface is studied. By using Petersen's Theorem about 1-factor, we first prove that for a near-triangulation on the orientable surface, its geometry dual graph has a 1-factor; then after a procedure of operation leaded by the 1-factor, we show that if a graph G triangulates some orientable surface S_g, then G has a near-triangular embedding in S_h for h = g,g + 1,...,β(G/2」, where β is the Betti number of G. Hence we obtain a conclusion: A near-triangulation of the orientable surface is upper-embeddable. As a generalization, a class of near-quadrangulation is studied, and similar results are obtained.

本文首先研究了近三角剖分图的可定向曲面嵌入性质，通过运用Petersen关于1-因子的定理，首先证明了对于可定向曲面上的三角剖分图，其几何对偶图具有1-因子；然后在1-因子的导向下，通过做一系列增加亏格的手术，证明了如果一个图G三角剖分可定向曲面S_g，那么G可以近三角剖分可定向曲面S_h，这里h=g，g+1，…，「β(G／2」，β是指图G的Betti数，从而得出推论：可定向曲面上的三角剖分图是上可嵌入的，作为推广，又研究了一类近四角剖分图的可定向曲面嵌入性质，并得到类似的结论。

It investigates mainly the dualinvariant of λ- multiplier convergent series, the full invariant ofλ-multiplier convergent series, the λ- multiplier convergent series in spaceswith a basis, the compact sets in the infinite matrix topological algebras, thecharacteristics of have the same compact sets in different topologies,the weak sequentially completeness of , the characteristics ofSchur-matrices, the characteristics of p- uniform Toeplitz matrices and theEberlein-Smulian theorem in the locally convex spaces, etc.

主要研究了〓数乘收敛级数的对偶不变性，〓数乘收敛级数的全程不变性，有基空间中的〓数乘收敛级数，无穷矩阵拓扑代数〓中的紧集，〓在不同拓扑下具有相同紧集的刻划，〓的弱序列完备性，Schur—矩阵的刻划，p-一致Toeplitz矩阵的刻划以及局部凸空间上的Eberlein—Smulian定理等。

So is it not with me as with that Muse Stirr'd by a painted beauty to his verse, Who heaven itself for ornament doth use And every fair with his fair doth rehearse Making a couplement of proud compare, With sun and moon, with earth and sea's rich gems, With April's first-born flowers, and all things rare That heaven's air in this huge rondure hems.

二一 我的诗神①并不像那一位诗神只知运用脂粉涂抹他的诗句，连苍穹也要搬下来作妆饰品，罗列每个佳丽去赞他的佳丽，用种种浮夸的比喻作成对偶，把他比太阳、月亮、海陆的瑰宝，四月的鲜花，和这浩荡的宇宙蕴藏在它的怀里的一切奇妙。

So is it not with me as with that MuseStirr'd by a painted beauty to his verse,Who heaven itself for ornament doth useAnd every fair with his fair doth rehearseMaking a couplement of proud compare,With sun and moon, with earth and sea's rich gems,With April's first-born flowers, and all things rareThat heaven's air in this huge rondure hems.O' let me, true in love, but truly write,And then believe me, my love is as fairAs any mother's child, though not so brightAs those gold candles fix'd in heaven's air: Let them say more than like of hearsay well; I will not praise that purpose not to sell.

我的诗神①并不像那一位诗神只知运用脂粉涂抹他的诗句，连苍穹也要搬下来作妆饰品，罗列每个佳丽去赞他的佳丽，用种种浮夸的比喻作成对偶，把他比太阳、月亮、海陆的瑰宝，四月的鲜花，和这浩荡的宇宙蕴藏在它的怀里的一切奇妙。哦，让我既真心爱，就真心歌唱，而且，相信我，我的爱可以媲美任何母亲的儿子，虽然论明亮比不上挂在天空的金色烛台。谁喜欢空话，让他尽说个不穷；我志不在出售，自用不着祷颂。

ONNET 21 So is not with me as with that Muse, Stirr'd by a painted beauty to his verse, Who heaven itself for ornament doth use And every fair with his fair doth rehearse, Making a couplement of proud compare, With sun and moon, with earth and sea's rich gems. With April's first-born flowers, and all things rare That heaven's air in this huge rondure hems.

hakespaere 《十四行诗集》第21首我的诗神①并不像那一位持神只知运用脂粉涂抹他的诗句，连苍穹也要搬下来作妆饰品，罗列每个佳丽去称赞他的佳丽，用种种浮夸的比喻作成对偶，把他之太阳、月亮、海陆的瑰宝，四月的鲜花，和这浩荡的宇宙蕴藏在它的怀里的一切奇妙。

The model was preprocessed to assure the regulation of facets, create the dual graph of it, and then adapt Reeb Graph to extract the skeleton which contains enough information of the model, such as gesture and topological features, to be able to be used as descriptor of 3D model retrieval.

通过对模型进行一定的预处理保证面片的规则，定义面片间距离计算方法，创建模型的对偶图，识别连通分量，在连通分量上应用Reeb图的计算思想抽取原模型的骨架。试验表明，该算法具有较好的计算效果和效率，最终的骨架保存了模型的拓扑连通性以及姿态，可用于基于内容的三维模型检索时的特征描述符。

The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p-polynomials, as well as the permutation theory over finite field: The new definition of Chrestenson linear spectrum is given and the relation between the new Chrestenson linear spectrum and the Chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field; The distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field GF (2) and prime field F〓; The relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of Chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed; Using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized Bent functions over its prime field; The existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p-polynomials over finite field.

重新定义了有限域上逻辑函数的Chrestenson线性谱，考察了新定义的Chrestenson线性谱和原来的Chrestenson循环谱的关系，并利用一组对偶基给出了有限域上逻辑函数的反演公式；给出了有限域上随机变量联合分布的分解式，并利用随机变量联合分布的分解式对有限域上逻辑函数的密码性质进行了研究；给出了有限域上逻辑函数与相应素域上向量逻辑函数的关系，探讨了它们之间密码性质的联系，如平衡性，相关免疫性，扩散性，线性结构以及非线性度等；讨论了有限域上逻辑函数各类线性结构之间的关系，并给出了任意点都是线性结构的逻辑函数的全部构造，由此引出了有限域上的"泛仿射函数"的概念；考察了有限域上逻辑函数的退化性与线性结构的关系、退化性与Chrestenson谱支集的关系；给出了有限域逻辑函数非线性度的定义，利用有限域上逻辑函数的非线性度与相应素域上向量逻辑函数非线性度的关系，考察了有限域上逻辑函数的非线性度与线性结构的关系；利用有限域上逻辑函数与相应素域上向量逻辑函数的关系，揭示了有限域上的广义Bent函数与相应素域上的广义Bent函数的关系，以及有限域上的完全非线性函数与相应素域上向量广义Bent函数之间的关系；给出了任意有限域上任意n元完全非线性函数存在性与否的完整证明，并利用有限域上平衡的p-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

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 the existed theory of mareoids and fuzzy matroids, this thesis studies the closed regular fuzzy matroid and its fundamental sequence, the fuzzy base and its algorithm of closed fuzzy matroids, the fuzzy circuit and its algorithm of closed fuzzy matroids and so on. The main contributions of this thesis are as follows: 1 The necessary and sufficient condition of closed regular fuzzy matroid and a property of its fuzzy dual matroid are found by studying some properties of closed regular fuzzy matroid. 2 By studying some properties of fuzzt bases of closed fuzzy matroid, the necessary and sufficient condition of judging fuzzy bases of closed fuzzy matroids and some corollaries are found. In the end, an algorithm of obtaining a fuzzy base is given. 3 By studying some properties of fuzzt circuits of closed fuzzy matroid, some necessary and sufficient conditions of using its fundamental sequence to express fuzzy circuits are found. An algorithm of obtaining a fuzzy circuit is given. 4 By studying the fundamental sequence of closed regular fuzzy matroid, some necessary and sufficient conditions of fundamental sequence of closed regular fuzzy matroid are found.

本文在现有拟阵和模糊拟阵理论的基础上，研究了闭正规模糊拟阵及其基本序列，闭模糊拟阵的模糊基及算法、模糊圈及算法等内容，现分述如下： 1研究了闭正规模糊拟阵的一些性质，得到了闭正规模糊拟阵的充要条件及其模糊对偶拟阵的一个性质； 2研究了闭模糊拟阵模糊基的性质，找到了闭模糊拟阵模糊基的充要条件和几个推论，最后还给出了求模糊基的算法； 3研究了闭模糊拟阵模糊圈的性质，找到了用基本序列来表达模糊圈的几个充要条件，并给出了求模糊圈的算法； 4研究了闭正规模糊拟阵的基本序列，找到了闭正规模糊拟阵的基本序列的几个充要条件。

This thesis is divided into six parts. The first chapter is preface, the current status of research in the inverse problems for parabolic partial differential equations is reported; the second chapter is "regularization methods for numerical differentiation and their applications ", in this chapter we investigate many regularization methods from a viewpoint of regularization theory and algorithm, some applications in the inverse problems for parabolic partial differential equations are given; the third chapter is "spectral regularization methods". Based on Fourier analysis, within the framework of regularization theory, we apply the spectral methods to some ill-posed problems. Many numerical experiments are done in order to show the validity of the methods; the fourth chapter is devoted to wavelet dual least squares method and a revised wavelet method; in the fifth chapter,we combine finite difference method with method of lines and apply it to the backward heat conduction problem in time; in the sixth chapter "identification problems for unknown source ", the essence and the degree of two problems related to source identification are pointed out, at the same time, some numerical methods are reported.

本文分为六个部分，第一章前言简要分析了国内外抛物型偏微分方程反问题的研究现状；第二章数值微分的正则化及其应用从正则化理论和算法的角度出发，考察了许多正则化方法，还给出了数值微分在抛物型偏微分方程反问题的一些应用；第三章谱正则化方法是在Fourier分析的基础上，在一般正则化理论的框架下，给出了这种方法在各种不适定问题中的应用，数值实验表明谱方法是有效的；第四章研究了小波对偶最小二乘方法和改进的小波方法；第五章主要研究了有限差分方法结合线方法在时间反向热传导问题中的应用；第六章是未知源识别问题，主要指出了两类未知源问题的不适定程度和不适定本质，同时报告了一些数值方法。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。