1) Temporal logic based on time interval
基于区间的时态逻辑
2) logic based MINLP
基于逻辑的MINLP
3) Logic-based MRDM
基于逻辑的MRDM
4) interval temporal logic
区间时序逻辑
1.
Modelling concurrent workflow with the extended interval temporal logic;
使用扩展区间时序逻辑为并发工作流建模
2.
The model checking problem for initialized multirate hybrid systems is investigated,which is to check whether or not an initialized multirate automaton satisfies a property described by a hybrid interval temporal logic(HITL) formula.
研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质。
5) PITL
点-区间时序逻辑
6) logic-based
基于逻辑
1.
Aiming at the shortcomings of traditional logic-based approach for track initiation,a novel track initiation algorithm based on target dynamic states is developed,and a new tracking filter initial gate is given.
针对传统的基于逻辑的航迹起始方法在量测扩展过程中存在的弊端,提出了基于目标运动状态的航迹起始算法,并给出了更为精确的起始波门构造方法。
2.
Aiming at the shortcomings of traditional Logic-Based approach for track initiation, two approaches based on One-step delay and Multi-hypothesis principle are developed respectively.
针对传统的基于逻辑的航迹起始算法存在的弊端,分别提出了基于一步延迟思想和多假设思想的航迹起始算法。
3.
Based on the studying of Logic-Based approach and Batch-Based method for track initiation,a novel track initiation algorithm based on target dynamic state was developed.
在深入研究基于逻辑的航迹起始方法和基于Hough变换技术的航迹起始方法的基础上,把基于逻辑的方法和Hough变换法相结合,提出了基于目标运动状态的航迹起始算法。
补充资料：时态逻辑
| 时态逻辑 tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。早在古希腊时期，麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念，中世纪逻辑学家也探讨过时态语句。1947年H.赖兴巴赫专门对文法时态作了逻辑分析。同年，波兰逻辑学家J.洛斯建立了时态逻辑的第一个形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想，于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作，也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年，独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来，时态逻辑的成果逐渐增加，现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面，以及在人工智能、科学哲学等方面都有很大的作用或影响。 构成时态逻辑的基本成分是时态语句。时态语句分为两种：时间上确定的语句；时间上不定的语句。时态逻辑主要研究时间上不定的语句。时态逻辑系统可以用两种方式构造：①把一组语句作为公理，这叫做语法地构造。②根据对时间相继的性质R所作的不同假定进行构造，这叫做语义地构造。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条