这些研究增强了语言处理的可计算性。
All these researches improve the computability of the language processing.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
下面的表格指出了在可计算性和复杂性理论应当考虑的一些种类的问题。
The following table shows some of the classes of problems that are considered in computability theory and complexity theory.
本方法数学、物理意义明确，可计算性强，无论电算、手算均具有很多优越性。
The model has clear mathematical and physical meaning and excellent computability. The efficiency of the method has been demostrated by both simulation and practice.
该方案基于CDHP的难解性和DDHP的可计算性，它满足群签名的基本特性。
This scheme is base on difficulty of CDHP and calculability of DDHP, and it is provided with the main properties of group signature.
下面的表格指出了在可计算性(蓝色)和复杂性理论(绿色)应当考虑的一些种类的问题。
The following table shows some of the classes of problems (or languages, or grammars) that are considered in computability theory (blue) and complexity theory (green).
以可计算性逻辑的完备子集cl4为基础进行知识表示，将知识分为简单知识与一般知识。
Based on the sound and complete subset CL4 of computability logic, knowledge representation is discussed by dividing knowledge into elementary and general ones.
实验结果表明，科学控制词义刻画的粒度可以增强词义的可计算性，提高词义识别的精度。
Experimental results show that scientifically controls the granularity of semantic depiction can enhance the computability of word senses, and improve the accuracy of word sense discrimination.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
人员密集场所的风险具有来源的复杂性、本质的双重性、后果的严重性、有限可计算性和时空特性。
Risks of assembly occupancies have source complicacy, intrinsical dualism, effect ponderance, limited calculability and spatiotemporal characteristics.
文章最后，从指称理论和语言的可计算性，论述了语义网络的实现和计算机、网络对网络语言的理解。
Finally, based on the reference theories and the language "s calculability, we discussed the realization of the semantic net language and how computer and network comprehend the network language."
与已有文献相比，本文所采用的研究分支问题的方法适用范围更广，而且所得的分支方程有较强的可计算性。
The method adapted in this paper, which copes with bifurcation problems, is more applicable and the bifurcation equations achieved here are easy to compute.
基于LSA的检索模型与其它基于概念词典或概念网络的检索模型相比，具有可计算性强、需要人的参与少等优点。
Compared with other retrieval models, such as concept library based or concept network, LSA-based retrieval model is easy to compute and requires less human intervention.
由于他的著名的关于宇宙的可计算性大胆预言，SethLloyd博士是一个认为我们生活在一个巨大的量子计算机的俱乐部的成员。
Famous for his bold predictions about the computational capacity of the universe, Dr. Lloyd belongs to the club that thinks that we live inside of a gigantic quantum computer.
如图灵可计算的完整性和理论的东西的技术细节超出了大多数。
The technical details of things like Turing completeness and theories of computability are beyond most of them.
通过此函数关系可计算任意电阻变化量的分散性，进一步求得实验值的可靠性。
We can calculate the dispersibility of resistance change and get the reliability values of experiment by the fitting curve.
树木的年轮和季节性沉积被称为年变层，可计算用于确定绝对年龄。
Tree rings and seasonal sedimentary deposits called varves can be counted to determine absolute age.
依据矿石失重实验数据可计算反应率的大小及其变化关系，并可分析矿石还原过程速率的限制性环节及矿石的还原性。
From the da ta of weight-loss experiment, the rate of reaction and the variation of this rate with time can be calculated. The controlled step of reducing process can be determined also.
依据矿石失重实验数据可计算反应率的大小及其变化关系，并可分析矿石还原过程速率的限制性环节及矿石的还原性。
From the da ta of weight-loss experiment, the rate of reaction and the variation of this rate with time can be calculated. The controlled step of reducing process can be determined also.
应用推荐