判定的

Based on the analysis of the characteristics of the compensation directions for boundary curve s in rapid prototyping direct slicing, a new method, which can determinate the compensation direction by converting the boundary curve to beeline polygon,is proposed.

在分析快速成型制造中直接切片真实边界曲线补偿方向特点的基础上，提出了一种将曲线边界转化为直线多边形进行补偿方向判定的方法，并阐述了该判定方法的几何意义。

Based on the analysis of the characteristics of the compensation directions for boundary curves in rapid prototyping direct slicing, a new method, which can determinate the compensation direction by converting the boundary curve to beeline polygon, is proposed. The geometric signification of the polygonal method is demonstrated.

在分析快速成型制造中直接切片真实边界曲线补偿方向特点的基础上，提出了一种将曲线边界转化为直线多边形进行补偿方向判定的方法，幷阐述了该判定方法的几何意义。

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

If damages are awarded at first instance by a court of competent jurisdiction in Hong Kong (or on appeal therefrom either to a superior court in Hong Kong or to the Final Court of Appeal ) in respect of death or bodily injury arising out of the use of a motor vehicle on a road in circumstances where the liability is required to be covered by insurance under the Motor Vehicles Insurance Ordinance, and such damages, or any part of them, remain unpaid twenty-eight days after the judgment becomes enforceable for any reason other than an insurance becoming ineffective due to insolvency of the Insurer, then, subject to the provisions of the Agreement, the Bureau will pay the unrecovered amount (including any interest awarded by the court and taxed costs) to the person in whose favour the judgment has been given, against an assignment of the judgment debt.

2依据〈汽车保险条例〉任何人仕如被道路上使用的汽车导致身体损伤或死亡，并经由香港法院初审判获赔偿（若属上诉案件，经由上诉庭或终审法院判定赔偿），而该损失或部分损失在判决生效后廿八天内，基於任何原因，仍未能偿付者（因保险人破产而导致保险失效者除外），本局便会依照与政府订定的协议，在应负的有关法律责任内，向索偿者支付判定的全部或余下款项（其中包括法庭裁定的利息及堂费支出）。

The matrix representation of GLKC is given on the basis of topological characteristics of GLKC, so the problem of the mathematical description is solved successfully for the type synthesis of GLKC.

进而分析了GLKC的结构不变量，根据这些结构不变量，给出了GLKC同构判定的一般方法，即利用组合矩阵的幂序列成功地解决了GLKC的同构判定问题。

Based on this model, a framework of description logic-ALCA is given, and the conclusion that ALCA is deterministic is proved, and the algorithm of deterministic is given.

基于此模型，提出描述逻辑ALCA框架，用以描述结合目标任务的多Agent组织，证明了ALCA是可判定的，给出一个ALCA的可满足性判定算法。

Keywords: description logic;ALCA;organization of agent

基于此模型，提出描述逻辑ALCA框架，用以描述结合目标任务的多Agent组织，证明了ALCA是可判定的，给出一个ALCA的可满足性判定算法？

For MU(1),a subclasses of minimal unsatisfiable formula s,we show the solvability in polynomial time.

公式的改名是将命题变元映到变元本身或变元的否定的一个映射，对于极小不可满足公式的子类MU( 1 )中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。

Considering the triangulation algorithm based only on the determination of convex-concave vertices is restricted to simple polygons, this paper presents a triangulation algorithm for the general plane polygon GTP(General Triangulation of Polygons) based on determination of convex-concave vertices and connecting the outer border of a polygon with its inner borders.

摘 要：针对基于凹凸顶点判定的三角剖分算法适用范围有限的缺点，提出了将凹凸顶点判定与连接多边形内外边界相结合的适用任意平面多边形的三角剖分算法GTP(General Triangulation of Polygons)。

In most cases, when an appellate court makes a decision it not only decides who wins the specific case, but also provides a detailed written opinion that explains the basis for the court's decision to guide lower courts in handling future cases.

在许多案例中，上诉法院做出的判决并不仅仅判定谁赢了这个实际的案子，而且会提供一份解释法院判定的理由的详细书面意见以便为低等法院的以后的案件作指导。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。