查询词典 hermite normal form

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

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

On the extensive background of the development of normal education system of the world, this thesis makes an objective and all-sided analysis of the present situation of normal education of our country and furthermore profoundly approaches the future of the development of the normal education of our country, and confirmatively claims that the normal education of our country will surely blaze a new trail and form our own features in the process of reformation in combination with the practical situation of our country and in accordance with the universal developmental principles of normal education of all countries.

本文以世界师范教育制度发展为广阔背景，全面客观地分析了我国师范教育的现状，并依循各国师范教育共同的发展规律，结合我国实际，深入探讨了我国师范教育发展的未来的走向，肯定地认为我国的师范教育必将在改革发展中走出新的路子，形成自己的特色。

The second chapter is the main part of this paper, in which the formulation of the Riemann boundary value problem of non-normal type on the real axis, the solution method of homogeneous problem, the relation between the two kinds of different derivatives and the inhomogeneous problem will be thoroughly given. In this paper, the solution and the solvability of the Riemann boundary value problem of non-normal type on the real axis will be given. Furthermore, it is shown that the twokinds of derivatives of the function Ψ are existing and equivalent in the case ofthe solution about the original problem, therefore, we get uniformly Hermite interpolatory polynomial. The relation between the two kinds of different derivativesof the function Ψ are similar for smooth closed contours by means of the same proof.

第二章是本文的主要部分，分别给出了实轴上一类非正则型Riemann边值问题的提法、齐次问题的解法、两种导数的关系及非齐次问题的求解，本文运用杜金元教授[11]的方法获得了实轴上非正则型Riemann边值问题的封闭解及可解性条件，且在问题可解的情况下论证了函数Ψ的非切向极限导数和Peano导数存在且相等，从而获得了统一的Hermite插值多项式，同样关于封闭曲线上非正则型Riemann边值问题，采用本文论证方法证得了函数Ψ的非切向极限导数和Peano导数存在且相等，从而较好地统一了[10]、[11]中的Hermite插值多项式。

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。

15 And 20-22 weeks old SHR with implanted radiotelemetry devices were intratracheally administered with both normal saline and SRM 2975 (500 μg/animal, n=3) or (A-DEP 500 μg/animal, n=3) alternatively, so each rat could serve as its own control. ECG signals were recorded for 72 hours after each exposure, and heart rate and parameters of HRV including standard deviation of normal-to-normal intervals and root mean square of successive differences of adjacent normal-to-normal intervals were analyzed.

13-15周龄及20-22周龄之自发性高血压大鼠植入生理循环监测器后，於不同时间以气管灌注方式暴露生理食盐水、SRM 2975（500 μg/animal）或A-DEP（500 μg/animal），分析暴露后心跳及心跳变异性变化情形。

Based on the discussion about fitting normal error's definition, constitution and properties, it was suggested that fitting normal error represented the error of fitting plane linear in old highway. The accuracy index of fitting plane linear in old highway based on fitting normal error was set up. The algorithm of swinging approach on compressible size step that could be used to calculate the fitting normal error was put forward. The method and basic norm of decision about fitting normal error's symbolic were discussed.

在论述拟合法线偏差定义、构成及性质的基础上，提出以拟合法线偏差表征旧路平面线形拟合偏差；建立了基于法线偏差的旧路平面线形拟合精度指标；提出了采用步长压缩摆动趋近法计算拟合法线偏差的算法，并就拟合法线偏差的符号判定准则及方法进行了讨论。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Through the Radon transformation of the normally ordered Wigner operator we introduce two mutually conjugate intermediate coordinate- momentum representations. Based on them we construct the appropriate quantum phase space theory which includes the new Wigner operator adapting to this space and construct the appropriate generalized Fredholm operator equation and then find its solution. We then deriving the Hermite polynomials operator identities by applying the Fredholm equation. We also reveal the connection between the generalized Wigner operator and the 2-dimension normal distribution in statistics, which is useful to study the quantum tomogram. As the application of the entanglement Husimi operator theory we calculate the Wigner function and the Husimi function of the one- and two-mode combination squeezed state , study their characters through drawing the three-dimensional graphics.

由正规序Wigner算符的拉登变换引入了两个互为共轭的中介坐标-动量表象，在此基础上我们建立了相应的量子相空间理论，其中包括引入适合该空间的新的Wigner算符；并在该表象的基础上，建立了广义Fredholm算符方程，求出了它的解，并运用该方程导出有关厄米多项式的算符公式；揭示广义Wigner算符与统计学中的随机变量的二维正态分布形式上的相似，这对于研究量子态的tomogram(是英文Tomography的派生词)有用。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。