It is required that the meanings of lexicon be fully analyzed and, if possible, be decomposed in nearly primitive, so that the semantics of language can be computable in a formal way.
这就要求对词汇的意义进行完整的分析，并尽可能地将之分解成为最小元素，从而使语言的语义能够从形式上得到计算或组合。
In the earlier discussion I discussed using HTTP 303 codes to give URIs to non-computable resources such as people and abstract qualities.
在之前的讨论中，我论及了使用HTTP 303代码将URI赋予非计算性资源，比如人和抽象的属性。
The applications of General Equilibrium model and the Computable General Equilibrium model in pollution charge policy were studied.
分析了一般均衡模型和可计算一般均衡模型在排污收费政策中的应用。
Part of the reason lies in the computable general equilibrium (CGE) models used by the Bank's (and other) economists.
这与银行（及其他）经济学家采用可计算的一般均衡模型(CGE models)有关。
Alan Turing invented the programmable computer in 1936 (see Resources) as a thought experiment to show that certain mathematical problems were not computable.
AlanTuring在1936年发明可编程计算机(请参阅参考资料)是作为一种思想实验以证明某些数学问题不可计算。
We mainly apply the contraction principle in analysis and properties of some Spaces. By the computable functions constructed, we extend the solution from the internal to the entire space.
证明过程中主要应用了分析中的压缩映象原理和一些空间的性质，通过构造可计算函数，来把解从一个区间延拓到整个空间。
In this paper, the Computable General Equilibrium model was used to analysis the economic and environmental impact of the Demand-Side Management project.
使用可计算一般均衡的方法对电力需求侧管理项目的经济影响和环境影响进行分析。
"These detailed and fully computable specifications can be used to build applications and messages in a way that ensures the information can be understood by the receiving system," Heard said.
说，“这些详细完整的可计算规范可以用于创建应用程序和信息，所采用的方式可以确保接收系统理解这些信息。”
The most famous finite state machine is probably Alan Turing's hypothetical device: the Turing machine, which he wrote about in his 1936 paper, "On Computable Numbers."
最著名的有限状态机可能是阿兰·图灵在1936年发表的论文《OnComputableNumbers》上写下的的猜想——图灵机。
Suppose astronomy were computable – that is, that the behaviour of everything in the universe could be modelled on a computer – this would not show that the universe is a computer.
假设，天文学是可计算的，那就是说，宇宙万物的行动都可以在计算机上复制出来；但这不能说明宇宙就是一台计算机。
In this paper, the computable model and function of pounding between the suspended part and the core-wall of the suspension structure was brought forward.
针对核筒悬挂结构悬吊楼层与芯筒之间的碰撞问题，提出了计算模型并推导了相应的计算公式。
The multiple embedded computable nonlinear dynamic input output model is given in this paper, and its balanced growth solutions about prices, output level, growth rate, profit rate are discussed.
给出多重嵌套的可计算非线性动态投入产出模型，并给出相应的价格、利润率、产出结构、增长率的平衡增长解计算公式。
In this paper, a computable general equilibrium model about resource optimization is established and some new results are obtained.
本文构造了一个关于资源优化配置的可计算一般均衡模型，得出了一组新的结果。
In line with China's WTO protocol, this paper devotes to a quantitative analysis of the impact of China's entry into the WTO on its economy, following a "computable general equilibrium (CGE) model".
本文根据中国加入WTO议定书，运用中国经济可计算一般均衡(CGE)模型，定量分析了中国加入世界贸易组织(WTO)对中国汽车产业的影响。
In line with China's WTO protocol, this paper devotes to a quantitative analysis of the impact of China's entry into the WTO on its economy, following a "computable general equilibrium (CGE) model".
本文根据中国加入WTO议定书，运用中国经济可计算一般均衡(CGE)模型，定量分析了中国加入世界贸易组织(WTO)对中国汽车产业的影响。
应用推荐