- 更多网络例句与判定的相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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.
在许多案例中，上诉法院做出的判决并不仅仅判定谁赢了这个实际的案子，而且会提供一份解释法院判定的理由的详细书面意见以便为低等法院的以后的案件作指导。
- 更多网络解释与判定的相关的网络解释 [注：此内容来源于网络，仅供参考]
-
Estimation of sex by truck bones：第三节 躯干骨的性别判定
第二节 骨盆的性别鉴定 Estimation of sex by pelvis | 第三节 躯干骨的性别判定 Estimation of sex by truck bones | 第四节 四肢骨的性别判定 Estimation of sex by long bones
-
future：未来的
定义论及了"未来的"(future)经济利益及其牺牲,还用了"可能性"(probable)这样的术语来表达,显然报表要素的定义隐含了有关概率测试的新问题. 未来总是不确定的,对概率的确定是需要进行判定的,亦即有关资产和负债的财务报告必须涉及判定,
-
decision outcome：判定结果 . 一个判定的结果,决定控制流走哪条路径
decision coverage--判定覆盖 . 在组件中被测试执行到的判定结果的百分... | decision outcome--判定结果 . 一个判定的结果,决定控制流走哪条路径. | decision table--判定表. 一个表格,用于显示条件和条件导致动作的...
-
undecimal：十一进制的
undecidable 不可判定的 | undecimal 十一进制的 | undeckedboat 无甲板船
-
decidable：可判定的 可判定的
data-valued property数据值属性數據值屬性 | decidable可判定的可判定的 | declaration声明, 宣告聲明, 宣告
-
decidable：可判定的
data-valued property 数据值属性 | decidable 可判定的 | declaration 声明, 宣告 聲明, 宣告
-
entscheidend decidable：不可判定的
entscheidbar decidable 不可判定的 | entscheidend decidable 不可判定的 | Entscheidungsproblem decision problem 判定问题
-
entscheidbar decidable：不可判定的
Endpunkt end point 终点 | entscheidbar decidable 不可判定的 | entscheidend decidable 不可判定的
-
undecidable：不可判定的
undecidability 不可判定性 | undecidable 不可判定的 | undecimal 十一进制的
-
undecidable rings：不可判定环
不可判定的 undecidable | 不可判定环 undecidable rings | 无定义的 undefined