10月27日:认知逻辑 (Epistemic logic): II 第7周. 11月3日:动态逻辑 (Dynamic logic) 第8周. 11月10日:谓词逻辑(Predicate logic): I 第9周.
基于230个网页-相关网页
dynamic logic circuit 动态逻辑电路
nonstandard dynamic logic [电子] 非标准动态逻辑
indexed dynamic Logic 加标动态逻辑
first order dynamic logic 一级动态逻辑
Dynamic logic model 动态逻辑模型
propositional dynamic logic [计] 命题动态逻辑
mixed dynamic logic 混合动态逻辑
dynamic logic diagram 动态逻辑图
dynamic logic analysis 动态逻辑分析法
Simulation result indicates that it is easy to reflect the dynamic logic of a complex system with the method, and it has strong usability and reliability.
仿真结果表明,该设计能全面反映加速器中的动态逻辑关系,可用性及可靠性较强。
参考来源 - 基于FSM的紧凑型回旋加速器控制系统研究·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
Normal logic has been moving forward towards dynamic logic from static...
规范逻辑近半个世纪正在从静态逻辑走向动态逻辑。
The speed of arithmetic circuits can be improved dramatically by using this kind of dynamic logic.
使用这种动态逻辑可以大大提高运算电路的速度。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
应用推荐