查询词典 hereditarily enumerable set

When a function member returning an enumerable interface type is implemented using an iterator block, invoking the function member does not immediately execute the code in the iterator block.

当一个返回一个可枚举接口类型的函数成员使用了迭代器块时，对该函数成员的调用不会立即执行迭代器块中的代码，而是建立并返回一个可枚举对象。

The enumerable object's GetEnumerator method returns an enumerator object that encapsulates the code specified in the iterator block, and execution of the code in the iterator block occurs when the enumerator object's MoveNext method is invoked.

该枚举器对象封装了迭代器块中指定的代码，当调用这个枚举器对象的MoveNext方法时，会执行迭代器块中的代码。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

Computably enumerable degree; minimal pair.

可计算枚举图灵度；极小对。

We prove the fuzzy set-valued characteristicfunction of a compact Baire fuzzy set can be approached by fuzzy set-valuedcontinuous functions with fuzzy compact support sets,the integral of integrablesimple Baire fuzzy set-valued function can be approached not only by the integralsof integral simple fuzzy set-valued functions,but also by the integrals of fuzzy set-valued continuous function with fuzzy compact support sets.

定义了诱导空间上具有模糊紧支集的模糊集值连续函数，说明了它与分明的具有紧支集的连续函数的关系，证明了紧贝尔模糊集的模糊集值特征函数可以用具有模糊紧支集的连续函数列来逼近，可积简单贝尔模糊集值函数的积分可以用可积简单模糊集值函数的积分来逼近，还可以用具有模糊紧支集的模糊集值连续函数的积分来逼近。

Direct Correspondence of Display Data RAM to LCD Pixel Display Data RAM2,500 bits LCD Drivers25-common and 100-segment Selectable Duty and Bias Ratio ; 1/25 Duty 1/6 Bias or 1/15 Duty 1/5 Bias Direct connection to 8-bit Microprocessor interface for both of 68 and 80 type MPU Serial Interface (SI, SCL, A0, CS) Useful instruction set Display ON/OFF, Display Start Line Set, Page Address Set, Column Address Set, Status Read, Write Display Data, Read Display Data, Normal or Inverse ON/OFF Set, Static Drive ON/Normal Display, EVR Register Set, Read Modify Write, End, Reset, Internal Power Supply ON/OFF, Driver Output ON/OFF, Power Save and ADC select.

直接显示数据RAM的对应像素液晶显示数据RAM2，500位液晶Drivers25，共同和100段可选择的职务和偏差率； 1 / 25的责任1 / 6的偏见或1 / 15的责任1 / 5偏见的直接连接至8位微处理器的接口为68和80型微控制器的串行接口（司，沙田至中环线时，A0，CS）的相关指令集显示开/关，显示开始行设置，页面地址设置，列地址设置，状态读取，写入显示数据，读取数据显示，正常或逆开/关设置，静态驱动器/正常显示，腔内注册设置，读取修改写入，完，复位，内部电源开/关，开/关，节能和ADC选择驱动器输出。

The invention discloses a double-temperature double-chamber light wave sterilizing cabinet, which comprises the following parts: box, low-temperature chamber and high-temperature chamber in the box and control device, wherein the upper baffle rack is set in the low-temperature chamber, one lower baffle rack is set in the high-temperature chamber, the screen and keyboard are set on the box, the low-temperature chamber possesses first door with drawer switch and the high-temperature chamber possesses second door with drawer switch, the knife and fork rack is set on the bottom of first door, whose extending direction is vertical the door, the rotary lamp rack of ultraviolet tube is set in the low-temperature chamber, the light wave generating device is set in the high-temperature to emit light wave.

一种双温双室光波消毒柜，包括一箱体、设置在箱体内的低温室和高温室、控制装置，该低温室中设有一上隔物架，该高温室中设有一下隔物架，在箱体的上部依次设有显示屏、按键；该低温室具有抽屉式开关的第一门体，该高温室具有抽屉式开关的第二门体；在第一门体的底部设有一拉伸方向与门体拉伸方向垂直的、可以从左右两侧拉出的刀叉架；在该低温室内设有一设置有紫外线灯管的旋转灯架，在该高温室内设有一用于发射光波的光波发生装置。本发明消毒柜，使用范围广泛，功能齐全，消毒效果好。

It is shown that the return time set of strong scattering is Poincaré set, the return time set of scattering is recurrent set and the return time set of weak scattering is recurrent set for group rotation.

特别地，我们得到了强扩散系统的回复时间集为Poincaré序列，扩散系统的回复时间集为回复序列以及弱扩散系统的回复时间集为相对于群旋转的回复序列。

Some new basic concepts are proposed in this paper, including the approximation space of generalization, rough approximation axiom, disturbance set axiom, classification principle of rough set, principle of nondeterministic even set, principle classification, bit quantum symmetric classification, of concentration, game classification, quantum logic incomparable set, bit space set, protocol relation, rough set function of protocol relation, rough classification algebra, rough simple algebra, etc., and a guess is also proposed.

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。

According to evaluation of the thermal, hydraulic, environmental and mechanic characteristics and energy performance of building and VAV air-conditioning system, and evaluation of the control performance of local control loops using the simulator of VAV system, this paper presents five on-line supervisory control strategies for local control loops: on-line optimization of VAV supply air static pressure set-point, on-line optimization of AHU supply air temperature set-point, on-line optimization of on/off set of CAV sub-system, on-line optimization of outdoor air set-point and on-line optimization of chilled water secondary pump pressure set-point.

通过数字仿真器对建筑物及其变风量空调系统的热力、动力、环境和能耗等运行特性的模拟，以及对系统常规采用的下位机控制回路可控性和稳定性等控制特性的研究和分析，本文先从局部的角度开展了系统局部优化的研究。提出并在仿真器上分别实施了VAV送风静压设定的实时优化，AHU送风温度设定的实时优化，CAV子系统开／停的实时优化，新风量设定的实时优化以及二级泵冷媒水供水压差设定的实时优化。

For every one of my New Year resolutions, I have been a backslider for years.

说到我的新年决心，我每年都做

With empathy and focus on a feeling level, we can all relate to the common ground of mutuality of emotions.

有了同情心和感觉上一级的重点，我们都可以涉及到相互的情感共同点。