2) extended interval temporal logic
扩展时段时序逻辑
1.
This paper presents a method for modeling extended interval temporal logic(EITL) with Time Petri Nets(TPN).
给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验 。
2.
A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic,is proposed, which is an extension of the traditional point-interval temporal logic.
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 。
3) ELP(Extended Logic Program)
扩展逻辑程序
4) logic extension
逻辑扩展
1.
One logic extension evaluation model is strictly defined based on the system of fuzzy logic knowledge and two-value logic knowledge,and its detailed evaluation process of weighting fuzzy logic is also given.
以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标,在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型,并给出对典型加权模糊逻辑的详细评测过程,这个模糊知识体系的逻辑扩展能力评价模型,可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。
5) 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综合的方法 。
6) 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;
基于无穷模型命题投影时序逻辑的模型检查
补充资料：扩展
分子式：
CAS号：
性质：单纯形优化法中推移单纯形的一种基本操作之一。当以试验中效果最坏的实验点作为基点，将其沿基点经单纯形的形心点的延长线作等距离反射时，若在反射点的试验效果在各实验点中最好，这时可使用更大的步长推移单纯形，此种操作称为扩展。
CAS号：
性质：单纯形优化法中推移单纯形的一种基本操作之一。当以试验中效果最坏的实验点作为基点，将其沿基点经单纯形的形心点的延长线作等距离反射时，若在反射点的试验效果在各实验点中最好，这时可使用更大的步长推移单纯形，此种操作称为扩展。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条