ltl的例句大全

In this paper are described the flexible lighting characteristic and ltl s application in architectural engineering.

本文简要地阐述了柔性照明装置的特点以及在工程中的应用情况.

We hypothesized that LTL is related inversely to LV mass.

我们假设LTL和左心室质量成反比.

At last, the application of Property patterns of LTL formulas was given in SPIN tool.

最后介绍了线性时态逻辑特性模式在SPIN中的应用.

It is divided into two ways of string arrow lead SAL and lateral triangulation lead ( LTL ).

精密导线法分为边角导线法和弦矢导线法,是监测水库拱坝水平位移的重要方法.

A new idea is presented to introduce the linear temporal logic ( LTL) technology and analog information into a fault diagnosis system for high voltage ( HV) transmission lines.

提出了将线性时态逻辑（LTL）技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。