结点

As a single node in an STGA corresponds to many nodes in the "instantiated" transition graph,optimization on STGA will significantly improve the time and space efficiencies of bisimulation-checking algorithms.

由于STGA的一个结点对应于具体迁移图的许多结点，在STGA上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。

The basic concept of the proposed scheme is to find the union sets of the output ports of switches in the paths between the source processing node and each destination processing node in the multicast group.

我们所提出机制的基本观念是找出介於来源结点与在多点传播群组结点中，所经过交换器的输出埠联集集合。

Compare to existing results for general graph, new lower bound on the size of the minimum feedback vertex set of-star graph is given based on its special structure.

本文主要讨论了关于组合星图反馈结点集的下界问题，在基于组合星图的性质和已有相关结果的基础上，给出了组合星图反馈结点集的新的下界。

The vertex set denotes random variables at different times, and the directed edges denote causal dependence between the variables.

定义了线性条件互信息图，图中的结点表示时间序列不同时刻的随机变量，结点间的边表示随机变量之间存在的因果相依关系。

This conclusion corrects a mistaken resultIn the planar quadratic system there is not cubic algebraical saddle-nodeseparatrix-loop,in which the author asserrts that quadratic system has no the cubicalgebraical saddle-node separatrix cycle .

本文证明了平面二次系统的三次代数同宿轨线上可以存在鞍结点，并且二次系统可以存在含鞍结点的无返回映射三次曲线分界线环。

It uses a reduced XPath syntax to search, so a corresponsive node or node set will be returned.

它采用简化的XPath语法查询，返回符合查询需求的结点或结点集合。

Dynamic allocation algorithm for real-time bandwidth is proposed to estimate the current real-time communication load of each node dynamically and control the token hold time of each node distributedly.

提出了一种动态实时带宽分配算法，能够动态估算当前各个结点的实时通信负载，分布式地控制各个结点的令牌持有时间。

The model parameters include boundary condition, initial condition, hydrological and geomorphological parameters and the other parameter for controlling the model simulation process.

在不规则无结构网格中，在洪水模拟计算时要用到的网格与边的关系、网格与结点的关系及边与结点的关系必须建立；④模型参数的确定。

The type and relationship of HN, and the relationship between the Truth Value Space of GL and HN's operating are discussed, combing examples from Weather Forecast Expert System. The author includes into continues theory system the traditional Zadeh Operator, Probability Operator and Limitary Operator as special cases.

讨论了超结点的类型、关系及泛逻辑的真值空间和超结点间逻辑运算关系，结合天气预报专家系统实例，将传统的Zadeh算子、概率算子和有界算子作为特例包容到连续的理论体系中。

Our main contributions are as follows:① We realized that HTS is common in almost everything;② We generalized that HTS consisted of hyper-node and hyper-line;③ We defined the state space of HTS, and its solution path;④ We studied the comprehensiveness, compatibility, connective capacity, namability, and the classification of HN.

认识到超拓扑结构是客观世界中事物的普遍现象，抽象出HTS=HN+HL。提出了HTS的状态空间与解路径，定义了解路径的承接超结点。对HTSKR进行了形式化的定义，研究了超结点的包容性、包容度、连接性、命名性、分类性等。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。