图的平面性判定算法是相当复杂的。
Planarity testing algorithm of graphs is a quite complex process.
子句集的可满足性判定是自动证明领域的热点之一。
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
语义网的关键推理问题可以化为公式的可满足性判定问题。
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
对一种类型的集束战斗部的抛撒均匀性判定方法进行了分析。
The deployment uniformity judgement method of a kind of cluster warhead is analyzed.
引入均方差的概念，建立了抽运光功率分布均匀性判定方法。
A method to estimate the distribution of pump power is bring up.
基本方向约束的一致性判定是定性空间推理中的基本问题之一。
Consistency checking of cardinal direction constraints is one of the essential issues in qualitative spatial reasoning.
最后通过两个算例说明了本文给出的一致性判定方法和方案排序方法。
Finally, two examples are chosen to illustrate the consistency judgment approaches and the ranking approach of alternatives.
固定优先级任务可调度性判定是实时系统调度理论研究的核心问题之一。
One of the key issues in real-time theory is the schedulable analysis of a given task set with fixed priority.
采用BDS统计分析和非线性时滞相关性判定法，研究这种非线性特性。
In this paper, this kind of nonlinear characteristics was analyzed by using the BDS statistical analysis method and the nonlinear time lag correlated character determination method.
在垂直搜索引擎中，网络蜘蛛的爬行策略和主题相关性判定算法是其核心。
The crawling strategy and topic relevance algorithm of web spider is the core for vertical search engines.
在单调速率调度策略的基础上，提出一种改进的任务集可调度性判定算法。
This paper present an improved method for analyzing the schedulability of periodic task sets under Rate Monotonic(RM) priority assignment.
能控性判定问题是现代控制论研究的重要课题，它是系统分析和设计的理论基础。
Judging controllability is an important study problem of modern control theory, it is also a theoretical foundation in systems of analysis and design.
得到时延混沌系统在理想条件和参数存在误差条件下，系统具有可控性判定定理。
Under the condition of the parameters having error and no error, we get the criterion of the chaotic system controllable.
在分析现实存在的区域土地利用问题基础上，采用相应评价指标进行可持续性判定。
On the basis of analyzing present problems about land use, some evaluated standards are selected to judge the sustainable land use.
在空间推理方面，主要解决了空间拓扑关系一致性判定和隐性空间信息获取等问题。
While, in respect of spatial reasoning, the problems such as consistency checking and implicit information obtaining are addressed.
因此全面分析尾矿信息，建立并应用尾矿库危险性判定理论有着十分重要的现实意义。
Therefore comprehensive analysing tailing pond risk information establishment and application the determinant theory of tailing pond risks has the very important practical significance.
基于抢占阈值调度的任务响应时间分析方法是一种新型实时系统任务可调度性判定技术。
The response time analysis method for scheduling tasks with preemption threshold is a novel schedulability technology .
用该法给出了4R过约束机构的寻找方法，同时对一个4R2 P机构进行了过约束性判定。
With this method, 4R overconstrained mechanisms is proved, and also a 4R2P overconstrained mechanism is determined.
提出一种结合波段相关性判定和SPIHT编码的方法对MODIS多光谱图像进行无损压缩。
A lossless compression method based on SPIHT and inter-band correlation prediction was presented for MODIS multispectral images.
研究了函数的一阶右导数与函数凸性的关系，给出了二个定理，把曲线凸性判定定理加以推广。
This paper discusses the relationship between the 1-stage progressive derivative and function convex, and two principles are presented, the curve convex judging principle is finally extended.
本文建立的煤炭自燃可能性判定系统是一个应用计算机对采区煤层自燃发火可能性进行判定的专家系统。
The judging system for the possibility of coal selfignition established in this paper is an expert system which uses computer to judge the possibility of coal selfignition in stope.
对于科学计算循环中出现的大多数数据相关性判定问题，使用体差不等式测试算法可以获得很好的效果。
Experimental results also show that the dependence difference inequality test algorithm works very well for most of data dependencies appeared in scientific computation programs.
结论ET1在肺结节病和IPF发病机制中起着重要作用，并可作为疾病活动性判定的一项重要参考指标。
Conclusions ET1 might play an important role in pathogenic of the patients with sarcoidosis and IPF. The levels of ET1 can act as the markers of activity of disease.
本文给出了同时完成图的平面性判定，平面化，以及平面嵌入的一个算法。同时给出了这一算法的机器化结果。
In this paper, an algorithm with its mechanicalization is given, by which one can accomplish the following tasks simultaneously: planarity testing, making and embedding.
而地壳垂直形变场的时间权系数能够表示区域地壳运动的相对强弱，它可以作为区域地震危险性判定的时间判据。
The weight coefficients can indicate severity of crustal related movement in an area. It is one of the time criterion of earthquake region.
主动规则集的可终止性判定是主动数据库中核心问题之一，利用触发图和活化图的方法来判定可终止性都存在一定的局限性。
Active rules termination is an important problem in active databases, proving termination by using triggering and activation graphs is a conservative approach.
将行列式的值、矩阵的秩、齐次线性方程组的解等知识运用于向量组线性相关性判定，归纳出六种判定向量组线性相关性的方法。
The judging methods of the vectors group related dependence from determinant values, rank of matrix, solution of system of linear equations etc were studied.
本文还探讨了规则分析理论，通过定义触发图、活化图和惰化图，给出一个规则终止性静态分析算法，提高了规则终止性判定的准确性。
In this paper we also discussed the rule analysis theory. By defining trigger graph, active graph and de-active graph we gave a static rule analysis algorithm of deciding of the rule termination.
难以客观判定该问题的严重性。
Objective assessment of the severity of the problem was difficult.
难以客观判定该问题的严重性。
Objective assessment of the severity of the problem was difficult.
应用推荐