说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> 可计算性理论
1.
SIGACT (Special Interest Group on Automata and Computabi-lity Theory)
自动机与可计算性理论专业组
2.
With the use of computability theory dividing whole-word coding into two parts: writing-input coding and computational coding, an method of none keyboard mapping for spelling language is proposed.
本文依据可计算性理论,提出了拼音文字非键盘映射编码方法,将整词编码分为输写码与计算码。
3.
The reliability of the parallel redundant system is lower than the result of theory analysis in fact.
实际并联冗余系统的可靠性远低于理论计算值。
4.
Theory of Computability and Some Key Question in Theory of Linguistics;
可计算性和语言学理论的几个关键问题
5.
Copulas New Theory for Reliability Calculation Involving Correlation in Mechanical Systems
机械系统相关性可靠度计算的Copula新理论
6.
Research on Reliability Assessment Models and Algorithms of Power Systems Based on Soft Computing Theory;
基于软计算理论的电力系统可靠性评估模型与算法研究
7.
The theoretic model computed results have verified the feasibility and correctness of the inversion method.
通过理论模型计算,验证了该方法的可行性和正确性。
8.
Reliability analysis of straight bevel gear transmission based on linear fatigue damage cumulative theory
基于线性疲劳累积损伤理论的直齿圆锥齿轮传动可靠度计算
9.
Analysis on Computer Network and Multi-criterion Optimization Based on Reliability Theory
基于可靠性理论的计算机通信网络分析及多目标优化
10.
notional highest pensionable emolument
理论上最高可供计算退休金的薪酬
11.
Scientific Visualization System Based On the Theory Of Mass;
基于块体理论的科学计算可视化系统
12.
The "Chinese Room Argument" and the Possibility of Computer Thinking
“中文屋论证”与计算机思维的可能性
13.
The exactness in the theory, the feasibleness in engineering and the usability of the method are proved by using the dynamic calibration technology and the computer simulation.
通过计算机仿真算例验证了该理论的正确性及在工程运用中的可行性。
14.
Knowledge Representation and Reasoning Based on Computability Logic
基于可计算性逻辑的知识表示与推理
15.
I can use probabilistic graph theory to rank them in order of likely use.
我可以运用概率图论来计算出现可能性的大小
16.
This paper demonstrates that this optimization method can be practiced both in theory and in algorithm by means of computers. So a reasonable decision settings for decision-making development is provided.
借助于计算机,文中给出了理论上和算法上的可行性,提供了开发决策科学化的决策环境。
17.
Calculation of Thermodynamic Properties of the Multicomponent Alloys with Miedema Theory;
合金热力学性质的Miedema理论计算
18.
Numeric Calculate and Testing Simulation of the AMTEC s Performance;
AMTEC性能的理论计算和实验模拟