查询词典 map coloring problem

Based on GIS and RS,land use data for 1965,1988,2003,which were got by digitizing relief map and classifying two landsat TM/ETM images,and soil data by digitizing soil map were used to estimate SCS hydrological model parameter.

在GIS支持下，以1965年西双版纳地形图及1988、2003年两期Landsat TM/ETM卫星影像获取的土地利用数据及实地土壤调查资料确定模型参数，通过分析CN值的变化来反映土地利用变化对径流的影响。

You have to climb up, down and all around the map to finish the map.

你有上升，下降和所有周围的地图完成图。

Solved the datum unification and the height joining between the Fujian coastwise topographic map and the water depths map.

以解决福建沿海海岸地形图和水深图的基准统一及高度衔接问题。

This paper researches linear maps preserving orthogonality,obtains the linear maps preserving othrogonality,it is either a rank -declining or rank -keeping map or a map with nilpotent element in its codomain.

利用分块成向量的方法证明了MnMn(F为域F上所有n×n矩阵构成的乘法半群上的n×n拟正交矩阵组至多含有n个矩阵，利用方程组的解的理论证明了Mn中与给定矩阵A构成两两拟正交矩阵组的矩阵个数不超过n-Rank+1，从而得到Mn上保持拟正交性的线性映射φ要么是降秩的或者保秩的映射，要么φ的值域中含有幂零元。

The extended Poincare map in this paper needs twosurfaces of sections transversal to the flow in phase space,i.e.,relates the crossing of a plane containing one of the collinear libration points back to the periapsis passage.Meanwhile,the map is calculated numerically using the Total-Variation-Diminishing Runge-Kutta integration method to get a good description of the Poincare sections.

文中的推广的Poincare映射需要在相空间中选取两个与流相截的面，即将包含某个天平动点的截面通过轨道来映射到近拱点的通道面上的，在数值上通过总变差减小的Runge-Kutta方法来实现两个相面之间的映射。

Archaeologists were impressed and puzzled by this map dated 2100 years ago because the level of mapping technology used in this map are comparable to modern maps, which are manifested by the high precision achieved in the mapping of rivers, and the representation of mountains and their peaks using conformal projection.

这幅2100多年前的古代地图，河流测绘的精确程度非常高，并且使用正形投影表示山脉山峰，其测绘科技水平已接近近代地图，这令人感到十分惊讶同时也不免产生困惑。

All the conspicuity maps will be integrated into a single conspicuity map which will be used to extract interesting map by nonlinear relaxation algorithm. The top-down attention mechanism uses the knowledge of visual task and object.

知识驱动的自顶向下注意机制基于自底向上兴趣图和待注意物体的知识，通过模式匹配生成描述待注意物体可能存在的位置的自顶向下兴趣图。

In the third section,we study the relationship between the APOTP for continuous map / on a compact metric space X and that for the lift map / of / on a covering space X and show that has the APOTP if and only if has the APOTP.

在第四节中，我们研究逆极限空间上移位映射的APOTP，讨论紧致度量空间上连续映射APOTP与逆极限空间上移位映射APOTP间的关系。

In this paper we investigate the dynamical properties of continuous mapson a class of hereditarily decomposable chainable continua and the structure ofthe inverse limit space using a piecewise monotone continuous map with zerotopological entropy on a finite graph as a single bonding map.

本文研究了一类遗传可分可链连续统上连续自映射的动力性质并且对有限图上逐段单调且具有零拓扑熵的连续自映射的逆极限空间的拓扑结构进行了较为细致的刻画。

Hence we can map ELOTOS to RPPM according to the trace equivalence. We describe the qualitative properties with deterministic timed automaton . The key of our qualitative model checking algorithm is how to map continuous time to finite intervals by constructing equivalence classes.

该算法构造等价类的思想是：通过触发事件剩余延迟时间与DTA中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

Core, self psychology is psychoanalytic, but there are crucial differences in how the patient-therapist relationship is viewed.

自体心理学的核心是精神分析，但在如何看待患者-治疗师关系方面，自体心理学和精神分析有着根本性的不同。

High-performance cars brake drum production costs increase less than 10%.

高性能汽车刹车鼓的生产成本增加小于10％。