首页
智能降重
一键组稿
论文查重
写作助手
首页
>
标签
>
时序逻辑论文
时序逻辑论文
逻辑论文
时序论文
逻辑学(论理学)论文
形式逻辑(名学论文
逻辑学论文
可编程逻辑控制器论文
逻辑推理论文
关系逻辑论文
形式逻辑论文
理论逻辑论文
飞机配电系统的快速时序逻辑控制方法
论文摘要为优化飞机配电系统的供电模式转换过程,缩短因故障引起的汇流条断电时间,提出了一种飞机配电系统的快速时序逻辑控制方法,通过优化供电模式转换的触发事件,实现配电系统中关联接...
基于多值决策过程的广义可能性多值时序逻辑模型检测
论文摘要模型检测(ModelChecking)是一种重要的形式化验证方法,广泛用于软硬件系统行为的自动验证.为了使包含非确定性信息、不完全信息和不一致信息的并发系统得到有效验证...