最小项谓词,minterm predicates,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 最小项谓词

1) minterm predicates 点击朗读

最小项谓词

A method is proposed for selecting and efficiently horizontally partitioning warehouse cube views based on the minterm predicates of selection predicates in OLAP queries.

提出了根据OLAP查询中的选择谓词构造其最小项谓词 ,选择数据仓库立方体视图进行水平分割 ,利用视图分割后的裂片建立的数据集市来回答查询 ,达到减少访问的视图元组数和加快查询响应时间 ,从而提高OLAP查询效率 ,削减维护费

2) predicate variable 点击朗读

谓词变项

3) one-place-predicate construction 点击朗读

一项谓词句

例句>>

4) path with fewer predicates 点击朗读

最少谓词路径

5) supremal controllable predicate 点击朗读

最大能控子谓词

According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.

文中结合布尔代数,采用移除最小项的方法,提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。

6) weakest pre-predicate 点击朗读

最弱前置谓词

To develop a more reliable program, two checking methods about program’s varification of correctness are studied, such as Dijkstra’s weakest pre-predicate transformer and Hoare’s axiomatic approach.

为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。

补充资料：最小谓词演算

最小谓词演算
dicate calculus minimal functional cakuhs ~$L minimal pr-

最小谓词演算【m动血“目五.团.川。山川拐或mini四IPr-。五‘a七ealc山出;M班.“Ma肠aoe中州“朋.0二月‘.Oe Hc，-。e二Hael 一个谓词演算，它包括所有最小命题演算的公理模式，以及通常量词公理模式和推理规则，它们是: 丫xA(x)。A(t)，A(r)。己xA(x)(t是任意项)，分离法则(modus pol℃ns)以及 C OA(a)A(a)。C C“V xA(戈)’日xA(x)。C(变元a不在A(x)及C中出现).

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

Dijkstra最弱前置谓词理论名词性非主谓小句

谓项最小项最小项数谓词最小词频 Dijkstra最弱前置谓词法

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 最小项谓词 1) minterm predicates 最小项谓词 1. A method is proposed for selecting and efficiently horizontally partitioning warehouse cube views based on the minterm predicates of selection predicates in OLAP queries. 提出了根据OLAP查询中的选择谓词构造其最小项谓词 ,选择数据仓库立方体视图进行水平分割 ,利用视图分割后的裂片建立的数据集市来回答查询 ,达到减少访问的视图元组数和加快查询响应时间 ,从而提高OLAP查询效率 ,削减维护费 2) predicate variable 谓词变项 3) one-place-predicate construction 一项谓词句例句>> 4) path with fewer predicates 最少谓词路径 5) supremal controllable predicate 最大能控子谓词 1. According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES. 文中结合布尔代数,采用移除最小项的方法,提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。 6) weakest pre-predicate 最弱前置谓词 1. To develop a more reliable program, two checking methods about program’s varification of correctness are studied, such as Dijkstra’s weakest pre-predicate transformer and Hoare’s axiomatic approach. 为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。补充资料：最小谓词演算最小谓词演算 dicate calculus minimal functional cakuhs ~$L minimal pr- 最小谓词演算【m动血“目五.团.川。山川拐或mini四IPr-。五‘a七ealc山出;M班.“Ma肠aoe中州“朋.0二月‘.Oe Hc，-。e二Hael 一个谓词演算，它包括所有最小命题演算的公理模式，以及通常量词公理模式和推理规则，它们是: 丫xA(x)。A(t)，A(r)。己xA(x)(t是任意项)，分离法则(modus pol℃ns)以及 C OA(a)A(a)。C C“V xA(戈)’日xA(x)。C(变元a不在A(x)及C中出现). 说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条 Dijkstra最弱前置谓词理论名词性非主谓小句

©2011 dictall.com