查询词典 boundary interval

Based on the modified interval algebra, an interval based temporal logic TL is constructed, its semantics is rigorously defined.

在扩充后的时区代数结构的基础上，构造一种基于时区的一阶时态逻辑语言TL，并为TL规定了语义。

Based on interval mathematics ,an interval method for sensitivity analysis of the structures was proposed.

以区间数学为理论基础，提出了结构灵敏度分析的区间方法。

This paper presents an interval optimization method based on the interval analysis.

在本论文中，作者在杨晓伟、连华东等人工作的基础上，主要做了下面的一些工作： 1。

This paper takes a new interval method to study static analysis problem of interval truss uncertain structure.

本文采取了新的区间分析方法研究分析区间参数非确定性桁架结构的静力分析问题。

Recently, the interval analysis method has been used to deal with the static displacement and eigenvalue analysis of the uncertain structures with interval parameters.

最近，区间分析方法被用于具有区间参数的不确定性结构的静态位移和特征值的分析。

Interval analysis method is mainly used for engineering structures with interval properties.

本文针对当前区间分析方法中的热点和难点进行了研究，并将其应用于工程结构计算中。

Theorem 2 If the functionis continuous and increasing on the interval, then its inverse function is also continuous and increasing on the corresponding interval.

定理 2 如果函数在区间上单调增加且连续，那么它的反函数也在对应的区间上单调增加且连续。

The minimum and maximum of a function on an interval are called the extreme values, or extrema, of the function on the interval.

那么称是函数的一个极大值。函数的极大值和极小值统称为极值。

Based on the Method of Lyapunov function and interval analysis technique,soMe sufficient conditions of robust absolute stability for the interval Lurie systeM are obtained,which reduces the conservatisM in robustness tests of absolute stability.

用Lyapunov函数方法和区间分析技术，得到了区间Lurie系统鲁棒绝对稳定的一些充分条件，这些条件减少了绝对稳定鲁棒检测的保守性。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。