函数代数

Algebraic curve is commonly used in CAGD. Traditional curve interpolation is in various forms of spline fuction. Although better result can be obtained by spline curve, the former two of elliptic, hyperbolic and parabolic shapes can not be represented by spline curve. An exploring research in this aspect is made in this thesis.

代数曲线是CAGD中经常用到的曲线，以往的曲线插值基本上是采用样条函数的形式，采用这种形式虽然能够获得很好的效果，但样条函数所能表达的形状都是抛物线型，对椭圆型与双曲线型曲线的表示是无能为力的。

Besides, through the method of concatenation, the upper bound of algebraic immunity and the form of the annihilators of any generalized boolean function were also determined.

此外，还通过级联函数的方法确定了任意广义布尔函数的代数免疫的上界和零化子的形式。

Chapter 1 gives a brief introduction to basic contents and methods of system identification and solutions of certain prob— lems met during the process of identificationIn chapter 2, the identification is accomplished by transforming the linear differential equation of a dynamic system into an algebraic form via block pulse functions .

第二章介绍采用正交函数BPF将含有未知参数的系统线性微分方程转化为代数向量方程求解，获取表征系统特性的传递函数或微分方程参数而达到辨识目的。

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.

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

An algebraic function field K with finite constant field is called a global functionfield.

具有有限常数域的代数函数域K被称为整体函数域。

Algebraic and analytic number theory. Zeta and L-functions.

代数数论与解析数论，黎曼－Zeta函数与L－函数

Differential equation; uniqueness theory; meromorphic function; algebroid function; unit disc

基础科学，数学，数学分析微分方程；唯—性理论；亚纯函数；代数体函数；单位圆

Some new basic concepts are proposed in this paper, including the approximation space of generalization, rough approximation axiom, disturbance set axiom, classification principle of rough set, principle of nondeterministic even set, principle classification, bit quantum symmetric classification, of concentration, game classification, quantum logic incomparable set, bit space set, protocol relation, rough set function of protocol relation, rough classification algebra, rough simple algebra, etc., and a guess is also proposed.

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。

Two construction methods for fewer views from limited range—ART and SART are studied, and simulated a physical fields views whose variation of deflection is equal to double-Gauss function, and then reconstructed it, and still analyzed the accuracy of the reconstruction methods.After study and analysis on the theory of ART and SART, and after analysis the properties resulted from their theory root cause, A modified simultaneous algebraic reconstruction method is presented, which is based on ART, this method takes into account both the pixel itself and the pixels close by it which are crossed by the same ray.

论文研究了两种有限投影方向的非轴对称场的CT重建算法——代数重建法和联合代数重建法，并用VC++程序模拟实现了折射率分布为双高斯函数的场的正向投影及重建过程，并对所用算法的重建精度进行了分析。

For formalized lattice implication algebra theoryT, it is proved thatTis preserved under submodels, unions of chains and homomorphisms;Tis neither complete nor model complete, and hence there exists no built-in Skolem function.

讨论有关格蕴涵代数结构的模型论性质，证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态，理论T不是完备的、也不是模型完备的，因而不存在内在Skolem函数。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。