...：一种是线性时序逻辑（LinearTime Logic， LTL），它把时间看成是一个线性序列；另一种是分支时序逻辑（Computing Time Logic， CTL）它认为同一个时间有多种可能的将来。
基于1个网页-相关网页
Adaptive mobile computing systems need to process a broad range of composite events, which are combinations of primitive events such as logic event, time events, and temporal events, etc.
适应性移动计算系统要求大范围的事件组合，这些事件包括逻辑事件、时间事件和暂时事件等。
A programmable real-time optoelectronic hybrid threshold logic processor is presented and the applications to digital optical computing and optical signal processing are discussed.
提出一种可编程实时光电混合阈值逻辑处理器，讨论了该处理器在数字光计算及光信息处理中的应用。
Constructs an information table, then describes a decision logic language and granular computing using the information table, at the same time an example is given and data is analyzed.
文章首先通过行业股信息表描述决策逻辑语言及粒子计算，然后讨论了智能数据分析的原理，同时给出具体实例并进行分析。
应用推荐