The constraint classification and a hierarchical solving modeling are put forward in this paper, helpful for the validity and calculation of mechanical product layout.

Chapter 4 studies the linear Schrodinger equations with initial boundary value conditions, we get its equivalent integral equation by taking the Laplace transform with respect to the variable t, then we prove that its solution is Turing computable.

第四章对带有初边界值条件的线性薛定谔方程，通过作关于t的Laplace变换得到等价的积分方程，证明了方程的解算子是图灵可计算的。

The two methods of estimating parameter in computable general equilibrium ( CGE) model are introduced and compared: the calibration procedure and econometric estimation.

介绍了可计算的一般均衡（CGE）模型中确定参数的两种主要方法：校准方法与计量经济方法，并对两种方法进行了比较，分别论述它们的优缺点。

Algorithmism asserts that phenomena and process of biosis are computable, and this assertion has gone on with Reductionism.

计算主义纲领关于生命现象或过程是可计算的主张，与关于生命现象的还原论是一脉相承的。

Class is the most important conception in the object-oriented programming. After improving the structure of the class, an agent model which can be calculated is proposed.

类是面向对象技术中最重要的概念，改进类的结构后给出了一种可计算的agent模型。

In addition to computed resources, NetKernel's cache stores meta information about resource dependencies and the cost of computing each cached entry.

除了可计算的资源外，NetKernel的缓存还存储了资源依赖和计算每个缓存点所需代价的元信息。

Except the parameter estimation ( 1), the other four items ( 2)~ ( 5) all require that the variance-covariance matrix of the basic vector including the observations, the estimated parameters, the residuals and the adjustments of the observations are explicit and computable.

除参数估计（1）外，其余四项内容都需要基本向量（包括观测量、参数估计量、残差向量以及观测量平差量）的方差协方差矩阵具有明显可计算的形式。

The process applying computer to solve an application problem can be summarized as using language and Ontology to build computable models of the domain for certain purpose.

使用计算机解决应用问题的一般过程可以概括为：对于某个给定领域和目标，应用某种语言为该问题建立可计算的模型。

Such explicit error estimates can be used as computable error bounds in adaptive computation of finite element solutions.

这样的显式误差估计有助于推导出可计算的误差界，从而实现有限元的自适应计算。

The technical details of things like Turing completeness and theories of computability are beyond most of them.

如图灵可计算的完整性和理论的东西的技术细节超出了大多数。

The present paper covers the Hopf points bifurcating from double fold points, and gives some computable nondegeneracy conditions and stability conditions of these Hopf points.

本文研究从双重折叠点分支出的Hopf点，给出了可计算的非退化性条件及稳定性条件。

With the abroad application of science and technology, and the increasing development of instrumental rationality, human subjectivity is destroyed under certain conditions. Man is becoming computable and abstract atom, losing their status and dignity to be human.

科学技术的广泛应用、工具理性的日益发达在一定条件下破坏了人的主体性，人在机械体系中逐渐成为可计算的抽象的原子，丧失了人之为人的地位与尊严。

The additional role is to promote the efficient use of network resources, such as link bandwidth, switch buffer and computational resources.

另一个作用是提高网络资源的利用率，如链路带宽、交换机缓冲区等可计算的资源。

To combine hardness semiempirical equations and population ionicity scale of a chemical bond makes the hardness predictions possible, in which all parameters can be calculated by first principles.

将硬度的半经验公式与化学键的布居数离子性标度相结合，使完全采用第一性原理可计算的参数来预测硬度成为可能。

The Cantor process, therefore, could not be mechanised, and the uncomputable diagonal number could not be computed.

所以，康托的对角线法，不能机械化，不可计算的对角线数，确实不可计算。

The quantitative analyze of metallography is about how to determinately express the organization of metallography by measurable and calculable parameters, and find the relationship and ruler between material performance and these parameters.

金相定量分析就是应用某些可以测量的参数或可计算的参数来准确地表征组织特点，寻找它们与金属材料性能之间的关系。

Biological systems are inherently hierarchal and multiscale in time and space. A major challenge of systems biology is to describe biological systems as a computational model.

生物系统的多层次多尺度在时间和空间上都有着自身的复杂体系，用可计算的数学模型来准确地模拟复杂生物系统是系统生物学一个主要的挑战和困难。

A cell theory of nematic liquid crystals is presented, which provides a calculable theoretical model for investigation of molecular short-range correlations.

本文提出了向列型液晶的格胞理论，为研究分子短程关联提供一个可计算的理论模型。

While using static assertions, always remember that the expression being checked must be evaluable at compile time.

一定要记住，在使用静态断言时，检查的表达式在编译时必须是可计算的。

Since the establishment of Hi-tech Zone, its economy grew over 25 %.

自高新区成立以来, 各项经济指标年均增长均在25%以上.

An indicator that is useful must be accurate, timely and reliable.

经济指标必须准确 、 及时和可靠才算有用.