1) interval temporal logic
区间时态逻辑
2) interval
区间
1.
Study on interval-based economic evaluation methods for electric power construction projects;
基于区间的电力建设项目经济评估方法研究
2.
The method to construct interval elementary dependent function based on the interval distance and side-distance;
基于区间距和区间侧距的初等关联函数构造
3.
New method for solving interval multi-attribute decision-making problem;
区间型多属性决策求解新方法
3) Section
区间
1.
Discussion on Design Requirements of Setting Unattended Communication Machine Room in Section;
探讨在区间设置无人值班通信机械室的设计要求
2.
Development of new double-loop feed auto-controller for section sig nal devices;
新型区间信号双回路供电自动控制器的研制
3.
Topology analysis method for loss calculation of distribution network based on feeder sections and GIS;
基于馈线区间和GIS的配电网网损计算拓扑分析方法
4) region
区间
1.
A genetic algorithm is presented in this paper to control regions of incident angles.
采用一种用于区间控制的遗传算法,该算法采用基于排序的十进制编码,并对遗传参数和遗传操作进行改进,较大地提高搜索效率,较好地克服早熟现象。
5) interval number
区间数
1.
Study on the fuzzy integrate evaluating method of interval number on the workshop safety management;
生产车间安全管理状况的区间数模糊综合评价方法研究
2.
Parameter analysis of gear design based on interval number of universal grey;
基于泛灰区间数的齿轮传动设计参数分析
3.
Application of TOPSIS rule with interval number in optimum seeking of targets;
区间数TOPSIS法在战场目标优选中的应用
6) pressure range
压力区间
1.
The compressibility of municipal solid waste is very big,the relationship between compression coefficient and initial void ratio is linear for the given pressure range.
对城市生活垃圾进行了现场测试和室内压缩试验,并对其压缩曲线进行了分析与对比,得到了垃圾的压缩参数:100~200 kPa压力区间的压缩系数为0。
参考词条
补充资料：时态逻辑
| 时态逻辑 tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。早在古希腊时期，麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念，中世纪逻辑学家也探讨过时态语句。1947年H.赖兴巴赫专门对文法时态作了逻辑分析。同年，波兰逻辑学家J.洛斯建立了时态逻辑的第一个形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想，于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作，也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年，独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来，时态逻辑的成果逐渐增加，现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面，以及在人工智能、科学哲学等方面都有很大的作用或影响。 构成时态逻辑的基本成分是时态语句。时态语句分为两种：时间上确定的语句；时间上不定的语句。时态逻辑主要研究时间上不定的语句。时态逻辑系统可以用两种方式构造：①把一组语句作为公理，这叫做语法地构造。②根据对时间相继的性质R所作的不同假定进行构造，这叫做语义地构造。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。