查询词典 abelian function

It is proved that the choice function must satisfy the axiom of consistency if the choice function meets the axiom of substitutability together with quotafilling condition; then, it is driven that the choice function is a path independence choice when it satisfies the substitutability and consistency condition.

首先证明了在替代性原理的前提下，选择函数定额充分是满足一致性原理的充分条件；得出了当选择函数满足替代性和定额充分条件时，必定满足路径无关性选择的结论。

The lesion, the changes of activity of cholinesterase and acid phosphatase of motor neurons in lateral nucleus of spinal cord anterior horn, the function of axoplasm transportation and nerve conduction, the regeneration of axons and myelin sheath, and the recovery of sciatic nerve function were examined at 7, 14, 30 and 90 days intervals after operation, using Nissl and enzyme histochemistry staining, electrophysiological technique, hydrogen-peroxide oxidoreductase retrograde trace method, axon image analysis, and measurement of sciatic function index. The spinal cord anterior horn of injury side was compared to the correspondence region of spinal cord.

分别于术后7、14、30和90d应用酶组织化学方法、电生理方法、HRP （hydrogen-peroxide oxidoreductase）逆行示踪方法、轴突图象分析方法以及坐骨神经功能指数（sciatic nerve function index，SFI）测量等方法检测坐骨神经损伤后对应脊髓神经元的存活率、神经元胞体酶系变化、损伤神经在轴浆运输、电传导以及轴突、髓鞘再生等方面的恢复情况，探索外周神经损伤后OECs及几丁质对神经元的保护作用以及对新生神经功能恢复的作用，为外周神经损伤的治疗提供新的理论基础。

A control strategy using Mutual Mapping Neural Network to compute the solution of the backward and forward kinematics was presented in this paper. MMNN was consisted of two NN and one modify function, one NN was used for forward kinematics calculation, and another for Jacobi matrix calculation, the modify function was formed based on Lyapunov function.

双向映射神经元网络主要由两个神经网络和一个修正函数构成，其中一个神经网络用来进行正运动学求解，另一个神经网络用来计算雅可比矩阵，修正算法是根据李雅普诺夫函数来计算的。

If the instantiated function has upvalues, one register for each upvalue will be reserved sequentially created after the base register. The CLOSURE operation's second argument is the index into the table of function prototypes of the function we want to access.

CLOSURE操作的第二个参数是函数原型表中的索引，该索引处的函数正是我们想要访问的(YoungMan注：应该各个函数也是存放在一个函数列表中)。

Shengyuan maintenance blood-sugar capsule is chooses the cactus, the balsam pear, the black bee bee glue, the kudzu root four pelts the sugar ingredient reasonably to blend, purifies the highly effective multi-skill health product by the modern biotechnology extract which but becomes, has the bidirectional adjustment, the control blood sugar, the activation and the nutrition island of langerhans beta cell, the promotion endogenous secretions insulin secretion, enhances the human body sugar metabolism and the fat metabolism ability, strengthens the pancreas function the function, at the same time also has the repair diabetes liver, the kidney damage, the prevention and the improvement diabetes illness complication function.

圣源维糖软胶囊是选择仙人掌、苦瓜、黑蜂蜂胶、葛根四大降糖成份合理配伍，以现代生物科技萃取精制而成的高效复合型健康产品，具有双向调节、控制血糖，激活和营养胰岛β细胞，促进内源性胰岛素分泌，提高人体糖代谢和脂肪代谢能力，增强胰脏功能的作用，同时又具有修复糖尿病肝、肾损伤，预防和改善糖尿病并发症的作用。

In this paper the method of combinational mathematics is used to deduce the probability generation function of the longest run in the Bernoulli trials,and get the probability generation function without using its probability function of kth order geometric distribution.

游程及其相关理论广泛地应用于随机检验、质量控制、DNA数据分析等许多领域，提出使用组合数学的方法推导出贝努利试验中最长游程的概率发生函数的计算公式，利用所得到的结果可以不用k阶几何分布的概率函数而很容易地得出它的概率发生函数。

Firstly,this paper explained the function of spleen and its tight connection with other system from the TCM respect;after that,it discussed the relationship between the spleen and the bioblast from western medicine respect,considered that the function of chondriosome was the same with the spleen function of TCM.

周俊亮，潘佩光，潘奔前，刘友章(广州中医药大学附属南海妇产儿童医院，广东广州 528200)文章首先从中医学角度阐述了脾的功能及其与各系统的紧密联系；尔后从现代医学角度阐述了脾与线粒体的关系，线粒体的功能即中医脾的功能。

The classical theorems of analytic function of one complex variable such as Morera theorem and Liouville theorem were generalized to the regular function, similarly to biregular function.

Clifford分析中，正则函数是单复分析中全纯函数在高维空间的推广，全纯函数的经典函数理论如Morera定理，刘维尔定理等都可推广到正则函数，同样也可推广到双正则函数。

Consider the dependencies between the coefficients and their parents, a non-Gaussian bivariate distribution is given, and corresponding nonlinear threshold function is derived from the model using Bayesian estimation theory. According to non-subsampled Contourlet transform and bivariate threshold function, a novel Non-Subsampled Contourlet Transform based on Bivariate threshold function for image denoising is proposed. This scheme achieves enhanced estimation results for images that are corrupted with additive Gaussian noise over a wide range of noise variance.

该文依据非下采样Contourlet分解系数与其父系数之间的相关性，给出非高斯双变量分布，对该模型应用Bayes估值理论推导得到相应的非线性双变量阈值函数，综合非下采样Contourlet分解和双变量阈值函数，提出一种基于双变量阈值的非下采样Contourlet变换图像去噪方法。

Bent function is a class of the highest nonlinearity Boolean function, and Boolean function is the key in the cipher system.

Bent函数是一类具有最高非线性度的布尔函数，布尔函数是对称加密密码体制设计和分析的关键。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。