可计算地

The method amending atmosphere influence is introduced, which places large area gray body beside the target. After academic analysis and experiment research, it is found that the "black body demarcation curve" and "reference curve" intersect at the atmosphere temperature point, and the slope amending coefficient and offset amending coefficient could be calculated based this two curve. After corresponding amending on target gray, the infrared radiation characteristics could be calculated by rule and line.

介绍了通过放置在目标附近的大面源灰体修正环境影响的方法，经过理论分析及实验验证，发现"黑体标定曲线"和"参考曲线"相交于环境温度点，并且根据这两个曲线可计算出环境影响的斜率修正系数和偏置修正系数，对目标的灰度值进行相应的修正就可以准确地计算出目标的温度等红外辐射特性。

Documents are defined in real number field using the form of vector, pattern recognition and mature calculate methods in other fields can be used, which improves calculability and maneuverability of nature language document obviously.

把文档以向量的形式定义到实数域中，能够使用模式识别和其它领域中各种成熟的计算方法，极大地提高自然语言文档的可计算性和可操作性。

By calculating and analyzing three examples,it is shown that MT method is an effective approach for the computation of resonant frequencies of a cavity resonator.

实例计算结果表明：用多极理论分析谐振腔本征值问题不仅具有较高的计算精度，而且可方便地应用于电磁工程问题的设计与计算，是一种有效的谐振腔本征值问题分析方法。

Computability is one of the most interesting and fundamental concepts in mathematics, philosophy and computer science, and it would be more than natural to ask what logic it induces. This is where computability logic comes in.

可计算性在数学、哲学和计算机科学领域是最有趣和最基础的概念之一，人们很自然地会问，从可计算性得出的是什么逻辑，这就是报告人新近提出的可计算性逻辑。

In order to reduce the computing time, a method to divide the load curve into sections and to form the related computation loads and ...

为减少计算时间，还提出了一种将负荷曲线分段并形成相应的计算负荷和持续时间的方法，该方法可明显地减少计算时间，而其所带来的误差不影响重构的最终结果

The Winklhofer method is an exact method.But Winklhofer method cannot calculate centerdistance of a roller chain drive whose length of chain is an odd number of chain pitches.Involute function method is anapproximative method.

W ink lhofer方法是准确的计算方法，但只能用于链条总长是链节的偶数倍时的链传动，而渐开线法是近似法，不能精确地计算链传动中心距；而二分法是一种数值法，它可精确地计算链传动中心距，并且适用于链条总长是任意值的链传动，可计算出链传动中心距最大值和最小值。

In this note, a new approach is presented which calculates analytically the experiment estimator distribution via a Fourier transform, using the likelihood ratio as an ordering estimator. The analytic approach enjoys an enormous speed advantage over the toy Monte Carlo method, making it possible to quickly and precisely calculate confidence level results.

本文则介绍一种新的计算方法，通过定义似然函数比为实验的估计值，并应用Fourier变换，用解析的方法计算出置信度，与toy Monte Carlo方法相比，解析方法可极大地提高计算的速度和精度。

The innovations of this paper as follows:(1)The topological relation model between complex spatial objects is brought forward, which represented by some composite basic 9I matrix and results in general signification.(2)Time and space integrated topological model is suggested to reason about spatio-temporal change types;(3)Sweep-line algorithm is improved, and a new little circles of polyline nodes overlapped with region method is proposed. As result, it's efficient to calculate line-line, line-region and region-region topological relations.

本文的创新之处在于提出了一种能够描述复杂对象的数学表达模型，将复杂对象间的复合拓扑关系表示成基本拓扑关系的组合，具有一定的普适意义；研究了时空拓扑关系的内涵和表达方法，说明利用时空拓扑关系可隐性地实现时空变化语义的查询；对平面扫描线法进行了改进，提出了一种新的节点微小圆求交的算法，可有效地解决线面、线线、面面拓扑关系的计算问题。

It means that any computable object in Turing machine can be defined itera tively and computed efficiently with Pure logic.

这就等于证明了，任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算。

After applying them to a practical diesel engine, it is found that SIM2 is much better than FIM1 and FIM2 in prediction of the ring pack friction power loss and oil film thickness fluctuation in one stroke. In order to analyse the effects of the heat decomposition of the combustion products, a conventional cycle simulation program is designed. It can be used on IBM/PC.

为了便以分析产物热分解的影响，本文还专门编制了一套可在IBM/PC机上计算的以单区经验放热率模型为基础的低散热柴油机工作过程模拟程序，和多区模型相配合可方便地讨论燃烧产物热分解对计算结果的影响。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。