可证明的

First, we introduce and discuss the various methods of multivariate polynomial interpolation in the literature. Based on this study, we state multivariate Lagrange interpolation over again from algebraic geometry viewpoint:Given different interpolation nodes A1,A2 .....,An in the affine n-dimensional space Kn, and accordingly function values fi(i = 1,..., m), the question is how to find a polynomial p K[x1, x2,...,xn] satisfying the interpolation conditions:where X=(x1,X2,....,xn). Similarly with univariate problem, we have provedTheorem If the monomial ordering is given, a minimal ordering polynomial satisfying conditions (1) is uniquely exsisted.Such a polynomial can be computed by the Lagrange-Hermite interpolation algorithm introduced in chapter 2. Another statement for Lagrange interpolation problem is:Given monomials 1 ,2 ,.....,m from low degree to high one with respect to the ordering, some arbitrary values fi(i= 1,..., m), find a polynomial p, such thatIf there uniquely exists such an interpolation polynomial p{X, the interpolation problem is called properly posed.

文中首先对现有的多元多项式插值方法作了一个介绍和评述，在此基础上我们从代数几何观点重新讨论了多元Lagrange插值问题：给定n维仿射空间K~n中两两互异的点A_1，A_2，…，A_m，在结点A_i处给定函数值f_i(i=1，…，m)，构造多项式p∈K[X_1，X_2，…，X_n]，满足Lagrange插值条件：p=f_i，i=1，…，m (1)其中X=(X_1，X_2，…，X_n)，与一元情形相似地，本文证明了定理满足插值条件(1)的多项式存在，并且按"序"最低的多项式是唯一的，上述多项式可利用第二章介绍的Lagrange-Hermite插值算法求出，Lagrange插值另一种描述是：按序从低到高给定单项式ω_1，ω_2，…，ω_m，对任意给定的f_1，f_2，…，f_m，构造多项式p，满足插值条件：p=sum from i=1 to m=Ai=f_i，i=1，…，m (2)如果插值多项式p存在且唯一，则称插值问题适定。

We present a general method to construct blinding functions of discrete-logarithm-based (simply DL-based) blind signature schemes by analyzing the algebraic form of blinding function, thus solve the problem of blinding DL-based signature schemes completely.

从盲化函数的代数形式入手给出盲化函数的构造方法，完整地解决了基于离散对数数字签名的盲化问题，对可盲化的情况给出统一的最一般的盲化方案，对不可盲化的情况证明其不可盲化。

And while for subsequent ages down to our own day it continues to be theoretically true that the Church may, by the exercise of this ordinary teaching authority arrive at a final and infallible decision regarding doctrinal questions, it is true at the same time that in practice it may be impossible to prove conclusively that such unanimity as may exist has a strictly definitive value in any particular case, unless it has been embodied in a decree of an ecumenical council, or in the ex cathedra teaching of the pope, or, at least, in some definite formula such as the Athanasian Creed.

而以后的年龄下降到我们自己的天它继续成为理论上不错，教会可借行使这项普通的教学管理局达成最后和犯错的决定，关于理论问题，这是事实在同一时间，在实践中这也许是不可能的，以证明得出结论，这种一致的作为可能存在有一个严格明确的价值在特定情况下，除非它已体现在了一项法令，一个大公会议，或在特惠cathedra教学的教宗，或者，至少，在一些明确的公式，如阿他那修信经信条。

We are firmly convinced, and we act on that conviction, that with nations, as with individuals, our interests soundly calculated, will ever be found inseparable from our moral duties; and history bears witness to the fact, that a just nation is taken on its word, when recourse is had to armaments and wars to bridle others.

我们抱有一个坚定的信念，并以此作为行动的指南——国与国的关系如同人与人的交往一样，我们那些经过仔细推敲才确定的利益，从来都不能与我们的道义责任相分离；而且历史事实也证明，一个正义之邦一旦不得不借助武力和战争来制服他人，其言辞也就必定是可堪信任的。

NET technology structure dynamic webpage in realizing in system, is it use personnel can choose to analyze the function through interface conveniently to make, the analysis result trends show with the chart; And has fully utilized treatment technology of running side by side, has considered the loss which sets up the index and resource proportionally, make systematic efficiency be optimized. Pass the imperial examinations at the provincial level several systematic example of practical application in thesis, if customer state analysis, income analysis, conversation situation analysis, is it transfer to situation analysis, rival analyze etc. to breathe out, having proved the system through the actual inspection of market analysis personnel, the analysis conclusion drawn from it is accurate, can be believed, and because of is it with chart, it makes to be very clear to analyze person, can catch the focal point easily to mix, have convincingness even more as to policy-making level of enterprises. System produce high benefit relatively already at present, can is it grasp message, consumption situation of customer in real time to realize easily through it, turn from enterprise policymaker to network analysis monthly demand of conclusion into and require that analyses rivals situation every day, draw occupation rate of market key index can know system become market important basis source of decision already, so, the realization of this project has greater actual meaning.

NET技术构建动态网页，使应用人员能方便地通过界面选择分析功能，分析结果动态以图表显示；并充分利用了并行处理技术，对建立索引与资源的损耗均衡考虑，使系统效率得以优化。3、在论文中举了几个系统实际应用的例子，如客户状态分析、收益分析、通话情况分析、呼转情况分析、竞争对手分析等，证明系统经过了市场分析人员的实际检验，从中得出的分析结论准确、可信，并由于配以图表，使分析人员一目了然，可轻易抓住重点，对企业决策层而言则更具说服力。4、系统目前已产生了较高的效益，通过它能轻易实现实时掌握客户的信息、消费情况，从企业决策者对系统分析结论的月需求变为要求每日分析竞争对手情况，得出市场占有率等关键指标可知系统已成为市场决策的重要依据来源，因此，本项目的实现具有较大的实际意义。

On the other hand, Let M~n be an z-dimensional complete noncompactoriented submanifold with finite total curvature in an-dimensional simplyconnected space form F~ of constant curvature c. In this thesis, we provethat if M satisfies one of the following: n≥3, c=0 and integral from n=M H~n＜∞;n≥5, c=-1 and H＜1-2/n~(1/2); n≥3, c=1 and H is bounded, where Hdenotes the mean curvature of M. then the dimension of the space of L~2 harmonic1-forms on M is finite.

本文还证明：若具常曲率c的完备单连通空间型F~中具有有限全曲率的n维完备非紧可定向子流形M满足下面条件之一：n≥3，c=0且integral from n=M H~n＜∞；n≥5，c=-1且H＜1-2/n~(1/2；n≥3，c=1且H有界的，则M上L~2调和1-形式空间的维数是有限的，这里H为M的平均曲率。

Chaikin algorithm is the simplest discrete curve modeling method.In thepaper planar Chaikin algorithm is generalized into sphere,and the practicability ofthe algorithm as well as the continuous differentiable property of the generatingcurve is proved.It is shown that the curve generated by Chaikin algorithm is apiecewise spherical Bezier curve of second kind of order two.Furthermore,generalspherical corner-cutting algorithms are discussed,and it is pointed out that thecurve generated through corner-cutting has"Spherical Variation DiminishingProperty".3Curve interpolation method restricted on a smooth surface based ontransformation.

Chaikin算法是最简单的离散曲线造型方法，文中将Chaikin算法推广到球面，证明了算法的可行性和生成曲线的连续可微性，指出球面Chaikin算法得到的曲线是分段的二次第二类球面Bezier曲线，并给出了用球面Chaikin算法构造球面插值曲线的算法；进一步，文中讨论了一般的球面割角算法，指出由球面割角算法得到的曲线具有"球面变差缩减性质"。3基于变换的约束在光滑曲面上的曲线插值方法。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

Study on application and simulation of Kalman filter technology in SINS Because Kalman filter some merits, such as provided a fast and accurate method for SINS, adopting it to do initial alignment in this paper. The Kalman filter theory is introduced and the dynamic error vector equation of the initial alignment is derived at the first. Using velocity error as exterior value of observation, maneuverable characteristic that is influenced with system's observability and its degree is studied at length by do amount of simulations and experiences.

首先介绍了卡尔曼滤波理论及相关技术，建立了系统卡尔曼滤波的状态方程和观测方程；首先采用速度误差作为观测值，详尽的研究了系统机动特性对可观测性和可观测度的影响，并做了大量仿真实验：通过对滤波原理的分析研究了影响的原因；分别选用加速度计输出误差和转台输出姿态角误差作为外部观测值，推导建立它们的观测模型，并通过仿真证明了分析结论的正确性。

We provide a substitution box, exponential permutation which has much measurable security, and give a enumerating result and a fast algorithm of calculating such permutation. An almost perfect nonlinear exponential permutation with high algebric degree is proposed. with some discussion on how to select the parameters of such permutation. The experimental result shows us a conjecture that there exists no such permutation over even dimensional space. As a way of generating substitution boxes, we briefly point out the cryptographic weakness of the exponential functions derived from such permutation. We also present two new cryptographic indexes, fixed point and cyclic structure, on which we investigate the performance of such permutation. Finally, we give a viewpoint about the application of correlation immune functions in designing substitution boxes.

提供了一种可度量安全强度的代换盒－幂置换；详细阐述了幂置换的实现和计数问题；给出了一种计算幂置换的快速算法；从几乎完善非线性幂置换角度讨论了幂置换参数的选取，并提出了一种高次几乎完善非线性置换；通过试验给出了关于偶数维空间上几乎完善非线性幂置换的一个猜想；简要给出了由幂置换派生出的幂函数的密码局限性；针对幂置换，提出了两个密码安全指标：不动点和循环结构；证明了幂置换在这两个指标下的密码性能；简要讨论了相关免疫函数与代换盒设计的关系。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。