查询词典 kernel

In these problems, energy efficiency is the most important and kernel basis one.

而在这些问题中，节能是几个重要的核心和基础问题之一。

This should be part of the kernel package and be installed already.

这应当是内核的一部分，是已经被安装的。

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

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。