查询词典 expressive

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

Simply put, this combination of touch and tone make the CP1 the most expressive stage piano that has ever been created.

这种手感与音色的结合，使CP1成为有史以来最具表现力的舞台电钢琴（注意，YAMAHA说是有史以来最 XXX的，而不是最XXX的之一

The string quartet is that the instrument being that two is composed of the violin , a handful viola and a handful cello from four pieces of stringed instruments performs combination , their tone colour both unite and be rich in change, be expert in weave the body and refined exquisite lingering charm, four pieces of instruments have and the expressive power big and powerful equally , accord with thought of four west music middle parts habit at the same time, this combination becomes chamber music therefore, being hit by the have most typical ensemble of two or more instrumentalists , each playing one part form, Also become a composer express music thought having imitates a means deep and individuation most .

弦乐四重奏则是由四件弦乐器——两把小提琴、一把中提琴和一把大提琴——组成的乐器演奏组合，它们的音色既统一又富于变化，以细腻的织体和精妙的韵味见长，而且四件乐器均具有强大的表现力，同时又符合西方音乐中四个声部的思维习惯，因此，这种组合成为室内乐中最具代表性的重奏形式，也成为作曲家表达最深刻和最个性化音乐思想的有效手段。文章分析室内乐与弦乐四重奏的基本内容及关系，讨论弦乐四重奏的发展概况，最后探讨了弦乐四重奏的"民族化"及未来发展趋势。

She thought that art was expressive, not reproductive, it is an expression of feelings, but the feelings are conceptive and universal, not of common customs.

她还通过大量的比喻和实证分析，证明艺术是表现的，而不是再现的，是一种情感的表现，这种情感是概念性的、普遍性的情感，而非日常生活的情感，艺术情感通过审美直觉表现出来。

Two of the Refactoring Parsers described here (refactor_unary_parser and refactor_action_parser) are introduced to allow a simple and more expressive notation while using Confix Parsers and List Parsers .

这节所描述的两种重构分析器（refactor_unary_parser 和 refactor_action_parser）的作用是在使用片段分析器和列表分析器时，能够使用简单乃至更加复杂的符号。

It is perhaps more helpful, if still somewhat abstract, to say that "the humanities" include those branches of human knowledge that concern themselves with human beings and their culture, and that do so in ways that show conversancy with the language of human values and respect for the dignity and expressive capacity of the human -spirit.

虽然可能仍然有些抽象，或许更有帮助的是说"人文科学"包括关心人类及其文化的人类知识的那些领域，用通过显示熟练掌握人类价值和尊重人类精神的尊严和表达能力的语言方式来实现。

He started carving expressive animals such as frogs, coyotes and rabbits out of copal wood.

他开始用柯巴木制作形象逼真的动物造型，如青蛙、小狼、兔子等等。

The clean and elegant color and structure coruscate the unique expressive force and permanent life.

清雅的色彩与结构，在纷繁的世界里，焕发出独特的表现力和持久的生命力。

The clean and elegantcolor and structure coruscate the unique expressive force andpermanent life.

清雅的颜色与构造，在纷纷的世界里，焕收回奇特的表示力和耐久的生命力。

HP were determined by rapid urease test,Warthin-Starry silver stain and polyme rase chain reaction,and expression of P21,P53,C-myc and C-erbB-2 were detecte d by immunohistochemicology (Streptaovidin/Peroxidase,SP) method,and were evalua ted with positive expressive integrality,the mean optical density an d the integral optical density in computer assisted image analysis system.

方法经内镜和病理诊断的胃癌91例，用快速尿素酶试验，改良W-S银染色和PCR方法检测上述标本中Hp；以S-P免疫组织化学法检测P21、P5 3、C-mcy及C-erbB-2，并用阳性表达积分半定量和免疫组化图像分析进行比较。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新