查询词典 tableau

The corresponding tableau algorithm is also provided. The soundness and decidability of the tableau algorithm are proved. It is shown that the complexity of tableau algorithm is PSPACE-complete.

设计了ALCKR+的语法、语义以及表算法，给出了表算法的正确性以及可判定性证明，证明表算法的时间复杂度为PSPACE-complete。

From the important status of the hue in the woodprint to the effects caused to the tableau by the subjective thoughts of the artists, then to the study of the hue in the balanced impact on the tableau and the use of hue in the traditional woodprint, and last to the analysis of the difference between the hue of the woodprint and the hue of the other paintings, all these are for our better use of these elements of the hue language, and to enable us not to completely lose it which has been part essence of the traditional culture because of our confusion.

从色彩在木版画中的重要地位，到艺术家主观色调对画面的作用，再到研究色彩在画面中的平衡关系和传统木版画中的色彩运用，最后到分析木版画色彩和其它绘画色彩的区别，这一切都是为了我们在今天的木版画创作中能更好的运用这些语言元素；使这些作为传统文化精髓中的一份子，不因我们这一代人的迷茫而遗失殆尽；也希望我们这一代人在利欲薰心的社会转型期，能够从历史的根源性上挖掘深层次的本原，而不被潮流所左右。

The Tableau decision algorithm for D-ALCO forms an elaborated combination of the Tableau algorithm for ALCO,the decision algorithm for propositional dynamic logic,and the embodiment of the possible models approach.

1引言作为一类用于知识表示的形式化工具，描述逻辑在信息系统、软件工程、自然语言处理等领域得到了成功应用[1]。

Only when you are attracted by the tableau to stare at it, can you find the bloodiness in the brilliant splendor. And even the bloody wounds, then, are still so attractive.

只有当你为其所诱，逼视画面的时候，才会发现你正面对着花团锦簇中的血腥，甚至那些血腥的伤口仍然漂亮好看！

When the count thought Franz had gazed sufficiently on this picturesque tableau, he raised his finger to his lips, to warn him to be silent, and, ascending the three steps which led to the corridor of the columbarium, entered the chamber by the middle arcade, and advanced towards Vampa, who was so intent on the book before him that he did not hear the noise of his footsteps.

当伯爵觉得弗兰兹已看够了这一幅生动的画面时，他就用手在嘴唇上按了按，示意他不要出声，然后走下那通入墓穴去的三级台阶，从中间的那座拱门进到了房间，向万帕走去，后者正看书看得出神，以致竟没听到他的脚步声。

The Thai scholar Pandit Chanaronasakit has studied the role of the diorama in the representation of Siamese culture in world exhibitions and universal expositions and concludes that the said tableau indexes the anxiety of Thailand as an "archaic and exotic nation."

泰国学者 Pandit Chanaronasakit 在世博会上曾经研究过立体模型在暹罗文化中所代表的意义，从而总结出一个极具戏剧性的结论，泰国是一个古老的具有异国风情的国家。

This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause, and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).

该增强方式对概念描述先构建一个析取范式，并只保留其中的一个合取子句，然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）。

Voilà mon second tableau enfin réalisé.

这是我完成的第二张作品。

We had long thought of them as a tableau, Miss Emily a slender figure in white in the background, her father a spraddled silhouette in the foreground, his back to her and clutching a horsewhip, the two of them framed by the back-flung front door.

长久以来，我们把这家人一直看做一幅画中的人物：身段苗条、穿着白衣的爱米丽小姐立在背后，她父亲叉开双脚的侧影在前面，背对爱米丽，手执一根马鞭，一扇向后开的前门恰好嵌住了他们俩的身影。

We had long thought of them as a tableau; Miss Emily a slender figure in white in the background, her father a spraddled silhouette in the foreground, his back to her and clutching a horsewhip, the two of them framed by the backflung front door.

所以当她年届三十而依然孑然一身，我们的确不太自在，但不得不接受这样的事实。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。