查询词典 combinatorial closure

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自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

Followup of 45 cases, with 0.53 years duration, showed 6 cases had ulcer recurrence. Conclusions: Simple closure operation is effective on acute perforated duodenal ulcer. Normal antiulcer and Hp therapy can effectively decrease recurrence rate of ulcer and incidence rate of complication.

行单纯修补术治疗十二指肠溃疡急性穿孔疗效确切，术后行正规抗溃疡及根除Hp治疗能有效降低溃疡复发率和并发症的发生率。

Transcather closure operation of VSD is less traumatic, and it has good efficacy. Therefore home_made VSD occluder device is worthy to use widespread.

介入治疗室间隔缺损，创伤小，成功率高，手术安全，国产封堵器安全、可靠。

The authers examined the efficacy and safety of ASO,a new self_centering septal occluder consisting of two round disks made of Nitinol wire mesh and linked together by a short connecting waist.68 children with secundum ASD met with the criteria for transcatheter closure received this operation through the two_dimensional echocardiograp...

二十多年来相继研制出了多种经导管房间隔缺损封堵装置，但由于这些装置递送鞘大、操纵繁杂、难以回收及装置的支架断裂、易位和栓塞及术后较高的残余分流率等限制了它们的临床应用［1］。1997问世的Amplatzer房间隔封堵器，因其具自膨性、自

In this section we have obtained some fundamental results on closure operator of poset matroids.

在这一节我们得到了偏序集拟阵闭包算子的一些基本结论。

In Chapter Ⅳ, we study the dependence and closure operator of poset matroids.

第四章研究了偏序集拟阵的相关性和闭包算子。

In Section 5, we define the closure operator of poset matroid 〓 on 〓.

第5节定义了偏序集拟阵的闭包算子。

In this paper, for a class of essentially normal operator , its closure of orbit,, was studied.

讨论了一类本性正常算子的-轨道的闭包：。

The concept of Galois connections for partially ordered objects in a topos is introduced and the kernel operator and closure operator are investigated.

在任意 topos 中引入了偏序对象之间的 Galois 联络的定义，刻画了偏序集对象上的核算子和闭包算子。

After this companys product is and the valve assembles the electrically operated valve or the air operated valve uses, they use for to control the valve opening or the closure, the operator may in the scene manual operation, perhaps the long-distance range carry on the control in the control room.

本公司的产品是和阀门组装成电动阀门或气动阀门后使用的，它们用来控制阀门的开启或关闭，操作人员可以在现场手动操作、或是在控制室内远距离进行控制。同时还提供与各种型号匹配的控制器、控制箱等。

These are places without aristocratic baggage; egalitarian places open to talent, self-improving, engaged in learning and innovation through networks that were at once competitive and cooperative.

这些地方没有贵族遗风作祟，而且对于那些有天分的人是开放的平等之地，这些人善于通过那些曾经很具有竞争力与合作精神的关系网进行自我提高以及学习创新。

Christine: You don't want to see me?

你不想见我？