查询词典 continuations

Compared with Plotkin's work, a reduction closed CPS language is defined in which all continuations are explicitly expressed as functional encodings and it is simpler to prove both the soundness and completeness directions of simulation theorem.

与Plotkin的工作比较，工作特点在于，给出了一个CPS归约闭语言，该语言中所有继续都可以用函数形式表达，且模拟定理的可靠性和完备性方向证明更为简单。

Given a hexagon inscribed in a conic section , the three pairs of the continuations of opposite sides meet on a straight line , called the Pascal line .

已知一个六边形内接于一条圆锥曲线，那么这个六边形对边的交点位于同一条直线上。

This text is not only instrumental to our understanding of works from the 90s, but more importantly offered a methodology to view the indiscernible, often overlooked yet underlying transitions and continuations in the brief existence of Chinese contemporary art.

在这篇文章中，冷林针对中国艺术从80年代的集体性运动到90年代之后的根本转变提出一个明确的观看角度，既"是我"的立场，强调艺术家在创作上个人面貌的逐渐形成，对我们今天看待90年代的创作，更重要的是看待短暂的中国当代艺术史中不易觉察的转折传承的线索提出一个方法论。

Then I would go to the piano to confirm and sketch out the ideas, and improvise possible continuations.

然后我到钢琴旁确认并勾划构想，并即兴写下可能的进展。

The Ruy Lopez again, but this time it is the rather rare Romanishin variation. White has tried several continuations from the diagrammed position: Qe2, Nh4, Nf5. The FIDE world champion chooses her own unique path.

又是西班牙开局，但这次走的是少见的罗曼尼申变例，在此白方有许多续招，如：Qe2， Nh4， Nf5，而世界冠军选择了自己独特的下法。

It is one of many continuations of Dream of Red Chamber, and also the first novel published by female writer so far.

它是《红楼梦》众多续书中的一种，同时也是迄今为止发现的第一部由女作家创作出版的小说。

Weak two-bidder's continuations : After a two-notrump response to a weak two-bid, opener's rebids are

持高限牌力时则做一个feature示叫。

It is based on the concept of continuations.

这是基於连续性的观念。

But this week's contracts are merely continuations of existing agreements.

但本周的合同只是现有协议的延续。

If you don't know yet about continuations and flowscript, learn about it here.

如您还不了解连续性与flowscript，从这里开始吧。

The work of this paper is as follows: 1. Looking back the progressing history of the linear motor, introducing the features of the elevator driven by linear induction motor, radicating the topic of this paper "the digital frequency variable control of the elevator bi-side direct driven by linear induction motor". The research of this paper covers the conventional VVVF control, space vector based VVVF control, vector control and DTC.

本文主要开展了以下几个方面的工作： 1 回顾了直线电机发展历史，电机的驱动技术演变，特别是针对直线电机的驱动，简要介绍了直线感应电机驱动电梯的优点和不同结构类型，对传统的v／f控制，基于空间矢量法的v／f控制，矢量控制，和基于电压空间矢量的直接转矩控制进行了比较，确立了本课题的研究主题：直线感应电机双边直推式驱动电梯的全数字变频控制。

The article combines with the treatment of a superficial civil air defense work to introduce how the grouting method to improve the performance of the backfill soil.

文章从治理漂浮人防工事的角度提出了注浆技术在改善回填土性质方面的应用，并详细阐述了注浆技术的施工流程。