算出

Aiming at more expressive description logic, the semantics and reasoning mechanism of terminological cycles are studied.

针对更大的描述逻辑系统研究了循环术语集的语义及推理机制，即在描述逻辑εL 的基础上添加数量约束构造算子，提出了描述逻辑εLN，给出了εLN 的语义(包括不动点语义和描述语义)。

For one-dimensional mesoscopic metal rings system in external magnetic field, supposing the system has a symmetry under translation in charge space, the quantum current relation in mesoscopic metal rings is given by solving the eigenvalue equation of the current, the property of quantum current have been investigated and analysed.

针对处于外磁场中的一维介观环系统，假设在电荷空间中具有变换的对称性，通过求解电流算符的本征值方程，给出系统中的量子电流关系，分析和研究一维介观金属环中量子电流的性质。结果表明，量子电流不仅与外磁场、介观金属环参数有关，而且还明显地依赖于电荷的量子化性质

The purpose of this thesis is to study the urban transportation network design problem.

本文主要研究城市交通网络设计问题，提出了相关的模型和求解算法，给出了算例，对计算结果进行了分析、讨论，得出了初步的结论。

The method is applied to study the diffraction characteristics of dielectric gratings with rectangular and trapezoid shapes.

给出了光栅单元截面为矩形和梯形的算例。

Lanczos method is optimized in LDLT triangular decomposition 、 vector reorthogonalization and result judgement. At the same time a new method of result judgement is brought forward, and named mode compare method. The example proves the optimized results of the method.

在LDLT三角分解、向量重正交及丢根判断等步骤上，对Lanczos算法进行了多步优化，同时提出了新的丢根判断方法——模态比较法，并给出算例对优化效果进行了验证。

Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term.

无论什么作为思想的object，或可以出现在任何真或假的命题里，或可以算作为'一个'的，我称为一个'term'。

A model for predicting aerodynamic stability of axial compressor in turbojet or turbofan engine is presented.

本文介绍一种模拟发动机压缩系统气动稳定性的数值模型和数值方法，并给出3个算例及其分析。

In this algorithm, the strongest corner points is adaptively detected with Harris operator and (2n+1)×(2n+1) feature windows is selected for originally mutual gray correlative matching. Continental distance ratio invariant criterion is proposed, and consistency of motion vector is improved by eliminating error matching points with median filter. 9 pairs right points is preserved, 4 pairs composing 1 group, and 5 groups is random distributed to uncoil the motion vector equations. Last, stabilization precision is improved by averaging the 5 groups' solutions.

该方法用Harris算子自适应检测出最强壮的角点，开辟(2n+1)×(2n+1)特征窗进行灰度互相关初匹配；提出欧式距离之比不变准则，通过中值滤波剔除误匹配点，确保运动矢量较高的一致性；最后保留若干正确的匹配点对，分成多组解运动矢量方程，将多组解的平均值作为全局运动矢量以提高稳像精度。

Continental distance ratio invariant criterion is proposed,and consistency of motion vector is improved by eliminating error matching points with median filter.9 pairs right points is preserved,4 pairs composing 1 group,and 5 groups is random distributed to uncoil the motion vector equations.Last,stabilization precision is improved by averaging the 5 groups′ solutions.

该方法用Harris算子自适应检测出最强壮的角点，开辟(2n+1)×(2n+1)特征窗进行灰度互相关初匹配；提出欧式距离之比不变准则，通过中值滤波剔除误匹配点，确保运动矢量较高的一致性；最后保留若干正确的匹配点对，分成多组解运动矢量方程，将多组解的平均值作为全局运动矢量以提高稳像精度。

The problem of Polydisc is transformed into that of unit disk and an operator by H^2 Hardy space is defined in the unit disk.

将多圆柱上的问题转化到单位圆盘上，利用单位圆盘上的H^2 Hardy空间，定义出一个算子。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。