1) logical roll out
暂时逻辑转出
2) logical roll-out
逻辑转出
3) sequential logic
时序逻辑
1.
Through three typical instances,this paper analyzes the influence of well-site power supply frequency on variable density logging signals,and explains the causes for abnormal phenomena of the sequential logic signal.
文章就变密度仪在野外使用中 ,井场电源频率对测井信号的影响 ,通过三种典型情况 ,从理论上进行了分析 ,阐明了时序逻辑信号发生异常的原因 ,并对时序逻辑控制电路进行改进 ,改进后的电路在室内模拟检测和野外测井都证明采取的措施是有效的。
2.
The paper specifies four design methods through the corresponding example in the paper,including sequential logic design,condition table design,sequential control design and empirical design.
在PLC系统应用中,梯形图的程序设计往往是最主要的问题,通过相应的实例论述梯形图程序的4种设计方法:时序逻辑设计法、状态表设计法、顺序控制设计法及经验设计法。
3.
By dividing RTL description into combinational logic and sequential logic, the method reuses the combinational logic synthesis and sequential logic synthesis in the controller synthesis, thus reducing the time used in developing RTL synthesis.
提出一种通过将RTL描述划分为时序逻辑与组合逻辑后 ,重用控制器综合中的组合逻辑综合和时序逻辑综合实现 RTL综合的方法 。
4) temporal logic
时序逻辑
1.
Decidability of the dense timed interval temporal logic;
稠密时间区间时序逻辑的可满足性判定
2.
Formal description of UML2.0 communication diagrams based on temporal logic;
基于时序逻辑的UML2.0通信图语义研究
3.
Model Checking Propositional Projection Temporal Logic with Infinite Model;
基于无穷模型命题投影时序逻辑的模型检查
5) 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;
基于时态逻辑的知识表示研究
6) Temporal logic
时间逻辑
1.
Temporal logic is a branch of Philosophical logic,which investigates the proposition and inference including time.
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。
补充资料：世间转法转智转无尽
【世间转法转智转无尽】
世间转者，谓展转摄前众生界、世界、虚空界也。法转者，谓展转摄前法界、涅槃界、佛出现界也。智转者，谓展转摄前如来智界，心所缘佛智所入境界也。盖此三转，皆言无尽者，以世法智之三种，展转含摄，无有穷尽，是名世间转、法转、智转无尽。
世间转者，谓展转摄前众生界、世界、虚空界也。法转者，谓展转摄前法界、涅槃界、佛出现界也。智转者，谓展转摄前如来智界，心所缘佛智所入境界也。盖此三转，皆言无尽者，以世法智之三种，展转含摄，无有穷尽，是名世间转、法转、智转无尽。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条