查询词典 marking-up

The line must be located in the center of the painted ground marking.

该线必须位于涂画的地面标记的中心。

The concept of HLPN should be understood along the four levels of node, extending, incidence matrix, and initial marking.

ISO/IEC15909从构成角度给出了高级Petri网的定义，对其的理解分为结点、扩展、关联矩阵和初始标识四个层次。

On the basis of the analysis, the paper proposes a 3-level semantic-pragmatic system for the UFP: Level 1--- Core Properties:[1] Necessity to Look Back for Contrast and [2] Demand for Continuation; Level 2--- Functions:"Primary"--- [3] Interrogation, [4] Reminding, and [5] Topic Marking "Secondary"---[6] Truncated Question and [7] Intense Inquiry Level 3---Interpretations:(through propositional content and context) [8] Idea Development, [9] Puzzlement, [10] Unchanged State, [11] Uncertainty, [12] Inconclusiveness, etc.

准此，本文为"呢"建构出一个包含3个层面的语义-语用架构如下：第一层面基本特征：[1] 在先前的语境中寻求对比，[2] 要求继续对话；第二层面延伸功能："主要功能"：[3] 疑问语气，[4] 提醒，[5] 话题标记"次要功能"，[6] 省略问句，[7] 深究；第三层面情景解释：[8] 意念扩展，[9] 疑惑不解，[10] 未变状态，[11] 不能确定，[12]悬疑不决，等等。

The marking is applied in the form of indicia, such as a one- or two-dimensional bar code, a matrix code, or the like.

这标记采用的是邮戳形式，例如一维或二维的条码，矩阵码，或其它类似的方法。

The WEA method is a method of synthesizing controller for DES by using weighted enabling arc is applicable to enforce "greater-than-or-equal-to" marking inequality constraint.

WIA方法与已报道的利用抑制弧设计控制器的方法相比，无需搜索整个系统的状态空间，因此在计算效率上具有无可比拟的优势，同时该方法也不受PPIC的约束。

The WEA method is a method of synthesizing controller for DES by using weighted enabling arc is applicable to enforce'greater-than-or-equal-to'marking inequality constraint.

接着，利用扩展Petri网，提出了DES的PN控制器设计的两种对偶的方法：加权抑制弧方法和加权使能弧方法。

A novel method for design of controller enforcing the constraints is presented. First the constraints involving the marking and Parikh vectors are transformed into the constraints involving Parikh vector only using Petri net state equality, and then the controller is constructed based on the viewpoint that a place can be seen as a linear inequality constraint on the Parikh vector.

该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束，然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器。

Judaism an initiation ceremony marking the 12th birthday of a Jewish girl and signifying the beginning of religious responsibility.

太女孩12岁达到他们应尽宗教义务及责任的年。

Judaism an initiation ceremony marking the 13th birthday of a Jewish boy and signifying the beginning of religious responsibility.

男孩满十三足岁即为成丁，举行成了仪式，以后即负成年人的责。

Mobile web site is businesses or individuals in China Mobile on the Internet domain name, marking and inscribing.

移动网址是企业或个人在中国移动互联网上的域名、标示和门牌号。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。