查询词典 relatively countably compact subset

The description of an algorithm may talk of abstract objects such as integers, reals, strings, sets, stacks, graphs, and trees; abstract operations such as "sort the list,""pop the stack," or "trace a path"; and abstract relationships such as greater than, prex, subset, connected, and child.

算法可使用抽象的对象（像整数、实数、字符串、栈、图和树）、抽象的操作（像排序、弹出弹入、跟踪）和抽象的关系（大于、先于、子集、连通和后代）进行描述。

Methods To detect lymphocyte subset in whole blood with different preservers by flow cytometric multi-color analysis.

流式细胞术多色分析方法计数不同保存剂处理后、不同时间内血液中淋巴细胞亚群。

The approach comprises following steps: grouping available measurements in various possible subsets, solving target position in Cartesian co-ordinate corresponding to each measurement subset, selecting several subsets with higher accuracy of position location, fusing the data of target-position corresponding to subsets selected by step .

本文围绕双／多基地系统的配置，利用各站可能获得的观测量怎样实现对目标的精确定位与跟踪这个问题来展开研究的，并以探索双／多基地系统的定位与跟踪性能为目的，对双／多基地系统的定位方法和定位精度、定位跟踪算法及其性能等方面进行了深入的分析和研究。

Using immunofluorescence staining with antibodies of specific enzyme of mast celland phalloidin. MC subset was defined by sorting and measuring of flow cytomery. Distribution of secretory vacuole and microfilament in MC were showed by laser scanning confocal microscope.

利用肥大细胞的特征性蛋白酶抗体和鬼比环肽的免疫荧光标记；以流式细胞仪检测分选人皮肤组织中肥大细胞的亚型；使用激光扫描共聚焦显微镜显示肥大细胞内分泌颗粒和微丝的分布。

Using immunofluorescence staining with antibodies of specific enzyme of mast cell and phalloidin. MC subset was defined by sorting and measuring of flow cytomery. Distribution of secretory vacuole and microfilament in MC were showed by laser scanning cofoncal microscope.

分泌方法：利用肥大细胞的特征性蛋白酶抗体和鬼比环肽的免疫荧光标记；以流式细胞仪检测分选人皮肤组织中肥大细胞的亚型；使用激光扫描共聚焦显微镜显示肥大细胞内分泌颗粒和微丝的分布。

Students with well-spaced deadlines those in the first group and a subset in the third who had spaced out their deadlines tended to achieve the highest grades.

设定了时间分布均匀的最后期限的学生--包括第一组学生，以及自行分开设定最后期限的一部分第三组学生--往往得分最高。

Finally the true-false subset semantics is analyzed.

最后对真假子集语义进行了分析。

Finally the true-false subset semantics is analyzed.

介绍了作者开发的真假子集语义及其在Agent形式化中的应用。

In order to eliminate the problems with existing logic of belief, desire and intention, and to provide a proper semantic representation for non-normal modal operator, the problems with existing logic of belief, desire and intention are addressed, the true-false subset semantics, which is developed by the authors, and its application in the formalization of agent are introduced.

为了克服现有的信念、愿望和意图逻辑中存在的问题，为非正规模态算子提供一种合适的语义表示。

Thus the true-false subset semantics provides a proper semantic representation for non-normal modal operator.

这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示，是对经典的正规模态算子可能世界语义的一个重要发展，是理性Agent性态的逻辑规约的有力工具，可应用于建立新的合适的Agent逻辑系统。

I go to school at night.

我是上上学。

Clear Tip Nasal Aspirator: A soft time and gentle suction action makes removing excess mucus easy.

鼻吸明确提示：一个柔软的时间和温柔吸力行动使消除过剩的粘液容易。