1) path with fewer predicates
最少谓词路径
2) predicate grue
格路谓词
1.
This paper deals with the background of the celebrated Goodman s new riddle of induction and the logic and semantics of predicate grue.
本文回顾了古德曼的新归纳之谜的背景 ,分析了格路谓词的逻辑与语义特征。
3) 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查询效率 ,削减维护费
4) 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.
文中结合布尔代数,采用移除最小项的方法,提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
5) 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的公理化方法。
6) path verb
路径动词
补充资料：最少派艺术
| 最少派艺术 Mirnirnaliam Art 20世纪50年代以美国为中心的美术流派。源自抽象表现主义。它力图使造型语言精练化、纯粹化，将抽象表现主义绘画的形式语言按M.杜桑“减少、减少、再减少”的原则进行处理，画面减少到最基本的几何形，色彩精练到最起码的原色，空间压缩到最低限的二维形式。这种极端化的后果是使人们受到纯粹的视觉刺激和心理震荡，因而亦被称为A、B、C艺术。最少派艺术一词最早由侨居德国的俄国画家D.布尔留克1929年提出：“最少意即最简捷的操作；……最少绘画即是绘画本身”。后来这一名词多次出现，英国批评家E.露西-史密斯指出它有两个含义：①艺术作品的初级形式（单色画）。②艺术家有意追求的简单形式。真正使用mininalism专指美术流派是在50年代中期，以美国为主，代表人物Y.克莱因、B.纽曼为其先驱，其他重要画家有M.路易斯等。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条