查询词典 matching

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

Contain top propolis made of pagoda tree flower and cherry flower nectar, combined with ancient Chinese herbs, deep sea pearl and sheep placenta essence, it is made by different methods: purifying, separating, drying and matching, and is the far-sighted beauty care product.

其经典的精选组合，不含任何禁用成份，安全高效，美白和持续改善肤色的效果，首屈一指。

A new matching method for harmonic pairing is also presented.

并提出一种简单的谐波配对算法。

Emulsified Waxes for W ood-based Panel : This product uses waterproofing material such as paraffin wax, microcrystalline wax, petroleum resin and palm wax. Matching the emulsifier, accelerant and stabilizer.

人造板用乳化蜡：本产品采用石蜡、微晶蜡、石油树脂和棕榈蜡等防水材料，并配以乳化剂、促进剂和稳定剂等成分。

Doors,Cloak Robe, Bathroom Cabinet, and Kitchen Cabinet are now produced in the factory together with all the other wood work such as Wall Hung Panel, Wall to Floor Panel in coordinated material and painting as well as matching hinges and metal fittings to achieve the unified interior wood work design.

"和玺组装室内门系统"作为公司目前在市场上的首推产品，以其选料精良、款式新颖、风格高雅、工艺精美、技术先进而赢得设计师的推崇和用户的广泛青睐，成为中国门业的知名品牌。

Based on the above work, a method is presented for translating LFC function definitions into the intermediate representation, which includes analyses of recursive parameters and definition forms of functions, parameter substitution, representation translation of patterns and expressions, transformation of function definitions from incomplete construction forms to complete construction forms, and pattern-matching translation.

在此基础上，设计了LFC函数定义到中间表示形式的翻译和变换方法，包括对函数递归参数和定义形式的分析，参数一致化，模式和表达式表示形式的翻译，部分构造式到完全构造式的变换，和模式匹配翻译等。

Furthermore, we propose and implement multilevel circuit partitioner. The achievements of the dissertation are as follows: During the coarsening phase, we propose thecore-sorted heavy-edge matching algorithm and give its details based on the compressed storage format of graph.

本文主要的工作和创新点有以下四个方面：在多水平粗化阶段提出了一种基于核排序的重边匹配算法，给出了基于图压缩存储格式的算法实现细节。

In this paper, the matching between 495QME engine and powertrain of CDK6710 passenger car was researched and improved.

本文对495QME发动机与CDK6710客车底盘传动系的匹配进行了研究和改进。

On the base of applied tech. and system structure, the key tech. are expressed in detail. It includes:Knowledge representation technology: it is described in two stages by "Depictive frame + Rule group"."Depictive frame" is used to reflect the factors concerning question field."Rule group" reflects the son-question in question field; knowledge management system: it is made up of knowledge-base editing component, factor classifying component, knowledge inspecting component and extractive knowledge component; uncertainty reasoning adopt method of elicitation search strategy and data drive controlled by member knowledge. It take reliability of compound proof at first. That can resolve the matching contradiction. Reasoning explanation introduce pre-text and followed method of resolving path. Knowledge discovery component take SLIQ as basic arithmetic. It provides classification model in two stage forms which aim at training suit. That is decision tree and productive rule.

在确定应用技术与系统结构的基础上，重点阐述了本文的核心技术，这包括：知识表示技术，采用"描述框架+规则组"的层次结构，"描述框架"用于描述问题域所涉及的因素，"规则组"反映问题域内的子问题；知识管理系统，由知识库编辑构件、因素分类构件、知识检测构件和知识求精构件组成；不确定性推理机采用启发式搜索策略，元知识控制的数据驱动，以复合证据可信度优先作为匹配冲突消解的策略，推理解释采用预置文本与求解路径追踪的方法；知识发现，采用SLIQ快速可伸缩算法，分类模型用判定树与产生式规则两种形式描述。

And based on the optical path matching condition of space division multiplexing, the intensity characteristic of the interference signal in the sensor is deduced.

实验中对连接9个传感器的双环传感网络特征及其抗损坏特性进行了验证，并对实验结果进行了分析和讨论。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。