查询词典 concurrent resolution

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

Length of Fourier transform is connected with curve resolution. Curve resolution is lower, window length of Fourier transform is narrower.

为截取最强地层响应信号，选取Fourier变换窗函数，窗长与曲线原始分辨率有关，分辨率越低的曲线窗长越大。

The way of crack elimination is by setting the vertex of higher resolution node to the edge of conterminous lower resolution node.

另外，通过将较高分辨率地面块边界点移到相邻较低分辨率地面块节点的边界上的方法消除裂缝。

The key factors to effect the curve resolution ability were studied and the limit of curve resolution ability in theory was determined.

通过线性空间中的几何模型，确定了影响体系组分分辨能力的关键因素，结合噪声分布提出了组分分辨能力的理论极限。

Nowadays, in the low electron dose condition, the information about 3-4〓 can be recorded on the cryoEM micrograph, and the high-resolution reconstruction using the cryoEM has reached 6. 5-8〓 levels. The reconstruction can reveal the protein α helical and recognise β fold secondary structure. Secondly, it is due to the development in 3D reconstruction method, which can be more efficient to determine the orientation and center parameters. The last but not least, it is also owning to the rapid development in computer science and information technology. Such as, some computational task, which previously must be executed by using super-computer, now can be carried out by personal computer, and at the same time, the network speed and band width of data bus and input/output equipment have increased several times. In addition, the improvement of the high quality graphic displaying is available. All these provide strong support for cryoEM high-resolution reconstruction study.

目前，在低电子剂量的情况下，冷冻电镜照片可以记录到3-4 〓的信息，使用冷冻电子显微镜进行高分辨三维重构工作，已经获得6.5-8〓高分辨率水平的结果，可以分辨出蛋白质的α螺旋、识别出蛋白质的β折叠等蛋白质二级结构；其次是，三维重构算法效能的不断提高，使得对二十面体取向和中心参数计算的可靠性大大提高；再次是，由于计算机和信息技术迅猛发展，例如，以往需要使用大型计算机的计算任务已经可以被一般的个人电脑完成，网络速度、数据总线和硬盘等I／O设备的带宽成倍增长，以及图像显示能力的提高都为冷冻电子显微镜高分辨三维重构技术提供了强有力的支持。

Program in Conflict Analysis and Resolution is an interdisciplinary program dedicated to improve the understanding and resolution of current, often violent social conflicts.

在冲突分析和解决硕士课程是一个跨学科计划，旨在提高认识和电流，常常剧烈的社会冲突的解决。

The effect of spectra resolution on the detected characteristic absorption structure of gaseous pollutants and the variation of differential cross section of gaseous pollutants with the change of resolution are studied.

主要研究了光谱分辨率对污染气体被检测到的特征吸收结构形状的影响，以及差分吸收截面随分辨率的变化趋势，从而确定了光谱分辨率对污染气体最低可检测浓度的影响，通过研究分辨率与光强的关系，确定了分辨率与信噪比的函数关系式，得出了DOAS测量NO2，O3和SO2的最佳信噪比范围，对多种污染物标准气体进行了同时监测，计算出标准气体在不同光谱分辨率下的测量误差，确定了对NO2，O3和SO2监测的最适用的分辨率范围。

Based on the characteristic of multi resolution of wavelets analysis, a effective method for displaying any cross section from coarse to fine resolution is presented; Based on OpenGL, the paper improved Ray-Casting arithmetic and footprint arithmetic considering the characteristic of seismic data; After introducing the characteristic of geology data and the process of seismic interpretation, the paper presents a theory frame of 3D geological interpretation software and partly realize the frame.

本文首次利用小波变换实现了三维地震数据体的快速多分辨率显示；针对地震数据体的特点，提出了基于OpenGL的改进光线投影法的快速算法及改进的脚印算法；实现了地震数据体的切割、面状地质体的构造及面状构造与地震数据体的联合显示，动画效果的形成等三维地震数据体显示效果；分析了三维地质体的特点及常规地质解释过程的特点，提出了三维地学可视化软件的体系结构，并实现了其中主要功能，取得了良好的效果。

While its maximum resolution is still stuck at less than 8MP (Mega-pixels), Sony, the famous Japanese consumer electronics maker has just announced the availability of its new series of ultra small form factor high resolution camera module targeted for mobile market.

虽然它的最高分辨率仍然停留在不到8MP ，索尼，日本著名的消费电子制造商刚刚宣布推出一系列新的超小外形尺寸的高分辨率摄像头模块针对移动电话市场。

Molecular Distillation is a kind of high vacuum distillation method, which is suitable for the separation of high boiling, heat sensitivity and viscidity products.

分子蒸馏技术是一种在高真空条件下进行的连续蒸馏过程，适合于分离高沸点、热敏性及具有生物活性的混合物。

They are to the Noughties what yuppies were to the Eighties .

那在六十年代是时髦的，但在八十年代肯定是过时了