查询词典 normal basis theorem

For some special cases, the paper gives some important identical theorems, and then establishes a valuable relation between the uniformly almost periodic functions and the trigonometric polynomials.Secondly, on the basis of the identical theorem, the paper investigates the Fourier series of the uniformly B2 almost periodic functions, and further proves that the series is unique.Thirdly, the paper discusses the Parseval equation of the uniformly B2 almost periodic functions, which establishes the relation between these functions and the coefficients of their Fourier series; and next investigates an important approximation theorem-Riesc-Fischer theorem, about the uniformly B2 almost periodic functions and the trigonometric polynomials.

并给出了特殊情况下的几个重要的恒同定理，将一致概周期函数与有限三角多项式联系起来；第二，在恒同定理的基础上，给出了一致B~2概周期函数的Fourier级数，并且级数是唯一的；第三，讨论了一致B~2概周期函数的Parseval方程，建立了函数与其Fourier级数的系数之间的联系；接着给出了关于一致B~2概周期函数和三角多项式之间的一个重要近似定理—Riesc-Fischer定理。

On the basis of the above references, this paper attempts to make use of cone compression and expansion fixed point theorem, Mnch fixed point theorem and fixed point index theorem to discuss a special kind of singular boundary value problem-Lidstone boundary value problem.

主要包括以下三个方面的内容：第一章考虑了Banach空间中2n阶奇异边值问题正解的存在性，其中f在t=0，1处具有奇异性这里θ表示Banach空间E中的(来源：faABC论文网www.abclunwen.com零元。

On the basis of these theories,Rolle mean value theorem,Lagrange mean value theorem and Cauchy mean value theorem are proved by constructing nested interval.

在此基础上通过构造区间套依次证明了罗尔中值定理、拉格朗日中值定理和柯西中值定理

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

Twenty-four hours after the last oral administration, the blood were obtained and used for testing adrenocorticotrophic hormone, cyclic adenosine monophosphate, cyclic guanosine monophosphate, glucose, cholesterol, alanine aminotransferase, urea nitrogen. Results Before taking medicine, model rats' cAMP/cGMP and ACTH were lower than normal rats', and they showed a trend of rise with adding dose. Before taking medicine, model rats' GLU was lower than normal rats'. With adding dose, model rats' GLU increased, however, normal rats' GLU reduced. When taken medium dose white prepared lateral root of aconite, model rats' CHO was higher than normal rats'. Taking medicine made both groups ALT rise, but normal rats' went up more quickly than model rats'. Model rats' BUN was higher than normal rats', and taking low dose or little dose medicine could lead to incline of reduction.

结果 给药前模型组环磷酸腺苷/环磷酸鸟苷和促肾上腺皮质激素低于正常组，随着给药剂量的增加，两者有升高的趋势；给药前模型组血糖低于正常组，随着给药剂量的增加，模型组GLU有升高的趋势，而正常组有下降的趋势；中剂量给药时模型组总胆固醇显著高于正常组；随着给药剂量的增加，2组丙氨酸氨基转移酶均有升高的趋势，且正常组ALT升高的幅度更大；给药前模型组尿素氮高于正常组，低、小剂量给药有降低模型组BUN的趋势。

1、Neural network correlated with LIFG and RIFG exists in normal subjects in resting-state,which might be the neural foundation in retaining the normal language function;2、The left fusiform gyrus,bilateral medial frontal gyrus and right anterior cingulum in aphasia patients after stroke showed low degree correlation,that might be one of the mechanisms of aphasia;3、The brain regions showed positive correlation with RIFG in aphasia patients only exist in right hemisphere in resting-state as well as which exist in bilateral hemisphere in normal subjects,suggested that RIFG is out of correlation with the left hemisphere in aphasia patients;4、The left thalamus showed positive correlation with RIFG only in normal subjects, inferred that the left thalamus might be an important mesomerism structure in the correlation of bilateral hemisphere;5、Left insula showed stronger positive correlation with RIFG in normal subjects than that in aphasia patients,suggested that dominant hemisphere insula is important in retaining in normal language function.

1、正常人在静息状态下即存在与LIFG和RIFG具有相关性的神经网络，该网络可能是维持正常语言功能的神经基础；2、脑梗死后运动性失语患者左侧梭状回、双侧额叶内侧回、右侧前扣带与LIFG的连接程度的减低可能是运动性失语的发生机制之一；3、与RIFG正相关的脑区在对照组为双侧半球分布，而在患者组仅出现在右侧半球，说明患者组RIFG与左侧半球的连接中断；4、RIFG与左侧丘脑的正相关性仅出现在正常对照组中，推测左侧丘脑可能是联系两侧半球功能区的重要中介结构；5、对照组与RIFG正相关性明显高于患者组的脑区位于左侧岛叶，说明优势半球岛叶对维持正常语言功能具有重要作用；第二部分脑梗死运动性失语患者语言恢复机制的静息态fMRI初步探讨目的：运用fMRI技术，采用种子点方法在静息状态下分析脑梗死运动性失语患者不同的恢复阶段语言功能连接方式。

This course is an attempt to give the students the basic idea and method of forest management in order to prepare the management plan; Place of forest management in forestry; Content of forest management; Guide principles of forest management; Sustained working; Silvicultural system; Forest yield; Increment; Volume increment; Quality increment; Price increment; Total price increment; Forest maturity; Indicating percent; Productive stage; Physical rotation; Technical rotation; Rotation of maximum volume yield; Highest forest rent rotation; Financial rotation; Cutting cycle of selection system; Normal forest; Normal distribution of age classes; Normal arrangement of stands; Normal increment; Normal growing stock; Normal yield; Improvement of actual forest; Reserve forest; Reserve fund; Planning and plan of forest management; Forest regulation; Area allotment; Volume allotting method; Volume frame work; Area-volume combined frame work; Growing stock; Utilization percent method; Difference method; Pure age-class; Growth method; Control method; Forest subdivision; Forest surveying; Forest survey; Certainty of future policy of forest; Selection of species; Decision of silvicultural system; Decision of rotation; Regulation of future yield; Preparation of management plan; Working the plan; Control and revision of management

本课程之目的为使学生了解森林经营之基本观念及方法，以期编订经营计划，课程包括森林经营学在林学上之地位、森林经营学之内容、森林经营之指导原则、保续作业、森林作业法、森林收获、生长、材积生长、形质生长、腾贵生长、总价格生长、林木成熟期、指率、生产期、自然轮伐期、工艺轮伐期、材积收获最多轮伐期、森林纯益最大之轮伐期、财政轮伐期、择伐林之回归期、法正林、法正龄级分配、法正林分排列、法正生长、法正蓄积、法正伐采额、现时林之改良、预备林、预备金、森林经营上之规划及计划、收获预定、面积配分法、材积配分法、材积平分法、折衷平分法、蓄积法、利用率法、较差法、纯粹龄级法、生长量法、稽核法、森林区划、森林测量、森林调查、将来森林经营方针之确定、树种之选定、作业法之决定、轮伐期之判定、将来收获之预定、经营管理计划之编订、计划之执行、经营管理计划之稽核与检订。

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

In this paper, we have made a systemic theoretic research on modelling and reshaping several types of spline curves/surfaces in CAGD. And some creative productions are given as follows. At first, the uniform C-B-spline basis is proved to be a normalized totally positive basis, and can be extended to a normalized B-basis. C-B-spline and C-Bézier basis, similar to B-spline basis and Bézier basis in algebraic space, are two bases in algebraic trigonometric space.

本文围绕着CAGD中常用的几种曲线曲面造型和形状调整进行了深入的研究，主要获得了以下一些成果：首先，证明了代数三角空间中的n次均匀C-B-spline基是一组标准全正基，并进一步扩充为一组标准B基。C-B-spline基与C-Bézier基是多项式与三角混合空间中的两组基，是适应工程实践中设计特殊曲线曲面的需要而产生的，类似于多项式空间中的B-spline基与Bézier基，是CAGD中重要的造型工具。

By using these convergence theorems,it presents the Silverman-To-eplitz regular theorem and Samaratunga-Sember theorem on the Abelian topologicalgroups,the Vitali-Hahn-Saks theorem on algebras and the weak sequentially completenesstheorem of 〓-dual spaces of sequence spaces,etc.

这是抽象分析中的两个基本定理。作为应用，给出了Abelian拓扑群上的Silverman-Toeplitz正则性定理、Samaratunga-Sember定理、代数上的Vitali-Hahn-Saks定理，以及序列空间的〓对偶空间之弱序列完备性定理等。

After explaining total design of automated test system for microcircuit , the thesis introduces GPIB standard .

文章在说明了微电路模块自动测试系统的总体设计后，对GPIB标准进行了介绍。

He interceded in my behalf.

他替我说情。