It is proved that the MOL resolution principle is complete.
本文证明了MOL归结原理是完备的。
The resolution principle is known to be a basic tool for theorem proving.
归结原理是定理机器证明中的一种基本技术。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
A resolution principle for constrained clauses is proposed, where unification is replaced by testing constraints for satisfiability o...
本文提出了一种约束子句的消解原理，其中测试是否满足约束理论的约束取代了一致化。
A resolution principle for constrained clauses is proposed, where unification is replaced by testing constraints for satisfiability over the cons...
本文提出了一种约束子句的消解原理，其中测试是否满足约束理论的约束取代了一致化。
Aiming at current domain name system (DNS), this paper analyzes its work procedure and domain name resolution principle and discusses the optimizing performance.
针对当前域名系统，通过分析其域名解析的原理，指出其性能优化的方向。
Aiming at current domain name system (DNS), this paper has analyzed its work procedure and domain name resolution principle and pointed out the directions of optimizing performance.
针对当前域名系统，通过分析其工作过程和域名解析的原理，指出其性能优化的方向。
The high range resolution principle and Doppler performance is analyzed. The effect of velocity and acceleration on one-dimensional high range resolution is calculated through simulation.
分析其高距离分辨原理及多普勒性能，通过仿真，计算速度、加速度对一维距离高分辨的影响。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
The fail-first principle [1] is a time-honored heuristic to improve the performance of problem resolution that involves some amount of decision making.
先失败原则 [1]是一个确立已久的探试方法，用于提高涉及一些决策制定的问题解决方案的性能。
This principle will help us overcome existing differences, enhance mutual trust between the six parties and promote the final resolution of the issue.
确定这一原则，有利于我们克服目前存在的分歧，有利于增进六方的互相信任，有利于推进问题的解决。
Based on the imaging principle of SEM, the equation for illustrating the theoretical resolution of secondary electron image has been deduced in this paper.
本文是从扫描电子显微镜的成像原理出发，推导了有关阐明二次电子像理论分辨率的公式。
The composition and working principle of newly developed submerged pump was introduced, the resolution of key issues in development of submerged pump was analyzed and discussed.
介绍了新研制潜液泵的结构组成和工作原理，论述了研制中对关键技术问题的分析和解决。
Based on this principle the resolution of grating scale for large displacement can be enhanced 1 ~ 3 power.
基于该原理，可将光栅尺位移测量分辨率提高1 ~3个数量级。
The principle, the influential factors and the utilities of energy resolution mass spectrometry have been reviewed in this paper.
本文概要综述能量分辨质谱的原理、影响因素及其应用。
The principle composes four CMOS images taken staggeringly in half pixel offset in directions of horizontal, vertical and diagonal into a new reconstructed high resolution image.
该原理将CMOS图像器件获得的分别在横向、纵向和对角线方向存在半个像素错位的四幅图像用软件合成一幅高分辨率图像。
The principle for improving microlithographic resolution and focal depth with phaseshifting mask is described in detail in the paper.
详细地论述了相移掩模提高光刻分辨力和改善焦深的原理。
The basic principle, accuracy and resolution of the leak detection method by means of bubble emission were investigated, and the calculating formula of leakage rates was derived.
探讨了液下气泡检漏法的基本原理、泄漏率计算方法以及检漏精度和分辨率。
The resolution of each pixel can be computed according to the principle of geometrical progression. The geographical position of the pixel, in turn, can be determined.
可以利用等比级数的原理计算象素分辨率，从而确定象素的地理位置。
The paper analyzes the imaging principle of the panoramic aerial camera in detail and proposes the detection scheme of the dynamic resolution.
论文在详细分析了全景航空相机成像原理的基础上，提出了动态分辨率检测的总体方案。
The paper presents the principle of enhancing the resolution ability for the radar with sum-difference beam and the compression result by using the lobe compression technique.
介绍在具有和差波束的雷达中采用波瓣压缩技术提高雷达分辨能力的原理，以及采用该压缩技术后的压缩效果，最后给出该技术在幅度和差单脉冲雷达中的工程实现方。
The high resolution stratigraphic correlation framework of the sag could be established based on the principle of the stratigraphic circle correlation.
运用旋回对比原理，可建立起高分辨率地层对比格架。
We present an all-reflective Fourier transform imaging spectrometer (FTIS) with high resolution based on the principle of wavefront-splitting interference.
提出了一种基于分波前干涉结构的全反射式高分辨率傅里叶变换成像光谱仪。
The depth discrimination and transverse resolution of a laser confocal scanning microscope are discussed from the imaging principle of laser confocal scanning microscope.
从激光共焦扫描显微镜的基本原理出发，深入讨论激光共焦扫描显微镜的深度分辨率和横向分辨率，同时研究三维成像的像差补偿问题。
The author introduces the basic principle and procedure of wavelet analysis and discusses the applicability of the log signal wavelet analysis in the high-resolution sequence stratigraphic division.
介绍了小波分析的基本原理和步骤，探讨了测井信号小波分析在高分辨率层序地层划分中的适用性及其意义。
In the paper, there are: the principle and simulation method of high resolution range profiles is studied, and the pose sensibility of range profiles is investigated.
研究了高分辨雷达目标一维距离像的原理及仿真方法并对高分辨雷达一维距离像的姿态敏感性进行了分析。
In the paper, there are: the principle and simulation method of high resolution range profiles is studied, and the pose sensibility of range profiles is investigated.
研究了高分辨雷达目标一维距离像的原理及仿真方法并对高分辨雷达一维距离像的姿态敏感性进行了分析。
应用推荐