Finite automaton, a computational model of extremely limited computing ability, was proved to have the capability of solving primeness test by construction.
有穷自动机，一种计算能力极其有限的计算模型，具有解决素性测试的能力通过构造法得到了证明。
Scientific research areas such as model construction energy resource detecting, meteorology forecast and research of basic theory require extremely high computing capability.
在诸如预测模型的构造和模拟、能源勘探、数值气象预报以及基础理论研究领域中都对计算提出了极高的要求。
A capability maturity model is introduced and discussed in details in this paper to assess the project management levels of different construction organizations.
详细介绍了国际上最新的项目管理成熟度模型。
应用推荐