1) SSLT (solid state logic timer)
固态逻辑计时器
2) logical timer
逻辑计时器
4) temporal logic
时态逻辑
1.
Formal description of properties of concurrency system by temporal logic;
时态逻辑形式化描述并发系统性质
2.
Automated trust negotiation based on temporal logic;
基于时态逻辑的自动信任协商模型
3.
Research on knowledge representation based on temporal logic;
基于时态逻辑的知识表示研究
5) solid-state logic package
固态逻辑包
6) CTL formula
可计算时态逻辑公式
补充资料：计时器
计时器
timer
计时器(ti mer)用于记录时间的仪器。由于时间这一反应指标在心理学的研究上有着特别重要的地位，因此计时器的用途特别广，种类也特别多。心理学研究所用的计时器早期用于测定反应时间，后来不仅可测定反应时间而且具有可控制开关，掌握和操纵其他的仪器。最早的心理学研究用的计时器是希普计时器，目前都用电子计时器。最新型的电子计时器有五种功能:(l)给信号，时钟走。(2)给信号，时钟停。(3)给信号，时钟立时回零并从头开始走。侈)给信号，时钟回零。(5)给信号，时钟暂停，信号解除，立即又开始走。电子计时器己成为心理学研究中常用的计时器。 (全志成撰林仲赞审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条