查询词典 kernel spot

as for the manufacturing industry, the kernel of competition is the design of new products and the manufacturing technology.

制造业竞争的核心是新产品的设计和制造技术的竞争。

Even if you have chosen a kernel at install, you can still try the others kernels after installation!

即使你在安装过程中选择了一种内核，在安装后你仍然可以尝试其他内核。

probability and density of power load ; kernel density estimation ; window width ; indexes of load probability characteristics ; Kolmogorov test

实际的电力负荷P是连续性随机变量，设我们要了解的负荷范围P∈a，b，F(p为电力负荷的分布函数，f为对应概率函数即分布

Volterra kernel functions were expanded on an orthogonal discrete Laguerre function set to produce a reduced system model with fewer parameters.

讨论了Volterra核的Laguerre展开法，通过将Volterra核函数在一个正交的Laguerre函数集上展开，得到一个简化的系统模型，使得待辨识的参数显著减少。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

On top of this kernel are the layers of services that are used to implement applications on the platform.

在这个核心的顶层是用户实现应用程序的平台服务层。

Research into the method of establishing probability density function model of radar clutter signals Based on the careful analysis of the kernel estimation and the fundamental principles of the Legendre polynomial, the dissertation tentatively combines two and gets better results.

雷达杂波信号的概率密度分布模型建立方法的研究在认真分析了核估计和Legendre多项式的基本原理的基础上，探索性地将两者结合起来，取得了很好的效果。

LexMiner utilizes the lexicographic features and lexicographic comparisons to further speed up the kernel operation of mining algorithms.

LexMiner 进一步利用项目集的字典序特性与字典式比较以加速探勘演算法中的核心运算—寻找交易纪录中包含之可能频繁项目集。

This method uses the kernel function to map the nonlinear space into a linear high dimension space.

该方法使用核函数完成非线性空间到高维线性空间的映射，避免了高维空间中的数据处理和非线性映射函数的使用。

As for the undivided linear sample space, the kernel function is needed to map onto another high dimension linear space.

对于线性不可分的样本空间，需要寻找核函数，将线性不可分的样本集映射到另一个高维线性空间。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。